se -2*t + 7 = -1. Let m be -23 + (60/t)/(-5). Is -24 greater than m?
True
Let c = 22.84 + -23. Let j = -17.16 - c. Let o = j + 26. Which is greater: -1 or o?
o
Let o(c) = 2 - c**2 - 11*c + 7 + 17*c. Let i be o(6). Suppose 3*l + 3 + 15 = 3*a, 0 = -2*a - 5*l - i. Which is bigger: 4 or a?
4
Let r = -0.0184 + -8.2816. Which is smaller: -1 or r?
r
Suppose 0 = -2*r + 4*x + 80, 135 = 4*r - 4*x - 5. Which is bigger: 144/5 or r?
r
Let k(o) = 2*o**2 - o + 8. Let m be k(0). Let i be (m/(-10))/(26/(-715)). Do i and 22 have the same value?
True
Let x = 40 + 44. Which is smaller: x or 82?
82
Let c(w) = w**3 - 65*w**2 + 10*w - 56. Let l be c(65). Do 594 and l have the same value?
True
Let j = -1.1 + 0.8. Let c = -3 - -2.9. Is j smaller than c?
True
Let b = -43 - -64. Let m be ((-14)/b)/(2*(-8)/6). Suppose t - 24 = -5*r, 3*r = -3*t + 4*t + 16. Is t != m?
True
Let j(t) = -3*t**2 - 2*t + 1. Let k be j(1). Let x(q) = q**3 + 5*q**2 + 3*q - 1. Let o be x(k). Let r be 1 - (o - 2) - -3. Is 2 greater than r?
False
Let g be 1/((-7)/2) + 0. Let c(f) = -2*f**3 + 115*f**2 - 59*f + 115. Let r be c(57). Are r and g equal?
False
Let u = -1.7 - -1.81. Let y = u + 1.19. Let q = 0.7 + y. Is -1 greater than q?
False
Let r be (-575)/21 - (-112)/(-392). Which is smaller: -27 or r?
r
Suppose 4*k + 5*y = -601, k + 2*y = 4*k + 445. Let n be k*(1 + 704/(-702)). Let z = 6/13 - n. Is 1 greater than z?
True
Let q = -1.3 + 1.2. Let h = 107 - 107. Which is smaller: q or h?
q
Let u = -58 - -85. Let l = 21 - -14. Let t = l - u. Is -0.1 greater than t?
False
Let i(x) = 5*x + 4. Suppose -s - 1 = 1. Let j be i(s). Does -5 = j?
False
Let d(u) = -u**2 + 7*u. Let j be d(6). Let m = 5 + -1. Let a be 250/40 + (-1)/m. Are j and a equal?
True
Suppose 8 = 5*d - 37. Let l be 1/6*12/d. Which is bigger: l or -1?
l
Let x be 22/(-42) - 2/(-3). Let q = -117 - -126. Suppose -5*y + 5*b + 4 = q, -3*b = -6. Which is smaller: x or y?
x
Let h(j) = j + 7. Let n be h(-7). Suppose 2*z + 3*y + 12 = 3*z, n = 5*y - 5. Suppose 3*x + 32 = 5*x. Which is smaller: x or z?
z
Let f(c) = c**3 - 7*c**2 + 3*c - 9. Suppose 14 = 3*s - s. Let d be f(s). Let y be (-17)/d - 2/(-8). Which is greater: -2 or y?
y
Let a = 1302355 - 1828506311/1404. Let v = a + 2/351. Are 0 and v nonequal?
True
Suppose 2*a - 8*a + 12 = 0. Is a less than 22?
True
Let g = 9/523561 - 39316692/2886391793. Let v = 2/149 - g. Is 0 less than or equal to v?
True
Let j = 787 + -1059. Which is greater: j or -270?
-270
Let q = 1431043/168 - 59662/7. Let i = q - -41/8. Which is bigger: i or 1?
1
Suppose -6*q + 480 = -9*q. Let m be (2/8)/((-8)/q). Suppose -m*l - 23 - 12 = 0. Are l and -4 equal?
False
Suppose 4*t + 2 = 5*s + 168, 4*s = 4*t - 132. Is s >= 3?
False
Let d(u) = u + 19. Let p be d(-17). Let l(q) = -q**3 + 5*q**2 - 3*q - 1. Let n be 6 + 0 + (-5 - -3). Let g be l(n). Which is bigger: g or p?
g
Let r be (0 - (-55)/232) + (-4)/16. Let p = r + 2439/232. Let m(v) = 2*v**2 + 2*v - 1. Let g be m(-3). Which is greater: g or p?
g
Let a = -1395 - -1392. Let k = 0.9 + -1. Is k at most a?
False
Let u = -0.299 + -0.801. Let g = -7.061 + 0.061. Is u at most as big as g?
False
Let f be 5*1/(-3 - -2). Let o be ((3 - -2)/f)/(-2). Which is smaller: 0.1 or o?
0.1
Let p = -0.89 + 0.39. Which is smaller: p or 17/7?
p
Let t be 10 + 0/(2 - 3 - -2). Let z(q) = q - 13. Let h be z(t). Let i be 1/(-2) + 14/(-4). Is i equal to h?
False
Let r be 0 - (0 - 1 - 0). Let t be r*(-16)/7 - -2. Let w = -2817 - -2816. Are w and t equal?
False
Let z = -35 - -38. Suppose 0*p + 5*p + 20 = 5*y, -y = -4*p - 1. Suppose f = -y*m - 24, -5*m - z*f - 4 = -7*f. Which is bigger: 1/3 or m?
1/3
Let u(s) = 2*s + 4. Let i be u(-3). Let o = 1.4 - 3.46. Let d = o + 0.06. Is i greater than or equal to d?
True
Let h(c) = -c + 5. Let l be h(-7). Let z = 47/4 - l. Is z greater than or equal to -3?
True
Suppose 5 = 5*q - 55. Let z be (-12)/(-8)*(-16)/(-3). Suppose -3*t + z*t - 60 = 0. Is q less than or equal to t?
True
Let b be (-1)/((154/(-4))/(-11)). Is b bigger than -49?
True
Let y = -92 - -1. Let h = y + 106. Which is greater: 0.4 or h?
h
Suppose 5*d - 20 = 0, -d = -3*p - 0*d + 5. Suppose -w + 3 + 2 = 0, 5*c = -p*w - 10. Let n be (-1)/c + (-95)/225. Which is smaller: 1 or n?
n
Suppose -15 = 5*d - 3*h, 4*d = h + h - 12. Are d and 4/7 nonequal?
True
Let a = -3842 + 2969. Which is smaller: 1/4 or a?
a
Let c = 1279 + -1278.9. Which is greater: -2/43 or c?
c
Let u(z) = -z**2 - 2*z + 81. Let v be u(0). Let n = v - -1. Are n and 82 unequal?
False
Let s = -17 + 23. Suppose -3*n = -y - 5*n + 1, 0 = -2*y - 5*n + s. Is -7 less than y?
False
Let r be (-16)/(-22)*2/24. Suppose 2*y = -y. Let w = y - -1. Which is smaller: r or w?
r
Let i = 0.2 - 11.2. Let s = -786 - -785.8. Which is greater: s or i?
s
Let q = 176 - 127. Which is greater: 50 or q?
50
Let l = 78 + -545/7. Let f(x) = x**3 - 2*x**2. Let t be 3 + -5 - (-5)/(20/12). Let a be f(t). Is a != l?
True
Let r(g) = g**2 + g. Let z be r(1). Suppose -v - 8 = -2*y, -y = z*v + y + 10. Let o = v + 4. Which is greater: 0 or o?
0
Let g be (-483)/(-2028) + (1 - 10/8). Is -1 > g?
False
Let h = 1820/9 - 202. Let q = -25 + 27.4. Let x = q + 0.6. Is x less than or equal to h?
False
Let t = 5 + -4.93. Let g be ((-3)/(-4))/((-11)/(220/(-45))). Is t at least g?
False
Let m = -153 + 94. Suppose -3*j + 0*d - 5 = -2*d, 2*d - 8 = 0. Which is smaller: j or m?
m
Let n be 4/3 - (-7)/(735/(-145)). Does n = 1?
False
Let l = 22 - 17. Suppose l*n - 4 = 11. Suppose 4*t - 3*w = 1, 2*w - 11 + 4 = -5*t. Is t != n?
True
Let z be (2 - -2)*18/4. Suppose 0*a + a = -z. Let w = a - -16. Is w at most as big as -4?
False
Let g = 0.061 - 0.068. Let o = 0.007 + g. Let v = 0.1 - 0.05. Is v less than o?
False
Let y(j) = -2*j**3 + 15*j**2 + 2*j + 9. Let u be y(7). Which is smaller: u or 70?
70
Suppose -151 = 2*p - 3*y, 2*y - 121 = 4*p + 161. Is p > -72?
True
Let j = 630 + -560. Is j at most as big as 69?
False
Suppose 3*p + 14 - 119 = 0. Is 34 at least p?
False
Let r(i) = i**3 + 20*i**2 - 21. Let n be r(-20). Let k be (n/15 - -1)/16. Which is bigger: k or 1?
1
Let q = 1304 + -1294. Suppose i + 5*u = 21, -4*i - 4 = -2*u - 0. Is i != q?
True
Let d(k) = k**3 + 8*k**2 - 11*k + 7. Let x be d(-8). Suppose -438 = 5*n - w, 3*n - w + 359 = x. Let o = 56 + n. Which is smaller: o or -32?
-32
Let u = 21 + -18. Suppose 10 = -2*s - 3*g, 0 = 4*s + g + 13 - u. Let o be (s - -2)/(1 + -3). Is o at most 1?
True
Suppose 3*j - 4 = 4*h - 0, 5*h = 2*j - 5. Let m be 6800/448 + -15 - 2/(-8). Which is smaller: h or m?
h
Let d be (3/(9/6))/(-4). Suppose 0 = -4*y - 4*h - 108, 0 = -y - 5*h - 16 - 27. Is d <= y?
False
Let h(t) = t**2 + 16*t - 51. Let u be h(-19). Suppose -u = -7*n + 4*n. Let m = 54 - 217/4. Do m and n have different values?
True
Let v = -650.97 - -651. Is -2 at least v?
False
Let v = -853/111 - 24/37. Let q = 8 + v. Let k = 0 - -0.02. Which is greater: k or q?
k
Let c(j) = 117*j - 2. Let r be c(9). Let k be r/(-630) + -3*1. Let n = k + 1/630. Do n and -5 have the same value?
False
Let r(t) = t**2 - 2*t. Let b be r(2). Suppose -3*x + 7 = -b*x - u, -12 = 3*u. Which is bigger: -2/35 or x?
x
Suppose g + 21 - 12 = 0. Let c = g - -26/3. Which is greater: c or -1?
c
Let q(b) = b**3 + 4*b**2 - 13*b - 12. Let n be q(-6). Let l = -5 - n. Does 10/11 = l?
False
Let z = -0.294 - 0.006. Let n = 95 - 109.7. Let j = z + n. Is j smaller than 2/3?
True
Let y = 165 + -171. Is 2/17 < y?
False
Suppose 41 = 3*j + 5*o, -o - 3 = -7*j + 6*j. Do 13/2 and j have the same value?
False
Let k be (2/(-8))/(10/4). Let r be 1/((1*(-3 + 1))/2). Which is greater: r or k?
k
Suppose 15*o - 12*o - 297 = 0. Which is smaller: 104 or o?
o
Let y(a) = a**3 + 6*a**2 - 10*a - 6. Let o be 99/(-15) - 6/(-10). Let v be y(o). Is 55 less than v?
False
Let k = 1 - -1. Let s be (k/(-13))/1 + 30/195. Which is smaller: s or -5/4?
-5/4
Let h be (-99)/(-2)*10/(-25). Let x = 1099/55 + h. Suppose 0 = 5*n + d + 1, -1 = -4*n - n + d. Is n != x?
True
Let l = -14 - -12. Let r be (l/4)/(4/8). Let t be (-21)/(-15) - 1*2. Which is greater: r or t?
t
Let h = -298 + 285. Which is smaller: 2 or h?
h
Let n = 141/14 - 3137/210. Which is bigger: n or -4?
-4
Let z = 61 + -64. Let s be (-30)/20*(-70)/z. Is s at least -33?
False
Suppose 19 = -m + 21. Suppose m*x = -6, -5*o - 5*x + 3*x + 19 = 0. Is 