 -6*t. Are p and 0 equal?
False
Let o = 33.71 - 33.8. Does o = 26?
False
Let x = -85123/8 - -10667. Which is greater: 28 or x?
28
Let p = 195 - 217. Is -70/3 at most p?
True
Let h be -1 + -1 + (-13)/(-1). Let y = -51 - -48. Let c be (35/5 - y) + 3. Is c at least h?
True
Suppose 4*q - 434 + 82 = 0. Let b be 2 + (-2)/11 + 104/q. Which is smaller: b or -9/5?
-9/5
Suppose -8 = -764*q + 772*q. Let s = -3/55 - -267/1870. Which is greater: q or s?
s
Suppose 3*b - 80 = -b. Let c = 88 + -58. Let z = c + -11. Is z < b?
True
Let o be ((-11)/(-3))/((-3)/(-162)). Let r = -1384/7 + o. Which is greater: r or 0.27?
r
Let w = 0.042 - 0.342. Which is bigger: w or -8/15?
w
Suppose -7*x = -7 - 14. Suppose x*q + q = 0. Do -8/7 and q have the same value?
False
Let i = -0.57 - -17.57. Let x = i + -16.81. Which is smaller: -1/4 or x?
-1/4
Let f = -2668/17 - -157. Let l(i) = -12 + 9 - 3*i - 26 - 3*i. Let o be l(-5). Is f at most o?
True
Let x be (-36)/(0 + -6)*1/(-3). Which is greater: x or -38/35?
-38/35
Let m = -3/37 - 651/185. Let h = -77/20 - m. Is -10 greater than or equal to h?
False
Let u = 52 - 52. Which is smaller: u or 29.4?
u
Suppose -10*q + 54 = -19*q. Let p = 21 - 29. Which is bigger: p or q?
q
Let n = 0.094 - 0.088. Let i = 0.074 + n. Which is smaller: 3/8 or i?
i
Let d = -317 + 272. Which is smaller: d or -44?
d
Let g(o) = 10*o + 29. Let t be g(-3). Suppose w = -2 + 7. Suppose w = -5*k - 20, 5*r + k + 10 = 0. Is t smaller than r?
False
Let g be 3 + 2*(-5)/5. Suppose -g = 7*w + 6. Which is greater: -2/11 or w?
-2/11
Let r = -8.3 + 1.3. Let v = 2.6 - -8.4. Let a = v - 10. Which is smaller: r or a?
r
Let a = -14 - 1. Let j be 2/a + (-32)/(-2040). Is j less than or equal to 0?
True
Let q be (3 - 894/294)/(2/2). Let k = -7 + 7. Which is smaller: q or k?
q
Let n = -23 - -21.8. Let o = n + 4.2. Suppose -5*w + u = -3*u + 12, 2*u - 6 = -w. Is o at least as big as w?
True
Let d = 0.06 - 0.77. Let x = d + -0.29. Is 3.2 less than or equal to x?
False
Let w = -182.5 + 32.5. Is 1/3 != w?
True
Suppose -35 = -4*t + 9. Suppose 0 = 14*n - t*n + 3. Which is bigger: -2/15 or n?
-2/15
Suppose 17 = 37*b + 1645. Is -44 at least as big as b?
True
Let j be 9*(-4 - 65/(-15)). Suppose j*s - 5*s = -4*v + 54, -s = -v + 14. Suppose -v*r = -11*r - 12. Is r smaller than 3?
False
Let i = -69.4 + 118.3. Let y = i - 49. Are y and 0.11 unequal?
True
Let p = 0.5 - 0.2. Suppose -3*a + 10 + 5 = 0. Let j be 3/18 - a/(-42). Is j less than p?
True
Suppose 5*w + 18 = -2*u, 0 = -320*u + 319*u - 5*w - 19. Which is smaller: -156 or u?
-156
Let m(n) = n**3 - 9*n**2 - 8*n + 19. Let q be m(9). Do -56 and q have the same value?
False
Let i = -41 - -76. Let m = -34.9 + i. Which is smaller: m or 4/21?
m
Suppose -4*n - 2 = x, 8*n = 3*n + 5. Let y = 25 + x. Which is bigger: 18 or y?
y
Let m be (105/(-28))/(66/(-12) - -7). Which is greater: -115 or m?
m
Let v(b) = 20*b + 5. Let u be v(-1). Which is greater: -10 or u?
-10
Let r = 1 - -4. Suppose -u + 4*n = 15, 20 = r*u + 4*n - 1. Let a be 17/15 - (u - 0). Is a equal to -4?
False
Let g(y) = -2*y + 6. Let p be (-2)/(-11) + (-2)/11. Let k = p + -7. Let o be g(k). Is 20 bigger than o?
False
Let s(w) be the third derivative of w**5/60 - w**4/24 - w**3/3 - 5*w**2. Let k be s(0). Which is smaller: -11/6 or k?
k
Suppose 5*r + 4*y = -491, 4*r + 393 = 2*y - 5*y. Let g = -66 + -32. Is g >= r?
True
Let c = -136 + 280. Suppose 7*n = -n - c. Are n and -17 unequal?
True
Let l = 73 - 129. Let x = l + 55. Let i = -332/1413 + 2/157. Which is smaller: i or x?
x
Let j(r) = r**2 + 25*r - 24. Let c be j(-26). Suppose 5*f - 4 = -2*y, 2*f - c*y = 5*f. Is f at most as big as -1?
False
Suppose -18*k = -22*k + 2*i - 12, -5*i - 30 = 5*k. Let p be (3 + 1)/((-4)/4). Is k at most p?
True
Suppose 4*q + 14 = 2*q. Let w be (-3 - (-30)/9)/(14/(-21)). Which is smaller: w or q?
q
Let m(n) = 17*n - 7. Let t be m(6). Suppose -4*f - 5*c - t - 5 = 0, -4*c = -4*f - 100. Let x = 18 + f. Which is smaller: x or -8?
-8
Let s = 71.969 + -72. Let d = 17.031 + s. Is -1/4 at most as big as d?
True
Suppose 3*l + 5*r = -31, 2*l - 4*r - 7 - 9 = 0. Let n be (-20)/(-8)*l/10. Suppose 3*o - 3*d = 0, d = 44*o - 41*o. Is n greater than o?
False
Let m = -1119 - -1245. Is -1/6 bigger than m?
False
Let r = -9 - -1. Let k = 8 + r. Is 0.7 less than k?
False
Suppose -4*l + 6*x - 5 = x, 3*l + 6 = 3*x. Let g be (l - -2)/(0 - 1). Suppose -g*s - 3*o = 6, s + 7 = o - 3. Is -4 bigger than s?
True
Let a = 95.9 - 84.9. Let o = -2.9 - -3. Is o equal to a?
False
Let f(i) = 3*i**3 + 6*i**2 - 24*i - 1. Let a be f(-4). Which is greater: 25/69 or a?
25/69
Let a be (-65 - -3)/((-2)/(-16)*-4). Which is greater: 130 or a?
130
Let x = -4 - -12. Suppose 4*j - 2*y - 26 = 0, 0*j + 3*j + x = -4*y. Suppose d + 6 = -5*t, -4*d - 3 = -5*t - j. Which is smaller: t or 0?
t
Let r be 46 + -44 + 1124/(-558). Which is smaller: -1 or r?
-1
Suppose 3 - 1 = -y, 3*b - 4*y = -16. Which is bigger: -15/2 or b?
-15/2
Suppose 79*g = 80*g + 32. Which is bigger: g or -29?
-29
Let x = -16 - -31. Let v = -15.4 + x. Is v < 0.2?
True
Let k = 144/5749 + -26289127/1050704487. Let x = k + 57934871/36552600. Let o = -3/200 - x. Do -3 and o have the same value?
False
Let b = -78/25 - -94/75. Which is bigger: b or 0?
0
Let l = 95/26 - -10431/52. Let y = 203 - l. Suppose 10 = -3*u - 4*q, -4*u + 2*q - 3 = 3. Is y >= u?
True
Let c = -20 + 19.6. Let n = -6.017 + 0.017. Which is bigger: n or c?
c
Suppose -o + g - 26 = -4*g, -4*o = -5*g + 59. Let t be (-27)/(-9)*o/(-12). Is t less than or equal to 2?
False
Suppose -3*a + 6 = -3*n, 4*a - 3 = -n - 0*n. Which is greater: 2/421 or n?
2/421
Suppose 0 = 44*x - 52*x - 8. Let g = -247862/13 - -3637954/195. Let j = 410 + g. Are x and j equal?
False
Let y be -1*(-6 + 80/14). Which is greater: -67 or y?
y
Suppose -31*b + 16*b = -285. Is 20 less than b?
False
Let k(t) = -t**3 + 6*t**2 + t - 7. Let v = 56 + -50. Let c be k(v). Is c less than -1?
False
Let u(y) = 2*y**3 + 9*y**2 - 30*y - 5. Let j be u(-6). Which is greater: j or 2?
j
Let f be (155/(-14694))/(-1*2/(-6)). Let l = -227/12166 - f. Which is smaller: l or 0?
0
Let l = 678.3 + -676.3. Let o = -4.06 + 4. Let w = -0.24 + o. Is l at least w?
True
Suppose -282 + 42 = -6*i. Suppose 5*q + 2*k - i = 7*k, -5*q + k = -52. Are 11 and q nonequal?
False
Suppose 0 = -94*b + 97*b + 3. Is b less than or equal to 3/188?
True
Let a(h) = -h + 19. Let l be a(6). Let z = 10 - l. Which is bigger: z or 0.1?
0.1
Let c(m) = -m - 7. Let d be c(-16). Suppose 4*g = 3*r + 23, 2*g + 2*r - 4 = 4. Suppose o = g*o - 36. Do o and d have the same value?
True
Suppose 0 = 11*d - 3*d + 672. Let k = -83 - d. Is -7/2 <= k?
True
Let q = -11 - -13. Let w = q - 5. Let g be (-2 + 5 + w)/2. Is g != 2/15?
True
Let b = -8 - -8.24. Let t = -0.3 + b. Which is smaller: t or 0.01?
t
Let d = 851/10 + -169/2. Suppose -2*o = -3*k + 6, -4*o + 0 - 12 = -k. Suppose -4*b + 12 = 2*i, -2*b + k*b = 4*i - 12. Are d and i non-equal?
True
Let r be (-20)/140 + 157/(-28). Is r not equal to -1?
True
Suppose 2*p = -3*i + 2 + 6, -3*p - 4*i = -10. Let x be 4 + (8/(-6))/(p/(-6)). Are -3 and x nonequal?
True
Let b be ((-135)/(-6))/3*2. Let w = -11 + b. Suppose -w*k = -0*k - 20. Is 1/2 >= k?
False
Let j(z) = z**3 + 5*z**2 - 3*z - 4. Let h = 13 + -17. Let b be j(h). Is 24 less than b?
False
Let o be (-9)/15*(-3 - 2). Suppose 0 = -a + o*a - 10. Let r be 5 - 3 - a/2. Do r and -0.4 have different values?
True
Let z = -1.128 - -1.164. Let v = -0.9 + 1. Are v and z non-equal?
True
Let x = -9.6 + -43.9. Let j = x + 53. Which is bigger: -0.14 or j?
-0.14
Suppose -2*j + 3*j + 2*m = -5, -4*j - 5*m - 11 = 0. Suppose -1 = -5*u - j. Let a be (-4)/(-63) + 8/(-28). Is u less than or equal to a?
False
Let p = 5 - 0. Suppose k = -4*i + 66, 12 - 2 = -p*k. Let x = i + -11. Which is greater: 3 or x?
x
Let n(t) = -t**2 - 10*t - 11. Suppose 5*c - 2*m + 5 = -3*m, 2*m = 5*c + 5. Let l be (-17 - c)*(-13)/(-26). Let p be n(l). Is 5 at most as big as p?
True
Let s be ((-9)/6 - (-99)/74)*1. Is s at most -1?
False
Let a = -1306374692/935 - -1397192. Let o = a + 10/51. Is o at least as big as 1?
False
Let n = -2872/129285 - 2/1521. Suppose 2 - 1 = x. Which is bigger: x or n?
x
Suppose f + j = 67, 7*f - 5*f - 139 = -3*j. Which is greater: f or 245/4?
f
Suppose 5*x = j - 7, 4*j + 