se 23*w + 995 = -224. Are w and -13 equal?
False
Let l be 11 + -8 + (-2)/2. Suppose 5*t - l*t = 0. Suppose -5*h - 10 = t, -7 = -j - h + 2*h. Which is smaller: j or 4?
4
Let i(h) = -h**2 - 24*h - 23. Let o be i(-23). Let j = -205 - -143. Is j <= o?
True
Let c = -1511/712 + 22/89. Let q = -479 + 476. Does q = c?
False
Suppose 20*w - 16 = 18*w. Suppose 0 = -4*t - 4*r + 28, t = -w*r + 10*r + 13. Is 2 bigger than t?
False
Suppose -1 = 2*c + 11. Let p be 2/(-11)*c/4. Let g = 106 + -740/7. Is g at most as big as p?
False
Let s = 14 - 13.89. Let x = 0.03 - -0.07. Which is smaller: s or x?
x
Let w(f) = -f - 3. Let h be w(-5). Let v be ((-5)/(-7))/(-5) - -1. Is h < v?
False
Let t = 8.9 - 9. Let p = -0.09 - t. Let s = -19 - -19. Which is smaller: s or p?
s
Let q = 0.0241 - 38.1241. Let l = q + 41. Let w = -1.1 - l. Is 0.5 greater than w?
True
Let w be (-10)/16*(68/84 + -1). Is -1/2 smaller than w?
True
Let m = 3.89 + -2.89. Which is greater: -137 or m?
m
Let i be (93/4743)/(2/36). Do 4 and i have different values?
True
Let s be 4*(4 + (-335)/(-20)). Which is smaller: s or 87?
s
Let a = 51.75303 + -0.12303. Let c = 52 - a. Let o = c - -0.03. Is -1/2 >= o?
False
Let t(d) = -4*d - 24. Suppose 0 = -2*k - v - 14, 2*k - 3*v = 2*v - 2. Let f be t(k). Is 3/4 less than f?
False
Suppose 3*d + 4*f + 17 = -19, 5*f - 17 = 4*d. Let t = d + 12. Is t less than 9/2?
True
Suppose 548 = -4*y + 3*z, -4*y + 2*y = 2*z + 288. Are y and -140 nonequal?
False
Let g be ((-1)/4)/(5/(-40)). Let m be g + 6/(-4)*2. Let x be (-2)/(-2 - 2)*-2. Is m smaller than x?
False
Let r = 13.4 + -7.2. Let w = 8.9 - r. Which is smaller: 0 or w?
0
Suppose 3*q + 2*q = -3*y + 76, -3*y + 56 = q. Let f = y + -13. Suppose f*m - s + 6 = 0, -4 + 10 = -3*s. Which is greater: m or -2/3?
-2/3
Let w = 0.1271 - 0.0271. Which is bigger: -0.529 or w?
w
Let d(w) = -4*w**2 - 5*w - 2. Let a be d(-2). Let h be 18/8*(-8)/(-2). Let b = a + h. Is b at most 4/7?
False
Let d = -764 - -768.41. Let s = d + -4.7. Which is smaller: s or -1?
-1
Let l = 28 + -30. Let y be 32/(-10) - 6/l. Let m(v) = v**3 - 3*v**2 - 5*v - 3. Let i be m(4). Is i greater than y?
False
Let r(v) = -v. Let b(l) = -l**2 - l - 3. Let y(w) = b(w) - r(w). Suppose 20 = -5*a, -4*i - a = 2 + 2. Let o be y(i). Is -5 >= o?
False
Let u = 1247 - 1339.1. Let p = 92 + u. Let n = -0.1 - -1.1. Is n equal to p?
False
Let p(h) = -h**3 + 8*h**2 + 11. Let n be p(8). Let b = -9 + 7. Let t(s) = 3*s**2 - s - 4. Let f be t(b). Is f less than n?
True
Suppose f = -9*f + 10. Which is smaller: -76 or f?
-76
Suppose 3*q = 2*m - 18, -5*m - 3*q = -m - 54. Suppose 3*x + m - 9 = 0. Which is smaller: -8/13 or x?
x
Let w be (39/390)/((-2)/8). Let f(m) = -m**2 + 6*m - 4. Let q be f(6). Let v = 10 + q. Which is smaller: v or w?
w
Let r(m) = m**3 - 8*m**2 + 6*m + 8. Suppose 0 = n - 7 - 0. Suppose 0 = 5*i - 6*i + n. Let q be r(i). Which is greater: 2 or q?
2
Let z = 5/21 + 2/21. Let c be 117/(-15) + 2/(-10). Are c and z non-equal?
True
Let h = -417/5 - -20438/245. Which is smaller: h or 1?
h
Let i(v) = -8*v. Let q be i(-2). Let n = q - 16. Let x be 2 + (n - 1)*0. Which is smaller: x or 10/3?
x
Let d(i) = 247*i - 3 - 246*i - 4. Let z be d(8). Let c be -10 + 8*z/2. Does 0 = c?
False
Let i = 75 - 243. Which is greater: -167 or i?
-167
Let n = -172 - -4688/27. Which is greater: n or 3?
3
Let n be 4 + 296/(-72) - (-331)/(-18). Is n greater than -20?
True
Let y = -38 + 20. Let b = y + 20. Is 3 < b?
False
Let w be (2 - (-3062)/(-90)) + (-20)/100. Are w and -33 equal?
False
Let g be ((-12)/4)/(-3) - -1. Suppose g*h = 3*w, h - 6*h + 5*w + 10 = 0. Let o(l) = l - 5. Let y be o(h). Are y and 5/3 non-equal?
True
Let l(z) = z**2 + 3*z - 8. Let j be l(-4). Let q be (-2 - -2) + (j - -4). Which is greater: q or -2/13?
q
Let w be 668/10 - 130/(-26). Let d = w + -72. Do -27 and d have the same value?
False
Let p = -289 - -474. Are p and 184 non-equal?
True
Suppose 4*s + 48 = -0*s. Let h = s + 28. Suppose h = 5*q - 3*y, -2*q + 6 + 13 = 3*y. Is q > 5?
False
Let f = -99 + 99. Let s be 328/996*3 - 1. Which is greater: f or s?
f
Let k(v) = -2*v - 4*v + 2*v. Let a be k(4). Let m = a + 20. Is 4 at least as big as m?
True
Let l = -17 + 5. Let v be (-15)/(-12)*l/3. Suppose 0*n + 12 = -2*n. Are n and v unequal?
True
Suppose -5*f = 2*n + 2*n - 36, 24 = 3*n + 3*f. Suppose -6*o = -n*o. Is o not equal to -1/10?
True
Let v be (-42)/(-9) - 2/3. Suppose -5*b = v*g - 3, 0*g = 3*b + 5*g - 7. Is 4 at least as big as b?
True
Let s = -0.62 + 0.52. Let p = -3.05 + 0.05. Which is greater: s or p?
s
Suppose -5*n = 1 - 41. Let h = 31 + -28. Suppose -5*g + h*v = 5*v - 55, -5*v = g - 34. Is g greater than n?
True
Suppose -3*q = 3*t + 279, q + 263 = -3*t + 6*q. Is t != -90?
True
Let j be 75/(-27) - 6/27. Let b be (-308)/(-78) + -1 + j. Let v be (-2)/(-2)*-1 - -2. Is b > v?
False
Let v be 2/(-6)*(5 + -23 - 3). Is v < 7?
False
Suppose 1908 = 6*r + 3*r. Let z = -4661/22 + r. Suppose 0 = -2*f - f + 3. Is z at most f?
True
Let a = 0.911 + -32.911. Let o = 24.962 + 0.038. Let n = a + o. Are -3 and n unequal?
True
Let u = 139 - 152. Is u less than -11?
True
Let n = 45 - 42. Let p(j) = -j**2 - 4*j - 10. Let l be p(-3). Is l not equal to n?
True
Let c(v) = -v**3 + 4*v**2 - 3*v + 1. Let o = -13 + 16. Let y be c(o). Let x be (7/14)/(y/(-2)). Is -2/29 less than or equal to x?
False
Let v be (-10)/15*6 + (-664)/(-167). Which is smaller: v or 0?
v
Let q = 68 + -60. Let v be (-48)/64 - 634/q. Is v < -80?
False
Let q = -389 + 404. Which is smaller: 6 or q?
6
Let w = 0.51 - 0.27. Let j = w - -0.03. Is j less than or equal to -1?
False
Suppose -9*k - 7 = -7. Which is smaller: 12/31 or k?
k
Let t(w) = -w + 15. Let h be t(0). Let q be 5/(-2 + -3) - h. Let i = q - -17. Which is bigger: i or 1/13?
i
Let k be (-52699151011)/938 - (-10)/30. Let f = 56182464 + k. Let b = -1/402 - f. Is -2 != b?
True
Let g be 798/(-40) + 42/56. Let p = g - -19. Are 3/4 and p nonequal?
True
Suppose k + 3*r - 7 = 0, 5*k - 2*k - 2*r = 10. Let j be k + (0 - 4 - 3). Let d be 2 + 1 + 3 + -6. Is d at least j?
True
Let j be 413/1514*11 + -3. Let g = -6027/43906 - j. Is 1 smaller than g?
False
Let o = 27 - 12. Let t = -8 + o. Let p be (-12)/(-54)*(3 + 0). Which is greater: t or p?
t
Let g = -23 - -26. Let t(j) = 8*j - 25. Let x be t(g). Which is smaller: x or 3/32?
x
Let s(r) = -r**2 + 10*r + 16. Let l be s(11). Which is smaller: l or 10?
l
Let c be ((-10)/(-25))/((-4)/(-5)). Let l = -40966981/393 + 104242. Let i = l + 2/131. Is c >= i?
True
Let n be ((-338)/(-7))/(20/70). Is 167 bigger than n?
False
Let p(i) = 3*i + 64. Let h be p(-15). Let j = h - -13. Is 31 less than or equal to j?
True
Suppose -23*w = -20*w + 27. Let k be -12*(-1 - 6/w). Do 36/11 and k have different values?
True
Let y = -11777/31 + 379. Which is smaller: 0 or y?
y
Let g be (15/20*-2)/((-1)/(-254)). Which is bigger: -382 or g?
g
Suppose -2*n - n + 6 = 0. Let c be (1 - (-2 + 2))*0. Suppose -d - 2*w + 9 = c, 0*d - 20 = 5*d - 3*w. Is n >= d?
True
Let u be ((-6)/2 - -2) + 0. Let d be (u/(-2))/((-15)/(-6)). Which is bigger: -1 or d?
d
Let p = -30693/10 - -3069. Suppose 0 = 2*s + 3*s + 10. Let d = s - -3. Are p and d unequal?
True
Let a = 0.4 + -0.46. Is -0.06 at most as big as a?
True
Let y(w) = -w**2 + 2*w + 3. Let i be y(5). Let c be 3 + 30/i - 6/28. Let v = 0.1 + -0.1. Is v <= c?
True
Let r = -29 + 20. Let v be ((-6)/(-2))/(r/(-6)). Let d be (-4 + (-1 - -3))/v. Is d not equal to 2/23?
True
Let g = -2 - -1.94. Let y = 6.06 + g. Let k be 13/(-78) + 10/24. Are k and y equal?
False
Let p = -11 - -8. Let c(b) = b**2 - 4*b - 7. Let z be c(5). Let s be -7 - z*3/6. Is p <= s?
False
Let v = -247 + 149. Are v and -99 unequal?
True
Let o = -4364 + 8280. Let b = -27344/7 + o. Let i = b - 66/7. Which is smaller: -1 or i?
-1
Suppose 10*q + 434 + 146 = 0. Is q at most -61?
False
Let v(r) = -2*r**2 + 12*r + 1. Let n be 2/(-3*(-3 - -1))*21. Let p be v(n). Is p greater than or equal to 0?
False
Let d be 3 + -21*(-3)/((-27)/2). Let k = 1/42 - -97/42. Let n = d + k. Which is smaller: 0 or n?
0
Let u = 1.1057 + 0.0943. Is -1/4 less than or equal to u?
True
Suppose -3*k + 4 = -2, 4*q - 16 = -2*k. Suppose 24 = q*p - 9. Suppose 3*a - 22 = 2*r, 4*a + 5*r - 38 = 22. Which is greater: a or p?
p
Suppose m + 5 = 0, 3*c - 3*m = -2*c. Suppose 