ppose 71 - o = 3*p. Are p and 108/11 non-equal?
True
Let d = 23395/103201 + -37/161. Let v = d - 1276/1923. Is -2/201 != v?
True
Let j = -3.5641 - -5.1341. Which is greater: j or 22?
22
Let c be 6/8*(19140/105)/(-22). Is c greater than or equal to -6?
False
Let c = 889/2 + -443. Let x = -6 - 0. Let j = -4 - x. Is c > j?
False
Let h be 4*-4*37/(-16). Suppose -5*m + 14 - h = 4*i, -68 = 4*i - 4*m. Is -10 < i?
False
Let n = 387.08 - 0.08. Let v = 231 - n. Is 0 < v?
False
Let u = 38 - 147. Let d = -980/9 - u. Let m(h) = -h**3 - 5*h**2 + 3*h - 17. Let y be m(-6). Which is smaller: y or d?
d
Let d be (212 - 232 - -17*1)*23/(-3). Is d at most as big as 523/22?
True
Let v(q) = 62*q + 2675. Let u be v(-43). Do 12/31 and u have the same value?
False
Let i(b) = b**3 - 99*b**2 - 98*b - 59. Let c be i(100). Which is smaller: c or -5/4?
-5/4
Suppose 124*b - 260*b = -122*b - 14. Which is smaller: b or 5/2677?
5/2677
Let l(m) = 224*m + 224. Let r be l(-1). Suppose b = -1 - 9. Let f be b/4 - 5/(-10). Which is greater: r or f?
r
Let v(j) be the second derivative of -5*j**3/2 - 22*j**2 - 15*j - 1. Let p be v(-5). Is 4 greater than p?
False
Let w(q) = 52*q**3 - q**2 + 4*q - 5. Let n be w(1). Let p be 14 + (-1)/(5*2/n). Is 4 != p?
True
Let u = 23 + -20.88. Let t = -1.08 - u. Is 1/4 greater than or equal to t?
True
Let c(t) = -24*t + 78. Let q be c(5). Let h = q - -41. Which is smaller: 2/187 or h?
h
Let n = -0.89 - -0.9. Let m = -20.41 + 18.81. Is n greater than m?
True
Let r = 369 - 385. Let w be -14 - (2 + r/4 - -2). Is -95/7 bigger than w?
True
Let h = 61408/35 - 32043881/18270. Let z = h + -3/58. Let o = -29 + 31. Which is smaller: o or z?
z
Let v be -37 + -9 + 46 - (-1 + 6 + -1). Which is greater: v or -2360?
v
Suppose 2*b - 3*b = -46. Let d be b/3 + 2 + 26/39. Is 18 at most d?
True
Let j(c) = -3*c**3 + c**2 + 11*c + 3. Suppose 0 = 4*o - 4*k + 40, -4*o + 0*o - 30 = -2*k. Let u be j(o). Suppose 0 = 14*v - 772 - u. Is 79 < v?
True
Let q be (-11)/(44/(-120))*(-2)/4. Let a be -12 + -4 + 17/((-102)/(-60)). Which is smaller: q or a?
q
Let h(f) = f - 122. Let t be h(-13). Let s = t + 244. Which is bigger: s or 110?
110
Let c be (36/20 - 2)/((-3)/345*1). Let q = -3768 - -18954/5. Is c smaller than q?
False
Let v = -2816.778 - 8.222. Is v greater than 0.2?
False
Let w(d) be the third derivative of d**6/120 - d**5/20 - d**4/8 + 4*d**3/3 + 11*d**2. Let h be w(3). Do h and -6/475 have different values?
True
Let t be 132*(-1 - 0)*16/(-32). Let c be 4/(-22) - (-1860)/t. Is 27 at most as big as c?
True
Let k = -151696.1 + 151696. Suppose 0 = 5*b - 172 - 88. Is b != k?
True
Suppose -44 = -4*s + 23677*j - 23673*j, -3*s - 63 = 5*j. Let c be 1 - (-1)/(-187)*185. Which is bigger: c or s?
c
Let a(l) = 27*l. Let k(s) = 1. Let b(r) = a(r) + 2*k(r). Let n be b(6). Suppose n = 3*j + j. Do j and 0 have different values?
True
Suppose -14*z + 16*z - 10 = 0. Suppose -6 = 2*w - 0*w - x, 5*w = -z*x + 15. Is -18 equal to w?
False
Let a = -5087087/157 + 32402. Which is bigger: 0 or a?
a
Let x(o) = -4*o**3 - 6*o**2 + 4*o. Let m be x(-3). Suppose 47*k + 1145 = m*k. Let g = k - -1600/7. Is g greater than -1?
True
Let r = 472 - 598. Let k be (r/15204)/((-6)/(-8)). Which is bigger: k or 1?
1
Let o be 9*(-5)/(-15)*(-1 + -2). Let j be 28/18 + 7 + o. Let s = j + 55/63. Is -5 equal to s?
False
Let n be (3 + -2 - 3)*(-3 + 1). Let p(q) = 5*q - 3. Let l be p(n). Suppose 7*v = 6*v - l. Which is greater: v or -19?
v
Suppose -3*i - 5*v + 545 = 0, 4*v - 366 = -10*i + 8*i. Is i greater than 175?
False
Let i be (18/(-10))/(-1)*(-448)/24. Suppose 131*m + 2710 + 1744 = 0. Which is smaller: m or i?
m
Let y = -186 - -159. Let n = -55/2 - y. Which is smaller: -5 or n?
-5
Let a be (3 - 111/39) + 432/(-780). Is a < 4/733?
True
Let t be 386/12*3 + 82/(-164). Which is smaller: t or 666/7?
666/7
Let i be -26 + -3130*22/(-2640) - (-23)/300. Suppose 8*u + 4*j + 8 = 3*u, -10 = u + 5*j. Is i != u?
True
Suppose 0 = -j - 7 + 14. Suppose j*a = 70 - 0. Is 11 != a?
True
Let a = -254 - -240.45. Let f = a - -95.45. Let x = -82 + f. Are x and -0.067 nonequal?
True
Let t = -153 + 141. Let q be 3*(5 + 388/t). Is -82 at least as big as q?
True
Let r be (-6)/(-6)*(-222 + -15). Is r less than -215?
True
Suppose -3*x = -4*h - x + 28, 0 = -5*x - 10. Let q = 224 - 170. Suppose -9*k + q = -h*k. Is k greater than 35/2?
True
Let f = 1624/4185 - -10/837. Which is greater: f or 71/169?
71/169
Suppose 123 = 5*z - 47. Suppose 2*n = 2*b - 46, -4*n + z = 5*b - 99. Let i be (-3 + b/10)*-26. Is i < 7?
False
Suppose -3*n + 27 = -0*n - 4*f, -3*f + 36 = 4*n. Let k = n + -9. Let t = -1018 + 1018. Are t and k non-equal?
False
Let u be 0 + (5 - 4) - -19. Suppose 2*c + u = 22. Is 5/4 smaller than c?
False
Let n be 2/(-6) - 160/(-48). Suppose n*h - 6*h + 5*x = -105, -114 = -4*h - 2*x. Is h <= 89/3?
False
Let j = -4.84 + -0.16. Which is smaller: j or -119.5?
-119.5
Suppose 5*q + 0*r = 3*r + 284, -2*r = 4*q - 236. Suppose 4*c = -c + 275. Suppose 2*a - a + z - c = 0, 2*a - z - 116 = 0. Is a equal to q?
False
Let g = 3 + -2. Let y = -39814/9 + 995332/225. Which is smaller: y or g?
y
Let j be (14/91 - 174/(-390)) + 4596/(-285). Which is greater: j or -15?
-15
Let d be ((-4)/34)/(((-21)/2013)/(-7)). Let z = d - -785104/9945. Which is greater: 0 or z?
z
Let m(b) = -2*b**2 - 15*b + 8. Let z be m(-11). Suppose -5*j - 365 = 5*d, -2*j - 3*d = 209 - 59. Is z less than j?
False
Let z = -15139 - -16018. Which is smaller: 6145/7 or z?
6145/7
Suppose -16*o - 93896 = 23*o + 5*o. Which is smaller: o or -2133?
o
Let f(v) = 6*v**2 + 11*v + 37. Let d be f(-6). Let s = -266 + d. Which is smaller: -81 or s?
-81
Let r be 360/(-432) + (-25802)/(-31020). Which is smaller: -1 or r?
-1
Let m(s) = s**2 + 27*s - 234. Let v be m(-34). Suppose -g + v*g = -3*g. Which is smaller: -8/51 or g?
-8/51
Suppose 3*n - g - 98 = 0, -4*n + 3*g = 60 - 189. Let b be (-29310)/n + (-6)/(-33). Let p = b - -54169/61. Is p at most 1?
True
Let d be (2/(-6))/(1 + 65/(-60)). Suppose -4*g - d*g + 32 = 0. Let f be (-6)/(-9) + -7*g/24. Do -13 and f have different values?
True
Suppose 0 = -3*h + z - 2, 3*h + 0*h + 2*z - 4 = 0. Let u be ((-5)/(-515))/((-3)/6). Is h less than or equal to u?
False
Suppose -2*v + 7*x - 2126 = -2028, -2*v = 5*x - 22. Let q be -4*2*(-2)/8. Let m be -3 + q + 3/4. Which is smaller: v or m?
v
Let p = -808761/125 - -6470. Is p smaller than -1?
False
Suppose 0 = 4*v - g - 17, -3*v - 3*g + 6*g + 24 = 0. Suppose -4*a + a + 133 = -m, -v*m = -5*a + 227. Let s = 42 - a. Is s smaller than -2/23?
True
Suppose -4*f - 1964 = 37*l - 33*l, 0 = -4*l - 28. Is f <= -2909/6?
False
Let r = -24781 - -17362. Which is smaller: -7417 or r?
r
Let c = -143.08581 - -0.30581. Which is smaller: 0 or c?
c
Let g(x) = 2*x - 2. Let l be g(1). Suppose 6*w + 2*w = -w. Let q be (18 - w) + 0/(l + -2). Do q and 17 have different values?
True
Let s = 5 + 0. Let x = 17484 - 17479. Is s bigger than x?
False
Let b be 1/154*455/(-182). Which is smaller: b or 1?
b
Suppose 2*s = -2*j, 3*j + 5 = 2*j + 4*s. Suppose 142*x = -18*x + 160. Is j bigger than x?
False
Let j = 2756 - 2886. Which is smaller: -139 or j?
-139
Suppose 0 = 3*c + 2 - 14. Suppose 17*h - c = 16*h. Suppose 0 = h*s + 1 - 5. Do s and 1/3 have the same value?
False
Let x = 4.04 - 81.34. Let u = -77 - x. Which is smaller: u or 0.7?
u
Suppose 41 = 3*i - 103. Suppose 12 + i = -2*a. Suppose 8*n = -2*d + 3*n - 78, -2*d + n = 54. Which is smaller: d or a?
a
Let z(u) = -4*u**2 + 45*u - 2. Suppose -4*a = 5*v - 32, 4*v + 10*a = 5*a + 22. Let g be z(v). Which is bigger: g or 103?
103
Suppose -a = 4*u + 16, -5*u + 3*a - 9 = 7*a. Let c be (27/9)/(5/(u/3)). Which is smaller: 3/380 or c?
c
Let t = -8/407 - -1942/57387. Let m(l) = l**3 - 4*l**2 - 2*l + 14. Let d be m(3). Do d and t have the same value?
False
Let o be 318/265*3/(-2286). Is 1 < o?
False
Let p = -158/249 - -365527/2739. Which is smaller: p or 133?
p
Let d = 0.063 + 90.937. Let q = d - 90.7. Are q and -2.1 unequal?
True
Let p be ((-136)/6)/((-4)/6). Let c(k) = -2*k + 32 + 40*k**3 + 34*k**3 - 75*k**3. Let a be c(0). Which is bigger: a or p?
p
Suppose -22*l = -4*l - 14*l - 1588. Which is smaller: 3 or l?
3
Let y(z) = -z**3 + 12*z**2 + 106*z - 1069. Let k be y(14). Which is greater: k or 31?
31
Let q(b) = -3*b**3 + 8*b**