 - 2240. Let j = 1121.4 - t. Is j bigger than o?
True
Let k = -3 - 13. Let q = 118 - k. Let v = q + -1339/10. Is 1 not equal to v?
True
Suppose 4*y + 5*t + 217 = 0, 3*y - 3*t + 5*t = -168. Let z = y - -58. Suppose z = -27*q + 22*q. Which is bigger: 1/67 or q?
1/67
Suppose 80 = 8*p - 192. Let o be (p/(-30) - 6/(-45))*-2. Suppose -j - 5*a = 97, -j + o*a + 0*a = 83. Does -86 = j?
False
Let z = 47 + -45. Suppose 0 = z*c + 10, 0*c - 118 = -d + 4*c. Suppose -d*x - 1 = -99*x. Does x = 2/83?
False
Let b(y) = -228 - 170*y + 3*y**2 + 168*y - y**2 - 3*y**2. Let a be b(-20). Is a less than -587?
True
Let g(h) = h + 1. Let r be (-4)/(-36)*3 + 4/(-12). Suppose 11*q - 5*q - 24 = r. Let a be g(q). Which is greater: a or 8?
8
Let s = 1481.1 - -42.9. Is 0 equal to s?
False
Suppose 715 = 3*b + 700. Suppose 3*g = k - 2, -2*k = 4*g + 11 + b. Which is greater: -3/212 or g?
-3/212
Let n(b) = 1918*b - 417. Let o be n(32). Let s be 2/16*2 + o/564. Is 108 at most s?
True
Let f = -1069948/1131 - -12312/13. Which is bigger: f or 2?
2
Let n be 8/2 - (-640269)/(-160020). Are n and 1 unequal?
True
Let d be (1 - (-3)/(-5))*(-2 + 7). Suppose 2*i - s + 5 = 4*s, 0 = -3*i + 2*s - d. Suppose 5*f + 1 = p, i*f - 9 = -3*f + 3*p. Is -0.03 bigger than f?
True
Let c(y) = -5*y**3 - 5*y**2 + 16*y + 17. Let l be c(-1). Do l and 8/21 have the same value?
False
Let c(z) = 2*z**3 - 49*z**2 + 24*z + 3. Let k be c(24). Which is greater: k or 0.146?
k
Suppose 0*a = 4*a - o - 128, -11 = -a - 5*o. Let z = -29 + a. Suppose -9 = 4*l + 7, 43 = -3*u + z*l. Is -18 less than or equal to u?
True
Suppose 5*r = -2*g - 281, 5*r - 63*g = -67*g - 287. Is -17 less than r?
False
Let j be (5 + -4*81/72)*(-2 - 0). Which is greater: -66/295 or j?
-66/295
Let j = 3.3 - 0.1. Let c = -130.2 - -126. Let x = c + j. Which is smaller: -1/15 or x?
x
Let l(a) = -3*a**2 - 49*a - 50. Let z be l(-15). Suppose 2*w - 5 = 3*n, 2*n + 2*w - z = -0*w. Let g = -159/4 + 2709/68. Are g and n equal?
False
Suppose 27*b - 461 = -380. Is b >= -223?
True
Suppose n - f + 3 = 7, f = -4*n + 11. Let r be n*2/14*6/(-9). Is -1.4 != r?
True
Let d be (-2)/(-3) - (-34)/(-54). Suppose 19*o = 18*o + 2. Suppose 5*w + 3*s + 6 = s, o*s = 5*w - 6. Does d = w?
False
Let x be 4/(-6) + 2/3. Suppose x*n - 3*n = 15. Let m(b) = b**3 + 107*b**2 - 128*b - 2165. Let i be m(-108). Are i and n nonequal?
False
Suppose -2*z + 14 = 3*d, 0 = 3*d - 4*z - 12 + 4. Suppose -d*t + 5*t = 3*t. Is -75 smaller than t?
True
Let q = -15.37 - -0.37. Let m be (-50)/(-10025)*-1*(-2)/4. Let c = m - 404/1203. Is c greater than or equal to q?
True
Let w = -127.9 + 266.9. Are w and 0.01 unequal?
True
Let j = -1 - -2. Suppose -243*h - 264 = -240*h. Let g = -87 - h. Is g at most as big as j?
True
Suppose -108 = -16*t + 13*t. Suppose -8*v = -12*v + t. Let x be ((-2)/(-4))/(1/18). Is v greater than or equal to x?
True
Let v = -24/271 + -422/1355. Which is smaller: -1684 or v?
-1684
Let q = -3434/115 + 448/15. Let n = -244/2415 + q. Which is smaller: -0.1 or n?
-0.1
Suppose 75*o + 12527 = 28*o + 4772. Is -135 less than or equal to o?
False
Suppose p + 35 - 45 = 0. Suppose p*m - 3 = -13. Is m less than 2/1313?
True
Suppose -23*o + m - 135 = -26*o, 0 = 4*o + 4*m - 172. Is 41 < o?
True
Suppose -69 = 3*p + 3*z - 423, 4*z = -8. Let h = -61 + p. Are h and 56 non-equal?
True
Suppose -516*r + 18585 = -221*r. Which is bigger: r or 56?
r
Suppose -16*l - 313 = 583. Let d = 121 + -27. Let g = l + d. Is 0 greater than or equal to g?
False
Let z be -5 - -2 - 2419 - -2. Is -2422 greater than or equal to z?
False
Suppose 5*h + 7*b - 3*b = -4, 0 = 4*h + 3*b + 4. Let p be (24/6 - 2/1) + 1002. Let z = p - 1010. Is z <= h?
True
Let u = 12313169941/35894430 + 4/1380555. Let k = -343 + u. Let q(n) = 2*n**2 + 126*n + 472. Let w be q(-59). Are k and w nonequal?
True
Suppose -126*h = -127*h - 4*w + 4168, 8*w = -5*h + 20888. Is h > 4184?
False
Let r = 1411/2160 - 31/48. Suppose -2*n - 29 = 3*c - 11, 3*n = -3*c - 21. Let x(w) = -w**3 - 4*w**2 - 2*w - 8. Let s be x(c). Which is greater: r or s?
r
Let l be (-12)/(-12)*2/72*6. Are 22 and l non-equal?
True
Suppose -3*c = -4*v + 5, 2*v - 7*c = -2*c + 13. Let t = -15/58 + 1549/3074. Let i = t - 297/1643. Which is bigger: v or i?
i
Let n be 1/(9 - (-280)/(-32)). Let l be (n + (-225)/81)*-6. Let j(c) = c - 1. Let p be j(-7). Which is smaller: l or p?
p
Let z(f) = 2*f**3 + 43*f**2 + 92*f - 53. Let m be z(-19). Which is greater: -579 or m?
m
Let u be 70/(-12)*((-80)/(-200) - 304/2). Is u equal to 883?
False
Let v(b) = -2*b**3 - 6*b - b**3 + 1 - 36*b**3 + b + 1 + 4*b**2. Let y be v(2). Do -304 and y have the same value?
True
Let p(q) = -2*q**3 - 18*q**2 - 38*q - 10. Let l be p(-4). Which is bigger: l or -339/19?
-339/19
Let n = 0 + 9. Let i = n - 10. Let y = -864 + 878. Which is smaller: y or i?
i
Let z be 2 - (-5)/((-5)/(-6)). Suppose 6*n - z - 10 = 0. Are n and 4 non-equal?
True
Suppose -3*w - 789 = -h, 570*w = -2*h + 571*w + 1598. Is h >= 801?
True
Let y = 0.011 - -0.889. Let t = 7.9 - y. Let h be 2 + -2 + -1 + 1. Which is greater: h or t?
t
Let i(z) = -z**3 + 8*z**2 - 42*z + 253. Let m be i(7). Is m != -7?
True
Suppose 3*k - 141 = 2*j - 5*j, 0 = -j + 4*k + 52. Suppose -j = 8*d - 0*d. Let t be (4/9)/(d/(-9)). Are -11 and t unequal?
True
Let p(j) = j**3 - 11*j**2 + 9*j + 15. Let l be p(10). Suppose 0 = -l*h - 0*h - 7*h. Which is greater: 77 or h?
77
Let g(o) = 295*o + 3734. Let d be g(-16). Which is smaller: -985 or d?
d
Let z(b) = -4*b - 45. Let p be z(-12). Suppose q - 250 = 2*a, -2*a - 3*q - 636 = p*a. Which is smaller: -127 or a?
-127
Let v(x) = -8*x**2 + x - 2. Let d be v(1). Let a be ((-798)/56)/(2/(-8)). Let b be (-1)/(-3) + (-418)/a. Which is bigger: d or b?
b
Let f = -101 - -101.09. Let s = 1.87 + 0.13. Which is bigger: f or s?
s
Let c = -8504/5 + 8231807/4840. Is 0 greater than c?
True
Let y = 21.04 + -21. Let x = -0.05 + y. Let k = x + -0.04. Which is greater: 2/11 or k?
2/11
Let k = 9780 - 6620. Is -4 less than k?
True
Let d be ((-4)/22 - 22212/4158) + 6. Is 6/23 not equal to d?
True
Let p be 152*13/(260/(-750)) - 10. Which is smaller: p or -5709?
p
Suppose 0 = 16*a - 16. Let i be -1*a - (-23 + 16). Which is bigger: -6 or i?
i
Let p(y) = -y**3 + 72*y**2 - 221*y + 966. Let c be p(69). Which is greater: -2/6255 or c?
c
Let d = -465 + 488. Let r(w) = 10*w - 195. Let l be r(d). Is l greater than or equal to 69/2?
True
Suppose -4640 = 52*i + 9608. Are i and -3/7 nonequal?
True
Suppose -5*q = -16 - 4. Let t be 1*(-2)/(-4) - (-242)/q. Let z = t + -62. Which is smaller: -4 or z?
-4
Let z = 122 - 95. Let k = z - 25.86. Let g = 0.86 + k. Are g and 2/11 nonequal?
True
Let y be (7 - -967)*2*1/(-4). Let c = -486 - y. Which is greater: c or 14/65?
c
Let h = 4191 - 4169.91. Let l = h - 21. Let g = 112.8 - 113. Which is greater: l or g?
l
Suppose -3*d = 4*x + 809, 3*d + 2366 = 4*x + 1573. Suppose k = -5*o - 261, k - 265 = 2*k + o. Which is greater: k or d?
k
Let f(v) be the third derivative of -v**5/60 + 3*v**4/8 - 30*v**2. Let s be f(7). Let z(y) = y**2 - 12*y - 44. Let u be z(s). Is -17 > u?
False
Suppose -2*t + 107 + 27 = 0. Suppose t = 8*m - 109. Let v = m - 25. Is -3 < v?
False
Suppose 4*c + 622 - 36 = -6*l, -2*l = 2*c + 290. Is c equal to -116?
False
Suppose 1708*b = 4*s + 1705*b + 6, 0 = -s + 3*b - 6. Let z be (-5)/27*(-6)/15. Which is greater: z or s?
z
Let i = 597 + 491. Is 1085 < i?
True
Suppose -2*x = 4*t - 6 - 6, 4*t - 8 = 0. Let g be -1 + 1/x + (-85)/2. Is -44 at least as big as g?
False
Let o = 1279/13 + -12897/130. Let s = -12/13 - o. Which is greater: 6 or s?
6
Let t = 34810 - 30199. Which is bigger: t or 1?
t
Suppose 6*t + 4*j = t + 24, -3*j + 7 = t. Suppose 3*o - t*d = 5, o + 0*d - 2*d = 3. Let l be (-192)/240 + (-12)/10 + o. Is -4 at most l?
True
Let h = -282.08 + 283. Let y = -0.024 - -0.324. Which is greater: y or h?
h
Suppose 5*y + 8 = -4*c, y + c - 23 = 6*y. Let o be (-232)/20 + y - 3/(-5). Is -28 at least o?
False
Let y = -75.9 - -45.9. Let w = -30 - y. Are 7/26 and w equal?
False
Let r(k) = 10*k + 50. Let b be r(-4). Let f be 1 + 8/(-40) + 2/b. Is f at least 8/137?
True
Let k(u) = -u**3 - 3*u**2 - 3*u + 4. Let d be k(-3). Suppose 2711*m - 38 = 2776*m + 92. Which is smaller: m or d?
m
Let q = 19.68 + 190.62. Let s = -204 + q. Which is smaller: 0.2 or 