-32. Suppose -3*h = o - 2, 0 = -2*o - 3*h - h + 8. Is o < w?
True
Let i be (2 - (-12)/6) + 12/(-3). Is i at most as big as 2/427?
True
Suppose -u - 2*j + 13 = -0*j, -2*j - 17 = -5*u. Suppose 41 = -3*m - 5*q, 5*q + 22 + 2 = -2*m. Let y = -12 - m. Is u > y?
False
Let n(m) = -m**2 + m - 1. Let o(j) = j**3 - 10*j**2 - 12*j + 11. Let v be o(11). Let w be n(v). Let b be ((-4)/6 - w)*3. Is b smaller than -2/21?
False
Let i be 0 + ((-54)/81)/(4/18). Which is greater: i or -32/15?
-32/15
Let u be ((-4)/(-6))/(11/(-198)). Which is smaller: 5 or u?
u
Let d = 303/5 + -58. Let c = -86 + 85. Is d not equal to c?
True
Let b be 1 - ((-18)/45 + (-3374)/(-10)). Which is bigger: -337 or b?
b
Let u(f) = -3*f + 1. Let m be u(-4). Let z(n) = 3 + 1 + n - 23. Let t be z(33). Is m greater than t?
False
Let l(n) = -2*n - 2*n + 3*n**3 + 2 + 7*n**2 + 5*n**3 - 6*n**3. Let c be l(-4). Let p be ((-1 - -1)/c)/2. Is p > 2/3?
False
Let w(o) = -o - 7. Suppose 0 = -0*j - 2*j. Suppose -4*q - 13 + 1 = j. Let u be w(q). Which is bigger: u or 0?
0
Suppose -420 = -3*l + 15. Let r be l/45 + 4/(-18). Suppose 8 = 2*q - r*q. Is -9 equal to q?
False
Let b(w) = -w**2 - 6*w + 42. Let a be b(4). Let y = 22 - 21.91. Is y not equal to a?
True
Let m be 8/(-6)*(-13 - -7). Suppose -c = -5*c + m. Which is greater: c or 3?
3
Suppose -4*p = 27 - 67. Suppose -3*t - 13 + p = 0. Let j = 22/5 - 76/15. Is j <= t?
False
Suppose 0 = 12*d - 7*d - 70. Let b = 16 - d. Suppose 1 = b*y + 11. Which is greater: -6 or y?
y
Suppose 4*g + 10 = 2*w, -2*w = 3*g - 5*w. Is g != -18?
True
Let x be 0/(2*(-10)/(-5)). Which is smaller: x or -5/76?
-5/76
Let s be ((-4)/(-6))/(10/105). Suppose 12*h = s*h - 5. Is -2/175 less than h?
False
Suppose 10*f + 4*a = 14*f + 28, 12 = -2*f + 4*a. Suppose -16 = h - 1. Which is bigger: f or h?
f
Let s = 8559/697 + -210/17. Let r(h) = -228*h - 3875. Let v be r(-17). Which is greater: s or v?
v
Let j be ((-24)/620)/((-4)/(-10)). Is j bigger than 0?
False
Let g = 42 + -42. Suppose -5*t - 135 = -g*t + 2*c, -t - 3*c - 14 = 0. Which is greater: t or -30?
t
Let f = 788.92 + -787. Which is smaller: f or -1/4?
-1/4
Suppose 0*n - 2*n = -f, 0 = 3*n - 5*f + 7. Let j be (-9 + n)*(-12)/24. Suppose -j - 17 = -3*a. Is 8 less than or equal to a?
False
Let a be (60/70)/(3/((-63)/(-8))). Let z = a + -5/2. Do z and 2/13 have different values?
True
Let t be 1/((9/(-6))/((-4)/((-88)/2343))). Suppose 0 = 2*b + 3*u + 127, 4*b + 61 = u - 228. Are t and b non-equal?
False
Let r = 283/20 - 72/5. Let a = -1 + 0. Which is smaller: r or a?
a
Let q = 1.048 - -0.952. Suppose -5*u + 80 + 185 = 0. Which is smaller: u or q?
q
Let z be (-3 + 4)*-1 - -4. Suppose 3*x = -x + z*t + 13, 2*x - t - 7 = 0. Suppose -34 = x*w + 34. Which is bigger: w or -16?
-16
Let o(l) = l + 7. Let n be o(6). Let a(j) = -8*j - 17. Let m be a(-4). Is m >= n?
True
Let r = -94571/62077 + 882187830984/34701043. Let b = r - 25421. Let p = b + -3/43. Which is bigger: 0 or p?
0
Suppose -4*x - 5*i - 7 = 0, -2*i - 1 = x - i. Let s be 4 - 2 - (0 - 0). Suppose -x*k = s*k - 4. Is 4/13 at most as big as k?
True
Let n = -545/462 + 78/77. Which is greater: n or 46?
46
Let w be -2 + (-2 - (-423)/(-3)). Let y = w - -5509/38. Which is smaller: y or 1?
y
Suppose 17*q = -813 + 252. Is q at least -30?
False
Let o = -9.3 - -9.287. Let t = o + -0.037. Is t at most 0.3?
True
Let o = 75.92 + -76. Which is greater: o or -1?
o
Let o = -8281/8998 - 14/409. Which is greater: o or -2?
o
Let p = 383 - 1147/3. Is -85/2 at most as big as p?
True
Let j be (16/(-2))/(3/(-12)*-2). Let u be (-2404)/30 - j/120. Is -79 less than u?
False
Let t = -2 + -0.5. Let q = t - -3. Let h = 0.45 - q. Is 0.1 smaller than h?
False
Let c = 3237 - 3220. Suppose 4*i = -2*b + 12, -4*b + 5*i + 126 = 37. Which is smaller: b or c?
b
Let p = 1.5 - 2.13. Are p and -0.5 nonequal?
True
Let i = -8344 - -3287539/394. Is 0 equal to i?
False
Let f be 16/230*(-30)/4. Let o be 35/115*52/(-8). Let c = o + f. Is c > -4?
True
Let z(s) = -s**3 - 4*s**2 + 4*s. Let h = -15 + 24. Let p be -9 - -13 - (0 + h). Let w be z(p). Is w greater than or equal to 5?
True
Let i = -0.08 + -0.02. Let y = 160 + -157.9. Which is smaller: i or y?
i
Let i be (2/6)/(4/12). Let v(d) = d**3 + 2*d**2 - 1. Let p be v(i). Is p > 4?
False
Let p be (-1)/(-6)*(-5)/(2/(-12)*5). Let f = 486/315817 + -8/1009. Is f bigger than p?
False
Let d = 53.16 - 53. Let w = d - 1.16. Is -1 less than or equal to w?
True
Let a be (-30)/(-8) + -3 - (-1306)/40. Let y(o) = o**2 + 5*o - 3. Let v be y(-9). Let c = v - a. Which is bigger: c or 4?
4
Let t = -11 + 4. Let l = 1.41 + -1.51. Do t and l have different values?
True
Let q(h) = -7*h**2 - 10*h - 39. Let v be q(-4). Which is smaller: v or -110?
v
Let j be 1215/6*(-42)/35. Which is bigger: -242 or j?
-242
Suppose -12 = 7*v - 173. Which is smaller: 20 or v?
20
Suppose 0 = 52*p - 47*p + 65. Let x = 18 - 18. Which is smaller: x or p?
p
Let b = 28 - 98. Let s = b - -71. Which is bigger: 44 or s?
44
Let x be (-1)/((-1)/(-9)*-1). Let f = 81 - 73. Is f bigger than x?
False
Suppose -2*h + 5*d - 7 = 0, -d + 2 + 9 = 2*h. Let r be 1 + 15 - h - -4. Are r and 15 nonequal?
True
Let s(b) = 24*b - 355. Let y be s(15). Is 113/21 greater than y?
True
Let b be 6*(3 - 159/45). Let l = 74 - 77. Is b <= l?
True
Let s(t) = 2*t**2 - 1. Let f be s(-2). Let m be 12/(7 - 473/88). Which is bigger: m or f?
m
Let r = -22.65 - -22.35. Suppose -4*h + 18 = -2*h. Let l be 2/h - (-78)/135. Do r and l have the same value?
False
Let w = -183 + 634. Which is greater: 450 or w?
w
Let t be (-175)/(-28) - (-1)/(-4). Suppose 4*f = -3*b + 8*f + 13, -3*f - t = -b. Suppose -1 = b*l - 2*l. Is l at least as big as -1?
True
Let x be 82/(-7) - 12/42. Let f be 5/20 + (-3597)/x. Let l be (8/f)/(1/(-5)). Which is smaller: l or 0?
l
Suppose 1971 = -17*y - 56*y. Is -113/4 at least as big as y?
False
Suppose -u - y = -8, y - 3*y = -2*u. Let r(h) = h**2 - 3*h - 7. Let t be r(u). Let c = -1 - t. Which is bigger: 3 or c?
3
Let n = 56 - 30. Suppose -n = -9*y + 10. Which is smaller: y or 7?
y
Let h(j) = -2*j - 4. Let m(k) = k - 1. Suppose 3*p - 2*p + 2 = 0. Let f be m(p). Let z be h(f). Is 4/3 greater than or equal to z?
False
Let f be 16/56 - (-3660)/28. Is f <= 0.1?
False
Let r(i) = -i**2 - 7*i - 4. Let f(m) = -2*m**2 - 7*m - 4. Let t(p) = -2*f(p) + 3*r(p). Let v be t(6). Is v <= -10?
True
Suppose -2 - 4 = 3*u. Let m = u + 1. Let l be (-5)/3*66/(-110). Which is bigger: m or l?
l
Let u = -7.14 - -3.14. Which is greater: 3.5 or u?
3.5
Let r = -108.66 + 2.66. Let y = r - -105. Is y < -1?
False
Let f be (-4)/(-14) + (-612450)/315. Which is smaller: -1943 or f?
f
Suppose 0 = 4*g - 5*h + 301, -5*g - 281 = -2*h + 74. Let b = 68 + g. Is -64 smaller than b?
True
Let m = -24 + 138. Let u = m - 113.8. Which is bigger: -2.9 or u?
u
Let l = -16 - -20. Suppose -l*o - 5 = -3*t - 32, -15 = -5*o. Do t and -8 have the same value?
False
Let l = 334 + -347. Is l at least as big as 37?
False
Suppose 2*q - g = -83, q - 4*g - 108 = 4*q. Let r = 54 + q. Which is smaller: r or 2?
2
Let i = -54 - -57. Suppose i*f + 278 - 281 = 0. Is 1/8 less than or equal to f?
True
Suppose -11 = -10*d + 3579. Is 360 less than d?
False
Let r(q) = -15*q + 6. Let y be r(4). Let s(k) = 10*k - 123. Let x be s(7). Which is bigger: y or x?
x
Suppose -x + 2*m = 4*m - 4, 5*x - m = -35. Let c = 3 + x. Let t be ((-2)/(-4))/((-31)/558). Is t at most as big as c?
True
Let t(o) = 4*o - 38. Let a = 68 + -58. Let j be t(a). Let w = 2 + 0. Is j greater than or equal to w?
True
Let c = -247 + 70. Are -2/3 and c equal?
False
Let n(w) = -w**2 + 10*w - 30. Let f be n(13). Let o be 10/f + (-12)/(-18). Is o less than 2?
True
Suppose 5*l = -5*q - 15, 2*q + 12 = -3*q - 4*l. Which is smaller: q or -15/17?
-15/17
Suppose -17 = 3*x + 100. Let z be ((-38)/5)/((-2)/(-10)). Which is greater: x or z?
z
Let g = -16073/770 - -209/10. Let r be (-4)/6 - (6 + (-387)/54). Which is smaller: g or r?
g
Let m be (-2 - (-3 - -2))*86. Let d = m - -31. Let v be (-26)/(-22) + 10/d. Are 2/19 and v nonequal?
True
Let h be ((-35)/(-40))/((-2)/(-16)). Suppose -9*m - 36 = -h*m. Is m < -18?
False
Suppose -4*l = -27 + 7. Suppose -4*g + l = -3. Let j be (g - -2) + (-96)/22. Which is smaller: 1 or j?
j
Suppose -2*m + 451 = 9*m. Let c = 62 - m. Are c and -1 unequal