 Suppose i*u = -3*d + 7*d + 14, 3*d - 3*u = -6. Let s = 1264 - 1267. Is s equal to d?
False
Let x = -276 + 297. Suppose 179*d = 176*d + x. Which is smaller: 13/2 or d?
13/2
Suppose -2 = f + 1, -r - f = -2. Suppose -3*x = -4*l - x + 14, 5*x + 20 = r*l. Let s be 82/(-6) - (-88)/(-66). Which is bigger: s or l?
l
Let m(o) = 4*o**2 - 7*o + 3. Let f be m(2). Suppose -2*p + 82 = 2*n, -f*p = -0*n - 5*n + 195. Which is smaller: n or 39?
39
Let m be ((-12)/8)/(3/(-6)). Suppose -21 = -2*p + m*h, -2*p - 2*h - 3*h + 29 = 0. Suppose -p*i = -10*i. Which is bigger: -1/3 or i?
i
Let k = 2315.98768 - -0.01232. Which is greater: k or -0.1?
k
Let b be (-2)/(-10)*5/(-25)*0. Which is smaller: -10/659 or b?
-10/659
Let q = -368246/3255 + 128/465. Is q > -112?
False
Let u = 8 + 7. Let l be (-144)/u - (-2)/(-5). Let h be (-1)/26 + (4 + 1)/l. Are -2 and h equal?
False
Suppose 396 = -18*s - 11*s + 367. Is -5/42 != s?
True
Suppose -2*h + 7*h - 855 = 5*k, -h + 3*k = -165. Let a = -368 - -541. Which is smaller: a or h?
a
Let w = -173 + 361. Let x(j) = 48*j**2 - 110*j - 225. Let n be x(-2). Which is bigger: n or w?
w
Suppose -16848*s + 16862*s + 14 = 0. Which is smaller: -3/3404 or s?
s
Let p be (((-4)/6)/(0 + 1))/((-42)/(-95949)). Is -1523 < p?
False
Let z = 359 - -45. Let q = -405 + z. Is q at most as big as -3/68?
True
Let f = 1540 - 35395/23. Let l = 871 - 870. Is l < f?
True
Suppose 9*b - 40 = 5*b. Let c = b - 2. Let y(v) = -v**2 + 10*v + 9. Let t be y(c). Which is smaller: 27 or t?
t
Let r = 6 + -6.3. Let h = -115 - -178. Let k = 190/3 - h. Are k and r non-equal?
True
Suppose -78*s + 110*s = -224. Let u = -2 - 3. Let h be (6/u)/((-1)/(-5)). Is s greater than h?
False
Suppose 44377 = -277*q + 78*q. Let a(n) = -13*n**2 - 4*n + 1. Let d be a(4). Do q and d have the same value?
True
Let n be 6968/64 - 18/(-144). Which is greater: -1 or n?
n
Suppose -4316 = 75*g - 101*g. Which is smaller: 164 or g?
164
Suppose 0 = -3*r - 3*j + 9, 3*r + 2*r - 3*j - 55 = 0. Suppose -122 - 46 = r*b. Is b at least as big as -15?
False
Suppose 29*o = 20*o - 4400 + 18008. Is o >= 1512?
True
Let u = -64.4 - 706.6. Let k = u - -396. Is 1/3 < k?
False
Suppose 26*s = 1731 - 457. Suppose 0 = s*a - 39*a + 460. Which is smaller: a or -140/3?
-140/3
Let x = -3 - -75. Let h = x + -56. Let p be 3 - 2 - 1 - 2. Which is greater: p or h?
h
Suppose 0 = 31*l - 30*l - 3. Suppose -2*j + 70 = 3*i + 2*j, -l*i - 5*j = -65. Is 31 greater than or equal to i?
True
Let c = 74089.253 + -74028. Let u = 6.343 - c. Let s = u - -55. Is -3/7 less than or equal to s?
True
Let n(q) = -q**2 + 3*q + 31. Suppose -3*i - i = -24. Let l be n(i). Is l bigger than 3?
True
Suppose p + 21 = -3*d, -2*p = 4*d + 1055 - 1021. Which is smaller: -103/10 or p?
-103/10
Let x = 10321841/504 + -154071/8. Let m = 1221 - x. Which is smaller: m or 1?
m
Suppose -2*p = 18*u - 13*u - 7, 5*u - 4*p = 1. Which is smaller: u or -2/3471?
-2/3471
Suppose -7*y - 75 + 131 = 0. Let n be 3430/(-15) + 1/1. Let f = n - -236. Which is smaller: f or y?
y
Let h = 256/3 + -85. Suppose -14*t + 15 = -2*a - 15*t, -3*a = 3*t + 30. Which is smaller: a or h?
a
Let v = 934.375 - 934.8. Is v bigger than -1/3?
False
Let p = -371 - -582. Let b = p - 193.4. Which is bigger: b or -1?
b
Let o be ((-2)/4)/(3/(-9)). Let x = 120 + -120.016. Let g = 0.216 + x. Is o at least g?
True
Suppose 4*b + 2*q - 18 = 0, b + 3*q - 23 = -b. Is b smaller than 42/605?
False
Let w = 50 - 62. Let u = -15 - w. Let z = -0.192 + -0.008. Which is greater: z or u?
z
Let a be 2 + -3 - 104/(-101). Let q = 134006342/161510615 - 1/319823. Let l = a - q. Which is smaller: l or 0.6?
l
Let v be (-150)/140 - (-21)/294. Which is smaller: -18/145 or v?
v
Let z(w) = 33*w**3 + w**2 - 1. Let p be z(1). Let f(k) = 7*k**2 + 1205*k - 1005. Let x be f(-173). Is p > x?
False
Let t = 158 - 150. Suppose 4*x - 3 = q + 5, -5*q - 4*x + t = 0. Is 3/7 < q?
False
Let j = 14749 - 13194. Which is bigger: j or -1?
j
Let l = -554 + 30478/55. Which is smaller: l or 0?
0
Suppose 0*t - 4*j = 5*t - 24, 3*j = -t + 7. Suppose 6 = -v + t*v. Suppose 0 = v*p + 3*u - 13, u + u + 4 = 5*p. Is p smaller than 2?
False
Let t = -1344 - -893. Let i = 451.1 + t. Which is smaller: 224 or i?
i
Let s = -0.292 + -125.708. Let q = 56 + s. Let z = 71 + q. Which is greater: 30 or z?
30
Let a = 3/76 - 345/76. Let h be (9/(-12))/(63/32 - 2). Suppose 3 = -n, 2*n - h = 5*z - 0*n. Which is greater: z or a?
a
Let r(h) = 21*h**2 + 133*h + 10. Let f be r(-6). Is -4 < f?
False
Let h(f) = 5*f**2 + 35*f - 27. Let m be h(-16). Which is smaller: -4 or m?
-4
Let w = 5/23 + 31/69. Let h = 0.01 - 72.01. Is w equal to h?
False
Let s(d) = -6*d**2 - 125 - 7*d**2 - 23*d + 13*d**3 - d**2 - 14*d**3 + 8*d**2. Let p be s(-5). Is -31 at least as big as p?
True
Let o = 119380/9 - 14310. Which is greater: -1046 or o?
o
Suppose 5*h - 145 = -g, 6*h - 602 = -4*g + 8*h. Let r = -171 + g. Let k be (-2)/8 + (-166)/8. Is k <= r?
True
Let j be ((-612)/90 + 7)/(86/(-40) + 2). Which is smaller: j or 230?
j
Let g(x) = -9*x. Let h be g(9). Suppose 4*t + 2 - 6 = 0. Let m be (t - (-117)/6)*-4. Which is bigger: m or h?
h
Let s = -55 + -5. Let t = 365 + -133. Suppose -t = 20*p + 988. Which is smaller: s or p?
p
Let b(x) = -x**3 + x**2 + 2*x + 45. Let f be b(0). Suppose -16*m + 21*m = f. Let g be m/(-6) + (-185)/(-10). Which is smaller: g or 13?
13
Let b = 332 - 509. Let w = 8252 + -8367. Let q = w - b. Is 62 greater than or equal to q?
True
Let c = -0.052 + 0.012. Let o = 0.03052 + -219.93052. Let n = o + 220. Is n greater than c?
True
Let v be (-864)/14 + 6/(-21). Let h(n) = 6*n**2 + 5*n - 7. Let r be h(1). Suppose -r*f = 14*f + 1116. Is v >= f?
True
Suppose 1572 = 9*q - 426. Is 221 less than or equal to q?
True
Let q(v) = -32*v**2 + v - 19. Let b be q(0). Which is bigger: 69 or b?
69
Let v = 52.4 + -49.8. Let g = v - 2.8. Let r = 2.42 + 0.48. Which is bigger: r or g?
r
Suppose -774 = -4*v + j, -v = 11*j - 6*j - 183. Let n = 74 + 118. Which is bigger: v or n?
v
Let t = -3/20 - -11/20. Let v be (-474)/72 + 0 + 30/36. Is v less than t?
True
Let q be 7 + (-7 - -8) + -5. Let w be q + 0 + 48 + -9. Is 41 <= w?
True
Suppose -2*k + 4876 = 4*q, -k + 0*q + 2438 = -4*q. Which is smaller: 2437 or k?
2437
Let m(o) = o. Let b be m(2). Let h(a) = 11 - 3*a - 13*a**2 - 2*a + 14*a**b - 5*a. Let i be h(11). Is i != 24?
True
Suppose 0 = -p - 3*p + 16. Suppose -3*z + 109 = -2*j + 4*j, 4*z - 144 = -p*j. Suppose 5*s - 184 = 3*b, 5*b + 124 = 3*s + 4. Which is smaller: z or s?
s
Suppose 170 = -j + 164. Let a be (60/30)/(j*13). Is a at least -5?
True
Let r = 4.12 - 0.02. Let n = -55 - -47.9. Let s = r + n. Which is greater: s or -2?
-2
Let p = 11522444/483 - 23856. Do 1 and p have different values?
True
Suppose 39*p + 3818 = 36*p + 26*p. Which is greater: 164 or p?
p
Let q = 6 + -2. Suppose l - z - 8 = -3*z, -q*z = -4. Suppose -l*j = -65 + 5. Is j >= 9?
True
Let x = 5.783 - 4.783. Is -3089 at least x?
False
Suppose -25 = -5*n, -n = 3*l - 205 - 73. Suppose 3*m - 12 = 0, d = -4*m - 226 - 143. Let g = 477 + d. Which is bigger: g or l?
g
Suppose 85*r - 76*r + 9 = 0. Let f be 6 + -3 + (-431)/(-14). Let t = -34 + f. Which is smaller: r or t?
r
Suppose 1497*b = 1496*b + 3. Which is smaller: -502 or b?
-502
Let q = -161 + 143. Let r be (q/(-98))/(-3)*(-55)/66. Do 1 and r have the same value?
False
Let s(n) = -32*n - 22. Let w(g) = -11*g - 7. Let v(z) = 6*s(z) - 17*w(z). Let k be v(-12). Suppose 3*c = -o + 14, 3*o + c - k = -3*c. Is 16 >= o?
False
Let j = -470 + 460.98. Let s = 8.79 + j. Let n = -1.8 + 2. Which is bigger: s or n?
n
Let i be (-4)/14 - 452/(-14). Suppose 0 = -353*p + 121*p + 488 + 6704. Which is bigger: p or i?
i
Let f = 3602 - 3696. Is f bigger than -115?
True
Suppose 66*g = 59*g - 1064. Let a = g + 85. Is a at most as big as -66?
True
Let v be (-1 + -3 - 0) + 4. Suppose 2*u = -f + 5*f - 558, 4*f - 289 = u. Let r = -12104/45 - u. Which is greater: v or r?
r
Let c(h) = 6*h**2 + 41*h - 3. Let y be c(-7). Let f be (3/(-3))/((y - 7)/(-3)). Is f >= 0.032?
False
Suppose -4*l = 3*a - 1250 + 170, 6 = -2*l. Suppose 9*r - 1256 = a. Let g be 1 + 0 + -2 + 252/r. Is 1 bigger than g?
True
Let h be (-6)/12*6 + 7. Suppose -3*i = h*w - 83, 3*w + i = -4*i + 76. Which is bigger: w or -13?
w
Let i be (-2)/(-6) + 550/150. Let h be i - 