 Which is bigger: -234 or q?
q
Let s = 1.02 + -0.02. Let r = -64 - -62. Let h = s + r. Which is bigger: -20 or h?
h
Let j(y) = -26*y - 17. Let t be j(2). Is -67 at least t?
True
Let q = -8 - -11. Let v(l) = 9 + 2*l**q - 3*l**3 - 8. Let n be v(0). Which is greater: -3 or n?
n
Suppose -347902 = -2*d + w, -3*w + 357517 = 3*d - 164336. Let o = 26440453/152 - d. Let q = -10/19 - o. Does 1 = q?
False
Let x = 1084 + -1174. Is -92 greater than or equal to x?
False
Let r(f) = f - 18. Let m(n) = -n + 18. Let l(k) = -3*m(k) - 4*r(k). Let a be l(19). Is a <= -3/5?
True
Let n = 78.083 + -0.083. Let k = n + -80. Which is greater: k or 26?
26
Let q = -1946 - -2443. Is q smaller than 497?
False
Let a = -113 + 168. Let h = a + -269/5. Which is greater: 0 or h?
h
Suppose w = -5*g + 26, 2*w - 5*w - 6 = g. Suppose -23*f = -26*f - g. Which is smaller: f or -1?
f
Suppose 2*g - 18 - 28 = 4*t, 2*g - 39 = -3*t. Suppose 0*m - g = 3*m. Is -9 at least as big as m?
False
Suppose 0 = -2*i + 6 + 14. Suppose i*m = 14*m + 204. Let q be -2 - (-5)/((-120)/m). Is 1 at least q?
True
Suppose -3*h = -6, 2*h - 55 = -4*q - 143. Let i(f) = 2*f - 36. Let y be i(5). Which is smaller: y or q?
y
Let i = -339.27 - 3.73. Which is smaller: i or 0.2?
i
Suppose -2*x + 15 = 3*x. Suppose x*v = -v - b + 23, 3*v + 4*b = 14. Is v less than or equal to 6?
True
Let v be (-5)/25*-797 + -4. Let t(m) = -m**3 + 5*m**2 - 9*m + 5. Let h be t(7). Let a = v + h. Is -1 at least as big as a?
False
Let x(y) = -y - 3. Let g be x(-3). Suppose 0 = -3*a + 15 - 6. Suppose -5*s = -a*s. Is s bigger than g?
False
Let x = 533 + -19181/36. Let h = x + -5/12. Let n = 1 + -1. Which is greater: h or n?
n
Let f = 16 - 8. Suppose 2*y = -2*y + f. Suppose y*b + 40 = 6*b. Is b greater than or equal to 10?
True
Let l = -248 + 121. Which is bigger: -0.1 or l?
-0.1
Let j = -60 + 43. Let s = j + -9. Let i = s - -25.98. Which is greater: 1 or i?
1
Suppose 2*m + 0*m + 10 = 0. Let i = m - -2. Let s be (-6)/4*(-63)/(-54). Are i and s unequal?
True
Suppose -4*y = -4*h + 8, 2*y + 2*h = 3*y + 6. Suppose 0 = 2*u - y - 8. Suppose 0 = 6*x - x + u. Do 4/11 and x have the same value?
False
Let p(i) = 18*i**2 - 10*i**3 - 9*i**2 + 9*i**3. Let z be p(9). Which is smaller: z or 2/343?
z
Let k(l) = -2*l**3 + 8*l**2 - 6*l + 1. Let v(x) = x**3 - x. Let t(c) = -k(c) - v(c). Let y be t(7). Let b = 17 - 20. Is y not equal to b?
True
Let y(n) = 25 + 0*n**2 + n**2 - 3*n - 23. Let s be y(2). Is 12/7 equal to s?
False
Suppose -27 + 7 = 5*x - 5*a, -5*a + 11 = -2*x. Which is smaller: x or -1?
x
Let o be 20/5 - (2 - -2). Suppose -6 = -6*c - o*c. Let k be 0 + (1 - 1) - c. Do k and -2/5 have the same value?
False
Let w be (-26807)/(-5918) + -7 + (-5)/(-2). Are w and -1 nonequal?
True
Let o = -0.14 + -5.86. Let g = -1 - o. Let s be 1/4 - 13/20. Which is bigger: s or g?
g
Let y be (-18)/6 + 43/14. Let w = -334.9 + 310. Let a = w - -25. Which is bigger: a or y?
a
Let z = 2753435734/78421935111 - -1406/3649399. Let h = z - 2/4901. Is 1 < h?
False
Let x = -1.013 - -0.98. Let v = -5.967 + x. Which is smaller: v or 7/6?
v
Let g = -21.11 + 21. Let v = 0.425 + 0.685. Let q = g + v. Are -1/3 and q equal?
False
Let r = -15.9 + 15. Let c = r + 0.5. Let i = 508/5 - 102. Is i less than or equal to c?
True
Suppose 3*g + 4 - 31 = 0. Let q = -1201 - -1210. Are q and g non-equal?
False
Let i(l) = l**2 - 35*l - 58. Let a be i(22). Which is smaller: -342 or a?
a
Let q(r) = 5*r - 21. Let p be q(3). Let f be (-1)/((-1)/(-54))*p/18. Is 18 less than f?
False
Let f be ((-3)/2)/((-5)/50). Let m be ((-9)/6 + 2)/(f/(-750)). Which is smaller: -1 or m?
m
Suppose 2*k = k. Let i be (-24)/(-6)*(-1)/(-4)*k. Is i less than or equal to -1?
False
Let v = 4/45 - 23/90. Let j(w) = w**2 + 6*w + 5. Let l be j(-4). Let m = l - -4. Which is bigger: m or v?
m
Let p be 1/((-368)/(-124) - 3). Let l(b) = -2*b**2 + 13*b - 25. Let g be l(7). Is p at least as big as g?
True
Suppose s + 2*s - 19 = 4*u, -5*u - 5*s + 20 = 0. Suppose -2*f = -2*z - 28, 0 = f - 2*f + 3*z + 12. Let i be 10/f + (-7)/(-24) + -1. Which is smaller: u or i?
u
Suppose 4*b - 4*q = 20, 0*b - q = 3*b - 7. Suppose b*t + 8 = -7. Let f = -5 - t. Which is bigger: f or 0.01?
0.01
Let p = 45 + 28. Suppose p*q - 77*q = -44. Let o(w) = -4*w + 2. Let r be o(-2). Which is smaller: q or r?
r
Let z = 2/581 + 4059/2324. Which is greater: z or 3?
3
Let f = -7 + 8. Let v(l) = -l + 4 - 4 + f + 0. Let o be v(1). Which is greater: o or 1?
1
Let t = -2/167 + 352/1503. Let b = 0 - 0.7. Let s = b - 2.3. Is s smaller than t?
True
Let l be (27/115)/(76/(-95)). Let z = l + 1/23. Is -26 at most as big as z?
True
Suppose -63 = 4*j - 3. Suppose -180 = a + 11*a. Is a smaller than j?
False
Let g = -1.287 - -0.087. Let k = -1.25 - 0.15. Let m = g - k. Are 2 and m unequal?
True
Let r be ((-3)/2)/(29/(-58)). Let g be ((-3 + 0 + r)/1)/3. Let b = 359/12 - 30. Is g smaller than b?
False
Suppose 0 = -2*d - 10, -14*d = 4*p - 13*d - 663. Is p smaller than 166?
False
Let v be (3/10)/((-30)/25). Suppose 0 = -k + 6*k - 120. Which is smaller: v or k?
v
Let d be 17/187 + 1564/2156. Which is smaller: d or 0?
0
Let z = 0.4 - 0.5. Let r = z - -0.13. Let d = 2/493 - 1004/4437. Is d < r?
True
Let a = -0.0729 - 0.1271. Which is smaller: -0.177 or a?
a
Let h be (-25446)/8*(-2)/39. Let p = h + -163. Let q(x) = -x**2 + 3*x - 1. Let m be q(3). Is m at most p?
True
Suppose 24 = v + 2*v + 2*t, 4*v = -t + 27. Suppose -3*j - v = -12. Let b be (1071/60)/7 + (-2)/(-10). Which is smaller: b or j?
j
Let k = -2215.9 + 2318. Are k and 0.1 equal?
False
Let k be (-4)/(-6)*(-6)/10. Let w(p) = 2*p**2 + 24*p. Let d be w(-12). Suppose -9*t + 11*t = d. Which is smaller: k or t?
k
Let d = 139/868 - 16/93. Is 0 >= d?
True
Let h = 11103546/11 + -967613413/957. Let k = h - -1677. Which is bigger: 0 or k?
0
Let n = -118 - -353/3. Are 22/13 and n nonequal?
True
Let r(b) = -b**2 - 9*b + 14. Let j be r(4). Let t = -43 - j. Let d be (-2 - -1)/(2/6). Which is bigger: t or d?
d
Let z = -3.37 + 3.61. Is -23 < z?
True
Let q(g) = 2*g - 14. Let m = -22 - -28. Let h be q(m). Is -2 less than h?
False
Let i = 392.92 - 400. Let g = i + 7. Which is greater: g or -1/5?
g
Suppose 3*c - 5*y - 16 = 0, 5*y - 38 + 6 = -c. Is c < 54/5?
False
Let g be (-6)/(-2) - -9*44/(-99). Is -11/13 greater than or equal to g?
True
Suppose 0 = 5*o - 15, -a + o + 17 = -3*o. Is a at most 17?
False
Let c = -10.4 + 10. Let r = c + 0.4. Let q be ((-10)/(-6))/(8/12). Is r at most q?
True
Let p = -0.5 - -0.5. Let w = -0.09 - -5.09. Let n = p - w. Which is greater: -1 or n?
-1
Let n be ((-1)/5)/((-6)/(-360)*12). Is -6 not equal to n?
True
Let l = -6.1 - -5.98. Is l < -40?
False
Suppose 41 = 5*y + 11. Let p be 14/y - 52/39. Let a be ((-1)/(-7))/(13/((-91)/6)). Which is smaller: p or a?
a
Let a = 4 - 4.6. Let h = a + 0.46. Let k = h - -1.14. Is -6 greater than k?
False
Suppose 0 = -19*w + 24*w + 10. Which is bigger: -273 or w?
w
Suppose 0*y - 108 = -2*y - m, 0 = -5*y - 4*m + 267. Suppose 5*j - 77 = 4*n, 0*j + y = -2*n - 3*j. Is -22 not equal to n?
True
Let j = 141.83 - 141.8. Is -1.05 <= j?
True
Let w(d) = d + 22. Suppose -4*k = 11 + 53. Let r be w(k). Which is greater: 5 or r?
r
Let c = -0.84 + 0.796. Let p = c + -0.156. Is p less than 12?
True
Let b(k) = 3*k - 4. Let d be b(-2). Let s be d/(-5)*38/(-4). Let i = 18 + s. Is 1/17 >= i?
True
Let d(o) = -o**3 - 5*o**2 + 2. Let s be d(-5). Suppose -s*h + 3 = 5. Let n be (2/(-28))/(-5*1/(-10)). Is h at most as big as n?
True
Suppose 4 = 5*r - 6. Let y be (-8)/12 + (-1*r)/6. Are -4 and y equal?
False
Let j(q) = q**3 + 6*q**2 + 8*q + 7. Suppose -3*r - 25 = 2*r. Let z be j(r). Suppose -2*p + p = 7. Which is greater: z or p?
p
Suppose 2*k = -4*c + 75 + 133, 3*c - k - 146 = 0. Suppose 0 = c*n - 48*n + 18. Is -9 > n?
False
Let y = 143.8 + -144. Which is smaller: -3/10 or y?
-3/10
Let i be 8/40*-5 - (-988)/1004. Are i and 1 equal?
False
Let a = -621 - -622. Which is smaller: a or 1/59?
1/59
Let f be 2/(-84)*3*(-12)/114. Is 0 less than f?
True
Let n = -8 + 35. Let r = 28.4 - n. Let f = r - 1.3. Is f greater than or equal to 0.2?
False
Let x(u) = u**3 - u + 25. Let j be x(0). Suppose -2*m - 17 = -3*n + 2, n + 4*m = j. Let f be 3 + -25*1/n. Is f less than or equal to -0.2?
False
Let y = 0.139 - -13.761. Let k = 11 + -25. Le