8*l - 20 + l + l**2. Let t be w(-7). Suppose -5*h - 2 = -7, 5*h - 17 = 4*v. Do t and v have the same value?
False
Let b = 102.6 - 102.9. Is 0.071 at least as big as b?
True
Let t = -66/413 - -1/59. Suppose -24*k - 275 = -29*k. Let z = -56 + k. Is t at least z?
True
Let q(p) = -p**3 + 5*p**2 + 5*p + 4. Let k be q(4). Suppose -4*m - 8 = y - k, 4*y - 116 = -4*m. Is y equal to 28?
True
Let c(z) = 14 + 100*z - 7 - 101*z. Let i be c(5). Which is bigger: i or 0?
i
Let d = 22.3 + -52. Let m = -32 - d. Is -1 at least as big as m?
True
Let p(o) = 63*o + 10*o**2 + 25 - 134*o + 62*o + o**3. Let d be p(-11). Let q be d - (1 - (-165)/25). Which is bigger: -4 or q?
-4
Suppose 0 = -u + 2*n - 0*n - 523, -5*u + 5*n = 2625. Are -526 and u unequal?
True
Let f = 1/18724108 - 23302153075/12526428252. Let r = 6/223 + f. Which is greater: r or -1?
-1
Let c = 232 + -237. Which is smaller: c or -186/35?
-186/35
Let j = -32/7 - -274/63. Is -391 greater than j?
False
Let g = 30.278 + -1.278. Are g and -1 unequal?
True
Let x = -1 + 1. Suppose x = -3*b + 1 + 17. Let a be (-1)/((2/(-35)*-5)/(-2)). Are b and a nonequal?
True
Let v = -605429/310 + 1953. Is v at most 1?
True
Let l = -1.9445 - 0.0555. Which is bigger: 91/4 or l?
91/4
Let x be ((-99)/836)/(-3)*-6. Which is greater: x or -1/4?
x
Let i(m) = -59*m - 638. Let z be i(-13). Is -3 < z?
True
Suppose -2*z + 2 = 2*y, -z = 2*y - 0*y + 3. Which is bigger: y or -3?
-3
Let t = 0 - -0.1. Suppose 9 = a - 3. Suppose -2*u + 5*d + a = -3*u, 5*u = d + 70. Which is bigger: t or u?
u
Suppose -2 = k - 2*k. Suppose 0 = i, c + k*i - 210 = -c. Let s be 309/c + 18/(-6). Which is greater: -1 or s?
s
Suppose -3*o - 1 = -2*t + 30, 49 = 3*t - 5*o. Suppose d - 3*d - t = 0. Is -11/4 greater than or equal to d?
True
Let f be -7 + -3*1/(-3). Let b(j) be the third derivative of -j**6/120 - j**5/12 + 7*j**4/24 + 5*j**3/6 - 5*j**2. Let g be b(f). Which is greater: -1/8 or g?
-1/8
Let u(p) = p**3 - 4*p**2 - 3*p - 7. Let j be u(5). Let o(z) = z**2 + 12*z + 1. Let s be o(-12). Let a be s/4 + 9/12. Which is greater: a or j?
j
Let y = 396 + -243. Let x = 615/4 - y. Is 9 > x?
True
Let n = -8 + 13. Suppose n*c = 31 - 11. Suppose -c*f + 8*f = 0. Is -2/25 at most f?
True
Let i(z) = 19*z + 259. Let w be i(-13). Let t be 10/3*18/4. Let m = t - w. Which is bigger: m or 2?
m
Let t = -5271/28930 + 1/2630. Is t at least as big as -32?
True
Suppose 0 = -4*l - 9 - 11. Let g = 3 + l. Let a be -3 + g/(-3)*-3. Which is smaller: 2/5 or a?
a
Let s = 262 + -277. Let o = 16.9 + -17. Are s and o nonequal?
True
Suppose -2*v = -15 - 11. Let f(x) = -2*x**2 + 24*x + 18. Let g be f(v). Let t(i) = -i - 4. Let s be t(3). Which is greater: g or s?
s
Let z = 285 - 199. Is z greater than or equal to 97?
False
Suppose 256 = -5*n + 2*v, 8*v - 4 = 10*v. Is -50 less than n?
False
Suppose w - 4*w = -3*x + 39, 0 = -5*x + w + 49. Suppose -5*p - x = -t, 5*t + 8 = -p + 1. Are p and -5/7 nonequal?
True
Suppose -1 = v - 5. Suppose 0 = 4*j - 4*x - 39 + 15, 2*j = -v*x - 18. Which is smaller: j or -2/7?
-2/7
Let y be (-1)/(-5) - 58/(-10). Suppose -2*r + 6 = 3*t + r, t = -4*r - 1. Is t bigger than y?
False
Suppose q + l = 0, 5*q - 5*l - 40 = -0. Let t = 283 - 278. Which is greater: q or t?
t
Suppose 8*m + 10 = -62. Are -19 and m non-equal?
True
Let q = -186 + 184. Which is smaller: 3 or q?
q
Suppose 2*j - 21 = -3*o, 4*j - 3*o - 39 = -6*o. Let r be j/15 + (-55)/50. Are 12 and r non-equal?
True
Suppose -2*g + 5*q + 29 = 96, 3*q = 9. Let w = g + 32. Let s be (2 - 10/w)*-3. Which is smaller: s or -2/59?
s
Let t = -1.11 + 1.01. Let v = 110 - 21. Which is greater: t or v?
v
Let n = -1 - 0. Suppose 0 = -4*r - 8 + 28. Let d be 6 - r - (-13)/(-11). Which is bigger: n or d?
d
Let k(h) = -h**3 + 7*h**2 - 7*h + 8. Let u be k(6). Let o(n) = 3 - 3*n + 9*n + n**u + 2*n + 12. Let a be o(-6). Is 5 smaller than a?
False
Let d = -37 + 31. Let a(v) = -7*v - 40. Let z be a(d). Suppose -1 + 2 = -b + 2*j, j = 2*b - 4. Is b less than z?
False
Suppose 15 = -u - 12. Let q be 3/(u/(-7)) + -1. Let r be 13/(-117) + -2 + (-57)/(-27). Do q and r have the same value?
False
Let z(h) be the third derivative of h**6/120 - 13*h**5/60 - 13*h**4/24 - 4*h**3/3 - 5*h**2. Let f be z(14). Let b be 3/85 - f/(-30). Which is smaller: b or -1?
-1
Let v be 12/2 - (-21981)/(-4760). Let d be 13/56 - (-2)/(-8). Let y = v - d. Which is greater: 2 or y?
2
Suppose 130*t = 128*t + 2*r + 86, 4*t - 169 = r. Is t <= 44?
True
Let j(x) = x**2 - 9*x - 7 + 3*x**2 + 2*x + x**3. Let i be j(-5). Suppose -i*w = w + 24. Which is smaller: w or -8?
-8
Suppose 32 + 19 = -3*z. Suppose -2*j + 5*m = 11, 5*j + 17*m + 105 = 14*m. Are j and z nonequal?
True
Let j = 1.03 - -49.97. Let r = j - 57. Is r bigger than -0.2?
False
Let w be 0 - (-2 + (-2)/1). Suppose -k + 0*k + 17 = -4*v, -w*v = -5*k + 37. Suppose y - 7 = 2*c, 5 = -k*c - 5. Which is smaller: y or 5?
y
Suppose -5*k + 5*u = -110, -2*k - u + 57 = 28. Is 18 != k?
True
Let s be 3/3 + 11/(-9). Let y be 46/(-12) - 3/18. Let g be 7/28 - ((-5)/y + -1). Is s less than g?
True
Let q be (-259)/2205 + (-3)/(-27). Is -1 bigger than q?
False
Let h = -3282/7 - -470. Suppose 0 = -3*l + 3*d - 12, -l = -d + 2*d - 6. Which is bigger: l or h?
h
Let w be 96/9 + 10/(-15). Let f = 77 + -66. Are w and f equal?
False
Let f(s) = 6*s + 181. Let x be f(-30). Is x at most as big as 2/203?
False
Let l(k) = 5*k - 141. Let y be l(28). Is y at most 15?
True
Let p = -35.2 - -37.2. Which is bigger: p or 9/7?
p
Let l be (-3)/(0 - -3) + -1. Let g(d) = -d + 10. Let j be g(8). Let m be j/3*6/(-10). Do l and m have different values?
True
Let r(k) = 115*k. Let j be r(1). Suppose 4*i - j = z + 91, 3*i - 4*z - 161 = 0. Let a be (-8)/12 - i/(-9). Which is smaller: 0.2 or a?
0.2
Suppose 3*c - r = -99, 4*c + 105*r - 100*r = -132. Which is smaller: c or -42?
-42
Let b = -12 - -17. Let x(w) = w. Let p be x(b). Suppose 5*f = 15, k + 9 = 3*f + 6. Is k at most as big as p?
False
Let k be ((-6)/(-9))/((-3)/(-9)). Suppose -4*v + 106 = 94. Which is smaller: k or v?
k
Suppose -10*l - 60 = 5*l. Is l bigger than -7?
True
Let m = -54 - -59. Let i = 3 + 0. Let l = i - m. Which is greater: -4 or l?
l
Let f = -19 - -21. Suppose 1 + 13 = 5*z + 4*p, 4*p = z + f. Let a be 2/(-3) - (-14)/6. Which is smaller: a or z?
a
Let a = -1529/192738 + 3/4942. Which is greater: a or -2?
a
Let p be ((-3)/4)/(31/(-124)). Suppose 0 = -5*w + 3*y + 19, w = p*w - y - 7. Let n be 26/42 - 2/(-3). Do n and w have different values?
True
Suppose g - 4*d - 10 = -0*g, d + 2 = 0. Let f be (-24)/(-3)*1 - 0. Let t = f + -5. Which is smaller: g or t?
g
Let k = 22693/39 + -582. Is 1 bigger than k?
True
Let b(p) = -10*p + 10 + 11*p**2 - 5*p + 0*p - p**3 + 20. Let o be b(8). Is 102 >= o?
True
Suppose -15 = 2*n - 5*n. Suppose 2*x = -2, -j = j - n*x - 11. Suppose 0 - 6 = -j*a. Which is bigger: a or 4?
4
Let n = 95470/3 - 31284. Let c = 544 - n. Which is greater: 4 or c?
c
Suppose 0 = -54*n + 41*n - 13. Is -13/6 greater than or equal to n?
False
Suppose -3*j + 299 = -5*b, 325*b - 323*b = 5*j - 511. Is j greater than or equal to 106?
False
Suppose 3*c = -h - 2*c - 104, -2*h - 3*c - 180 = 0. Which is greater: h or -80?
-80
Suppose -5*n + 4*n + 4*j + 18 = 0, -5*n = 2*j - 90. Are 97/5 and n equal?
False
Let d = -30 - -32. Suppose d*u + 4 = -2*u. Are u and -11 nonequal?
True
Let l = 4 + -9. Let z(s) = -4*s**2 + 4*s - 2. Let g be z(l). Let f = g + 1097/9. Is -1 <= f?
True
Suppose 0 = 3*w + 6, -2*g + 7*g - 2*w - 609 = 0. Let i be (-2)/(-4) + g/6. Is 20 != i?
True
Suppose -3*g + 2*l = 19, 31*g + 5*l - 35 = 36*g. Is -17 > g?
False
Suppose 0 = -5*u - 20, -3*a = 2*a - 3*u - 12. Let y = 31 - 21. Let s be (-21)/14*(y + 0). Which is smaller: a or s?
s
Let a be 6 + (6/(-12) - -4)*-2. Is -1/2607 equal to a?
False
Let q = -0.12 - -0.15. Let g = -0.17 - q. Which is greater: g or 2.9?
2.9
Let z(h) = 2*h - 1. Let m be z(3). Suppose 3*o - m - 10 = 0. Which is greater: 2 or o?
o
Let j = 379 - 361.05. Let t = 0.6 + 17.4. Let i = t - j. Which is greater: i or 1?
1
Let i(b) = b**3 + 59*b**2 - 125*b - 183. Let j be i(-61). Let d = 1252 - 13782/11. Is j smaller than d?
False
Suppose 3*h + 5*g = 246, 0*h = 5*h - g - 438. Suppose -h*m + 90*m = 30. Is m bigger than 8?
True
Suppose -2*p - 4*b = -24, 3*p + 2*b = 25 - 5. Suppose -3*j - 2*l