?
a
Let x be 4/((-2340)/(-219)) - 17/(85/2). Let r(n) = -n**2 - 2*n + 4. Let g be r(-3). Let i be -1 + g + 0 + 0. Which is bigger: i or x?
i
Let q(g) = -g**2 + 16*g + 81. Let c be q(19). Are 24 and c unequal?
False
Let w = 68 + -67.977. Let o = -0.777 - w. Does o = 3/2?
False
Let k = 1 + -6. Suppose -20 = -2*c - 2*c. Suppose 0 = c*o + 5*t - 5, -2*o + 1 - 14 = -t. Which is bigger: o or k?
o
Let i(n) = n**2 - 64*n + 497. Let p be i(56). Which is bigger: p or -2/3?
p
Suppose -9*s = 2*s - 9*s. Let h be (-40 + -7)*(s - 1). Do h and 48 have the same value?
False
Let r be 41*(6 + 0)/(-18)*3. Are -37 and r nonequal?
True
Let w be 2/(-4)*(0 + -327 - -1). Suppose c - 5*c - w = 5*t, c + 2*t = -40. Which is greater: c or -41?
-41
Let n = -3 + 0. Let q = -3 - n. Is q != -22?
True
Suppose h - 4*k - 12 = k, 0 = 5*h + 5*k. Suppose n - 17 = -0*n - 3*a, 0 = n + h*a - 13. Which is greater: 7 or n?
7
Let w = 10/117 + -4/13. Let a = 1.112 - -47.788. Let x = 49 - a. Which is smaller: x or w?
w
Let z(s) = s**3 + 10*s**2 + 12*s + 15. Let q be z(-9). Let g be q/(-30)*(-5)/(-13). Let i = 1 + -2. Does i = g?
False
Let t = -40 + 40. Is 64/7 at most as big as t?
False
Let y be 0 + 2 + (16 - (-109224)/(-6072)). Is 0 at most y?
True
Let x = -1850 - -1768. Is x at most as big as -84?
False
Let t = 1154 + -1120. Is t not equal to 364/11?
True
Suppose -3*o - 6 = -3. Let j(u) = -3*u - 1. Let x be j(-4). Let i = 10 - x. Does i = o?
True
Suppose 5 = 3*f - 7. Suppose -4*k - f + 0 = 0. Which is smaller: 1/34 or k?
k
Suppose 2 = 2*o - 0*o. Suppose -36*k + 67 = -12*k - 125. Is o > k?
False
Suppose -540 = -3*i - 3*i. Let f be (-2)/28*-2*21/i. Do f and -1 have different values?
True
Suppose -2*d = -0*d - 4. Suppose -d*w - 3*w = 0. Suppose -x - 2 + 3 = w. Is x equal to 8?
False
Let u be (-584)/(-12629)*1/4. Do u and -1 have the same value?
False
Let o = -18 + 24. Suppose -r = 2*k - 7, 4 = 3*k + 2*r - o. Is 3 equal to k?
False
Suppose 83 - 95 = -3*m. Suppose 4*u = -4*b + 32, 2*b - 4*b - 38 = -m*u. Which is smaller: u or 11?
u
Let k = -315 + 271. Which is smaller: k or -10?
k
Suppose -2*d + 4*i + 276 = 0, 4*d = 5*i + 498 + 69. Which is greater: 150 or d?
150
Let n = -2.895 - -3. Let s = 0.005 - n. Which is greater: 3/13 or s?
3/13
Suppose 67*g = 70*g - 45. Are g and 16 non-equal?
True
Let w be 56/(-24)*(-72)/(-120). Which is bigger: -24 or w?
w
Let c = 289/230 - 22/23. Which is greater: c or -35?
c
Let i be (-15 - 1570/(-110))*2/8. Which is smaller: i or -13?
-13
Suppose -28 + 1 = -j. Let s = 30 - j. Suppose 0 = c + s*n - 9, 0 = 5*c - c - 3*n + 39. Are -3 and c nonequal?
True
Let v(w) = -3*w. Let o be v(-5). Let n be 43/o + (-2)/10. Let t be 18/(-8)*((-80)/15 + 4). Which is smaller: t or n?
n
Let q(t) be the second derivative of -t**4/4 + 11*t**3/6 + t**2/2 - 22*t. Let u be q(5). Which is bigger: -20 or u?
u
Let j be (-2)/(-4)*(-46 + 48). Which is smaller: j or -1/78?
-1/78
Let a be (-55 - -60) + -149 + -1. Which is greater: -146 or a?
a
Let b = -11 - -11.65. Let v = b + 0.15. Which is smaller: 0 or v?
0
Let t = 0.038 - -0.182. Which is bigger: t or 2/97?
t
Let n(r) = r + 2. Let l be n(-2). Let f(m) = -47 + 12*m - 23*m + 17*m. Let i be f(8). Is l less than or equal to i?
True
Let w = -33 + 32. Let t be 4 - w*44/(-4). Let f = 7 + t. Are 0 and f non-equal?
False
Let m = 373/6 + -62. Let h = 902 - 1745/2. Let d = h - 29. Is m at least d?
False
Let o = -365.11 + 362. Let w = o - -2.9. Let z = w + 7.21. Is 2 <= z?
True
Let g(l) = -2*l + 20. Let u be g(13). Let b be ((-33)/u - 1 - 4)/(-2). Which is smaller: b or -31?
-31
Let j = 8 + -5. Suppose 0 = j*y - 6*y + 27. Let b be (-1)/2 + 126/12. Is y less than or equal to b?
True
Suppose -3*m + 5 = -x - 5*m, 5*x = 5*m + 50. Suppose f = -5*u + 50, 3*f - x*u - 130 = -2*f. Is 29 at most f?
True
Let m = 31.162 - 0.162. Which is greater: m or 11?
m
Let r(f) = 2 - 6 - 5 + 4 - 2*f. Let l be r(-5). Suppose 4*j - k = -5*k + 8, 8 = 4*j + 3*k. Which is greater: j or l?
l
Let w be 23/4 - (-4)/16. Suppose 0 = -w*f + 2*f - 16. Let a(d) = -4*d - 39. Let v be a(-9). Which is smaller: f or v?
f
Let i = 22.9 + -23. Let t = -81 + 72. Is t at least i?
False
Let z = -474 - -411.8. Let n = 71 + z. Let o = n - 9. Which is smaller: o or -2/9?
-2/9
Let z be 217/4 + (-24)/96. Let m = -54 + z. Suppose -3 = -5*p + 12. Is p at most m?
False
Let t = -36 - -40. Suppose 4*n - 3*z = -6 - 5, 0 = -t*n - 3*z - 29. Is -5 less than or equal to n?
True
Let m be 11*(-2 - (-2 - -1)). Let r(x) = x**2 + 13*x + 19. Let h be r(m). Let n = 1 + -1.6. Is h not equal to n?
True
Let x = -27 + 14. Let s = 13.9 + x. Let v = s + -1. Which is smaller: 0.1 or v?
v
Let o = 0 - 3. Let m be 12/126 + 232/(-84). Is m < o?
False
Let a be 9178/(-66) + 80/1320. Is a at least as big as 0.2?
False
Let z = -8895 - -5425951/610. Is z > -1?
True
Let k be (0 + (-3)/6)*2. Let q be (12/(-15))/(((-198)/(-135))/11). Is q > k?
False
Let z be -1 - -9 - 0/(-3). Let h = z + -7. Which is smaller: h or 7/4?
h
Let v = -54 + 65. Let r(g) = -3*g + 32. Let i be r(v). Let u = -4 - -2. Which is greater: i or u?
i
Suppose 0 = -0*p + 5*p + 10, 0 = -k + 3*p - 2. Let r = -1 - -3. Let c be k/(-12) - (r + -1). Are -6 and c non-equal?
True
Let r be ((-270)/(-315))/(0 - 2/(-7)). Suppose -r*x - 11 = u, 2*x + 2 = -0*u - 2*u. Is x bigger than 1?
False
Let r(i) = i**3 + 16*i**2 + 15*i + 21. Let w be r(-15). Let c = w - 17. Let h(v) = v**2 - 6*v + 8. Let f be h(c). Is f bigger than 0?
False
Suppose 39*i = -9 + 711. Which is smaller: 15 or i?
15
Let q = 7.1 + -0.1. Let y = q + -7.2. Suppose b = 5 - 2, 12 = -3*o + 5*b. Does y = o?
False
Let o = 19 - 19. Suppose 14*t - 17*t = o. Is t equal to -5/6?
False
Let g = 8.965 + -0.415. Let h = g + -8.5. Which is bigger: 8 or h?
8
Let m = -204155480807696 + 2291924760919609801439/11226369. Let j = m - -3/23243. Let h = j + 2/69. Which is smaller: 4/9 or h?
h
Suppose -5*n - 2*h + 11 = 0, -3*n + 3*h + 20 - 5 = 0. Suppose -p + 2*y = 37, -3*p - n*y = 108 + 21. Which is smaller: -42 or p?
-42
Let o = 469 - 451. Is o > 15?
True
Let n = -24 - -6. Let t = 19 + n. Let u = 0 + 1. Is t at least as big as u?
True
Suppose -5*h = -11*h - 378. Let k be 1 + 2 + 180/h. Which is smaller: -1 or k?
-1
Let k(r) = -2*r**3 + r**2 + 3*r + 3. Let p be k(3). Let f = -34 - p. Which is smaller: 6/19 or f?
f
Let y(l) = -13*l. Let q be y(-3). Let x be 3 + -2 + (-69)/q. Which is greater: 0 or x?
0
Suppose 14*q - 2865 = 5535. Which is bigger: 601 or q?
601
Let t be (-18)/(-9) - (-12)/(-4). Let p = -13069/36 - -363. Which is smaller: t or p?
t
Let f = -322.59 + 323. Is f < -1/3?
False
Let o(p) = -2*p + 6. Let i be o(2). Suppose -i*s - 14 - 6 = 0. Which is smaller: -9 or s?
s
Let k = 745.3 - 44.3. Is -2 at most as big as k?
True
Let u be 12/7 - 2 - (-6354)/(-56). Let k = -113 - u. Which is bigger: k or -9?
k
Let u be (-4)/3*72/3984. Let n = -135/2158 - u. Is 3 at least n?
True
Let b = 868/3 + -289. Do -5 and b have the same value?
False
Let d(o) be the third derivative of -o**6/60 + 7*o**5/20 - 11*o**4/24 + 11*o**3/6 - 30*o**2. Let b be d(10). Which is bigger: 1/21 or b?
b
Let y be (-8)/12*(-30)/(-8). Let i(v) = v**3 - 24*v**2 + 22*v - 18. Let q be i(23). Let u = q - -38. Is y smaller than u?
False
Let r be (-2288)/192 + 4/24. Which is smaller: r or -11?
r
Suppose -2*b + 0*b - 218 = -3*o, 4*b - 194 = -3*o. Which is bigger: o or 0?
o
Let r be (1 - 2/3)*53. Suppose 2*c = -4*s + 20, 2*c - 82 = -3*c - 2*s. Which is smaller: c or r?
r
Let k = 71 - 47. Let j = k + -22. Let z be (-17)/j + 4 + -1. Is z < 1/3?
True
Suppose -2*l - 84 = 2*l. Let f be (-4)/(-10)*(-15)/l. Let i = -565 + 565.2. Which is smaller: f or i?
i
Let a = -16 - -18. Suppose -1 = a*m - 3*m. Let l be (m + -2 - -2)/(-17). Are l and -1 unequal?
True
Suppose -2*l - 20 = -4*v, 2*v - 12 = -v. Let h be (7/l)/((-1)/(-2)). Which is greater: -9 or h?
h
Suppose -720 = -58*x + 3282. Is x greater than or equal to 66?
True
Let d = 1 - 5. Let r be (-96)/56 + d/14. Let q be (-2)/(r/(-2)*18). Which is greater: q or 1?
1
Suppose -6*y + 2*y + 22 = 2*v, -3 = -y. Let t = -100 - -106. Is t < v?
False
Suppose 113 - 117 = -x. Suppose 57 - 17 = x*a. Is a < -2?
False
Let y be (-1)/(-5) - 27/(-15). Let v(o) = -o**2 + 13*o + 17. Let a be v(14). Suppose -3*z = j - 12, -2*z + z + 4 = -a*j. Which is greater