
False
Suppose -24*b = -34*b + 2430. Let v = b - 242. Which is greater: -2/243 or v?
v
Suppose 3*b + 16 = 7*b. Let k(j) = -j**3 - 18*j**2 - 24*j - 116. Let l be k(-17). Suppose -l*i + 4*m = -1 - 78, m + b = 0. Is i bigger than 21?
False
Let r = -1692 - -1692.0911. Let k = r + -1.4911. Is k > -5?
True
Let r = 0.89 - 1.41. Let u = -55.48 + r. Let h = 55.9 + u. Are -17 and h non-equal?
True
Let t(y) = 8*y + 74. Let l be t(-9). Let c be 3*1/3*(-2 + l). Which is smaller: c or -3/59?
-3/59
Let r(x) = x**2 - 3*x + 1. Let q be r(2). Let n be (-12 - -30)*4*(-2)/804. Which is smaller: n or q?
q
Let y = -231 + 231.03. Let j be (-27)/6*(-10)/(-24)*-5. Let f = j + -659/72. Which is greater: f or y?
f
Let r = -2159/7 - -313. Let t(g) = -5*g - 2. Let d be t(-10). Suppose 11*l - 3*l = d. Is r smaller than l?
True
Let d = -464 - -468. Suppose 0 = 4*m + 3*h + 4, 0*m + d*m - 5*h + 4 = 0. Which is bigger: m or 3/7?
3/7
Suppose -33825 = -5*q + 3*s - 5*s, 2*q = -5*s + 13509. Suppose 2087 = -18*a + q. Is 260 <= a?
True
Let l = -27211/1492 - 9/746. Which is smaller: -18 or l?
l
Let f(g) = -7*g**2 - 30*g - 14. Let z be f(-4). Which is smaller: -238/47 or z?
z
Let p = -54.61 - -51.61. Which is smaller: -1292 or p?
-1292
Let u be (-4)/16 + (-22)/40. Suppose -5*i = -3*n + 394, 5*i + 3*n + 398 = 4*n. Let v = -81 - i. Which is smaller: v or u?
v
Let m be (-4 - 4 - 3) + 11. Are -46/939 and m unequal?
True
Suppose 2*u + 4082 = 1953*g - 1958*g, 3262 = -4*g + 2*u. Is g > -822?
True
Let d = -703 - -2301. Let z = 174179/109 - d. Does z = 0?
False
Suppose 3*x - 2525 = 5*z, -6*x + 4*x + 1678 = 2*z. Are 834 and x equal?
False
Suppose -1 = -2*a + a. Let c(d) be the first derivative of -d**3/3 - d**2/2 - 154. Let z be c(0). Is z >= a?
False
Let i be (-305)/615 + (-14)/(-21). Suppose 2*w + 9 = 2*o + 11, 3*o - 2*w + 1 = 0. Which is smaller: o or i?
i
Let k be ((-1309)/17)/(1/(-52)*4). Which is smaller: 5007/5 or k?
k
Suppose 2*m = d - 1011, 3*d + 2*d - 2019 = 4*m. Suppose -32*r + 37*r - 605 = 0. Let w be 6*(-6)/(-9) + m/r. Is w equal to -1?
False
Let f = 68 - 60. Let j = f - 6. Let h be (-323)/58 + 5 + 1/j. Do -2/5 and h have the same value?
False
Let l(c) = 353*c**2 - 7*c + 3. Let u be l(1). Let w be -5 + -7 + 14 - u/174. Which is smaller: w or 0?
w
Let f = 28 + -16. Suppose 48*i - i - 376 = 0. Suppose 4*k + f - i = 0. Which is greater: k or -6?
k
Let j be 0 - (-2 - 3/9*3). Suppose -22 = -5*w - o, 11 - j = 4*o. Let f be (w - 336/93) + 0 + 0. Which is smaller: -1 or f?
-1
Let h(i) = -i**3 + 14*i**2 + 28*i - 15. Let u be h(9). Let b = -602 + u. Which is smaller: b or 37?
37
Suppose -21*i - 763 - 141 = 482. Which is smaller: -584/9 or i?
i
Suppose 57213 = -21*k - 13*k + 7*k. Is k at most -2121?
False
Let q be (-1 - 0)*0 - (-73)/73. Let y(r) = r**2 + 13*r - 9. Let d be y(q). Which is smaller: d or 15?
d
Let b be (-40)/(-32) + (-1391)/972. Is b equal to -1?
False
Let t(p) = -4*p - 36. Let h be t(-10). Suppose -2*y - 18 = -3*k, 16*y - 18*y = h*k - 10. Which is bigger: k or 15?
15
Suppose 4*w - w = 3*s + 36, -3*s - 20 = w. Suppose 0 = -2*c + 3*m + 2*m + 21, 0 = 5*c - 2*m - 42. Let x be (2/s)/((-7)/c - 0). Is x < 0?
False
Let t(l) = 47*l - 360. Let o be t(8). Let c = 7562/7 + -1064. Do o and c have the same value?
False
Let d = 83546/7 + -497983/42. Let a = 157/2 - d. Are a and 1/5 non-equal?
True
Let n = 59 + -109. Let l = -165 - -113. Is n greater than l?
True
Suppose -9*p + 7 = 25. Let n = 14 + p. Let g = n + -13. Is -4/27 < g?
False
Let r = -26/11 - -159/44. Suppose -10*x = 2*x - 2*x. Which is smaller: r or x?
x
Let h = -506/3 - -85508/507. Let p = -398411/5 - -201996097/2535. Let q = h + p. Is q at most 0.9?
True
Let s(l) = 22*l**3 - 3*l**2 - 10*l - 6. Let z be s(-4). Let f = 5645/4 + z. Which is bigger: -10 or f?
-10
Let c be (-135)/18*(-4)/5. Suppose c*s = s. Let b be 24/32*((-56)/(-30) + -2). Is s smaller than b?
False
Let x = 5 - 7. Let y = 281/71 + 63880/1207. Let f = y + -57. Are f and x nonequal?
True
Suppose 464*u - 5030 = 8890. Let o be (-2)/((-6)/(-9)) - -5. Suppose -o = n - 1. Is n equal to u?
False
Let f = -7292 - -7237. Is f less than -52?
True
Suppose -2*v - 25*x = -22*x - 1949, 4*v = -x + 3903. Are v and 976 non-equal?
False
Let w = -1116627/7 + 159029. Let d = -488 - w. Is d < 2?
True
Let v = -15 - -31. Let y(f) = -6*f**2 + 9*f + 35. Let c(s) = -7*s**2 + 8*s + 36. Let q(d) = -5*c(d) + 6*y(d). Let g be q(v). Which is bigger: -13/5 or g?
g
Suppose -5*g + 15*g = 40. Let a be ((-2)/g)/((-4)/7616). Let b be 3 + (a/(-82))/4. Which is bigger: b or -1?
b
Let s be (54/40 - (-27)/(-36))*(-65)/(-44954). Which is greater: s or -1?
s
Suppose 5*b + d = 1, 3*b + 0*d - d = -1. Let f be (-302)/298 - (-10 + (25 - 16)). Which is bigger: b or f?
b
Suppose -4*x + 0*x - 2*p = -6, -2*x + p - 3 = 0. Let n be (9/(-27)*6)/(-130). Is n bigger than x?
True
Suppose 0 = -319*m - 265*m + 162803 + 133869. Which is bigger: 4073/8 or m?
4073/8
Let v(c) = -7*c + 18. Let b be v(-2). Suppose b = -6*f + 26. Which is bigger: f or -3/17?
-3/17
Let w = -4137 - -4136. Which is smaller: 2/7097 or w?
w
Let l = 3.219 - 3.419. Are 856 and l nonequal?
True
Let p = -838 - -864. Let b = 21 + -21.4. Are p and b equal?
False
Let d(s) = -11*s - s + 5*s - 5*s**2 - 3*s. Let j be d(-3). Suppose -5*w - 75 = -4*o, 2*w + 31 = -5*o + 1. Is j less than or equal to w?
True
Let u = 15721/11 + -1429. Suppose -5*t = 2*x + 27, -3*x - 3*t - 8 = -2*t. Let j be (x/(-1))/1*1. Which is bigger: u or j?
j
Let r be 2*1/(-17) + 57040/458252. Let m = -5/412 + -24293/1236. Let h = -20 - m. Is h at least as big as r?
False
Let a = -3374 + 3374.4. Is a != -2/427?
True
Let p = -2876/85215 - 2/1495. Suppose x + 2 = -x. Is x smaller than p?
True
Suppose -3*m + 16 = -5*c, 40 = -0*m + 5*m - 5*c. Let b be ((-358)/m)/((-12)/(-56)) - 2. Let n = b - -141. Which is bigger: 1 or n?
1
Suppose 4*t - 2*r = 2*r + 12, 0 = -5*t + 2*r + 6. Suppose -8 = 4*u, 4*c + 5*u = -t*c + 22. Suppose 2*v + v = c*v. Is v < 0.2?
True
Let q = -0.75 + 0.73. Let y = 29.78 - 25.8. Let x = y - q. Is -0.7 less than or equal to x?
True
Let v = 186 - 186. Let n(l) = l**2 - 8*l - 1. Let j be n(v). Which is bigger: -11/18 or j?
-11/18
Let u = 266.113 - -0.387. Let t = u + -274. Which is smaller: t or 0?
t
Let p = 112/13 - 831/104. Are -3 and p non-equal?
True
Let r be 9/((-1296)/(-100672)) + (-10)/9 + 1. Does r = 699?
True
Let l = 3.4362 - 0.4362. Are -136 and l equal?
False
Suppose 0 = 3*c + 4 - 1, w + 4*c = 0. Suppose 0*v + 44 = -w*v. Let k be (1 + v)*2/(-32)*2. Which is smaller: 1 or k?
1
Let l(r) = -r**3 - r**2. Let x be l(-1). Suppose 10*d - 8*d = -2*o - 4, 3*d + 6 = 4*o. Let a be x + -4 - d - (0 - 25). Which is greater: 24 or a?
24
Let l(s) be the third derivative of -7*s**5/30 - 11*s**4/4 - 3*s**3/2 - 82*s**2. Let k be l(-4). Which is bigger: k or 14?
k
Let s = 975607/7310 - -552/215. Let a = 136 - s. Is a smaller than 2/3?
True
Let x = 0.3487 + -0.1587. Is x at least as big as 125?
False
Let m(z) = 4*z**2 - 3*z + 3. Let r(l) = 3*l + 26. Let y be r(-8). Let k be m(y). Suppose -3*h = -n + 8, -n + h + 4*h + 4 = 0. Do n and k have different values?
True
Let m(b) = b**3 + 23*b**2 + 303*b - 49. Let g be m(-12). Is -2101 bigger than g?
False
Let n = 14 + -37. Suppose -40*h = 1608 - 728. Is n bigger than h?
False
Let y = -5.7783 + 1.7783. Do 811 and y have different values?
True
Let a(c) = -22*c + 153. Let m be a(6). Let j = 20 + -2. Suppose 0 = -j*i + m*i - 51. Are 20 and i nonequal?
True
Suppose 3*v + v = 2*z + 42, 0 = 4*z - 2*v + 84. Let i be z/5*80/(-48). Does i = -2/3?
False
Suppose 3*s - 14 = -20 + 9. Are s and 8/701 equal?
False
Suppose 5*f - 10 = -5*v + 5, 15 = 4*f + v. Let k be (14/(-4) + f)/(1/102). Is k < 4?
False
Suppose -4*g = -5*b - 4663, 4*g - b - 3712 = 971. Suppose 2*m - g = -158. Do m and 506 have different values?
True
Let c(b) = -b**3 - b + 7. Let d be c(0). Let x = -169 + 174. Suppose -4*a + 34 = 4*q - x*a, 4*q - 2*a - 36 = 0. Which is smaller: d or q?
d
Let u = -61 - -60.935. Let o = u - -34.065. Let m = 33.91 - o. Which is smaller: -2 or m?
-2
Let t = 161.981 - 162. Let w = -26456 + 26438.019. Let n = w + t. Which is greater: 0.1 or n?
0.1
Let i(p) = 50*p**2 + 188*p + 187. Let s be i(-1). Suppose -64 = -4*t + 3*t. Suppose t - 14 = k. Is s equal to k?
False
Let t 