 158, 5*x + 143 = 4*o. Let s be (-14)/o*(-3687)/14398. Let k = s + 1/626. Is k > 0?
True
Let r = 28900/3 + -838676/87. Which is smaller: -7 or r?
-7
Suppose -d = 3 - 4. Let p be 0 - (d + 2 + -2). Let c be -4 + 1 + (-3 - -4). Is p smaller than c?
False
Let n = 0.8 + -0.7. Let z(w) = 5*w**2 + 4*w + 2. Let d be z(-3). Let y = d - 281/8. Is y <= n?
True
Let p = 29871/707 + 18/101. Let c = p + -42. Are 0 and c equal?
False
Let h = -963 - -1007. Which is bigger: h or 45?
45
Let c = -18.5 + 11.46. Let g = 7 + c. Is g > -1?
True
Let j be (-3 - (-8)/2)/((-2)/(-22)). Suppose 3*q = j - 8. Which is bigger: 3/16 or q?
q
Let w(d) = -2*d**3 - 15*d**2 + 7*d - 6. Let i be w(-8). Let t be 2 - (-2)/(i*(-1)/3). Is -2/113 at least as big as t?
True
Suppose 5*p - 2 - 9 = j, -5*j = -5*p - 25. Let g(x) = -5*x**2 + 9*x. Let w(v) = -27*v**2 + 46*v - 1. Let o(d) = -11*g(d) + 2*w(d). Let l be o(j). Is l <= 17?
True
Let l be ((105/40)/(-7))/417. Which is bigger: 0 or l?
0
Let y be 12/3945*25/(-10). Which is smaller: 5/2 or y?
y
Let r = -57 + 33. Which is smaller: r or -0.1?
r
Let u be ((-22)/33)/(16/6). Which is smaller: u or 18?
u
Let h be 1378/12 + 4/24. Let r = -2643/23 + h. Are 1 and r non-equal?
True
Let z(q) = 2*q - 151 - 3*q + 164. Let i be 36/(-15)*(-4 - 1). Let j be z(i). Which is smaller: -1/2 or j?
-1/2
Let n(q) = -q**3 + 4*q**2 - 13*q + 17. Let u be n(7). Are -220 and u nonequal?
True
Let z be 5/2*4/5. Suppose 0*q = -2*q + t + 27, -q = z*t - 6. Let g = q + -14. Does g = 0?
False
Suppose -7 = -k - 9. Which is greater: -15/22 or k?
-15/22
Suppose 4*h = 4*r + 38 - 2, 0 = -r - 3*h - 5. Let z = r + 11. Suppose -3*o + 1 = z*p - 4*o, -3 = 5*p + 3*o. Which is smaller: p or -1?
-1
Let u be (-20)/9 + 1 + 1. Let j = 430 + -423. Which is bigger: j or u?
j
Let a be 1 + 33/6 + 4. Let r = a + -11. Let d be 6/(-12)*(-2 - -2). Is d smaller than r?
False
Let w = -9 - -21. Suppose w - 4 = 2*o. Suppose o*q - 4*h = -0*q + 20, 2*h = 5*q - 37. Which is bigger: q or 10?
10
Let a(b) = -b**3 - 6*b**2 + 4*b + 3. Let f be a(-6). Which is smaller: -20 or f?
f
Let d = -270 + 1884/7. Suppose -2*x = x + 54. Let o be (-2)/(-9) - (-40)/x. Do d and o have different values?
True
Let y = 7.2 + -7.98. Let w = y - 0.22. Which is bigger: 18 or w?
18
Let z = 88303/223011 - 5/3141. Which is smaller: z or -1?
-1
Suppose 0 = 7*t - 14 + 7. Suppose -14 = 4*v + 5*d, 5*d + 4 = -2*v - 8. Let j be (-16)/(-30)*v/12. Is j greater than t?
False
Suppose 429 = 4*x - 983. Do x and 353 have different values?
False
Let b be (13 + 0)/(((-16)/6)/8). Suppose -82 = 6*i - 4*i. Which is smaller: b or i?
i
Let h be 1 + 1*(8 + -3). Suppose 4*v + 4 + h = -k, -3*k - 10 = 2*v. Let o = 2 + k. Is 1/14 smaller than o?
False
Let a = 5 + -47/9. Which is smaller: a or -3?
-3
Let m = -20 + 14. Let q(p) = 3*p + 7. Let l be q(-3). Let g be m/2 - (l - 4). Which is greater: 2 or g?
g
Let s be (-35)/(-15) - (-4)/6. Suppose -3*h = s - 6. Which is smaller: -1/5 or h?
-1/5
Let p = 11823 + -11814. Let z = -7 - -11. Is p greater than or equal to z?
True
Suppose 4 = w - 0*w. Suppose 0 = w*h - h + 6. Let v = -5 - h. Is -4 bigger than v?
False
Let p = 5 + 5. Let q = -6 + p. Suppose 2*w - 10 = 3*x - 0, 5 = -q*x + w. Is -7/5 > x?
False
Let j = 64 + -62. Let d = 16 + j. Is d at most as big as 18?
True
Let r = -18 - -33. Let g be 130/r + (1 - (-2)/(-3)). Do -0.2 and g have the same value?
False
Let d = -0.696 + 0.296. Is d greater than -75?
True
Let b be (-4)/((-160)/(-11318)) + 3. Let l = b + 280. Let j = -1 + 0. Which is smaller: j or l?
j
Let z = -55 + -30. Is -86 smaller than z?
True
Suppose -4*c - 4*z + 7*z = 213, z = 3*c + 156. Let o = c + 51. Is 2/27 > o?
True
Let y be ((-4)/(-6))/(31/((-7905)/(-34))). Let w(t) = -t**2 - 3*t + 4. Let p be w(-5). Which is bigger: p or y?
y
Let m be (-1)/4 + (-118)/8. Let y be (m/12)/((-7)/(-56)). Let s = y + -9. Which is smaller: -18 or s?
s
Suppose -81 = p - 80. Which is smaller: p or 4/151?
p
Let t = 3 + 0. Let a(j) = 2*j - 10. Let s be a(5). Suppose s*f = -t*f. Is f smaller than -1?
False
Suppose -9647 = 19*y - 2218. Do -392 and y have the same value?
False
Let k(y) be the second derivative of -y**4/3 - 7*y**3/2 + 15*y**2/2 - y. Let a be k(15). Let h = 6019/5 + a. Do 5 and h have the same value?
False
Suppose -35*s + 44*s - 225 = 0. Is s less than 23?
False
Let u = -1.1 - -0.1. Let n = 0.13 + -1.43. Let m = u - n. Which is bigger: m or -0.3?
m
Let c = 63 - 58. Suppose 3*u - 12 = -3*l, -3*l - 2*l = -3*u - 4. Is u >= c?
False
Let l = 10.2 - -58.2. Which is smaller: l or -0.2?
-0.2
Let d be (-4)/(-3) + (-3718)/2847. Is d at most -1?
False
Let u = -166 - -112. Let x = 95 + u. Is 0.1 at most as big as x?
True
Let v be (7 - (-8)/4) + -141. Is -132 not equal to v?
False
Let p(u) = 3*u - 6. Let s be p(3). Suppose 0 = -t - s*y - 4, 0*y + 35 = 5*t + 4*y. Let c be -7*t/(-20) - 4. Is 0 >= c?
True
Let j = 0.4 + -0.5. Let a = 5 + -33. Which is smaller: j or a?
a
Suppose 10 = -z + 5*p, 4*p + 10 = -2*z + 18. Which is smaller: z or -4/63?
-4/63
Let v(n) = 6*n - 21. Let h be v(2). Do h and -158/17 have the same value?
False
Let a(y) = -y - 6. Let c be a(-8). Suppose -4*f = 2*w + 10, -3*f - 14 = c*f + 4*w. Let j be f/5 - 28/(-20). Is j < 2/21?
False
Suppose 3*k + 0*k = 2*k. Let a(r) = r + 8. Let u be a(k). Is u smaller than 4?
False
Let n be 1*(-3)/3*0. Suppose n*y + 8 = 2*y. Let i = 4 - 0. Do y and i have the same value?
True
Let j = -445 + 4877/11. Which is smaller: -1 or j?
j
Let p = 52.3 + -56. Let v = -876 + 879.7. Let o = p + v. Is -6 bigger than o?
False
Let f = 0.302 + -0.516. Do f and -0.1 have different values?
True
Let a = -2.9 + 2.79. Let v = a + 2.11. Let o = 12 + v. Which is smaller: o or 0.1?
0.1
Let q = -638/3 + 23630/111. Suppose -66 = 10*c - 56. Is q != c?
True
Let u = -15.19 - -0.19. Let l = u + 14.1. Which is bigger: l or 1?
1
Let w = -2.4 - -2.8. Let v = -0.4 - 0.1. Let i = v + w. Is -1 > i?
False
Let b = 64706/45 - 1438. Is -1 >= b?
False
Let b be 2/1 + 20/(-12). Suppose 5*q + 75 = 3*t - 21, -3*q + 2*t - 58 = 0. Let h = 35/2 + q. Which is greater: h or b?
b
Let p = 55.7 - -164.3. Which is bigger: p or -1?
p
Suppose -1305 = 3*i - 1071. Which is bigger: i or 2?
2
Suppose -4*j = -g - 4*g - 153, 3*g = 2*j - 77. Let a be ((-8)/6 + 1)*3. Let v be (((-8)/j)/4)/a. Are v and -1 non-equal?
True
Let d = -49 + 50. Let i be (-8)/6*1/38. Which is smaller: i or d?
i
Let p = -199 + 213. Is 12 < p?
True
Let q = 31 + -31.1. Suppose 2*w + 30 = -z + 2*z, -3*w = -5*z + 136. Suppose 0 = -4*n + 2*g, -6 = 5*g - z. Does n = q?
False
Let a be 8/3*1*-9. Is -13 smaller than a?
False
Suppose 9*s = 12*s - 171. Suppose -s - 162 = -3*i. Is i at most as big as 73?
True
Let l = 4066/27081 - 2/1003. Let z = 82/189 - l. Which is bigger: 22 or z?
22
Let j = -140 + 263. Is -2/7 < j?
True
Let i = 19.5 - 16. Let c = i + 0.5. Let x = 3.99 - c. Is -0.1 smaller than x?
True
Suppose 0 = -v - 6 + 4. Let g(k) = 2*k**2 + k. Let i be g(v). Suppose -3*u + 2*n = -5, -i*u + 5*n + 9 = -2*u. Are u and -1 nonequal?
True
Let t(s) = -s**2 + 9*s - 3. Let c be t(9). Let i be 3/(c - 543/2). Which is smaller: i or -1?
-1
Let g = 39.3875 + -0.0875. Let x = -1.3 + g. Is x >= 1/3?
True
Let h = 28 - 18. Let y = -3 + h. Suppose -5*k - 11 = -3*d + y*d, -2*k - 5 = d. Are -2 and k equal?
False
Let m(y) = 20*y - 4. Let l be m(2). Let f = l + -32. Which is bigger: f or 6?
6
Suppose 3*g + 128 = 2*t, -83 - 9 = 2*g - 3*t. Let s be (-16)/(-4 + g/(-12)). Is s bigger than 24?
False
Let x be (1 + 14/(-9))*2. Which is smaller: x or 0?
x
Let w = -6 - -15. Let p be 2/w - 1185/(-135). Let o be ((-4)/3)/(3/p). Is -4 smaller than o?
False
Suppose j + 1 = -d - 0, -3*d - 2*j + 2 = 0. Suppose i = -x - 3, d*x - i = -0 + 3. Which is bigger: x or 12/13?
12/13
Let n = 2 - 1.9. Let i = 0.1 - n. Let u = 2015/8 + -252. Which is bigger: u or i?
i
Suppose -7*d + 6*d = -0*d. Which is smaller: 3/442 or d?
d
Suppose -2*m - 10 = 3*m, 4*y = 3*m + 214. Suppose 4*c + 3*w = y, 4*c - 20 = 6*w - w. Which is bigger: 8 or c?
c
Let x = -292 + 416. Let n = 125 - x. Which is greater: n or 9?
9
Let j = -0.393 - -1.393. Which is greater: j or 361?
361
Let v = -0.36 + 0.33. Let g = v - -1.03. Let w = 2.9 - -0.1. Is w at least as big as g?
True
Let s(m) = -4*m**2 + 11*m + 41. Let t be s(-7). Are -232 and t nonequ