 Let h = 6 - z. Is -5/2 < h?
False
Let o be (16/(-140))/((-1)/(-34)). Let j = o + 23/7. Which is greater: j or -13?
j
Let v = 20 - -10. Let c = v - 37. Which is smaller: -25/4 or c?
c
Let r = -27 - -27. Let u be r + 2 + (-212)/104. Let s = 43/234 - u. Which is smaller: s or 0?
0
Suppose 9 = l - 10*l. Is -11/7 < l?
True
Let o(c) = 2*c**2 - 38*c - 4. Let h be o(16). Let q be h/(0 - -4)*1. Is q greater than or equal to -25?
True
Let h = 40.072 - 0.072. Let a = h + -35. Is 2/11 at least as big as a?
False
Let w = -4 + 3. Let r be (2/(-4))/(w/(-2)). Is -11 > r?
False
Suppose s + s + 3*z = 13, -2*z = -2. Suppose 2 = c - d, 4*c + 7 = 8*c - s*d. Let p be (c - 264/68) + 1. Which is bigger: -1 or p?
p
Suppose 5*f + 53 = -2*r, -79 = 4*r - 0*f + f. Let o = r - -39. Let d = o + -21. Is -1 smaller than d?
False
Let b = 11648/5 - 2398. Is -67 less than or equal to b?
False
Let i = 10/3 + -3. Let w = 20 + -32. Let n be (3/w)/(1/2)*-2. Which is smaller: i or n?
i
Let m(j) = 14*j + 85. Let v be m(-8). Let r(d) = d**2 + 4*d - 2. Let z be r(4). Let o be (v/z)/((-72)/(-15)). Is -1 greater than o?
False
Let v be 977/(-16) - (-28)/448. Do v and 8 have the same value?
False
Let h(m) = m**3 - 8*m**2 - 7*m - 4. Let t be h(9). Suppose -5*r + 5*o - 10 = 0, 8*r = 3*r - o - 40. Let p be r*4/(2 - 4). Is p at most t?
True
Suppose -5*n - s = 6 + 13, -9 = -n + 3*s. Let p be (1 + -1 - 5)*1. Is n smaller than p?
False
Let g = -157 + 148. Are g and -7 equal?
False
Let p = -32708 + 1013852/31. Which is smaller: -2 or p?
p
Suppose 4*r = 3*z - 208, 5*r + 4*z + 7 + 222 = 0. Is -49 smaller than r?
False
Suppose -3*a = -5*s - 3695, -3*s + 9*a - 2217 = 11*a. Is 1 at least as big as s?
True
Suppose c + 73*g - 360 = 72*g, g - 1443 = -4*c. Is 361 equal to c?
True
Let o = -164.2 + 140. Let i = -24 - o. Does i = 1/20?
False
Let p = -141 + 977/7. Suppose 6 = -6*j + 36. Suppose 10 = -j*o - 0. Is p at least o?
True
Let w be 5/(-20)*(-4)/98. Let o = 187/882 + w. Which is smaller: o or 1?
o
Suppose -5*n + 8*n = 0. Suppose -2*x + 5 - 3 = n. Is 7/4 less than or equal to x?
False
Let k = -4616 + 660094/143. Is k greater than 0?
True
Let t = 0.7 + 19.3. Let q = 16 - t. Let i = -3 + q. Is 0.2 at least i?
True
Let p = 679 + -486. Which is smaller: -1/4 or p?
-1/4
Let d(r) = r**3 + 25*r**2 - 17*r - 66. Let u be d(-25). Is 359 bigger than u?
False
Let u = -0.64 - 25.36. Let a = u - -48. Which is smaller: 1/2 or a?
1/2
Let c be 2/(-6)*9 - 1*165. Is c less than or equal to -168?
True
Let v(b) = -8*b**2 - 6*b + 28. Let h be v(-6). Is -224 at most as big as h?
True
Suppose 16*m + 71 = 647. Suppose 35*q + 52 = m*q. Which is bigger: 53 or q?
53
Let s(o) = o**3 + 3*o**2 - o - 1. Let q be s(-3). Suppose -3*t = q*t. Suppose 2*l = -t*l. Does l = 0?
True
Suppose 3*y + 2*y + 5*w + 15 = 0, 5*y + 2*w = 0. Let g be ((24/20)/3)/(y/20). Which is greater: 7 or g?
7
Let t = 14 + -13. Let d be (-1508)/378 - 0 - (27 - 31). Which is smaller: d or t?
d
Let h be (6/18)/((-5)/105). Let q be 12/210*5 + 22/h. Which is smaller: q or 0?
q
Suppose m + 3*f = -0*f + 9, -5 = -m - 2*f. Which is smaller: m or -57/26?
m
Let g = -984 + 801. Is -182 <= g?
False
Suppose 3*m + 35 = -2*d + 4*d, -3*d - 4*m = -95. Let j = -18 + d. Suppose -p + 4 - j = 0. Is -2 at most as big as p?
False
Let m be (1*(2 - 2))/1. Let d = 638 + -653. Which is smaller: d or m?
d
Let o(l) = -158*l**2 - l. Let u be o(-1). Which is bigger: u or -158?
u
Let x(p) = -9*p**2 + p - 1. Let o be x(1). Let w = o - -5. Let l(b) = -b**3 + 39*b**2 - 75*b + 34. Let d be l(37). Is d at least as big as w?
True
Suppose -47*j = -64*j - 5100. Which is bigger: -301 or j?
j
Let z = -0.7 + 12.7. Let y = 0 - z. Is 1 smaller than y?
False
Suppose -40*y + 215 - 15 = 0. Are y and 111 unequal?
True
Let r = -1.3 - -0.3. Let s = -1.762 + 5.062. Is r bigger than s?
False
Let a be -6 - -6 - (1 + 11). Suppose 24 = v - 3*v. Is v > a?
False
Let h be -2*((-134)/(-44) - 3). Let c = h + -13/99. Is c at least -0.01?
False
Let y = -1809.9 + 1810. Let o be ((-12)/(-2))/((-28)/4). Which is smaller: y or o?
o
Let z be 114/(-27) + (1 - 14/18). Is 11 < z?
False
Let i = 2 - 3. Let x be (-20)/765*(-2)/(-3)*-9. Let p = -1/102 - x. Is p > i?
True
Let f = 5 - 3. Let j be (260/16)/(f/8). Suppose 0 = -t - r + 7, -6*t + r = -t - j. Do t and 12 have the same value?
True
Suppose -3*w - 3*d = 0, 4*w + 0*w = -2*d + 4. Let c be w/(-5) - 236/10. Is -24 at least c?
True
Let k = 10/391 + 51201/782. Which is greater: k or 66?
66
Let j = 301 - 59. Is j greater than 3?
True
Let r be 4 + 60/(-14) - 86544/(-303345). Is 1 >= r?
True
Let o = -167 - -167.97. Let c = o - -0.03. Let q = c - 1.1. Is 0.03 at most q?
False
Let m(b) = -4*b**2 - 3*b - 3 + 4*b + 0*b. Let y be m(2). Which is bigger: y or -15?
-15
Let b(n) = 4*n**2 - 5*n. Let q be b(2). Let v be q/(-27) - (-291)/(-27). Does v = -12?
False
Let p be (93/(-15) + 6)*(3 - -2). Is p < -2/23?
True
Let n = -2 + -3. Let t be (-50)/15*12/n. Suppose 8*x + 2*x = 90. Which is bigger: x or t?
x
Suppose 32*v = 89 + 167. Which is bigger: v or 19?
19
Let b be (-25 - (8 + -4)) + -6. Is -38 smaller than b?
True
Suppose -f + a = 3, 3*f - 33*a = -32*a - 3. Which is smaller: f or -489?
-489
Let v = -3 - -25/9. Let k = 5/18 - v. Let u = -59 + 235/4. Is u >= k?
False
Let m = -4 + -13. Let n = m - -9.2. Let h = 8 + n. Which is bigger: 1/2 or h?
1/2
Suppose 3*y + 3 = 9. Suppose 0 = -g + 6*g + 5*x - 10, 0 = -g + y*x + 2. Suppose -2*b - 3*d = 0, -2*b - g*d = b. Are b and -1 non-equal?
True
Let v = 4163 + -4165. Let f = -2742078/451 + 6080. Let o = f - 3618/2255. Is o smaller than v?
False
Let j(x) = -x**2 - 14*x + 15. Let s be j(-17). Let r = 37 + s. Is 0 less than r?
True
Suppose 5*j - 3*m - 35 = m, 10 = -2*m. Let l = j + -1. Suppose -a = -3 + l. Is 1/9 equal to a?
False
Let f = 6 + -5.1. Let n = 1.04 - f. Let d = 8.14 - n. Which is greater: -1/2 or d?
d
Suppose -260*a - 3*l = -256*a - 22, -3*l = 6. Is a smaller than 8?
True
Let r be (0/2)/(-1) + 8/(-176). Is 1 greater than or equal to r?
True
Let o(s) = s + 1. Let j(m) = -3*m + 15. Let b(v) = j(v) + 4*o(v). Let z be b(-8). Let g(k) = 11*k + 1. Let c be g(1). Are z and c equal?
False
Let l = -33 + 47. Suppose -16 = k + l. Which is greater: -28 or k?
-28
Let p = 0.13 + 0.1. Let m = p + -3.43. Let k = 3.3 + m. Is -0.13 bigger than k?
False
Let f = 33 + -32.6. Is f equal to 46?
False
Let n = 16 + -18.8. Let k = n + 2.4. Which is bigger: -1/3 or k?
-1/3
Let b(j) = -5*j**2 - 2*j + 1. Let m be b(1). Let o be ((9/m)/(-3))/((-4)/48). Let i be 1 + 2/(-2)*3. Does i = o?
False
Let u = 8 + -4. Suppose -60*h + 825 = -63*h. Let n be u/(-10) - 135/h. Is 2/3 greater than or equal to n?
True
Let q = 8 + -6. Suppose -5*b + 2*b = 3*i - 24, -2*i + 36 = -3*b. Suppose -i*h + h = -33. Is q smaller than h?
True
Let h = 1 + 4. Let j = h - 9. Let l be (-10)/30 - j/(-6). Which is smaller: l or -8/7?
-8/7
Let p be 390/234*6/7. Are p and -4 unequal?
True
Let y = 7 - 6. Let p = 23 - 4. Let j = p - 20. Which is greater: j or y?
y
Let u = 24 - 73/3. Let q(z) = -z. Let p be q(-3). Suppose p*n + 2 = -13. Is n <= u?
True
Suppose -200 = -175*n + 167*n. Which is bigger: 229/9 or n?
229/9
Let m = -44941939/190 - -236539. Let p = 3/38 - m. Is p bigger than 1?
False
Let l be (28/98)/((-976)/(-28)). Is l < -1?
False
Let y = -10 - -17. Suppose -4*r = -y*b + 4*b - 63, -r = 3*b - 27. Let v = r + -19. Is v greater than or equal to -2?
True
Suppose 5*p = -0*p. Suppose -3*s + 60 - 63 = p. Are -1/3 and s non-equal?
True
Suppose l - 6 = -a + 11, -4*a + 65 = 5*l. Let m(z) = 2*z**2 + 2. Let c be m(-3). Is c equal to a?
True
Let l = -306 - -184. Let d = l + 123. Is 8/15 at least as big as d?
False
Let z = -126 - -125.5. Is z at most -2?
False
Suppose -4*b - 5*h - 11 = -0*h, b - 1 = -5*h. Suppose -5*r = -2*r - 9. Suppose k + 5*j = 2*j - 18, -r*k - 19 = 2*j. Is k smaller than b?
False
Let g = -3.1 - -3. Let n(h) = h**2 - 12*h + 13. Let a be n(11). Let u be 46/(-39) - a/13. Do g and u have different values?
True
Let t be 20/7 - 1/(-7). Let m = 16 + -27. Let y = m + 12. Is t != y?
True
Let w be 32/432 - (-39048)/(-81). Which is greater: -483 or w?
w
Let x = -143 - -135. Let y(w) = w**2 + 8*w - 2. Let o be y(x). Which is greater: o or 1.4?
1.4
Let r(s) = -s**3 - 4*s**2 - 8*s - 5. Let a be r(-2). Do 41 and 