 - 17 = 5*x, 3*k - 18 = 5*x. Is a not equal to k?
True
Let n = 551043/233 - 2365. Is n at least 1?
False
Let z be (20/(-10) - -2)*1. Which is smaller: -2/177 or z?
-2/177
Let n = -50 + 70. Let x be (-5)/(n/(-12)) + -2. Let w be (-32)/520*(70/(-4))/7. Are w and x unequal?
True
Suppose 101 - 11 = -3*c - 4*i, -2*c - 64 = 4*i. Suppose -s - p - 33 = 0, p - 51 = s + s. Which is greater: c or s?
c
Let t be (2 - (-146)/(-76))/((-101)/(-39592)). Is 31 at least t?
True
Let q be (2 - 3)/(1/(-5)). Suppose -2*v + m = -0*m + 14, -22 = 4*v - q*m. Let p be (-12)/v*12/99. Which is smaller: p or 0.2?
p
Suppose 0 = -5*d - 28 - 82. Let f = d + 21. Which is smaller: f or 22?
f
Let y = -9 - -16. Let r = -26 + 20. Let t be (-38)/r + (-3)/9. Is y > t?
True
Suppose 17 = -17*x - 0*x. Suppose 10*t + 3 = -3*h + 5*t, 0 = 2*h + 2*t + 2. Is x at most h?
True
Suppose -4*r = -r. Let f(o) = -o**3 + 2*o. Let y be f(-2). Suppose -7 + 7 = y*l. Is r at most l?
True
Let z = 0.02 + -26.02. Let i = z + 25. Is 0 != i?
True
Let w = -117 + 117.1. Which is greater: -5 or w?
w
Let k be 2/(-14) - (-3 + (-17166)/(-5964)). Is k > 0?
False
Let j be 483/90 + 2/(-10). Let o = j - 21/4. Let i(a) = -a**3 + 5*a + 1. Let t be i(-2). Which is smaller: t or o?
t
Suppose l + 2*l = 0. Suppose 16 + l = t. Let y = -8.08 + 9.08. Which is bigger: y or t?
t
Let f(i) = -2*i**2 - 21*i + 53. Let m be f(-23). Do m and -520 have the same value?
False
Let u = -153 + 261. Let z = 217/2 - u. Which is smaller: z or -2/11?
-2/11
Suppose 532 = 11*u + 3*u. Which is greater: 40 or u?
40
Let x = -0.0671 + -0.0329. Is 694 >= x?
True
Suppose w + 44 = 2*m, -5*m + 3*w + 0*w + 109 = 0. Let u = m + -22. Which is greater: u or -2/57?
u
Let v be (-5553)/(-1590) + 7/(-14) - 3. Do v and 1 have different values?
True
Let l = 2 - -10. Suppose l = 4*k - 4. Let a = k - -6. Which is smaller: a or 8?
8
Let m = 2/5 - -1/10. Let i = -5.79 - -59.79. Is i at most as big as m?
False
Suppose -2*c - 4*g + 10 = -c, -3*c - 34 = -4*g. Let b be -2*(c + 3 - -4). Which is bigger: -5 or b?
b
Let t be (4 - (-5 - -2)) + (-7531)/(-119). Which is bigger: t or 69?
t
Let s = 7 - 11. Let q(w) = w**3 + 6*w**2 + 3*w + 1. Let v be q(s). Let x be 21/(-6)*(-15)/v. Is x equal to -3?
False
Let w be (-1 + 2 - 0)/(9/3). Are w and -245 nonequal?
True
Let s = -522 - -495. Which is smaller: -29 or s?
-29
Let v = 18 + 6. Let q = 2.99 + -27.09. Let b = q + v. Is b greater than -0.2?
True
Let s(m) = m**3 - 7*m**2 + 3*m - 9. Let k be s(7). Let o = k - 15. Which is greater: o or 1?
1
Let o(b) be the third derivative of -b**5/60 + b**4/6 + 4*b**3/3 + 10*b**2. Let z be o(-5). Let u = z + 32. Is -7 bigger than u?
False
Let p = -0.0739 + 0.1399. Which is smaller: p or 0.07?
p
Let t(q) = q**3 - 2*q**2 - 3*q - 5. Let i be t(4). Suppose 5*x = 2*x - i, d + 11 = -2*x. Let m be 0/d - 9/(-12). Which is smaller: 1 or m?
m
Suppose -3*w + 0 = 9. Which is smaller: w or -7/2?
-7/2
Suppose 3 = -3*j - 6, -3*s - 72 = 5*j. Let t be s/(-11)*-3 - 2/(-11). Which is smaller: t or -6?
-6
Let p = -1/9859 - -10684/8133675. Are p and 1 equal?
False
Let o = 18 - 26. Let d = 12 + o. Suppose 0*n = -3*n - 15, 3*v - d*n - 26 = 0. Are v and 7/5 non-equal?
True
Let x = 56 + -52. Let r(i) be the second derivative of i**5/20 - i**4/4 - 2*i**3/3 - 3*i**2/2 - 2*i. Let g be r(x). Is g smaller than -5/2?
True
Let r = -26.34 - -25.34. Which is greater: r or -8/133?
-8/133
Let j = -220 + 212. Is 1 less than or equal to j?
False
Let u = 384 + -398. Let j be 2 - (-6 + -2)/(-2). Let d be 3 + -2 - (-30)/j. Is u not equal to d?
False
Let w(p) = -83*p + 4. Let f be w(-2). Do f and 170 have the same value?
True
Suppose -4*a = 5*v + 2, -3*v - a = -5 + 2. Suppose -5*r = -4*u - 171, v*u = -r + 7*u + 30. Is r at most as big as 35?
True
Let n = -674 - -658. Is n <= 0.8?
True
Suppose 110 = 24*n - 13*n. Suppose -n*l + 66 = -16*l. Let k be (-2)/(-3)*6/8. Which is greater: k or l?
k
Let m = -22.5 - -22.4. Which is smaller: m or 2/15?
m
Let r be 8/4 + 7/(-56)*29. Is r greater than or equal to -2?
True
Suppose 3*f - 78 = 5*n + 93, 0 = -4*n - 2*f - 150. Suppose 5*d = 3*u + 94, 4*d + 0*u - 90 = -5*u. Let o = d + n. Is o bigger than -15?
False
Let c = -87/470 + 4/47. Let t = c - 2/5. Is t less than -10?
False
Let c be (-2 + (7 - 1))*6/24. Which is bigger: -5 or c?
c
Suppose 10*s + 15 = 15*s. Suppose 2*o = -l - 2 + 13, 5*o = -2*l + 27. Is s smaller than o?
True
Suppose 3*d - 5*y + 202 = 0, -10*y + 6*y - 211 = 3*d. Is d > -1?
False
Let x(i) = -i**3 - 2*i**2 + 4*i - 1. Let v = -3 + 0. Let h be x(v). Let q = 3.6 + -0.6. Which is smaller: h or q?
h
Let u = -2.473 + 0.473. Which is bigger: -1/8 or u?
-1/8
Let l be 1430/1300 + -1*1. Suppose 0*w = 2*w - 8. Suppose 2*p + 2*p = -12, 0 = 2*m - w*p - 14. Is l bigger than m?
False
Let l be 12 + 3 + -3 + 0. Let s be (-6 + 3)*8/l. Let t be 2/5 + (-4)/10. Which is smaller: t or s?
s
Let k = -4504 + 2357. Let h = 225433/105 + k. Is h at most as big as -1?
False
Suppose 42*x - 39*x = -12. Let t be (-1)/x + 0 + 18/8. Is t greater than or equal to 2?
True
Suppose p - 62 = 4*s - 9, -3*s = -5*p + 61. Let n(u) = u + 12. Let v be n(s). Which is bigger: v or -2/5?
v
Let j = 10 + -5. Let h be (-2)/j + 0 + 1. Let v = -2/47113 - -8568/47113. Is v greater than h?
False
Let b be (-70)/675*6*-5. Which is smaller: b or 4?
b
Suppose 27*a - 449 + 17 = 0. Is 17 greater than a?
True
Let p(g) = -g**3 + 5*g**2 + g - 7. Let s = 9 - 4. Let m be p(s). Which is greater: 6 or m?
6
Let y = 71/322 + 3/46. Suppose 3*q + 8 = 4*c, 21 = -3*c - 5*q - 2. Which is smaller: y or c?
c
Let d = -269 + 269.021. Is d at most 1?
True
Let c = -330 - -220. Are c and -110 nonequal?
False
Let c = 90.99 + -0.99. Let y = -73 + c. Which is smaller: -0.1 or y?
-0.1
Let t be ((-1)/1)/(-1) - -1. Suppose -x - 7 = 3*g + 3, -5*x = 2*g - t. Let q be (6/(-30))/(3/x). Which is smaller: q or 1?
q
Let u be (3 + -6)/((-3)/(-227)). Which is bigger: u or -1?
-1
Let h = 31 + -15. Suppose 17*g - h*g = -9. Is -19/2 smaller than g?
True
Suppose 6*q - 29 = 103. Let z(x) = -3*x. Let u be z(-7). Which is smaller: q or u?
u
Let t = -9 - -4. Let n(g) = g**2 + 6*g + 6. Let i be n(t). Let q be (60/63 + -1)/(174/116). Which is smaller: q or i?
q
Let u be (-3)/80 + 6/60. Let w = -2 - -3. Is u not equal to w?
True
Suppose -2*j - 2*y - 1038 = 0, j + j - 5*y + 1003 = 0. Let h = 270 + j. Let v be 4 - (-1 - 1228/h). Which is greater: 0 or v?
0
Let d(k) = -12*k**2 - 347*k + 46. Let v be d(-29). Is 20 smaller than v?
False
Suppose 0 = 5*g + 1302 + 788. Let o = -424339 - -12293707/29. Let k = o - g. Which is bigger: -1 or k?
k
Let t(l) = l**3 - 3*l**2 + l - 3. Let p be t(3). Let z = -134 + 146. Suppose p*o = o - z. Is o at most 13?
True
Suppose -2*n - 3 = -1. Let c be ((-4)/5 - n)*1. Let g = -344.5 + 345. Is g != c?
True
Let u be (-53988)/(-20) - (-3 + -1). Let o = u - 2695. Which is bigger: 9 or o?
9
Suppose w = 4*d + 17, -15 + 36 = 5*w - 4*d. Which is smaller: w or 17/20?
17/20
Let r = -101/6 + 617/42. Let k be (-2)/(-4) + (-203)/58. Is r bigger than k?
True
Let o = -27 - -33. Suppose -o*h + 55 = -41. Which is greater: h or -0.1?
h
Let b be -428*(30/(-6) + 4). Which is bigger: b or 429?
429
Let y be ((-288)/8)/(-3 - -70). Is y less than or equal to 0?
True
Let p = 149027 + -33978215/228. Let t = 1/114 + p. Let g be (-3)/(-6) - (-2)/4. Which is smaller: g or t?
t
Suppose 0 = 35*o - 38*o + 1407. Which is smaller: 468 or o?
468
Let b(s) = s**3 + 4*s**2 + 5*s + 4. Let q be b(-4). Suppose -5*m = 0, -4*i + i = 4*m + 45. Which is greater: i or q?
i
Suppose -12*y + 9357 = -11511. Which is smaller: y or 1738?
1738
Let m be (115 + -116)/(1/(-107)). Is m less than 541/5?
True
Let r be 15/(-10)*4/3. Let k = r + 4. Suppose -k*x - 3 = h - 3*x, h = 3*x - 3. Is -3 less than h?
False
Let t(u) = 6*u**3 - 3*u**2 + 2*u. Let f be t(2). Let o = f - 43. Is o >= -7/2?
True
Let k = -788.1 + 788. Which is smaller: -395 or k?
-395
Suppose -3*b + 47 = 4*a, 3*a - 21 = -b + 3. Let l = b + -11. Suppose 0 = -37*z + 38*z. Is l >= z?
False
Let w = 4.89 + -4.2. Let h = w + -0.59. Is h bigger than 2?
False
Let o = -118938/104083 + -2/14869. Let r(a) = -a + 10. Let q be r(10). Which is greater: q or o?
q
Let w = -4 + 4. Let t = -18/17 - -24/119. Are w and t equal?
False
Let a be -8*(-1)/(-6)*(-3)/(-2). Let c be (78