.1 - -27428. Is -55.7 at most z?
True
Let x = 859039/279 - 3079. Let b = 659/1116 + x. Let v = -131 + 131. Which is smaller: b or v?
v
Suppose -60 = -5*n + 5*k, -38 = -4*n - 0*n + 2*k. Let q be (0 - 0)/(17 + -19). Suppose 3*t - n + 28 = q. Is t equal to -5?
False
Let b = 137.1 - 133. Let x = b + 103.9. Is x greater than or equal to -1?
True
Let k = -0.1 + 0.5. Let h = -0.72965 + 0.80965. Which is smaller: h or k?
h
Let z = 121.44 + -65.15. Let y = z + -56. Let r = -1.29 + y. Is r less than -12?
False
Let a be (120/105)/((-4)/(-14)). Let c be ((-11)/a)/(25/(-4700)). Let z be 20/(-110) - (-72)/c. Is -1 > z?
False
Let w(o) = 37*o**3 - 3*o**2 + 5*o - 53. Let t be w(5). Is t less than 4522?
False
Suppose -2*n - 3*h = 16, 0 = n + 3*h - 1 + 3. Let p be 5/25 + 32/(-10). Let l = -17 - p. Is l bigger than n?
False
Suppose 8*t + 0 = -8. Let u be -2*15/20 - t. Which is smaller: 2.4 or u?
u
Suppose 16 = -4*l + 8*l. Suppose -x - 27 = -l*x. Suppose x = -2*u + p, 0 = -6*u + u - 2*p. Do u and 0 have the same value?
False
Let z = 13 - 9.4. Let b = -2.6 + z. Suppose -10*j + 11*j = -6. Which is smaller: j or b?
j
Let u = -370517/41002 + 235/26. Which is smaller: 0 or u?
0
Let w(j) = -j - 1. Let x be w(-8). Let y be 5 - 1 - (-4 + x). Let r be -5 + 4 + y*2. Which is smaller: -2/139 or r?
-2/139
Suppose 165*u - 72*u - 372 = 0. Are u and 4 non-equal?
False
Let j = 322 + -524. Let b = j - -203. Which is bigger: b or -150?
b
Let d be (2 - 2)/(1*4/(-2)). Suppose -60*r + 6 = -61*r. Which is smaller: d or r?
r
Let x be 249/2*(-5 - 119/(-21)). Let j = 111 - x. Suppose 23*n = j*n + 280. Which is greater: -55 or n?
-55
Suppose -13*w + 115 = -1991. Let u = w - 209. Which is greater: -46 or u?
-46
Let u be ((-5)/(-28))/(2/(-12)). Suppose h = -k + 2*h - 11, k = -5*h + 49. Which is smaller: k or u?
u
Suppose -4*i + 2*p + 0*p = -32, 0 = p + 2. Let k be 8/48*(i - 5). Is -20 >= k?
False
Suppose -279*w - 386 = -281*w. Let u = 220 - w. Which is smaller: 28 or u?
u
Suppose -38*h - 251*h = 27*h - 39*h. Is -2/3027 greater than h?
False
Let z be (-116)/40 - (0/3 - 0). Let x = 46/15 + z. Let k = -163/413 - 2/59. Which is bigger: k or x?
x
Let l = 36785 - 36784. Are l and 14/31 equal?
False
Let r(i) = -6*i - 46. Let x be r(-7). Let n be (424/(-360) - x/(-18)) + -2. Which is bigger: -4 or n?
n
Let b = 2018.96 - 1942. Let o = -77 + b. Is o at least -17?
True
Suppose -28 = 2*s + s - q, 0 = -4*s + 3*q - 34. Let f be (s/(-6))/((-7)/(-21)). Let n be (-10)/f - -22*(2 - 1). Is n equal to 21?
False
Let k = -1/1140 - 5683/19380. Let i = 45/136 - k. Let l(h) = h**2 - 2*h + 1. Let b be l(2). Does i = b?
False
Let n be 18/1 - (1 - 2). Suppose 0 = 6*m - 685 + 43. Let q = 124 - m. Which is bigger: q or n?
n
Let i = 218 + -232. Let a be (-14)/21 + (-21)/(-18). Which is smaller: a or i?
i
Let l be (-9)/((-126)/4) - (-386)/(-1302). Let m = 286.6 - 286.6. Which is bigger: l or m?
m
Let l = 0.3245 + -0.2945. Let t = -19.7 - -18. Is t less than l?
True
Let v = 68 + -62. Let y be v/(60/25)*(-1)/(-5). Let r be 5/10 - 3/(-2). Does r = y?
False
Suppose 0 = -5*g - 39*g - 19 - 3633. Is -67 not equal to g?
True
Let m be 3/(-24) - 1375/(-2200). Which is smaller: m or -1/1325?
-1/1325
Suppose -2*c - 2*c + 160 = 0. Suppose r - 6 = -2*x, 41*r - 4*x - 124 = 39*r. Is r at most as big as c?
True
Let m = -8804 + 8804.2. Let p = -1153 - -56499/49. Which is smaller: p or m?
p
Let v(n) = 8*n + 91. Let o(j) = 5*j + 47. Let x(f) = 5*o(f) - 3*v(f). Suppose 56 = r + 3*r. Let w be x(r). Is -23 at least as big as w?
True
Let k = -31 + 53. Let t(b) = b**3 + 5*b**2 - 9*b - 32. Suppose 0 = 5*w - 9*y + 8*y + 15, 0 = -4*y - 20. Let m be t(w). Are m and k equal?
False
Let d = 0.12 + -0.72. Let i = d + 0.9. Let a = 23.61 + -18.61. Is a >= i?
True
Let z = 9 + -8.712. Let k = z + -0.488. Is -18/23 <= k?
True
Let s be 1/((-2639)/(-350) + -8). Let a(r) = 3*r - 24. Let p be a(7). Is s bigger than p?
True
Suppose 0 = 6*i + 4269 + 4707. Let b be 1/(22/(-6))*i/(-132). Which is smaller: b or -3?
b
Let s = -2/323 - 104/87533. Let h = -1891/813 + s. Which is smaller: h or -0.7?
h
Let c = 2165 + -2169.2. Do -2 and c have the same value?
False
Let l = -2 + 0. Let d(r) = 21*r - 1 - 26*r - 7. Let j be d(l). Is j at least as big as 2?
True
Let k = -38 - -74. Let v be ((-12)/8)/(-4 - (-141)/k). Which is bigger: v or 22?
22
Let y(f) = f**3 + 454. Let n be y(0). Let u(z) = -830*z + 124123. Let t be u(149). Which is greater: n or t?
n
Suppose 59*v = 61*v - 3*b - 147, -5*v + b = -348. Are 62 and v nonequal?
True
Let v = 6.8 + 2.2. Let u(q) = -q**2 - 6*q + 30. Let c be u(-9). Let z(s) = 2*s**2 - 7*s + 2. Let i be z(c). Which is smaller: i or v?
i
Let p = -105591/5 + 21099. Let q be -1 - (-2 + (-21)/(-1)). Which is greater: p or q?
p
Let o(i) be the first derivative of -i**3/3 - 6*i**2 + 3*i - 4. Let v be o(-7). Is v < 37?
False
Let y be (-133)/(-21) - 1/3 - 3. Suppose 2*b - 32 = -5*k, -k - 8*b + 11 = -y*b. Suppose t - 5 = -l, 4*l + t - 3*t = -10. Is k <= l?
False
Suppose -7*d = -2*d + 105. Let b(v) = -v**3 - 6*v**2 + v + 7. Let z be b(-3). Is z at most as big as d?
True
Let f = -706.7 + 700. Let m be ((-6)/10)/((-18)/20). Is m less than or equal to f?
False
Let z be (-1*43)/(-1) + (-44)/(-11). Suppose z = 19*m - 29. Is m at least 4/9?
True
Let w(y) = 2*y**2 - 32*y + 30. Let c be w(15). Suppose 4*f + f - 90 = c. Suppose -2*z - f = -16. Is z at most -25?
False
Let z be (-162)/135*2/3*-380. Let v = z + -305. Let t be 5/20 + (-45)/148. Is v <= t?
True
Let y = 175.643 - 176. Let x = y + -47.343. Which is smaller: x or 0?
x
Let v = 11.8 + -12.1. Let w = v + -18.7. Let o = w - -15.7. Is o less than or equal to -1/2?
True
Let i(f) = 1575*f**3 - 2*f**2 + 8*f - 4. Let o be i(1). Is o <= 1581?
True
Suppose -2*i - 4*c + 142 = 0, 0*c = -c - 1. Suppose -i*s - 627 = -70*s. Does -208 = s?
False
Suppose -742 = -8*t + 601 - 503. Which is smaller: 135 or t?
t
Suppose 15*k = -40 - 50. Let a be -3 + (k - (-7 - (1 - 3))). Which is bigger: -7 or a?
a
Let o be 7/((-42)/(-1998)) - -1. Let n = o - 2342/7. Suppose -15 = 3*x - 3*g - 0, 4*g = 5*x + 21. Which is smaller: x or n?
x
Suppose -194*n = -171*n - 23. Is 10/9 equal to n?
False
Let m(w) = -w**2 + 21*w + 24. Let x be m(22). Let y be (-4)/(-8) + x/(-4). Which is smaller: y or -1/102?
-1/102
Let x(h) = 7*h**2 + 10*h + 53. Let z be x(-4). Let i = -185 + 308. Is z greater than or equal to i?
True
Let w = 19826 - 19423. Which is smaller: w or 393?
393
Let w = -16.27 + -717.73. Let p = w - -700.7. Which is bigger: 2/5 or p?
2/5
Suppose f + 324 = 3*z, 3*z + 20*f - 327 = 22*f. Suppose -5*a = -c + 108, -10*c = -9*c - 4*a - z. Is 104 at least c?
True
Let h(t) = 2*t**3 - 2*t**2 + 12*t + 9. Let y be h(4). Let w = -147 + y. Is 9 bigger than w?
True
Let c(g) = -g**2 - 19*g - 24. Let z be c(-12). Suppose z = -u + 5*u. Let y be (52/u)/13*1*10. Which is bigger: y or 4?
4
Let g be (-3)/(((-2)/(-21))/(12/(-9))). Let x = g - -38. Is 78 smaller than x?
True
Let c = 13 - 30. Suppose 8*w = 46*w + 722. Is c <= w?
False
Suppose 2*u + 3 = -3*p, -2*p - 6*u - 27 = -11. Is p < 9/1883?
False
Let g = 2 - 3. Let z(r) = -r**3 + 47*r**2 + 162*r - 601. Let o be z(50). Are g and o equal?
True
Let l = 155/34 - 6101/1122. Let n = l + 17/11. Are n and 3/11 unequal?
True
Let p(b) = 17*b**2 + 346*b - 2344. Let u be p(7). Which is smaller: u or 913?
u
Suppose 16*t - 24 = -8. Let g be 297/((-24)/(-8)) - 2/t. Which is bigger: g or 100?
100
Let t = 6992 - 5878. Which is smaller: t or 1116?
t
Let w = 2/11261 + 11135/709443. Is 0 >= w?
False
Let i be ((-4)/(-1))/(2 + -3). Let o be (i/2)/(-2) - 3. Let q be ((-10)/450*-15)/(1/42). Is o bigger than q?
False
Let l(u) = -3*u**3 + 5*u**2 + 4*u - 4. Let a be l(4). Let i(q) = -4*q**2 + 38*q + 6. Let k be i(5). Let t = a + k. Which is smaller: -5 or t?
-5
Let w = 5880/17 - 346. Let l = -37948 + 37941. Is l at most as big as w?
True
Let l be 4/12 - (-9)/(108/1868). Suppose -41*z - 1632 = -l. Suppose 0 = -3*y - 125 + 17. Is z bigger than y?
False
Let h be 7/((-77)/55) + 0 + 496/63. Let i = -53875/252 + 855/4. Let v = i + h. Does -2/7 = v?
False
Let v = -22613 + 22612.9053. Which is greater: -6 or v?
v
Let m be 22/143 + (-23464)/(-91). Is m greater than or equal to 253?
True
Let a be 1575079/5509126 + 4/(-14). Is 0 greater than or equal 