w - 3*a + 41 = 0, 2*a = -w + 1 + 8. Let s = 6 - w. Let l(v) = -2*v**2 - 31*v - 88. Let u be l(-12). Which is smaller: s or u?
s
Let g(m) = -m**2 - 18*m - 81. Let d be g(-8). Which is smaller: -2/3 or d?
d
Let j = -0.45 + 14.65. Let y = -18 + j. Which is bigger: 0 or y?
0
Let s = -18514 + 8849695/478. Which is smaller: s or 1?
s
Let r = -360.9 + 361. Let b = -124 + 85. Let z = -118/3 - b. Is r less than z?
False
Let w = 465 - 464.4. Which is smaller: -31 or w?
-31
Suppose 0*i + 18 = 6*i. Let a(p) = -p**3 + 4*p**2 - 2*p - 1. Let m be a(i). Suppose -8 = -m*d + d. Which is smaller: d or 10?
d
Let k be 11 + (4 - (2 - 5)*-1). Let v = -14 + k. Is v at most as big as 0.06?
True
Let t = 1.3 + 0.6. Let f = 1.7 - t. Is -0.2 <= f?
True
Let l = -26.96 - -27. Let f = 16 - 19. Let k be 3 + f + (-4)/4. Is k less than or equal to l?
True
Let u be 260/(-416)*4*2. Which is bigger: u or -11?
u
Let i = -22 + 33. Let u(h) = -h**3 + 13*h**2 - 17*h - 23. Let n be u(i). Is n smaller than 33?
True
Let a be (-4)/(24/(-9)) - (-35042)/(-23493). Let x = a - -3/382. Is x >= -1?
True
Let p = -74/21 + 320/63. Let b = -435 - -434. Is b at most as big as p?
True
Let v be (-19)/209*(186 + 0)/1. Which is bigger: -16 or v?
-16
Let b = -246 - -256. Which is greater: 96/11 or b?
b
Let l = 50 - 46. Let k(j) = -j**2. Let g be k(-1). Let p be (g/l)/((-39)/(-12)). Is p equal to -2/5?
False
Suppose 5*m = 5*v + 30, -4*v + 0 = -2*m + 12. Let s(y) = y**3 - 3*y**2 - 2*y + 2. Let w be s(3). Let a be ((-3)/m)/((-2)/w). Is a != -1/13?
True
Let a = -150 - -619/4. Let o = -12 + 18. Is o not equal to a?
True
Let o(f) = -f**3 + 9*f**2 + 3*f - 3. Let s be o(9). Let v = -15 + s. Which is smaller: 10 or v?
v
Suppose -28*v + 1972 = v. Which is smaller: 341/5 or v?
v
Suppose -4*u + u - 111 = 0. Let m = -38 - u. Let p be m + (1 - 4/24). Which is bigger: p or -3?
p
Let x be -1 + ((-5)/1 - 0). Let u = x - 13. Is -20 >= u?
False
Let l be 5/2 - 944/288. Which is smaller: l or 0?
l
Let k be ((-2)/(-6))/(-2*3704/(-48)). Which is smaller: 1 or k?
k
Let y = 1959/868 - 3/434. Is 2.5 != y?
True
Let d = -1 - -6. Let f(o) = -2*o + 2. Let h be f(d). Let j = h + 9. Which is smaller: -1/6 or j?
-1/6
Let u(l) = -8*l**2 + 17*l - 52. Let r be u(4). Which is bigger: r or -114?
r
Let d = 12 + 28. Let m = d - 39. Let x = 11/60 - 1/12. Are m and x equal?
False
Suppose -3*n - 2*n = -35. Let a = -10 + n. Suppose 10*l = 4*l - 24. Are a and l nonequal?
True
Let d = -4 + 3. Let k(f) = -f**3 - 21*f**2 + 25*f + 72. Let p be k(-22). Let g be (d - p/(-9))/11. Which is bigger: g or 1?
1
Suppose 21 = 10*z - 99. Is z <= 14?
True
Let m = 2/17 + -82/119. Let x = -61.56 - -61.36. Which is bigger: m or x?
x
Let a be 0/((-8)/(-20)*5). Suppose -5 = -w + 5*u, -2*u = -a*w - 2*w - 22. Let x be ((-1)/(-36))/(10/w). Which is smaller: x or 1?
x
Let a(b) be the second derivative of -b**3/6 + 16*b**2 - 5*b. Let j be a(10). Which is greater: j or 23?
23
Let g = 6 + -17. Suppose -w + 2*i + 138 = 0, -5*w + 2*i - 222 = -888. Let d be (3 + 0)*g/w. Do -1 and d have the same value?
False
Suppose -3*w + 5 + 7 = 0. Suppose -2*r - 4 = -r - c, r - w*c + 16 = 0. Let y = -2693/18 + 301/2. Which is smaller: r or y?
r
Let c(n) = 15*n - 45. Let q be c(7). Suppose 0 = 2*o + 62 - q. Let l = -4 - -39/11. Is l less than or equal to o?
False
Suppose 0 = -2*a - 3*g + 323, a - g - 72 - 77 = 0. Let n = a - 108. Which is smaller: 45 or n?
45
Let t(c) = -c**3 - 8*c**2 - 9*c - 1. Let j be t(-5). Let q be 6 + -3 + j/6. Which is greater: -1 or q?
-1
Suppose u + 3*t = 0, 3*u - 4*t - 6 - 7 = 0. Suppose 7*x = u*x - 44. Let g = x + 9. Which is smaller: -1/10 or g?
g
Let t be (13 + -17)*(-114)/16. Let s = 511/18 - t. Do s and 1 have different values?
True
Let j = -5 - -4. Let p = j + -4. Suppose 4*a = 5*k + 43, 2*k + 15 - 3 = -a. Are p and k nonequal?
True
Let q = 0.1 + -0.1. Let k be (38/(-152))/(5/(-60)). Do q and k have the same value?
False
Let v = -197 + 592/3. Is v < 1/66?
False
Suppose -u - 8 + 6 = 0. Let i = 0.09 + 0.01. Which is bigger: u or i?
i
Let z = -1/200 + 421/4200. Let l(x) = -x**2 - 11*x + 18. Let v be l(-12). Suppose -v*d - 1 = -5*d. Which is greater: d or z?
z
Let q(v) = 4*v - 4. Let t be 12/(-18)*6/(-2). Let h be q(t). Let c be (-26)/28 - (-2)/h. Which is smaller: -1 or c?
-1
Let f = 102 - 106.7. Let b = f - -4.6. Which is greater: 20 or b?
20
Let r = -4/285 + -1072/4845. Let w = -130/119 - r. Let k = w - -11/21. Are -1 and k equal?
False
Suppose 0 = -3*a + 15*a + 4260. Do -356 and a have different values?
True
Let k = 18/115 + 1/23. Are -1/3 and k equal?
False
Let z = 2061 + -30904/15. Is 1 at most as big as z?
False
Let r(a) = -21*a**2 + 65*a + 30. Let k be r(-4). Does -566 = k?
True
Let u be (230 - 18)*78/24. Is u at most 689?
True
Let j = 52 + 8. Let a = j + -49.3. Let v = a - 11. Which is smaller: v or 0.1?
v
Suppose -7*j + 6*j = -7. Suppose -j*x - 2 = -6*x. Let z be 0*(3 + -4) + -3. Which is smaller: x or z?
z
Suppose i = -0*i. Suppose 5*f - 5*h - 105 = i, 4*h = 10 + 2. Is f bigger than 24?
False
Let b = 49 - 49. Let s = -2663/24 + 111. Does s = b?
False
Let l be 3/5*5785/4. Let o = l - 851. Is o smaller than 18?
True
Let r = 0.0016 + 0.0984. Which is smaller: 266 or r?
r
Suppose -a + c = -73, -209 = -7*a + 4*a + 5*c. Suppose -8 = 5*s - a. Let b be s + -9 + (-3)/1. Which is smaller: 3/4 or b?
3/4
Let j = -265/546 + 1/42. Let s(k) = 2*k**2 + 4*k + 10 - k**2 - 5. Let o be s(-2). Is j < o?
True
Let l = 1.2833 - 0.2833. Which is smaller: 135 or l?
l
Suppose 0 = 3*k - i - 5, 7*k + 5*i + 25 = 4*k. Which is bigger: 5/139 or k?
5/139
Suppose -234*h + 229*h = 420. Do h and -75 have the same value?
False
Let q be (161/(-7))/(0 + -1). Suppose 5*m = -4*w - 95, -w + 5*m = -7 + 37. Let d = q + w. Is d equal to -16/7?
False
Let c(l) = l - 3. Let i be c(19). Let m be (12/i)/((-30)/(-16)). Which is greater: m or -1?
m
Suppose -207 = c - 5*c + 3*o, 5*c + 2*o - 253 = 0. Suppose 76 = -5*k + c. Is -84/13 at least k?
False
Let q be (-44)/(-10) + (-14)/35. Suppose q*v - v = 18. Let s = v - 0. Which is smaller: -1 or s?
-1
Suppose 84*l + 53521 - 19333 = 0. Which is smaller: -406 or l?
l
Suppose 0 = 4*a + 4*f, -5*a + 3*f = f - 35. Suppose a*u = -2*u + 21. Which is smaller: -7 or u?
-7
Let k = -1021 - -1020.9. Which is bigger: 0.0296 or k?
0.0296
Let q(y) = y**3 + y**2 + y + 4. Let s be 0 - 0/(-2 + 1). Let l be q(s). Suppose -2*h = -l*h + 8. Is 2 less than or equal to h?
True
Suppose -18*o - 257 - 697 = 0. Does o = -54?
False
Let n = 304 + -2431/8. Is 9 less than or equal to n?
False
Let f = 50 + -86. Let d = f + 34. Let n = 4 + 0. Which is bigger: d or n?
n
Let d be (-14)/(-2) + (-528)/112. Is 0.04 >= d?
False
Let m be 9/(-21) - (-765)/21. Suppose 0 = c - b + 42, c = -0*c - b - m. Let s = c - -26. Does s = -13?
True
Let k = 42.24 + -42. Let n = k - 0.34. Is n smaller than -0.1?
False
Suppose -2*v = 4*o + 20, 3*o + 4*v - 7*v + 15 = 0. Are o and -46/13 nonequal?
True
Let d = 35 + -28. Suppose -5*p = -3*u + d*u + 9, 4*p = -5*u. Is -5 greater than p?
False
Let h = 2886 - 2237. Is 648 not equal to h?
True
Let f = -97.87 + 99. Let c = f - 0.13. Which is smaller: c or -1.3?
-1.3
Let d be (-1)/(-4) - 138*(-4)/(-1952). Which is bigger: d or -1?
d
Let u = 1543/147728 - 2/1319. Which is smaller: u or -0.1?
-0.1
Suppose 0 = 3*p - 24 - 87. Let q = -29 + p. Let z be (0 + 1)*-1 + 10. Which is bigger: q or z?
z
Let d be (-4)/24*(-1 + 2). Is 1/2 less than d?
False
Suppose -13*o - 1020 = -10*o. Let a be -4 - (-4)/(o/(-325)). Which is smaller: a or 1?
a
Let n = 1060 - 1060.0946. Which is smaller: 0.1 or n?
n
Let m = 234/7 + -709/21. Which is smaller: m or 2/365?
m
Let o be (112/(-40))/((-12)/30). Is o greater than or equal to -1?
True
Suppose -2*n - 5 = -q, -5 = n - q - 2. Which is smaller: n or -13/15?
n
Suppose -3*t + 2 = -2*t. Let b(w) = -2*w**2 + 8*w + 5. Let v be b(5). Let s be t + v + (-2 - -4). Which is smaller: -1/11 or s?
s
Suppose -5*k = 2*z + 17, -3*z + 88 = -6*z + 5*k. Is -25 at most as big as z?
True
Let j be (-1 + 26/12)*(-87)/406. Is 372 > j?
True
Suppose 0 = i - 4 - 18. Let o = 8 + -4. Let l be o/(-2) - i/(-14). Is l less than 1?
True
Let o be 0/(-16)*(-2)/(-10). Which is smaller: o or 5/422?
o
Let s be (-1 - (1 + -3))*-48. Let g be (2/(-6))/(20/s). Do g and 0 have the same value?