reater: -18 or z?
z
Let h(o) = 4*o**2 - 9. Let u(m) = 3*m + 1. Let v be u(-3). Let g be h(v). Let c = -2225/9 + g. Is c <= -1/4?
False
Let g be -4 - ((-1)/(-1))/(-1). Let b = -6 - g. Suppose -q + 8 = -2*s, 5*q + 5*s - 73 + 93 = 0. Is q at least as big as b?
True
Let m = 6/125 + -137/250. Is 1.7 bigger than m?
True
Let v = -11 - -22. Let l = 30 + -25. Suppose 4*q - 17 = -j, -2*q + 1 = l*j - 3*q. Is v at most j?
False
Let k = 810 - 790. Suppose -5*z = -3*a + 10, 0*z + z + 2 = -a. Which is bigger: z or k?
k
Suppose 0 = y - q + 2 + 3, -5*y - 4 = 2*q. Let b be (-1342)/(-8) + (-12)/8. Let f = b + -167. Is f >= y?
True
Let u(l) = 6*l**2 + 51*l - 46. Let q be u(-11). Are q and 1 unequal?
True
Suppose -5*k = j + 22, -16 = 3*k + 2*k - 2*j. Let t = -1 - k. Let d be 17/30 - 1/6 - 0. Which is greater: d or t?
t
Suppose -2 = f - 84. Suppose 0 = -3*d + 20 + f. Let p = 35 - d. Is p less than 2?
True
Let i = 78 + -72. Are 1 and i equal?
False
Suppose 5*d = 4*r - 183, 5*r - 7 = 3*d + 95. Which is bigger: 1/3 or d?
1/3
Let v = 5415 - 5409. Let o = 5 - 9. Is v <= o?
False
Let w(g) = -g**3 - 30*g**2 - 176*g. Let y be w(-22). Which is smaller: -2/457 or y?
-2/457
Suppose 6*d = 3*d + 114. Let n = 39 - d. Is -1 < n?
True
Suppose x + 2 = 4. Let g be x*(-5)/(-100)*4. Let l = -5.07 + 5. Is l not equal to g?
True
Suppose 0 = -0*m + 2*m - 36. Let p be 106/m + -8 + 5. Is p bigger than 2?
True
Let c be (25/(-10))/((-3)/6). Suppose -34 = -c*r + 1. Which is smaller: 4 or r?
4
Let k(h) = -h**3 + h**2 + 3*h - 2. Let l be k(2). Let u be 540/4212 + (-2)/(-6)*1. Is l bigger than u?
False
Let f = 9975/11 + -906. Let a = 0 - -2. Which is smaller: f or a?
f
Suppose 0 = 2*b - 7*k + 29 - 1, 5*k = -b + 20. Which is smaller: b or 1/885?
b
Suppose 5*n + 3*w - 2*w + 2988 = 0, 3*w = -9. Let y be -2*2/(-26) + n/3627. Which is greater: 0 or y?
0
Let o(d) = -d**3 - 75*d**2 - 3*d - 217. Let f be o(-75). Suppose 0 = -2*j + 5*t - 3*t + 16, 3*j = t + 34. Which is greater: j or f?
j
Let g be 74896/42 - 12/18. Let n = -301999/168 + g. Let k = 13/24 + n. Is k not equal to -14?
True
Suppose -5 = -8*j + 3*j. Let q = 4416 - 4397.03. Let a = -19 + q. Are j and a unequal?
True
Let b be 8 + 204/(-40) + -3. Which is smaller: 99 or b?
b
Let o = 9.74 - -0.26. Let q = -8.8 + o. Let h = q - -0.8. Is h <= -4?
False
Let y be 0 + (-2 - 1080/(-538)). Let h = -564/3497 + y. Let d be (-25 + 25)*2/2. Which is greater: h or d?
d
Let y = -5 + 6. Let p be 0 - -1 - 1425/(-27). Let x = p - 54. Is x at most as big as y?
True
Let y = 14 + -22. Let k be (1 - 9) + (-4)/y. Let r be (5 + -4 + (-2)/(-4))/(99/(-462)). Are r and k nonequal?
True
Let x(a) = -a**2 - 9*a. Let i be x(-9). Let c = -55/4 - -137/10. Let d = 7/60 - c. Is d at least i?
True
Let f(p) = p**3 - 7*p**2 + 7*p - 4. Let k be f(6). Suppose -4*g = 19*g - 92. Is k bigger than g?
False
Let n(h) = -11*h - 17. Let w be n(-11). Suppose 0 = -2*t - 2*t - w. Do -26 and t have different values?
False
Let a = -110.3 + 19.3. Let i = 91.03 + a. Is i at least -1?
True
Let k = -0.414 - -0.434. Are 0.27 and k unequal?
True
Suppose 5*x = -7*x + 3312. Does x = 276?
True
Let u(z) = -z + 1. Let y be u(1). Let g be (-4)/18 + 188428/1071. Let n = g - 176. Is y < n?
False
Let u = -8 - -7.8. Let x = 0.0121 - 32.0121. Is x bigger than u?
False
Let r be 5*(-86)/180 + 1/(-9). Is r not equal to -10/27?
True
Let w = -1481 + 48869/33. Let s = 17/132 - w. Let g(d) = d**3 + d**2 - 1. Let z be g(0). Which is bigger: s or z?
s
Suppose x = -2*x + 183. Suppose 5*d - 3*c - 313 = 0, 3*c - 13 = -d + 28. Is x at least as big as d?
True
Let f(y) = -2*y**2 - 10*y - 6. Let o be f(-6). Let b be o/(-12) - (-5)/(-6). Suppose -2*r + 0*r = 0. Which is greater: r or b?
b
Let s = 7.83 - -0.17. Let y = -12 + s. Let v = y - -4.1. Which is bigger: v or -1/4?
v
Let p = 1.5 + -0.4. Let z = 0.1 - p. Let l be (-3)/(-6)*(-12)/(-12). Is z < l?
True
Let f = -2003 - -3903/2. Is -52 greater than f?
False
Let j = -4.4 - -4.04. Let k = j - -0.96. Is k at least as big as -0.01?
True
Let m(w) = 3*w + 7. Let k(c) = 3*c + 8. Let b(r) = -4*k(r) + 3*m(r). Let d be 8/(-36) - (-68)/(-18). Let o be b(d). Which is greater: o or 2/3?
o
Let o(j) = 3 - 6 - j**2 + 2*j**2 + 3*j. Let m be -2 - (5 + -6 + 3). Let n be o(m). Which is smaller: n or 4/9?
4/9
Suppose 2*q - 5*q + 2*l = 22, -4*q + 2*l = 28. Let m(k) = k**3 - 5*k**2 - 9*k + 11. Let s be (3/4)/(3/(-24)*-1). Let t be m(s). Does q = t?
False
Suppose 3*m + 2*l - 97 - 64 = 0, -4*m + 2*l + 238 = 0. Which is bigger: 58 or m?
58
Let d = 1010.6 - 1051. Which is greater: d or 2?
2
Let r = -2654 + 2653. Is 1/2719 greater than or equal to r?
True
Suppose 2*d + 1 = -3. Let r be (-2)/17 + 2 + (d - 0). Suppose 3*h + 4 = 7. Do h and r have the same value?
False
Let h = 3.5 - 3.6. Let a = h - -0.08. Which is smaller: a or 0?
a
Let x = 2.701 + -0.001. Let k = -1.9 + x. Let f = 9 - 8. Do f and k have different values?
True
Let g(z) = z**3 - 21*z**2 - 2*z + 6. Let m be g(21). Let w = 16 + m. Is -1 smaller than w?
False
Let v be -7 + (-549)/(-45) + (-1)/5. Which is greater: v or 39/10?
v
Suppose 0 = -2*o - u - 5 + 3, 4*o = -u - 2. Suppose o = -10*l + 2*l. Let d = -2153/7 - -307. Is l > d?
True
Suppose q - 2*b = 4, -4*b = -5*q - 3*b + 11. Let f be ((-2)/q)/((-13)/143). Let n be -2 - f/((-154)/24). Which is bigger: 0 or n?
0
Let u be (-2)/10 - (-17391)/255. Is u greater than 71?
False
Let l(z) = -z + 8. Let x be l(-10). Let j be (-950)/125*25/(-10). Is x bigger than j?
False
Let j = -1.008 + -41.892. Let x = 71.97 + j. Let q = x - 29. Is -1/4 at most as big as q?
True
Let s = -283 - -274. Which is bigger: 2/11 or s?
2/11
Suppose -w - 5*u = -4*u - 1, -15 = -3*w + u. Which is bigger: 18 or w?
18
Let b = -2987/10 - -299. Let l = 0.262 - -2.738. Is l equal to b?
False
Suppose -12*a + 96 = -28*a. Is 9 less than a?
False
Suppose -3*p = 4*q + 160, 2*q - 39 = p + 1. Which is greater: -50 or p?
p
Let r = -190 + 191. Is r greater than or equal to 3/37?
True
Let d(w) = -w**3 - 4*w**2 - 5*w - 4. Let k be d(-3). Suppose 14 - k = -4*p. Let c be ((-26)/(-39))/((-7)/p). Do c and 0.2 have the same value?
False
Let y be (16/36 + (-8)/72)*-6. Let m be (-4)/18 - (-8)/(-18). Which is bigger: y or m?
m
Let d be 4*(-39)/18*(-42)/(-4). Let c = 92 + d. Is 2/285 at least c?
False
Let r = -121 - -121. Are -2/1037 and r equal?
False
Let t = 11 - 23. Let d(k) = -2*k**2 + 10*k - 2*k**2 + 77 - 92. Let x be d(2). Is t less than or equal to x?
True
Let x = 18 - 17. Let w be 1 - (x - 4 - -11). Let k be (w - (-15)/5) + -3. Are -9 and k nonequal?
True
Let k be -11 - -3884*(-15)/(-5300). Is -1 at least k?
False
Suppose -2*j - j = -b + 44, -3*j - 32 = 5*b. Let m(y) = -y**3 - 12*y**2 + 23*y - 19. Let h be m(j). Is h < 51?
False
Suppose 3 + 31 = -2*g. Let m = g - -20. Suppose 0 = -0*k + m*k. Is -5/11 < k?
True
Let x = -42 + 41.994. Let t = -0.016 - x. Is t at least as big as 4?
False
Let n be -2 - 4/(-4) - 2. Let d = 20 + -30. Let r be 1*5*4/d. Which is bigger: n or r?
r
Let b be 6/(-72) + (-4)/16. Which is smaller: b or -2/45?
b
Let y(h) = -h**3 + 3*h**2 + 2*h - 5. Let x be y(4). Let m = 16 + x. Let p be m - (-1 + -3 + 4). Is 3 equal to p?
True
Let x = -413 + 2067/5. Is -72 less than x?
True
Let a be 6/(-21) - 62/(-119). Suppose -24 = 4*p + 5*t, 0 = 182*t - 187*t - 20. Is p at least as big as a?
False
Let s be (2 - (-140)/(-63)) + (-7606)/(-25488). Let y = 1/472 - s. Which is bigger: 1 or y?
1
Let n = 1.095 + -0.095. Which is greater: -8.9 or n?
n
Let i = -3.7 - -0.7. Let m = 84 + -84. Which is smaller: i or m?
i
Suppose 12*u = 31*u + 6270. Are -330 and u equal?
True
Suppose 5*f = f + 16. Let n be 280/350*(-15)/(-2). Which is greater: n or f?
n
Suppose 6*c + 3 = 3*c. Let q = -40 - -42.5. Let t = q - 3. Are t and c unequal?
True
Let b = -50 - -69. Let j be 18/30*(b - -1). Is 11 < j?
True
Suppose s + 2*s + 36 = 0. Let f = 22 - 13. Let r be (-119)/f + 2/9. Which is greater: r or s?
s
Let r be 29/9 + 4/(-18). Let j(t) = -8*t**2 - 257*t - 33. Let c be j(-32). Which is greater: r or c?
r
Let q = -0.8 - -0.35. Let f = q + 0.4. Let i = -0.15 + f. Is 4 at most i?
False
Let c(b) = 21*b - 10. Let g be c(5). Which is greater: 98 or g?
98
Let b = -76.8549 - 0.1451. Which is bigger: 0.01 or b?
0.01
Let n(c) = -11*c + 22. Let s be n(-1). Is s smaller than 