+ 1*(-3 + 3). Is i != l?
True
Let h be 5/25 + (1176/(-10))/3. Suppose 2*i + 3 - 1 = 3*q, i = -5*q + 25. Let s be (2/4)/(h/q). Is -1 < s?
True
Let i = 2562214/12331 - 3948/19. Is i at least 1?
False
Let i be 9/(216/(-80)) - ((-42)/(-9) + -4). Let k = -0.51 + 0.05. Let w = -0.06 - k. Is i smaller than w?
True
Let b(f) = -f**2 + 7*f - 10. Let y be b(-8). Let x = -187 - y. Let s = x + 81. Do 23 and s have the same value?
False
Let l(k) = -2*k + 24. Let s = 6 - -5. Let x be l(s). Do x and 5/9 have the same value?
False
Let r(v) = v - 12. Let x be r(-3). Which is greater: -19 or x?
x
Let j(m) = 21*m**2 - 18*m + 31. Let s be j(2). Suppose -2*n = 4*x + 2*n - 316, 3*x = 3*n + 237. Is x at most s?
True
Suppose -3*c - 102 = -4*z, -2*z + 5*c - 1 = -45. Is z at most 24?
False
Suppose 0 = -25*k + 81*k - 43344. Does 775 = k?
False
Let o = -36 + 44. Let a(p) = -2*p + 15. Let z be a(o). Which is bigger: -3 or z?
z
Let t = -2336 + 2337. Is t less than -2/33?
False
Let u = -2.1339 + 0.1339. Are u and -36 non-equal?
True
Let t = 20 - 23. Let k be 3 - 3/t*5. Suppose 3*q + 6 = 0, h - k = -4*q - 0. Which is greater: h or 0?
h
Suppose 3*g = -3*p - 81, 5*p + 2*g = 4*g - 149. Let i = -49 - p. Let m be 1/(-12) - i/80. Which is smaller: m or 1?
m
Suppose -4*l = -2*l - 80. Let h = -28 + l. Suppose 5*k = -4*d + 2*k - h, 5*d + 2*k + 22 = 0. Which is smaller: -8 or d?
-8
Let y be ((-54)/(-63))/((-6)/(-6*168)). Is 1018/7 less than or equal to y?
False
Let y be (-99)/12*(-60)/75. Is 1 <= y?
True
Let j be 162/2349 + 7246/58. Which is bigger: j or 749/6?
j
Let w be 145/435 + (-34)/74. Which is bigger: 1 or w?
1
Let h = 328 - 359. Which is smaller: -212/7 or h?
h
Let g = 100.58 - 99. Let d = -0.42 - g. Is 1/12 smaller than d?
False
Let y = -12 - -25. Suppose -4*c + y = -7, p + 21 = 4*c. Which is greater: -2/3 or p?
-2/3
Let b = -1.18 - -1.28. Do b and -44 have the same value?
False
Let m be (1 - 1)/(2 + 0). Let w be 3/1 - (m + -1). Suppose 4*r - 2*h - 6 = 0, -r + 4*h = -4*r + 32. Is w at least r?
True
Suppose -4*t = -5*j - 201588, -4*t - 18904 = -j - 59212. Let g be 77891/j - 2/(-9). Let w = -3/640 + g. Which is smaller: -1 or w?
w
Suppose -3*y - 3*w = 2*w - 17, 2*y - 2 = -w. Let k be 86/(-2)*(-6 + 5). Let r be 2/4 + k/(-82). Which is greater: r or y?
r
Let t = -1.4 - -15.4. Let z = -18 + t. Let b = 76 + -534/7. Is z greater than or equal to b?
False
Let g be (-2)/8 - -3*(-5)/(-12). Suppose -70 = 2*t + 272. Let j = 3421/20 + t. Is j not equal to g?
True
Suppose -2 = -2*r - 0. Suppose 0 = -2*q + i + r + 3, 3*q - 5*i = 6. Let n be q/7 + 150/(-84). Which is smaller: n or -1/4?
n
Let o = -16 + 10. Let z be (4/(-2))/((-5)/(-20)*28). Which is smaller: o or z?
o
Let b be 20/(-460)*(4 + 1). Which is bigger: 0 or b?
0
Suppose 0 = 3*w - 78 + 9. Suppose 27*m - w*m + 8 = 0. Let k be 4 + (m + 0 - 6). Do k and -4 have the same value?
True
Let k = -1642 - -1643. Are 538 and k non-equal?
True
Let w = 227 - 288. Do 0 and w have different values?
True
Let s(m) = m**3 + 8*m**2 + 10*m - 11. Let y be s(-9). Let h = y + 122. Let r be (-48)/h*(-4 + -1). Which is smaller: -1/5 or r?
r
Suppose -3071 = 5*d - 3046. Let l = 3.05 - 3. Is d < l?
True
Let f = 697 + -15331/22. Let k(y) = y**2 - 30*y + 200. Let h be k(20). Which is greater: f or h?
f
Let w(u) = u + 2. Let r be w(-4). Let f be (r/1 - 8)*1. Suppose 2*y = 36*y + 306. Is y <= f?
False
Let r = 0.5 - 0.52. Let x = r - 0.08. Suppose -3*b = -9, -b + 2 + 1 = -3*u. Is u at most x?
False
Suppose -4*y + 4*p - 8 = 0, -p + 2 = 3*y - 2*y. Let m = 575 + -41976/73. Let n = -215/292 + m. Which is smaller: y or n?
n
Suppose 0 = f + 2, g + 0*g + 7 = -4*f. Suppose z - 6*z + 55 = 0. Suppose -z = -3*i - 5. Which is smaller: g or i?
g
Let r = 35 - 30. Suppose x - r*x + 25 = -k, 2*k = x - 22. Does -8 = k?
False
Suppose 3*s = -2*j - 12, -2*s = j + 2*s + 6. Let t(f) = 4*f - 9. Let g be t(j). Is g bigger than -34?
True
Let b = 104 - 103.8. Is -0.1 != b?
True
Suppose -3*f + 21 = 3*l - 8*l, 0 = 4*f - 3*l - 17. Suppose 5*v + 2*k + 490 = 0, 3*k + 118 = 3*v + 391. Let s be ((-2)/(-4))/((-88)/v). Which is smaller: f or s?
s
Let m be (38 - 37)*(0 + 757). Which is smaller: m or 758?
m
Let o(b) = -b + 15. Let c(d) = 1. Let h(r) = 6*c(r) - o(r). Let p be h(-11). Let y be 3 + 76/p + 1. Which is greater: y or 0?
y
Suppose 13*q - 834 - 167 = 0. Is 75 less than or equal to q?
True
Let y(o) = 12*o**2 - 71*o - 1. Let m be y(6). Is m at most as big as 121/24?
True
Suppose -p = -5*d + 797, -3*d + 846 - 41 = -p. Let n be (-4)/(-30) - p/285. Which is greater: n or 17/10?
n
Let x = 53 - 19. Let v = -36 - -37. Are v and x nonequal?
True
Let v(q) = -2*q**3 - 3*q**2 + 6*q + 6. Let h(b) = -5*b - 39. Let x be h(-7). Let z be v(x). Which is bigger: 63 or z?
63
Let j be (42*1)/((2 - 4)/1). Is 5 less than or equal to j?
False
Suppose -u + 4*d - 3*d = 0, 0 = 2*u + 4*d + 12. Suppose 0*p - 4*t = -2*p - 16, 20 = -p + 5*t. Suppose p = 6*g - 8*g. Is g bigger than u?
True
Let h = -35 + 32. Let b(j) = -2*j**2 + j + 2. Let p = -3 - -5. Let t be b(p). Is h > t?
True
Let a = 106 + -99. Is a equal to 87/13?
False
Let s be (57/(-4) - 0)*(-53)/16536. Let f = s + 5/416. Is 0 equal to f?
False
Let t(x) = x**3 + 34*x**2 - 12*x - 27. Let b be t(-5). Is 759 greater than b?
True
Let m(v) = 755*v**2 - 5*v - 1. Let q be m(-1). Is q greater than 0?
True
Let h be ((-2314)/(-36))/13 + -8 + 3. Let n be 6 - (2 - (-3 - -7)). Let z be (5/20)/(2/n). Which is bigger: z or h?
z
Let q(v) = -2*v**2 + 2*v. Let j be q(1). Let u be (-17 - (j + 2)) + 3. Which is bigger: -17 or u?
u
Let c = 97 + -14. Let o = 57 - c. Let g = o - -30. Is g greater than 0.4?
True
Let v be (-11)/(0 - (-3 - -2)). Let x(d) = -11*d + 6. Let y be x(v). Suppose 5*l - 29 = -4*c - y, l = 4*c - 10. Is l >= -19?
True
Suppose 8 = -2*l + 24. Suppose -2*r - 5*m - 2 = -3*r, -2*m + 4 = 2*r. Suppose r*b - l = -0*b. Are 4 and b nonequal?
False
Let r = -941/126 + 621/14. Do r and 37 have the same value?
False
Let b be 7 + 1 + -8 + 4. Suppose b*p - 70 = 5*g, 4*g - 2*p = -49 - 13. Which is smaller: g or -17?
g
Let p = -7 + 1. Let q = -6.53 - -6.8. Let h = q - 0.07. Which is greater: h or p?
h
Let r be 2/(-44)*(-20)/(-1070). Which is smaller: r or 0?
r
Let n = -307 - -9512/31. Is n not equal to -1?
True
Suppose n + 0*n - 4*z - 43 = 0, 197 = 5*n - 2*z. Let j be ((-10)/15)/(2/n). Let m be (j - -11)/(2*1). Is -1/3 at most as big as m?
False
Suppose 11*q + 5775 - 1045 = 0. Which is smaller: q or -2?
q
Let k = 786 + -46372/59. Which is greater: k or 1?
1
Let j be 5 + (3 - (-1)/1). Suppose 0 = 5*m - j*m + 216. Suppose 9*b = 12*b - m. Which is greater: b or 19?
19
Suppose -9 - 11 = -5*m. Let s be m/2 - 15/(-1). Let a(p) = -11*p - 267. Let i be a(-26). Is i <= s?
False
Let y = -49/2 - -1229/50. Is y bigger than 1?
False
Let v = 8.07 - 8. Let o = 0.13 - v. Is o at least 0?
True
Let n = 65.8 + -73. Let q = n - -28.2. Is q less than -0.1?
False
Let w be ((3 - 1) + 1)*(13 + -4). Let f be (-5)/20 - (-109)/4. Is w greater than or equal to f?
True
Let x(w) = 2*w**2 - 27*w**2 - 4 + 3*w + 5*w - 3. Let c be x(1). Do -24 and c have different values?
False
Let k = 113 + -37. Let p = k + -107. Which is greater: p or 1/2?
1/2
Suppose 2*p = -6 + 16. Suppose 6*d = -5*q + d - 5, -p*q + 4*d = 23. Is q greater than -4?
True
Suppose 0 = -2*b + 5 - 1. Let i be (5 - 4)*(-11 + b). Which is greater: -11 or i?
i
Suppose -5*q + 3*v = 4*v + 280, -5*v = 4*q + 245. Is -58 at most as big as q?
True
Let w = 71 - 65. Suppose -9*a = -w*a + 3. Is a > -1?
False
Let j(g) = -298*g - 88. Let w be j(1). Are w and 1 nonequal?
True
Suppose 4*a = 4 - 32. Let l = 15 + a. Suppose k + l = -k. Is k not equal to -2?
True
Let a = -2 - -1. Let i be -130*(-12*(-4)/20 + 0). Let d = -3428/11 - i. Which is smaller: d or a?
a
Let f = -157 + 156.78. Let o = -4.1 + 3.1. Are f and o non-equal?
True
Suppose 728 = 6837*i - 6835*i. Is i less than 360?
False
Let y = -34 - -55. Let g be ((-3)/4)/(y/(-91)). Is g at most as big as 4?
True
Let z(l) = -2*l**3 - 13*l**2 + 70*l - 1. Let k be z(-10). Which is smaller: k or -2/2043?
k
Let h = -3/962 - 23981/22126. Which is smaller: h or -1?
h
Let d = 8 - 18. Let l = d + 10.1. Let h = -1 - -8. Which is smaller: h or l?
l
Let a(j) = j + 2. Let u be a(-1). Let i = 144 - 1295/9. Which is smaller: i or u?
