 z?
z
Let c = 131 - 529/4. Let w = -1.314 - -1.414. Which is greater: w or c?
w
Let k = -15 + 212. Which is smaller: k or 196?
196
Let s be (2 + -2 - 1) + 6. Suppose 0 = -s*c - 51 - 74. Let g be (-80)/c + 3/(-15). Is 3 not equal to g?
False
Let z be -2 - 1 - 207/(-161). Suppose -p = -3*x + 16, -2*p = p + 5*x - 8. Let l be (6/p)/((-12)/(-16)). Which is bigger: z or l?
z
Let w(h) = -h + 17. Let f = -4 - -18. Let o be w(f). Let i = -2 + o. Is i at least -1/16?
True
Let l = -372/955 - 2/191. Let i = 8165/6 + -1366. Is l at least i?
True
Let o(y) = -y**2 - 2*y. Let m be o(-3). Let p be 4 + 21/m - -2. Let s = 1/4 + -7/12. Are p and s non-equal?
True
Let h(s) be the third derivative of 0 - 1/3*s**3 + 1/6*s**5 + 1/60*s**6 + 0*s - 2*s**2 - 1/24*s**4. Let u be h(-5). Which is greater: u or 0.7?
u
Let c = -40 - -44. Suppose 5*x - 36 - c = 0. Is 7 greater than x?
False
Suppose 10*s + 84 - 94 = 0. Let f = 0.6 + -0.1. Let w = f + -0.5. Which is bigger: s or w?
s
Let l = 362.7 - 383. Let q = l + 20. Which is smaller: 3 or q?
q
Suppose 0*k - 265 = -5*x + 5*k, 0 = -2*x + 5*k + 112. Suppose 3619 = 66*q + 187. Is x at least q?
False
Suppose 5*o = 0, 0 = m - 4*o + 36 + 42. Let c be m/40 - ((-64)/20 - -3). Is c > -3?
True
Let x = -1478 + 1476. Which is smaller: x or 0.36?
x
Suppose 21*k - 14*k = -42. Let a = -806/33 + 210/11. Which is smaller: k or a?
k
Let u(w) = w**3 - 2*w**2 - 2*w. Let l be u(3). Suppose 1 - 16 = -5*p. Does p = l?
True
Let r = 2 - 3. Let i(t) = 3*t + 1. Let n be i(r). Which is greater: n or 1?
1
Let p = -21 + 16. Let z = 10 + p. Let d be 21/(-7) - (-23)/z. Is 3 greater than d?
True
Let g = -100 - -104. Suppose -5*z + 100 + 75 = 0. Let a be 104/z - (-16)/(-40). Is a at least g?
False
Let u(y) be the second derivative of -y**3/6 + y**2/2 - 7*y. Let h be u(4). Which is bigger: h or 1/3?
1/3
Let x = 19 - 14. Suppose 1 = x*j - 5*m - 14, -7 = -2*j + m. Suppose -j*r + 15 = 43. Which is greater: r or -8?
r
Let m = -195 - -204. Does m = 16?
False
Let o = 731.9 - 732. Which is greater: o or 665?
665
Let p(r) = -r**2 + 9*r - 1. Let g = -24 + 30. Let h(q) = -q**2 + 6*q + 9. Let i be h(g). Let a be p(i). Is 14 greater than a?
True
Let a(x) = x + 5. Let t be a(-5). Suppose t*o - 4*o + 31 = -3*b, -2*b - 10 = 0. Suppose 5*q + o*d + 13 = 0, q - d - d = 3. Is 2/5 at most as big as q?
False
Suppose -3*w + 6 = -w. Suppose -w = 3*z - 2*l, 2*l = -0*z - 3*z + 9. Let u = -43.1 - -43. Which is smaller: u or z?
u
Let z(x) = -x**2 + 16*x + 8. Let h be z(17). Let y be 4/12 + (-42)/h. Is 11 >= y?
True
Let x(j) be the third derivative of -j**5/60 - 11*j**4/24 - 7*j**3/3 - 11*j**2. Let k be x(-8). Suppose 4*d = 5*d + k. Is -9 >= d?
True
Let g = 14.83 + -14.7. Which is smaller: -0.2 or g?
-0.2
Let w be (-30)/(-9)*(-189)/14. Let i be (-2)/(-7) - (w/(-35) - 0). Let r = -1 - -1. Which is smaller: r or i?
i
Suppose 3*k + 2*k = 0. Let q be (-3)/3*(-2 + k). Suppose q*h + 18 = 5*h. Is 6 > h?
False
Let h = 11/4 + -67/20. Let z be 3/2*((-90)/27 + 2). Which is smaller: h or z?
z
Suppose -295*o + 16 = -279*o. Are 2/177 and o equal?
False
Let a(q) = q - 1. Let i(f) = -17*f + 7. Let c(m) = 6*a(m) + i(m). Suppose 0 = 4*u + 4, u - 2 = -3*n. Let s be c(n). Is -10 at least s?
True
Suppose -r + 3*r = -2. Let n be 11/88 - 1/8. Suppose n = -4*l + 3*l, -2*q - 3*l + 32 = 0. Is q > r?
True
Suppose -18*o = 6*o - 1104. Is 39 at most o?
True
Suppose -q - 4 = 3*o + 7, 0 = -3*q - 4*o - 13. Are -51.5 and q unequal?
True
Let s be ((-240)/1760)/((-63)/4). Is s at most as big as -2/9?
False
Let o = 1910 - 1892. Which is smaller: 6 or o?
6
Let a = 1221 + -18317/15. Let v be -1 - (-1 - 5/1). Suppose v*x = x. Which is smaller: a or x?
a
Let a be -9 + -8 + (-3066)/(-6). Do 493 and a have the same value?
False
Let c be -12*((-38)/(-4) - 9). Is c at least as big as -89?
True
Let o be (-10)/4*-2 + 3314/(-662). Which is greater: o or -1?
o
Let z = -1407/11 + 128. Suppose -5*l + 5*o + 6 = 1, -4*l = 4*o + 12. Which is smaller: z or l?
l
Let y = -157 - -153. Which is smaller: y or 4/9?
y
Let c(q) = q + 6. Let f be c(8). Let j = f - 12. Suppose -4*w + 7 = 4*u + 3, j*u + 3*w = 2. Which is smaller: -1/12 or u?
-1/12
Let u = -469 - -406. Is u smaller than -61?
True
Let x(k) = 19*k - 59. Let i be x(3). Let r = 1.32 + -0.12. Do i and r have the same value?
False
Let d be (0 - -1)/60*2/(-1). Which is smaller: -1 or d?
-1
Let f be (-12)/(-18) + (-122)/(-6). Suppose -f = 6*u - 3. Which is bigger: u or -16/7?
-16/7
Suppose -30 = -3*x - 3*p, -2*p = x - 4*x + 20. Let i = 9 - 2. Which is greater: x or i?
x
Let b(w) = 9*w - 22. Let c = 60 + -56. Let a be b(c). Which is greater: 15 or a?
15
Let o(t) = -t + 24. Let v be o(23). Which is bigger: -7/99 or v?
v
Let w(d) = -d - 6. Let j be w(2). Let h be j/(-10) - (-8113)/(-35). Let n = -2539/11 - h. Is 0 less than or equal to n?
True
Let y be 140/(-175)*5/2. Which is smaller: y or -16/9?
y
Let j(q) = q**3 - 8*q**2 + 12*q + 1. Let f be j(7). Suppose f = 4*m - r, 5*r + 0*r = 4*m - 36. Which is bigger: m or 12?
12
Suppose 4*s + 3*s = 21. Suppose g - 4*g - s = 3*f, 4*f = 4*g + 12. Which is smaller: 2/19 or f?
2/19
Let g = -1.29 + -0.45. Let t = -0.74 - g. Let l = -0.8 - -0.1. Which is bigger: l or t?
t
Let x = 656 - 636. Are x and 23 nonequal?
True
Let u = 8 - 12. Suppose -3*p = 4 - 13. Suppose -t - 20 = p*t - 2*z, -10 = 2*t - 3*z. Which is bigger: t or u?
u
Let n = 207 - 207.14. Let g = 2 + -2.04. Let l = g - n. Is -6 > l?
False
Let k = -360 - -1429/4. Let g = 2.986 + 0.014. Which is greater: g or k?
g
Let i be 2/(-7) - 102/(-14). Let s = 10 - i. Let k = 1408 - 1409. Does s = k?
False
Let w = -0.15668 - -0.15668. Suppose 400 = 4*s + s. Suppose s = c + 3*c. Which is smaller: w or c?
w
Let g be (-5524)/(-20)*-3*(-5)/(-3). Is g bigger than -1380?
False
Let q = 64.1 + -64. Is 96 at least q?
True
Let b(d) be the third derivative of -d**4/24 - 7*d**3/6 - 4*d**2. Suppose 0 = 3*m + m + 32. Let y be b(m). Which is smaller: y or -5?
-5
Suppose -29*v + 13*v + 256 = 0. Which is bigger: -16 or v?
v
Let b = -19/3 + 17/3. Is b > 5.7?
False
Suppose 147 = 6*j + 21. Let w = j + -20. Is 1 at most w?
True
Let g be 57/273 - 0/2. Let f = g + 1/13. Does -20/9 = f?
False
Let w be (-1)/(-4)*274/136. Let i = -6711/16 - -420. Let p = w - i. Which is smaller: p or -1?
-1
Let j = 0 + 0. Let l be (3 - 6)/((-1)/(-2)*2). Let y be 26/(-8) - l*(2 - 1). Is j at least as big as y?
True
Let j = -6 + 111. Let n = j - 48. Which is bigger: n or 56?
n
Suppose 2*s - 43 = 4*s + 3*k, 3*k - 55 = 5*s. Let x be (-34)/s + 51/(-119). Which is bigger: 8/9 or x?
x
Let v(u) = -2*u - 2. Let n = 5 - 5. Suppose n = b - 2*b. Let x be v(b). Are x and -3 nonequal?
True
Let n = -158 + 178. Which is greater: -3/8 or n?
n
Let m be 51/(-78) + (-4)/(-26). Which is smaller: -66 or m?
-66
Let c be 2/(-12)*(-2566 - 0) - 2. Let h = c + -451. Which is smaller: -26 or h?
-26
Suppose -3*c - 21 = -6*c. Let k = c - -7. Is 14 < k?
False
Let x be (6 - -1)*(-36)/(-14). Let h be (-14)/x + (-2)/9. Let s be h/((-12)/(-8) - 1). Is 1 at most as big as s?
False
Let y = 368977157/2573050861 - -3/431069. Let s = 6/47 - y. Which is smaller: s or 0?
s
Suppose -924 = 4*x - 4*v, 8*v - 4*v = -4. Let q be (36/(-8))/((-4)/x). Let p = -1311/5 - q. Which is bigger: p or 0?
0
Let h(d) = 8*d + 29. Let o be h(-6). Let w = 19 + o. Which is smaller: w or 2/51?
w
Let j = -4/449 - -6767/3592. Let q = 89/56 - j. Let w(h) = -h**2 + 5*h + 36. Let l be w(9). Are l and q nonequal?
True
Let a = 227849/310 + -735. Is -1 at least as big as a?
False
Let g(v) = -v**3 - 7*v**2 + 6*v - 10. Let m be g(-8). Let t(f) = -f + 18. Let h be t(m). Let r = 13 - h. Is r bigger than 1/11?
True
Let c = -642 - -639. Let t = 2.8 - 3. Which is bigger: c or t?
t
Let b(i) = i**3 - 7*i**2 - 16*i + 113. Let k be b(7). Which is smaller: k or 2/5607?
2/5607
Suppose 80 = -20*b + 320. Suppose -2*u - 39 = -5*u. Which is smaller: b or u?
b
Let m be 1*3/120*2. Let w = 4 - -47. Let u = w - 51. Is m at least as big as u?
True
Suppose 5*d + 5*v = 2*v - 4294, -2586 = 3*d + 5*v. Let a be 2/((-22)/3)*3139. Let o = d - a. Is 0 > o?
True
Let h = 131.7 + -114. Let n = h - 19. Let j = n + 1.2. Is 6 less than or equal to j?
False
Let d = 1614 - 1623. Which is bigger: -15 or d?
d
Let y be (1 - -68)/(4/8). Which is bigger: 134 or y?