ich is smaller: g or a?
g
Let g be (-12)/9 + (-162)/(-243). Do 196.2 and g have the same value?
False
Let s(x) = x**3 - 17*x + 1. Suppose 4*d = 4*p - 13 + 9, 0 = -3*d - p - 19. Let k be s(d). Which is bigger: k or -3?
-3
Let i = -10208 - -10210. Which is smaller: i or -3284?
-3284
Let i = 1124 + -290. Let c = 817 - i. Does -124/7 = c?
False
Let n(w) = 3*w**2 - 28*w - 12. Let t be n(10). Suppose 0 = 21*i + t*i + 1044. Which is bigger: -38 or i?
i
Let b = 239.95 + -230. Let t = b + -10. Let i = 47/5 - 10. Is t bigger than i?
True
Let u be -1 + -1 + 1 + 1. Let p(n) = -7*n**2 + 41*n + 36. Let j be p(6). Suppose -a - j + 31 = u. Does -2/79 = a?
False
Let m be 6/7 - 462/(-147). Suppose 2*x = -2*b - 3 + 1, m*b - 5*x = 14. Let u = 4/55 - 23/2585. Is u >= b?
False
Let x(c) = 19*c - 2. Let u be x(6). Let t = -48 - -78. Suppose 3*s - 363 + t = 0. Are u and s non-equal?
True
Suppose 3 = -3*j - 18. Let l(w) = w**3 + 6*w**2 - 6*w. Let k be l(j). Which is smaller: k or -3?
k
Let f be (-700)/639 - (-936)/4212. Is -2/9 <= f?
False
Let t(f) = f**3 + 2*f**2 - 20*f - 49. Let l be t(-4). Is l at least -9?
True
Suppose 0 = 8*k - 7*k - 408. Let n = -8566/21 + k. Let s(y) = y**3 + 6*y**2 + 6*y + 5. Let o be s(-5). Is o bigger than n?
False
Let k be 20/(-100) + 54/45. Which is bigger: 3/350 or k?
k
Let s = -150 - -151. Let n be (-190)/(-20805)*(-27)/(-2). Which is smaller: n or s?
n
Suppose c + 4 + 236 = 0. Let r = c - -241. Does 2/237 = r?
False
Let y = -13115907/347 + 37798. Let g = -1 - 0. Do y and g have the same value?
False
Let r = 313 + -313. Suppose 134*a - 141*a + 490 = r. Which is smaller: a or -1?
-1
Let j = -16 + 44. Suppose -90 = -b - j. Suppose 3*g = -2*g - 3*n + b, -4*g + 48 = 2*n. Which is smaller: g or 9?
9
Let r = -13604 - -13575. Is r != -62?
True
Let q(z) be the third derivative of -z**4/12 - 5*z**3/6 - 2*z**2. Let s be q(-10). Suppose 34*n + 21*n - 126 = 46*n. Which is bigger: n or s?
s
Let p = 52 + -22. Suppose 15 + 25 = -5*m - d, 3*d = -5*m - p. Let t be (1*-1)/(5/45). Is m <= t?
True
Let d = -266 - -270. Suppose -p + 5 = i + 3*p, 2*i - d*p + 2 = 0. Do -2/331 and i have different values?
True
Let w(k) = 87*k + 93. Let t be w(3). Let z = 354 - t. Is z >= -11/13?
True
Suppose 4*i = 3*t - 6*t + 10, 3*t = 2*i + 22. Suppose 0 = -14*r + t*r - 2472. Is -310 at least r?
False
Let c = 42524 - 26306. Which is smaller: c or 0?
0
Let q = -640.9655 + 641. Let x = q + -235.0345. Which is bigger: x or -1/3?
-1/3
Let g = 1615 + -4844/3. Let c = 3.5 - 3. Are c and g unequal?
True
Let a be (1 + -3)/(10 - (-3030 + -9)). Let y = a - -149405/6098. Is 24 greater than or equal to y?
False
Let o = 0.2 - 0.2. Let y = 1377 - 1377.0597. Let m = y + -51.9403. Which is smaller: m or o?
m
Let b = 61.08 + -15.08. Which is smaller: 2/7 or b?
2/7
Let t(i) = -8*i**2 + 1 + i**3 + 20*i + 0*i**3 - 13*i**2. Let y be 8 - 54/(-4) - (-12)/(-16)*2. Let n be t(y). Which is bigger: -6 or n?
n
Let x = 606 - 335. Suppose 0 = 15*l - x - 59. Which is smaller: 16 or l?
16
Suppose -4194 + 86458 = 104*j. Which is bigger: j or 790?
j
Let l be (-2038)/952 + (-45)/(-180). Let v = 3/17 + l. Which is smaller: v or 2?
v
Let o be (1/(-2))/(2/12). Let d = -8.58 + 7.88. Which is bigger: d or o?
d
Let z = 17 - 14. Suppose c = -z*p - 3, c - 1 = 2*c + 2*p. Suppose 3 = -2*q + 3*f, -c = -2*q + f + 4. Is 5 greater than q?
False
Let i be (-27)/174*(-3)/((-3)/56). Which is greater: i or -10?
i
Let i = -13086 + 13067. Is 546 at most i?
False
Let z = -25 + 39. Suppose -9*i + 37 = -8. Suppose -i*f + 3*l - 38 = 0, l + 3*l = 3*f + z. Is -11 at most as big as f?
True
Let l(y) = y**2 - 10*y - 6. Let p be l(11). Suppose p*d - 59 = -54. Let i be (-564)/2052 + 4/18. Are i and d non-equal?
True
Let w = -100 + 82.84. Let x = w + 0.16. Let o = -2611 + 2613. Is x != o?
True
Let g be (112/224)/(26/(-48) + (-6)/(-9)). Suppose l - 8 = 10. Suppose -3*t + 0*t + l = 0. Is g greater than or equal to t?
False
Let u = -4.06819 + 0.06819. Which is smaller: -1.08 or u?
u
Let i be (1 - (4 + -175)) + (-8)/4. Let z be (-1953)/i + 12 - (-6)/(-10). Suppose -2*j = -4*j - 2. Is z bigger than j?
True
Let q(w) = -w**2 - 7*w - 35. Let c be q(-25). Let g = c - -17461/36. Is 1 not equal to g?
True
Suppose -282 = -4*l + 5*y, 4*y = 4*l - 390 + 110. Let o be ((-68)/l)/((-1)/(-11)). Is -210/17 greater than o?
False
Let y be (5 + -2)/((-15)/25) - -9. Suppose -3*k + 6*k = -2*c + 131, 0 = 3*k - y*c - 107. Which is bigger: 42 or k?
42
Let m(u) be the second derivative of 3*u**3/2 - 7*u**2 - 17*u. Let g be m(6). Let h = -40 + g. Which is bigger: h or -3/11?
h
Suppose -223*y + 211*y = -6192. Let h = 510 - y. Is h at most 87?
True
Let u = -5.964 - 27.126. Let p = 100 - 67. Let f = p + u. Is f != -3?
True
Suppose 5*c = -5*s + 25, 0*c = 4*c - 20. Suppose 5*p = -4*v + 2*v + 3, -4 = 3*v - p. Is s <= v?
False
Suppose -22*o + 35 = -17*o, 0 = -4*c - 2*o - 490. Is -120 < c?
False
Let z be (143/2 + -1)/(10 + 285/(-30)). Which is greater: 154 or z?
154
Let v be (192/(-30))/(((-6)/10)/(-3)). Suppose k + 4*k + 150 = 0. Is k equal to v?
False
Let j(o) = o**3 + 13*o**2 - 41*o + 6. Let s be j(-13). Suppose 0*r + 7*r - s = 0. Are 75 and r equal?
False
Let u(j) = -j + 110. Let b be u(0). Let q be (336/(-10))/((-33)/b). Which is smaller: q or 111?
111
Suppose -4*x + 2*n = 146, -3*x - 5*n - 7 - 70 = 0. Let g(i) = 12*i**2 + 107*i + 201. Let m be g(-4). Is x != m?
True
Suppose 2*z - 8 = -4*l + 5*z, -3*z + 12 = 0. Suppose 5*g = 2*u + u + 407, -5*u = l*g + 705. Are -139 and u equal?
True
Suppose 4*u - 9 = 5*y - 46, 2*u = -5*y + 19. Suppose m + 4 = 8. Let w(l) = -l**2 + 6*l - 12. Let b be w(m). Is u less than b?
False
Let d = -20544869/5153656 + -3/139288. Are -3 and d equal?
False
Let f be 2298/(-10) + (-10 - -8). Let a be (3/(180/8))/((-242)/422697). Let w = a - f. Which is greater: w or 0?
0
Suppose 153 + 2824 = -15*s + 457. Is s bigger than 0.5?
False
Suppose -4*b - 3*x = 461, 4*x + 12 = -0. Let i = b + 104. Suppose a = -0*a. Is i greater than a?
False
Suppose -140*l - 231*l - 91*l + 5752362 = 0. Are 12451 and l non-equal?
False
Let f = -58.436 + 58.48. Which is bigger: 2/5 or f?
2/5
Suppose -p + 27 = -2*p - 5*a, 4*p + 2*a + 18 = 0. Let l = -18175/18 - -1009. Are p and l equal?
False
Let v = 2/227297 - -1951799331/909188. Which is smaller: 0 or v?
0
Let w = -8995 + 8995.02. Which is greater: w or -1581?
w
Let z = 2.6142 + 0.8858. Which is greater: z or -57?
z
Let t(u) = 159*u**3 - 5*u**2 - 43*u - 37. Let p be t(-1). Do p and -153 have the same value?
False
Let i be (-2)/(-6) - 3615/45. Let t be (2/(-2))/(16/i). Let o be t/(-20)*(-1)/(10/152). Is 3 > o?
False
Let m = 194 + -208. Let y = 13.9 + m. Is 0 at least as big as y?
True
Suppose 30*y - 330 = 31*y - 5*g, -5*y - 2*g - 1596 = 0. Which is smaller: y or -330?
-330
Let d(v) = v**3 - v**2 + 215. Let j be d(0). Suppose 5*t - j = -125. Is t smaller than 2?
False
Let x = -38965/1574654 + 2/12907. Which is bigger: 0 or x?
0
Suppose 106 = c + 110. Let n be 185/(-222)*c/(-10). Do n and 57 have the same value?
False
Suppose -364*n + 365*n = 1. Which is smaller: n or 47/43?
n
Suppose -3*t - 3 = -4*f + 3, 0 = -2*t + 3*f - 4. Let m = -38 + t. Is m greater than or equal to -43?
True
Let z = -589 + 588. Let g be 4 - (0 + 4548/1138). Which is smaller: g or z?
z
Suppose -6 = l - 3*l. Suppose -f - 10 = -l*f. Suppose o + 12 = f. Which is bigger: -5 or o?
-5
Let i = -31 + 20. Suppose -d - v + 36 = -5*v, -2*v = -3*d + 158. Let l be (-1 - 1)*d/64*4. Which is smaller: i or l?
i
Let v = 53 - 215. Let n = 337 + v. Is 1 greater than n?
False
Suppose b - 43 = -53. Let j be (b/(-40))/((-211)/4). Is -1 at most j?
True
Suppose 3*n - 3301 = -4*l, 1373 = 4*n - 2*l - 3065. Is 1113 at most as big as n?
False
Let f = 2856 + -2855. Which is smaller: 80 or f?
f
Let n(a) = -a**3 + 36*a**2 + 37*a + 1. Let p be n(37). Which is smaller: p or 14/299?
14/299
Suppose 2*h - 23 = -5*x, -5*x + 28 = 4*h - x. Suppose 0 = -3*b + 3*g + 24, 0*g + 5*g - 23 = -h*b. Suppose -b + 1 = -2*s. Do 19/6 and s have different values?
True
Let n = -7516 + 7632. Which is bigger: n or 110?
n
Let y = -2647 - -2834. Which is greater: y or 190?
190
Suppose 3*y = -2*w + 15736, 8*w + 20966 = 4*y + 3*w. Let m be 30/(-9) + y/99. Which is bigger: m or 1?
m
Suppose 185*n = 8411 + 170 + 1779. Is n