-7.4 - p. Is 1 at most as big as j?
False
Let a be (2/32)/(1/2). Let m = 13 + -14. Let o = m - -2. Do o and a have different values?
True
Suppose 5*f = 6*f + 3*l + 8, f = -2*l - 5. Is -1 equal to f?
False
Let q = -19 + 33. Let w = q - 10. Let u be 2/(2/(-2)) - -5. Which is smaller: w or u?
u
Let l be 28/(-51) - 10/(-15). Is -1 < l?
True
Let z(j) = -j**2 + 17*j + 85. Let n be z(21). Is 11/13 < n?
True
Let j = -2 - -7. Suppose j = -z + 2. Is -3 equal to z?
True
Let w = -3 + 8/3. Does w = 52?
False
Suppose -172 = 9*u - 46. Which is greater: u or -38/3?
-38/3
Suppose -11 = -p + 2. Suppose -3*g + p = 4. Is g smaller than 4?
True
Suppose -14 = 5*g + 6. Let p(d) = d**3 + d**2 + 3*d. Let n(z) = z**3 + 2*z**2 + 2*z. Let l(h) = 3*n(h) - 2*p(h). Let y be l(g). Do y and 1 have the same value?
False
Let a be 3/9 - 5/15. Is 2/13 less than a?
False
Suppose p = -3*p - 4. Let h = 2 - 3. Let q = h + 0. Do p and q have the same value?
True
Let m = -8 + 11. Suppose m*l = -l. Which is smaller: l or -1/10?
-1/10
Let s be (4 + -1)*4/12. Let m be 3/12 + 14/8. Let h(k) = -k**3 + 2*k**2 - k + 2. Let n be h(m). Which is bigger: s or n?
s
Suppose -5*f - 3*c = 12, -3*c + c - 8 = -5*f. Let l = 13/11 + -210/187. Which is bigger: f or l?
l
Let u be (8/(-1))/4 + 4. Is 20/7 at least u?
True
Let q = 1.7 - 0.9. Is q less than 1/3?
False
Let v = -1.251 + 0.051. Is 2 greater than or equal to v?
True
Suppose x + 4 = 2. Let a be 5/x*(1 - 3). Suppose a*i - i = 4*j, -4*i = j. Is -1/6 less than j?
True
Suppose 2*a - 37 = -5*q, -3*a - 15 = -2*q - 4*a. Is q at least as big as 15/2?
False
Let u be 3/6*(0 - -1). Is -0.47 at least as big as u?
False
Let z = -2/63 - -319/126. Suppose 8*q + 28 = 6*q. Let j be (8/q)/((-10)/35). Is z less than j?
False
Let t(b) = 4*b**2 - 2*b - 1. Let u be t(-1). Suppose -2*d - 6*p + 3*p = -8, d + u = 3*p. Is d bigger than 1?
False
Suppose -o = -3*o + 8. Let a = o + -4. Which is greater: a or -2/13?
a
Let q(a) = -5*a**3. Let z be q(1). Let f be z/10*(-1 + 11). Let l be 0 - (-2 - f/2). Is l < 2/5?
True
Let r = -614/465 - 2/155. Which is smaller: r or 0?
r
Let g be (2 - 6)/(-3 + -3). Is g smaller than 0?
False
Let p(i) = -i + 2. Suppose -7*v + 30 = -2*v. Let o be p(v). Is -5 at most o?
True
Let v = 2 + -1. Let d = -1398/493 + 122357/43384. Let u = d + -9/88. Which is smaller: u or v?
u
Suppose -4*h + 2*a = -4, 0 = -5*h - 5*a + 6 - 1. Let w = -2 - h. Which is greater: w or -4?
w
Suppose -1 = 2*u + 5, 6 = -q - 2*u. Let c be (1/18)/((-3)/24). Is c greater than or equal to q?
False
Let n = 22 - 15. Let y(s) = -s**3 + 9*s**2 - 6*s + 2. Let k be y(n). Let m = 289/5 - k. Is -1 equal to m?
False
Let i be (5/10)/(1/(-2)). Let c = i + 1. Which is greater: c or -1/30?
c
Let a(i) = -i**3 + 7*i**2 - 7*i + 7. Let o be a(6). Suppose -5*b = 5*v - 30, -4*v - v = -25. Is b at most as big as o?
True
Suppose 0 = -2*k - 2*c + 12 - 2, 5*c = -2*k + 25. Which is bigger: k or -1?
k
Let o = -14.2 + 2.2. Let g = o - -11. Which is smaller: g or 1/5?
g
Suppose -2*j - 2*i = 22, -5*j + i = -22 + 65. Let m(y) = y**3 + y**2 - y - 9. Let d be m(0). Is d > j?
False
Let m = 6.3 - 5.4. Which is bigger: -1 or m?
m
Suppose -5*j + 3*k - 117 = 0, 3*j - 3*k = -0*k - 75. Let w be (-9)/j - (-75)/21. Which is bigger: w or 6?
6
Suppose 0 = -51*a + 47*a + 68. Is a > 1?
True
Suppose r - 2 = -4. Suppose -3*l = -8*l. Suppose -3*w + 0*w - 6 = l. Are r and w unequal?
False
Let m be (-1)/2*(2 - 0). Let i be 17/14 - 0 - 2/(-7). Is m less than or equal to i?
True
Suppose 0 = 4*x + k + 11, -2*k - 10 = 2*x + 2*x. Let v be (-5 - x)*(-3)/6. Is 1/5 bigger than v?
False
Let v = -5077/29 + 175. Suppose 0 = -g + 3*r + 10, r = -g + 3*g - 5. Which is smaller: g or v?
v
Let p be (-2)/((-5 - -1)/2). Which is smaller: -2/271 or p?
-2/271
Let k(n) = n**2 - 1 + 5*n - n - n + 4*n**2 + n**3. Let t be k(-4). Suppose 0 = -2*l, 0*v = -5*v + l + 20. Which is greater: t or v?
v
Let n(g) = -g**3 - 9*g**2 - 2*g - 12. Let t be n(-9). Suppose -6 = s - 0. Let o = s + t. Are o and -2/21 nonequal?
True
Let x be (1 - 9/12)*-26. Does -0.1 = x?
False
Let q = -5/12 - 1/12. Let i be (-10)/16 - (-1)/4. Let j = i + 25/24. Is q greater than j?
False
Suppose 2*b = -5*d + 26 - 6, -5*b - d + 27 = 0. Suppose -4*a - 3 = -3*a. Let w be ((a - 0) + b)*2. Do w and 3 have different values?
True
Suppose 0*h + 21*h - 189 = 0. Suppose -3*w - 3 + 24 = 0. Is h not equal to w?
True
Suppose 4*w - 190 = 14. Which is greater: -2/3 or w?
w
Let w be ((1 + -2)*-3)/1. Let n be w/(-3)*2 + 2. Let o = -12/11 + 230/231. Which is smaller: o or n?
o
Let g = -4 + 5. Let w = g - 0. Let p = w - 1.2. Is -1 greater than or equal to p?
False
Let u be 18/(-8) + 3/12. Which is greater: u or -3/4?
-3/4
Let n be 4/(-10) + (-6)/(-10). Suppose -5*f = -0*f. Let x be -1 + f + 0/3. Which is smaller: n or x?
x
Let d(n) = n**3 + 7*n**2 + 6*n - 4. Let k be d(-6). Let o = -4 + 6. Suppose o*i = -0*i. Is k > i?
False
Let h = 52118/255 - 1023/5. Let k = 2/17 - h. Which is bigger: k or 0?
k
Let v = 12 + -12. Which is bigger: 1 or v?
1
Let f = -17 - -15. Which is greater: -7/5 or f?
-7/5
Let y = 74 + -67.1. Let m = 7 - y. Let v = -1 - -1.1. Is m < v?
False
Let f = -1/1266 + 1931/40512. Which is smaller: 0 or f?
0
Let h = 5.08 - 5. Let n = 5.18 - h. Let k = n - 5. Do -0.1 and k have different values?
True
Let x = -19 + 19. Are 0 and x non-equal?
False
Let l = -8 - -15. Suppose -19 = -d - 3*s, l*s - 3*s - 20 = 0. Suppose 2*z - 5*r + 20 = -3*z, -5*r = -d*z - 20. Which is smaller: z or -1?
-1
Suppose -10*q - 4*k = -9*q - 23, k - 46 = -2*q. Is q greater than 23?
False
Let z = 6/25 + -28/325. Suppose 2*t = -5*d + 35, 4*t = -d + 6 + 19. Suppose -o + 19 = 5*u, -d*o - 2*u - 1 = -u. Is z greater than or equal to o?
True
Let o = 19 + -21. Which is smaller: -3 or o?
-3
Suppose -2*u + 11 = 3*l, -u + 2*u + 27 = 5*l. Let c be ((-268)/36 + 7)/((-4)/(-6)). Which is greater: c or u?
c
Suppose -3*f - 6 = -3. Which is greater: f or -3/8?
-3/8
Let p be 1 - 0 - (-5 - -7). Let r be p + (-1 + 0)*-2. Let i = 1 - r. Is i less than 2?
True
Let r = 13/35 + -4/5. Let t = 1 - 1. Which is smaller: r or t?
r
Suppose 7 = 2*d - 3. Suppose -d*n = -0*j - 3*j - 192, 153 = 4*n - 3*j. Let p = 196/5 - n. Is p greater than 1?
False
Suppose 16*o - 7*o = 54. Is o equal to 7?
False
Suppose -2*g - 2 = -0. Is g greater than -3/20?
False
Suppose -5*h - 5*f - 95 = 0, -2*h - 3*h - 83 = -f. Which is smaller: h or -16?
h
Let d(t) = -2*t**3 + 7*t**2 + 7*t - 6. Let j be d(4). Which is bigger: j or 0.1?
j
Suppose -5*r = -2*b - 0*b + 113, 2*r + 5*b = -51. Is -24 less than or equal to r?
True
Let m = 3 - 2. Let l = m + -2. Do -4 and l have different values?
True
Let u be 15/9*3 + 0. Let t = -2 + u. Do t and 2 have the same value?
False
Suppose 5*f - 14 = 3*f. Suppose -1 = 2*w - f. Suppose -2*d = -c - 1, -2 = w*c - 0*d - 5*d. Which is greater: 3 or c?
3
Let w = 6.6 + -2.6. Is w less than or equal to 5?
True
Let a = -144/335 - -2/67. Are 0 and a equal?
False
Let u = 5 + -6. Let o be u/(-2) + (-2)/4. Which is greater: 2 or o?
2
Let m(p) = 4*p**3 - 3*p**2 + 2*p - 2. Let b be m(2). Suppose 4*w - b = -10. Suppose 5*c = w*c. Is c less than or equal to -1/2?
False
Suppose -3*j - 3*c = 45, 3*c = 9 - 0. Let t = -8 - j. Suppose 4*k - 28 = -5*l, -4*k = k - t. Is 4 != l?
False
Let a = -24 - -35. Let i = -6 + a. Which is smaller: i or 3?
3
Let m be 10/4*(3 + -5). Let y be -2 - ((-543)/m + -1). Let f = 110 + y. Is f not equal to 1?
True
Let c = -9 - -19. Let a = c - 5. Suppose s - a*b + 2*b = -1, -4*s - 4 = -b. Is s at least as big as -1/2?
False
Let z = 732/7 + -104. Let g = 0.2 + -0.1. Which is greater: z or g?
z
Suppose 0 = 2*n - 80 + 62. Which is bigger: n or 3?
n
Let p(v) = -v**2 + 12*v - 10. Let c be p(11). Which is greater: 18/11 or c?
18/11
Let v = 9 + -6. Suppose -v*x = -t + 1, 4*x = -2*t + x + 11. Is t at least as big as 2?
True
Suppose 2*k + 5*r = -7, 5*r + 0*r = -5. Let o be 7 + -10 + 1 + k. Is -3 < o?
False
Let b(y) = y**2 - 3*y - 2. Let o be b(3). Let p = -60/11 - -207/44. Which is smaller: p or o?
o
Let f = 2.04 + -0.04. Let b = f + -4. Let o = 0 - b. Which is smaller: -2 or o?
-2
Let v be (2/3)/(6/(-45)). Let c be v/24 + (-5)/30. Which is greater: c or 0?
0
Let h = -0.13 - -0.03. Let t = h + 0.6. Let o be (6/4)/((-9)/(-4)). Is t < o?
True
Let g(t) = 7*t 