nd h have different values?
True
Let x = -20815180/413 - -50400. Which is smaller: x or 1?
x
Suppose -82*n - 26*n - 59813 = -17369. Are -389 and n unequal?
True
Let z be (-3)/2 - (270/20 - 14). Is -80/111 less than or equal to z?
False
Let a(y) = -27*y + 130. Let o be a(4). Suppose 0 = o*u - 29*u + 7. Which is bigger: u or -1/13?
u
Let h(t) = 3*t**3 + t + 3. Let p be h(3). Let k be (1 + 480/(-35))/(9/(-63)). Which is smaller: k or p?
p
Suppose -80 = -l + 25. Suppose 7*r + 14*r = l. Are 63/11 and r unequal?
True
Suppose 2 = -5*j - 4*m, -4*m = 3 - 11. Let x(u) = 24*u - 7. Let l be x(j). Are l and -55 equal?
True
Suppose -4*r - 4*k - 14 = -r, 5*r = -5*k - 15. Suppose -r*l = 2*h - 0*l, 2*l = 4*h + 6. Let x = -56086/35 - -11216/7. Is x less than h?
False
Let q = 12524.968 + -12525. Is 64 bigger than q?
True
Let y(j) = j**2 + 8*j - 6. Suppose 0 = 5*o + 44 + 1. Let i be y(o). Suppose 2*m = -4*a + i*m + 45, -5*m + 17 = 2*a. Is a less than or equal to 12?
True
Let o = -72298/4707379 + 36/2209. Is 1 >= o?
True
Suppose 14*t = 7*t + 4*n - 1068, 330 = -2*t - 3*n. Is t >= -43?
False
Let d(c) = c**3 - 2*c**2 - 2*c + 5. Let b be d(3). Let t = b - 7. Let z be (-12)/(-32) + 0 - 3/9. Is t at most as big as z?
False
Let s = 4 + 1. Suppose -5*o = s*v, -3*o + 25 = -4*v - 3. Suppose 27 = 4*t - 3*j + 4*j, -o*j + 12 = 0. Which is smaller: t or 4?
4
Let p = 8599 - 7285. Is 0 greater than p?
False
Suppose 4*k = 5*k - u, 0 = k - 4*u. Let z be 4062/(-582) - (-27 - -20). Is k < z?
True
Let g be 2/(-13) + (-1)/(78/(-246)). Let y(i) = -43*i - 30. Let v be y(g). Is -158 smaller than v?
False
Suppose 2*h - 220 = -4*b, h + 12*b - 40 = 20*b. Is -21 greater than or equal to h?
False
Let d = 26061 - 182415/7. Is -1226 bigger than d?
False
Let b = -0.1 + 0.1. Let s = 488 + -338. Let z = 149.8 - s. Does z = b?
False
Let l = -3394 - -3551.1. Let p = 157 - l. Which is smaller: p or 2/39?
p
Let r(b) = b**3 + 87*b**2 + 330*b - 163. Let w be r(-83). Which is greater: w or 63/34?
w
Let f = 7 - 4. Suppose -5 + 3 = l + 4*i, -l + f*i = -5. Suppose 0 = -l*k - 1 - 5. Which is bigger: -9/5 or k?
-9/5
Suppose -4*z = 16, 3*z = 2007*h - 2010*h - 18. Is h at most -40/63?
True
Let z(f) = -2*f**2 - 122*f - 1685. Let d be z(-51). Does -662 = d?
False
Let n be 8/10 + -1 - 96/(-30). Let t be 2/(1 - 0) - (-129)/n. Let h be (-8)/(-12)*t/6 - 3. Is -31 greater than or equal to h?
False
Let g(h) = h**3 - 8*h**2 - 25*h + 53. Let p be g(10). Let y be (p - (-1 + -2))/(20 + -31). Is 11 less than y?
False
Suppose -2*f + 5*z - 43 = 64, z - 154 = 3*f. Let r = -1395 + 1396. Is r greater than or equal to f?
True
Suppose 9 = 6*t - 15. Suppose 5*b + 60 = -t*n, -3*b = b - 5*n + 48. Let d be b/(-3) - (3 - 0). Which is greater: d or -1?
d
Let m(u) = -u**2 + 3*u - 6. Let q be m(14). Let j be 2 - 13/(65/q). Which is bigger: j or 6?
j
Let y(c) be the third derivative of -c**5/60 - 31*c**4/24 - 49*c**3/6 + 102*c**2. Let t be y(-29). Which is smaller: 5 or t?
5
Let c = -10.1 + 9.1. Let b = -215 + 214.238. Is b bigger than c?
True
Let w = -12607257/121 - -104193. Is 2 > w?
True
Let q(n) = -n**2 - 19*n + 93. Let x be q(-23). Let i be ((-1)/2)/(x*3/(-354)). Which is smaller: 58 or i?
58
Let p = 31/9 + -1081/306. Suppose -5*i + 0*i + 31 = 3*r, -4*i = -3*r - 14. Suppose 0 = -9*d + 4*d + i. Which is smaller: d or p?
p
Let o = -347 - -370. Let p be (-6670)/23590 + (o/7 - 3). Is p equal to 0?
False
Let k = -0.383 - -0.383. Let s = k + -114. Which is bigger: -1 or s?
-1
Let y(p) = 172*p + 1725. Let m be y(-10). Let j = 26 - 28. Let s be -3 - (206/(-22) - j). Which is bigger: s or m?
m
Let v(y) = y**2 + 9*y - 19. Let f(r) = 4*r**2 + 28*r - 60. Let q(w) = 2*f(w) - 7*v(w). Let s be (-7 + 1)*(1 - 2). Let p be q(s). Are p and 3 non-equal?
True
Let p(v) = v - 6. Let s(j) = -6. Let t(z) = 3*p(z) - 4*s(z). Let n be t(-2). Suppose n*w + 5*w = 10*w. Which is greater: 3 or w?
3
Let z = 67 + -190. Let m = 195 + z. Which is smaller: -1 or m?
-1
Suppose 2*x - 240 = -2*x. Suppose 57*h - 62*h - x = 0. Let l = -12 - h. Is 12/13 at most as big as l?
False
Let n = 1223 + -872. Let s = -352 + n. Do -3/251 and s have the same value?
False
Let j = -2730.7035 - 0.7965. Let i = 2744.503 + j. Let m = 0.003 - i. Which is smaller: m or 0?
m
Suppose o = -3*o - c - 1180, -5*o = 4*c + 1486. Let s be (2/(-8))/(4*7/o). Is s <= 2/9?
False
Let j(x) = -67*x - 43. Let l be j(5). Let m be ((-16)/12)/(7/l). Are m and 73 unequal?
True
Let h = 56.484 - 56.46. Which is smaller: 17 or h?
h
Let x(w) = -4*w**3 - 82*w**2 - 3*w + 232. Let f be x(-20). Which is smaller: -512 or f?
-512
Let x be (1 - 168/2)*-1. Let m(n) = -26*n + 110. Let f be m(1). Which is smaller: f or x?
x
Let v = -22 - 14. Suppose -2*f + 16 + 0 = 0. Suppose -86 = f*k + 194. Which is smaller: k or v?
v
Let q(d) = 3*d**2 + 4*d - 7. Suppose -3*u + 4*u - 6 = 0. Suppose -u*k + 3*k = 12. Let i be q(k). Which is bigger: i or 24?
i
Let x = -7168 + 4895. Is -2272 > x?
True
Suppose 5*j + 25 = 0, -2*j = 5*d + 6 + 4. Which is greater: 3/37 or d?
3/37
Let j(h) = 134*h - 4. Suppose 5*p + 2*r = -3, 2*p - r = 7*p + 4. Let l be j(p). Which is smaller: l or -137?
l
Let r(w) = -w**3 + 11*w**2 + 13*w - 9. Let z be r(12). Let h = 62/101 + 5534/1515. Which is greater: z or h?
h
Suppose 20*m - 4 = 16*m. Let s be m/(-8) + (-1)/(-8) + 9. Which is greater: s or 11?
11
Let a be 112/(-24) + 208/24. Which is smaller: a or 378?
a
Suppose 0 = -4*u - 3*c + 17, 0*u - 4*u = -5*c + 7. Suppose 3*b + 12 = 3*r, 1 = -b - 3. Suppose 5*h - 13 - u = r. Which is greater: h or -1?
h
Suppose -4*i + 54 = 5*x, -4*i = x - 47 + 1. Let y(o) = -o**2 + 9*o + 12. Let h be y(i). Let z be 21/(-63) - h/18. Is -1 greater than z?
False
Suppose -5*w + 10 = 0, 5*l + 0*l + 192 = -4*w. Let h be (-3)/(l/(-780)*18/(-8)). Let j = 2 + -3. Do h and j have the same value?
False
Suppose -46*r + 1884 = -50*r. Let t = 472 + r. Let a = -8319/26 + 320. Which is smaller: t or a?
a
Let t = -2792 - -378. Is t at least -2413?
False
Suppose -2*z + 0*z - 4*w - 132 = 0, -2*w - 128 = 2*z. Let r be ((-78285)/(-10))/17*96/(-720). Which is smaller: r or z?
z
Let k be 12/24*(((-5721)/(-11))/(-1) - -3). Does -259 = k?
False
Suppose c + 5 = -3*l, 24*l - 25*l = -5*c + 55. Let m be (c - 12)*2/(-4). Which is bigger: -3.9 or m?
m
Let b be -400*((-8)/(-40))/((-8)/(-20)*-1). Let t be ((-1616)/(-4) + -2)/2. Which is smaller: b or t?
b
Let o = 57.2 + -21.2. Let g = o + -44. Which is bigger: 12 or g?
12
Let a(n) = -2*n**2 - 95*n - 63. Let r = -239 + 194. Let h be a(r). Is 162 >= h?
True
Let k be (-74)/(-9) + (-2)/9. Let h(w) = -2*w**2 + 19*w - 41. Let t be h(5). Suppose -f + t*f - 25 = -2*a, 1 = -a + 3*f. Do a and k have the same value?
True
Let b = -146 + 14.9. Let x = -25.9 + b. Is 1/4 at least as big as x?
True
Let c be (128/140)/(3999/(-465)). Is -1 at most c?
True
Let t be (-27)/3 + (27300/143)/20. Which is bigger: -24 or t?
t
Let j = 22605 + -112881/5. Which is greater: 30 or j?
30
Let w = -24131 + 23769. Which is greater: -392 or w?
w
Let y = -127 + 233. Let j = -107 + y. Let n be 5/20*(1 - 0). Which is bigger: j or n?
n
Let w = 4928 + -11786. Let v = -6932.94 - w. Let n = 0.06 - v. Does 2/7 = n?
False
Let z = 65 - 68.1. Let v = -1.7 - z. Let f = -1.6 - v. Which is greater: f or -0.8?
-0.8
Let c = -111.238 - -0.238. Let t = 110.96 + c. Which is greater: t or 7/6?
7/6
Suppose -11*w - 150 = -6*w. Let s = 477 - 399.9. Let o = s + -77. Which is bigger: o or w?
o
Suppose -l + 2*n = -515, 1555 = 3*l - 7*n + 3*n. Do l and 522 have different values?
True
Let q = 102.153 + 0.047. Let t = -27 + 123. Let k = t - q. Which is smaller: 2/5 or k?
k
Let n be 9 + -11 + (3 + -2)*114. Let b be (-8)/(n/(-50))*(-1 - 0). Which is smaller: -5 or b?
-5
Let i = 20472/13 - 137100997/87061. Is i equal to 0?
False
Suppose 0 = -4*d - 4*d + 200. Suppose 59 = -5*t - b, -2*t - d = -0*t - b. Let j be t/14*(-12)/(-8). Which is bigger: -2 or j?
j
Let b = -189.643 - 0.357. Let j = b - -189.895. Do j and 0 have the same value?
False
Let g(p) = 29*p**2 - 26*p - 51*p**2 + 9*p**2 + 12 - p**3. Let n be g(-8). Is n at least -100?
True
Let l be 25/(-35) - 1*227667/(-77). Which is smaller: l or 2955?
2955
Let d = 239/1406 - -3/74. Which is smaller: 1/3 or d?
d
Let b be 3/(136/252 + 15/(-35)). Suppose 7*u + b = 6. Let y = -1 + -12. Do y 