 -4?
-4
Let r be ((-132)/55)/4 - (-1454)/(-10). Is -181 bigger than r?
False
Suppose -3*p = -4*m - 7, -3*p + 31 = 3*m + 2*p. Let q be (1785/45 - 39)*(-23)/(-12). Is q not equal to m?
True
Suppose -2*d + 2*l + 26 = -2*l, 4*d + 4*l + 8 = 0. Suppose 33*f - d = 36*f. Let m be (-2)/(-20)*14 - (0 + f). Which is greater: m or 1?
m
Let q be (((-33651264)/18)/(-16))/(1 - -5). Let y = 19499 - q. Which is bigger: 25 or y?
25
Suppose 4724 + 17354 = -133*f. Let v = -160 + -7. Is v > f?
False
Let s = 8.1 + 11.2. Let n be 360/84 + (-12)/3. Which is greater: n or s?
s
Let c = 2629 + -2610. Is c bigger than 3?
True
Suppose 0 = -12*a - 4487 + 419. Is -344 greater than a?
False
Let c = -705 + 705. Suppose c = -n + 4*o, -n - 5*o - 23 = 4. Is -12 > n?
False
Let l = 57 - 55. Let g = 2 - l. Which is smaller: 1/208 or g?
g
Let u(c) = -2*c + 3. Let k(s) = 6 - 4*s - 8*s**3 - s**2 + 7*s**3 + 5*s**2. Let m be k(4). Let n be u(m). Is n bigger than 23?
False
Let g = -216 - -216.1. Suppose -5 = -13*d + 21. Let z be (4 - 0) + 1 + (-15)/d. Which is smaller: z or g?
z
Let b be (-1)/(-2)*8/(-6). Suppose -594 + 586 = -4*o, d + 5*o = 40. Does b = d?
False
Let z = -47 + 51. Suppose -3*o + 7*o + 3*u - 3 = 0, z*u = 5*o + 4. Let r be 2 - (180/29)/3. Which is smaller: r or o?
r
Let h be (118/413 + (-104)/21)/(20/18). Which is smaller: 152 or h?
h
Let b = -92/7 + 13. Let w(x) = -x**2 - 11*x - 6. Let t be w(-10). Suppose l = t, q + 29*l = 32*l - 11. Is b not equal to q?
True
Let j = 47049/64 + -735. Suppose -i + 3*y + 4 = 0, 5*i - 3455*y = -3452*y + 8. Is j < i?
True
Let b(s) = s**2 + 9*s - 21. Let q be b(-9). Let n = -20 - q. Suppose -1 - n = -2*m. Which is smaller: 1/11 or m?
1/11
Let d be 10/21*387/(-45)*-4. Let o = d - 83999/5124. Is o greater than or equal to 0?
False
Suppose 945 = 5*n + 4*n. Let t = 105 - n. Suppose t = o - 10 - 0. Which is smaller: 13 or o?
o
Let z(o) = o**3 - 12*o**2 - o + 6. Let h(d) = -d**3 + 14*d**2 + 2*d - 7. Let c(m) = -4*h(m) - 5*z(m). Let v be c(2). Is v equal to 2/101?
False
Let i = -12192.1 + 12193. Which is smaller: i or -0.152?
-0.152
Let d be (-6)/(((-110)/209)/(-5)). Is d greater than or equal to -70?
True
Suppose -7*o + 30 + 89 = 0. Let w be (-4 - o)*(12/14)/1. Which is greater: w or -14?
-14
Let j = -6974/39 + 2316/13. Let r(i) = -i**3 + 3*i**2 + 5*i + 3. Let d be r(4). Let p = d - 7. Which is greater: j or p?
p
Let c = -0.1 - -1.1. Let h = 0.66 - -0.47. Let r = h + -0.43. Is c > r?
True
Suppose -16 = 5*y + k - 1, y = k + 3. Let w = 280 - 280.13. Which is smaller: w or y?
y
Let i = 22647/1343 + -280/17. Is 1 greater than or equal to i?
True
Let w be (2/(-12)*-3)/(5/110). Suppose 7*r = w*r - 24. Let o = 19 - r. Which is greater: 10 or o?
o
Let i = 1052 + -2. Suppose i = 4*v - 14*v. Let f be (-2 - -2) + 6/v. Is f at least 1?
False
Let l = -16968 + 16813. Is 2/155 bigger than l?
True
Let d = -7.13 - -21.73. Let z = -6.8 + d. Is z at most as big as -1/3?
False
Let n = 499/5 + -94. Which is smaller: -6/11 or n?
-6/11
Let y = -4660.6 + 4659. Are 109 and y equal?
False
Let c(r) be the second derivative of r**5/20 - r**4/12 - 4*r**3/3 - r**2/2 - 2*r. Let u = -68 + 72. Let q be c(u). Which is greater: q or 0?
q
Let h(i) = -i**2 - 2*i + 1. Let z(f) = 3*f**3 + 10*f**2 + 20*f - 3. Let v(d) = 2*h(d) - z(d). Let p be v(-4). Do p and 101 have the same value?
True
Let u = -1.11 - -0.82. Let c = u + -1.01. Which is smaller: -4 or c?
-4
Let k = -5125 - -2780. Let f be -5 - (-4 - -3) - 9370/k. Which is bigger: f or -1?
f
Suppose 93*q = 95*q - 6. Suppose 2*r + b + q*b + 2 = 0, -12 = 5*r + 3*b. Let y be (-14)/6 - r - (-110)/15. Do 8 and y have the same value?
True
Let g = 69 - -11. Suppose 0*i + g = 5*i. Let l be 12/((-55)/10 - -4) + 22. Is i >= l?
True
Let b be 6 - (-7 - 889/(-28)). Which is smaller: -19 or b?
-19
Let s = -109 - -91. Which is greater: -105 or s?
s
Let t = -0.325 - -0.3. Suppose 34*b - 6 = 35*b, 28 = -2*c - 4*b. Is t bigger than c?
True
Let j be 195 - (78/(-65))/(3/10). Suppose 287 = 4*q - 5*y - 122, 2*q - j = -3*y. Is q at most as big as 1?
False
Let z be -1 + -2 - -9 - (815 - 1). Let u = 62215/77 + z. Let m(o) = o - 2. Let p be m(2). Which is greater: p or u?
p
Let a(l) = -5*l - 24 + 13 - 25 - 4. Let d be a(-7). Let c be -1 - d/(-5) - 6. Does -6 = c?
False
Suppose t + 4*g = -g + 25, -4*g + 16 = 0. Let f(d) = -2*d + 5*d + d**3 - t*d**2 + 3 + d**2. Let u be f(3). Which is greater: 6 or u?
6
Let q(t) = t**2 + 10*t + 16. Let z be q(-8). Let g be ((-263)/(-4))/(z + (-2)/8). Are g and -263 non-equal?
False
Let j(w) = w**3 - 4*w**2 + 2*w. Let l be j(3). Let z = -1019 + 80502/79. Let u = z - 1033/474. Is u greater than l?
True
Suppose 2*v + 2*v - q + 1 = 0, 2*v = -3*q + 17. Is v less than or equal to 6/1253?
False
Let n be -5 + 5 + 82/6. Let o = 363.1 - 55.1. Let u = o + -307.9. Is n != u?
True
Let r be (-6)/18*-3*24. Let q = r + -34. Let v = -7757/796 - 1/199. Is v <= q?
False
Let r(u) = -9*u - 6. Let i be r(2). Let k be i/(-28)*7/(-23). Let x = -60 - -61. Do x and k have different values?
True
Let j(z) be the second derivative of -z**3/3 + 5*z**2 - 2*z. Let q be (759/92)/(-3 + (-30)/(-8)). Let w be j(q). Is w <= -11?
True
Suppose -2*g + 4 = -y, 0*y - y = -3*g + 8. Suppose -g*z + 4 - 6 = 2*n, -z = 2. Which is bigger: 17/11 or n?
n
Let b = -23471/1370626 - 3/6038. Let w = -2 - -2. Is w > b?
True
Let s = 626 - 26. Suppose 60*n - 52*n = s. Is n < 78?
True
Let b = -9191 - -9397. Is b less than or equal to 4/7?
False
Suppose -4*v = 3*o + 2*o - 1705, -5*v = 4*o - 1364. Let u = o + -342. Are 0.88 and u unequal?
True
Let q be (-1 - 0)*(1 - 4). Let z = -263 + 261. Let o be (q/z)/((-156)/(-24)). Which is smaller: o or 0?
o
Let l = -3466 - -3470. Which is smaller: l or -82?
-82
Let q = -11 + 22. Suppose -8*v - 26 = -21*v. Suppose -3*g - v*f = -24, -g + 6 = 3*f - 2. Which is greater: q or g?
q
Let f(i) = -i**3 - 6*i**2 + 15*i - 2. Let c be f(-8). Let y be (2/c)/((-3)/549). Let s = y - -62. Which is bigger: -1/27 or s?
s
Suppose 16 = 630*w - 620*w + 116. Is w >= 502?
False
Let p be 15 + -21 + (-17255)/(-2905). Suppose 2*t + 0*t = 0. Is t != p?
True
Let a be 2193/(7/((-56)/30)). Is -585 > a?
False
Let l = -52.81 - -52.6. Which is smaller: l or -95?
-95
Let p = 0.2 - 27.2. Let k = 3.05 - 1.88. Let o = -0.17 + k. Which is smaller: p or o?
p
Let k be (-1)/(-17)*(-10822)/294. Let j = k - -36/17. Let z(u) = 2*u**2 - 1. Let b be z(-1). Is b bigger than j?
True
Suppose 4*q - 3*d = -4924, 33*q + 2*d = 30*q - 3710. Is 3 greater than or equal to q?
True
Let a = -14884202/286755 - -12/13655. Is a <= -53?
False
Let m(o) = -2*o**2 - 9*o + 1. Let c be m(-4). Suppose c*n + 3 = 2*n. Is -3/131 at most as big as n?
False
Let x be (291/(-12) + 2)/((-1)/(-4)). Let t be (-5 + -3 - -4) + x/(-1). Let o = t + -612/7. Is -1 >= o?
True
Let z be 1248/60 - 22 - 1/(-5). Let t = 80 + -53. Which is greater: z or t?
t
Let w = -106642/352665 + 46/153. Is -0.2 smaller than w?
True
Let c be (-58)/(-3) + (-13)/(-117)*-3. Let n(b) = 4*b**2 - 63*b - 46. Let r be n(c). Is r smaller than 200?
False
Suppose -3*l + 2*l - 3*o + 9 = 0, -6 = 3*l - 2*o. Let i = 20381 + -102272/5. Let s = 73 + i. Is l at most s?
False
Let a(r) = r + 14. Let x be a(-11). Let m be -12 - x/(-6)*2 - -2. Let f(l) = l**2 + 12*l + 15. Let s be f(m). Are -12 and s equal?
True
Let x = 0.202 + -0.002. Let w = -0.0513 + -9.8687. Let q = w + 10. Which is smaller: q or x?
q
Let b be -204 + 12/4 + 0 + -3. Which is greater: -196 or b?
-196
Suppose 484*g + 145 = 127*g - 157 - 55. Let z = 702 + -21777/31. Which is bigger: g or z?
z
Let u = -8933 + 8933. Is u not equal to 3/110?
True
Let h = 530 - 529. Let n be (-588)/(-392) + (126/(-316) - h). Do 1 and n have different values?
True
Let y(c) = -c + 1. Suppose 0 = -2*b - 6 - 0. Let a be y(b). Suppose -t + 7 = a. Is 15/7 greater than or equal to t?
False
Suppose 124 + 182 = 5*i - 2*b, i - 66 = -2*b. Let u = -19816/3 - -6668. Let k = i - u. Are k and 0.1 equal?
False
Let c be ((-2)/(-3))/((-8)/(-36)). Suppose -3*q + 6 = c*q. Suppose 0 = -2*x + 1 + q. Is 1/16 > x?
False
Let c(b) be the second derivative of 5*b**4/12 + 5*b**3/2 + 3*b**2/2 - 50*b. Let n be c(-3). Let v(t) = t**2 - 7*t + 7. Let h be v(7). Which is smaller: n or h?
n
Suppose 0 = 3*r - 5 + 2, 4*f + 142 = -2*r. Let b(i) = 159*i**2 + 5*i -