-53 = 4*z + s. Let q be (-1)/(-4) - z/8. Are 3 and q non-equal?
False
Let q be -12 + 1/(-1)*3. Let j be 30/(-360)*q*(-6)/4. Which is smaller: -1 or j?
j
Let b(p) = p**2 - 5*p + 3. Let m be b(5). Suppose 0 = -l + 5*x - m, 5*x = 3*l - 0*x - 1. Let q be l/(2/(-5)) - -4. Is q greater than or equal to 1/15?
False
Let r be ((-2)/(-2) - 2)*-9. Suppose r = 5*c - 1. Suppose -5*v = 5*n + 50, n = -n + c*v. Is n at most -6?
False
Suppose 5*p - m = 2*p + 656, 2*p - 438 = m. Which is bigger: p or 220?
220
Suppose -6*k + 5 = 17. Let p be 7/2 - 4 - (-85)/k. Is p greater than -43?
False
Let p = -12 + 22. Suppose 3*r - 5 = 28. Let a = r - p. Is a <= -2/25?
False
Let g be (-8)/(-2)*(-4)/8. Let h be ((-9)/(-3) - g) + -4. Let m = h - 5. Is -5 >= m?
False
Suppose 19*i = 2*s + 22*i - 33, 2*s - 32 = -4*i. Is s at least 6?
True
Let n be (-1 + 3)/(80/3720). Which is bigger: 90 or n?
n
Let w be 240*((-1)/(-22))/(4/6). Is 15 at most w?
True
Let b = 190 - 143. Is b at least as big as -1/4?
True
Let u = -15 + 16. Let f = -25/133 - -9/19. Which is bigger: u or f?
u
Let i = 274 + -133. Is 1 < i?
True
Suppose -4*p - 3*x - 25 = -0*x, 4*p - 4*x + 4 = 0. Let l = -0.9 + 0.4. Are p and l equal?
False
Let q be 118/5 + (-312)/195. Is 22 != q?
False
Let n = -2.1 + 2. Suppose 3*x + 164 = 7*x + 2*o, 0 = 3*x - o - 128. Let g = -50 + x. Is g less than or equal to n?
True
Let v = 257.3 + -257. Which is greater: -0.52 or v?
v
Let g(w) = w**2 + 3*w + 8. Let l(j) = j - 1. Let o(v) = g(v) + 2*l(v). Suppose -4*m = -5 + 17. Let t be o(m). Is 1/3 at least as big as t?
True
Let o = 28 + -35. Let h = o + 16. Which is smaller: h or 8?
8
Let m be 2*6/12 + 13. Suppose 18 = -5*q + 3*q. Let s = m + q. Which is smaller: s or 4?
4
Let l(w) be the second derivative of 5/2*w**2 + 2*w + 0 - 1/3*w**3. Let j be l(5). Is -5 >= j?
True
Suppose -4*y + 3 + 1 = 0. Let w = -89/21 - -29/7. Which is bigger: w or y?
y
Suppose 0 = -2*g - 49 + 97. Let o be (-12)/434*(-1 - g/(-3)). Is 1 greater than or equal to o?
True
Suppose 4*r + 0*x = 2*x - 4968, x = -r - 1242. Let l = r - -21120/17. Is 0 at most as big as l?
True
Let h = -17 + 15. Let x(y) = y**2 + 2*y. Let d be x(h). Suppose d = -2*o + 6 - 2. Which is smaller: o or 0?
0
Suppose 4*q - 15 = 5. Suppose 6 = q*y - 3*y. Which is greater: 2 or y?
y
Let x be (-24)/(-8) - 3/30*3. Does x = 3?
False
Let m(x) = -x**2 + 6*x - 6. Let y be m(6). Is y bigger than 9?
False
Let z be 3/(-18)*1 + (-4)/(-6). Let m = 20 + -9. Let f = 11 - m. Is f smaller than z?
True
Let z = 12 - 8. Suppose 20 = 2*v - 2*t, v - z*t = -0*t - 2. Is v greater than or equal to -0.1?
True
Suppose 1600 = 3*s - 35*s. Which is greater: s or -1?
-1
Suppose 3*s = 2*l - 19, -4*l + 5*s = s - 28. Suppose 0*u = l*u + 2*u. Is u less than -4/25?
False
Let n = -45 + 44. Which is smaller: n or 6/163?
n
Let l(m) = 3*m - 16. Let t be l(7). Suppose 3*z + 3*h - 12 = t*z, z = -h - 16. Is z greater than -10?
False
Suppose -2*k = -5*k + 5*m - 91, k = 4*m - 28. Let i be -7 + 4 - 108/k. Let n = 0.2 - -0.8. Which is smaller: i or n?
i
Let c be -3 + 7 + -7 + 76/27. Which is smaller: 0 or c?
c
Let u = -67.45 + 0.45. Let g = 75 + u. Is g > 3?
True
Suppose 0 = -12*g + 341 - 89. Is 3 bigger than g?
False
Let i = 77 - 66. Suppose 0*g + 3*a + 9 = 3*g, 4*g + 4*a - 28 = 0. Let b(y) = -y**2 + 6*y + 6. Let w be b(g). Are i and w equal?
True
Let b be (-2)/(-8) + (-14140)/560. Let j = 8 + -33. Does b = j?
True
Let m = -2.63 + 1.6. Let u = m + -0.17. Let w = 1.5 + u. Which is greater: w or -2?
w
Let z = -152 - -168. Which is greater: z or -0.5?
z
Let h = 259 - 235. Which is smaller: h or -1?
-1
Let j(k) = 3*k**3 - k**2 - k. Let c be j(-1). Let m be (38 + 1)*26/(-546). Is c not equal to m?
True
Let f(a) be the second derivative of a**4/12 + 2*a**3/3 - a**2 + 2*a. Let u = 12 - 16. Let h be f(u). Which is smaller: h or 3?
h
Let v(d) = -d**2 + 8*d - 10. Let h be v(8). Let f be (4/h)/(-5 + 1). Suppose 3*r - 3*c + c = -3, 17 = 2*r + 5*c. Are f and r unequal?
True
Let h = -315 + 2827/9. Let x = 391 + -391. Which is smaller: h or x?
h
Let q = -2838 + 2850.07. Let r = -54 + 42. Let y = r + q. Is y smaller than 1?
True
Let r(o) = -o**3 - 7*o**2 + 9*o + 8. Suppose p = 6*p + 40. Let q be r(p). Are 3/7 and q equal?
False
Let y(t) = -t + 3. Let w be y(2). Which is bigger: w or -3/7?
w
Let v(c) = c**3 + 10*c**2 + 9*c - 8. Let i be v(-9). Let a = -30 - -49. Let y = i + a. Is 10 smaller than y?
True
Let a = -4/99 - -2/9. Do a and 96 have the same value?
False
Suppose 11*n + 8 = 15*n. Suppose n = 2*c - 0*c. Is 1/2 != c?
True
Let n be ((-2)/(-6))/((-3)/(-27)). Suppose 0 = n*r + 3*g - 36, -r + 4*g = g + 4. Let o be 1/2*(-1 + 19). Are r and o equal?
False
Let r = 4 - 4. Suppose p + 3 - 2 = r. Let t be (0/p + 1)*3. Is 9/4 equal to t?
False
Suppose -5*x + 0*d - 2*d + 250 = 0, x = -4*d + 32. Suppose -3*y = -3, -3*y - y - x = -4*r. Which is smaller: 0 or r?
0
Let k = -16 + 45. Let r be 90/k + -2 + -1. Which is smaller: r or -1?
-1
Let u = -0.0391 + 0.0391. Which is smaller: u or 486?
u
Suppose a + 0 - 1 = 0. Let d be 2 + (1 - 2) + a. Suppose 5*t = -d*t. Are t and 1 nonequal?
True
Let x = 17 + -18. Do -2.3 and x have the same value?
False
Let r = 0.1 + -1.1. Let m = -65.4 - -62.4. Is r <= m?
False
Let n(b) = 4*b**2 + 13*b - 235. Let m be n(11). Does 392 = m?
True
Suppose 3*w + 33 = 9. Let g(i) = -2*i - 15. Let n be g(w). Let x be (-13)/(-39) - (-2)/3. Is n < x?
False
Let j = -3.7 + 292.7. Is 1 equal to j?
False
Let m = -82 - -148. Let s = 62 - m. Is s greater than -8/3?
False
Let k = 1.229 + -0.229. Is 0.194 at most k?
True
Let i = 1111 - 1110. Is 1/240 >= i?
False
Let a = -1399.438 - -2.438. Is 0 greater than a?
True
Let b be (-4)/(-2 - -4) - -4. Suppose b*j - 5*z = -2*j - 25, 0 = 5*z - 25. Suppose j = -2*v - v + 4*l, 0 = 5*v - 2*l - 14. Is v greater than or equal to 3?
True
Let p be (4 + -3)/(2/(-2)). Let b = 1590/611 - 33/13. Which is bigger: p or b?
b
Suppose -19*t - 187 = -2*t. Which is smaller: t or -10?
t
Let u = 17 + 4. Let z = u - 17. Which is smaller: z or 0.2?
0.2
Let x be (-32)/(-3)*(-9 - (-13 + 2)). Is 20 > x?
False
Suppose -27 = u - 4*l, 0 = 5*u - 2*l + 35 + 100. Which is smaller: -25 or u?
u
Let b = 33 - 26. Let j = -0.81 - -0.81. Is j at most b?
True
Let q be (826/(-777) + 1)/((-1)/(-3)). Is q <= -1?
False
Let o be (-2)/6*(24 - 984). Is 318 at least o?
False
Let d = 0.1 + -0.9. Let o = 30.8 + -28. Let z = d + o. Which is bigger: z or -2?
z
Let i(s) = 7*s**2 + 3*s + 2. Let j be i(3). Suppose -4*c - 2*w + j = 0, -3*c + w + 63 = 5*w. Which is bigger: c or 0?
c
Let g = 6082 + -6046. Suppose 0*s = -2*s - 5*q + 55, 2*s - 2*q - 76 = 0. Is g greater than s?
True
Let d = 11 - -13. Let c = 23.8 - d. Is -0.27 less than or equal to c?
True
Suppose -5*m + 2*y - 42 = 0, 4*m + 0*y + 56 = -4*y. Is m bigger than -6?
False
Let t(x) = -216*x + 18. Let g be t(9). Let b = -144448/75 - g. Which is smaller: 1 or b?
b
Suppose 0 = 3*j + 6 + 6. Let i(c) = -c - 7. Let q be i(j). Let a be 20/(3 - 1) + -72 + 57. Is a < q?
True
Let b = -1195 - -1143. Which is smaller: -366/7 or b?
-366/7
Let h(c) = -19*c - 232. Let f be h(-12). Is f < -52/15?
True
Let l = 101 + -97. Suppose 0 = -s + k, 3*k + k + l = 0. Is s less than or equal to -6?
False
Let t = 0.2 - 0.1. Let a = -19.5 + 19.2. Which is greater: t or a?
t
Let r = -1322 - -1286. Which is smaller: r or -38?
-38
Let j = 3 - -2. Let o = 6 - j. Let y be o/1 + (-42)/7. Are y and -4 nonequal?
True
Let m = -107 + 96. Let l be (m + 9)*(-2)/(-4). Is 16 not equal to l?
True
Let b = -8 + 7.9. Let l = 105 - 115. Is l <= b?
True
Suppose 5*q + 279 = f - 5*f, -f - 67 = 4*q. Which is smaller: f or -62?
f
Let d = -53.2 + 42. Let c = 39 + d. Let o = c + -28. Which is bigger: -1.1 or o?
o
Suppose 0 = -40*p + 34*p + 18. Is p at most 18/5?
True
Let l = -5.3 - -8.3. Let b = -7 + 7. Which is greater: l or b?
l
Let p(v) = v**3 - 4*v**2 + 4. Suppose -4*y = 2 - 18. Let g be p(y). Suppose 4*o + 0*o - g = 0. Which is smaller: o or 2?
o
Let z = 3 - -1. Suppose 2*r - 4*n + 10 = -14, -3*r = n + 8. Let y be (7 + -8)*r/(-2). Which is bigger: y or z?
z
Suppose 7*z - 340 = -319. Which is greater: z or 4?
4
Let v be 51/17 - 744/270. Which is bigger: 0 or v?
v
Let u be (-44)/693 + 2*4/28. Let k = -10.75 + -0.25. Which is greater: k or u?
u
Let g(s) = -s**2 - 15*s + 