 2*g**2 + 3*g - 1. Let q be s(m). Does q = h?
False
Let h be (108/16 + -2)*4. Suppose -4*w - 2*i - 26 = 0, 4*i - h = -5*w - 59. Let b be 32/(-9) - 4/(-18). Which is bigger: b or w?
b
Suppose 6*i = 6*i + 4*i. Let p be -5*1/1 + 3. Let j be 2*p/92*-2. Which is smaller: j or i?
i
Let o = -17 - -19. Suppose 2*l + 4*m = -o*l - 16, -l = 5*m + 16. Which is bigger: -5/6 or l?
-5/6
Let k be 440/60*(-15)/1495. Which is smaller: 1 or k?
k
Let m be 10/(-105) + 8/2730. Let l = m + 77/130. Is -1/9 at least l?
False
Suppose -7 + 3 = a. Let q be (2/a)/((-25)/150). Is -10 < q?
True
Let l = 324 - 287. Which is bigger: l or 0?
l
Let z be ((-8)/14)/((-36)/(-126))*1. Is z > -34/25?
False
Let m = 14.52 - 15. Let t = -0.4 - m. Let y = t + 0.72. Which is bigger: -1 or y?
y
Let a = -916 + 946. Is 5 at most as big as a?
True
Suppose -3*c = -2*r + 5, 3*r + c + 1 = -3*c. Suppose 3 = 2*o + a - 4, -4*a + 10 = 5*o. Let f be 9*(-3)/6*o/(-12). Which is greater: f or r?
f
Suppose -9*j + 15 = 60. Let y be -7*j/140 - (-3)/4. Is y smaller than 3/50?
False
Suppose 0 = o - 53 + 54. Suppose -64 = -f + 3*f. Let y be (-2)/7 + f/(-210). Which is bigger: o or y?
y
Let c = -112 - -120. Let o = -10 + c. Is -3 less than or equal to o?
True
Let w be ((-3)/(-2 + -97))/(4/72). Is -1/4 at most w?
True
Let f be 105/(-10)*(-1 + 68/(-6)). Let m = 1795/14 - f. Suppose 4*d - 3*d = -1. Is m <= d?
True
Let t(a) = -a**2 + 5*a + 11. Let n(i) = -2*i**2 + 4*i + 12. Let b(d) = 2*n(d) - 3*t(d). Let p be b(-2). Suppose -1 = 3*h - x - 2, -4*x = 16. Is h >= p?
False
Let d be (-2*-2*2/8)/4. Is 49 smaller than d?
False
Let l = -49486/35 + 1414. Which is bigger: 1 or l?
1
Suppose 2*t = -w - 87, -64*w + 69*w + 5*t = -420. Is w <= -75?
True
Suppose 0 = -3*a + 3*j - 6*j - 87, a = -4*j - 32. Let t = -16.8 - -17. Let f = t - 0.2. Is a smaller than f?
True
Let m be 3/(-6) - (-9)/2. Let q be (0/(-1))/(1 - 0). Suppose q = -u + 6 - 2. Is m != u?
False
Suppose 0 = 2*n - 5*r - 4, 0*n + 3*n + 19 = -5*r. Let q be (27/((-2025)/60))/(1/5). Which is greater: q or n?
n
Let g = -18 + 17.3. Let c be -2 + 1 + -4 + 2. Let d be 4 + c + (-4)/3. Is d >= g?
True
Let k = -289/4445 - -1/127. Let w = -11 + 17. Suppose 5*f = -w + 1. Which is smaller: k or f?
f
Let c = 0.357 + -0.757. Let k = 16.6 - 18. Let l = k - c. Are l and -0.1 non-equal?
True
Let m be (2/32)/(4/520). Let j = m + -8. Is 1 <= j?
False
Let k(z) = 8*z - 20. Let d be k(-5). Let c be (112/d)/7 - 4. Let u = c - -23/5. Do u and 2/3 have the same value?
False
Suppose 0*b - 26 = 3*d + 4*b, 3*d - 9 = 3*b. Let r be (6/d - 0) + (-174)/(-78). Are -2 and r equal?
False
Let g be (8/20)/((-4)/160). Let o = -12 - g. Let u = -15 + o. Do u and -11 have different values?
False
Suppose -4*s = -5*v - 420, -4*v + 5*s - 327 = -0*s. Does v = -90?
False
Let v = -21 + 27. Suppose -10 = -v*g + 2. Let z = 3 - 1. Is g greater than z?
False
Let p(s) = 7*s**3 - s**2 + s + 1. Let g be p(-1). Suppose 5*n = 2 + 3. Suppose -n - 8 = k. Is g greater than or equal to k?
True
Let k = 36 - 56. Let y = k - -21. Is y > -10?
True
Let t = -19/5 - -3557/940. Which is greater: t or -1?
t
Suppose 13 = -3*v - 62. Let h = 26 + v. Is h at most -1/18?
False
Let m be 370/15*(7 - 10). Do -74 and m have different values?
False
Let u = 34 + -29. Suppose -2*n = -3*n + 5*l - 7, u = n + l. Which is smaller: 5 or n?
n
Let d(a) = -3*a**2 + 24*a + 13. Let s be d(9). Which is greater: s or 6/7?
6/7
Let x(y) = 2*y + 0*y - 2 - 13 - 6. Let l be x(10). Which is smaller: l or -2/15?
l
Let t(f) = -f**2 + 9*f + 4*f - 3*f - 2*f - 4. Let i be t(4). Which is smaller: i or 14?
i
Suppose -g - 6*g - 63 = 0. Let j(k) = 2*k**2 - 12*k - 5. Let s be j(6). Which is smaller: g or s?
g
Let f = 350 - 351. Is 4/239 at most as big as f?
False
Let a = 2.483 + -2.883. Is 9/7 bigger than a?
True
Suppose 3*k = -3, 0 = -5*i - k - k - 22. Let p be (2 - (-6)/i)*(-8 - -8). Is p at most 14/11?
True
Let m(d) = -d**2 + 44*d - 82. Let t be m(26). Is t < 384?
False
Let t = -3.17 - -2.18. Let z = t + -0.61. Which is smaller: z or -2?
-2
Let x = 320 + -345. Is x greater than -37?
True
Let w be -11*(-6 + (-56)/(-11)). Which is greater: 24 or w?
24
Let o(k) = k**3 - 13*k**2 - 30*k - 52. Let a be o(16). Is 237 at least as big as a?
True
Let o = -2537 - -1699. Are -838 and o nonequal?
False
Let r be (-28)/2 + 0 + (1 - 2). Let g be 70/r - (2/(-3))/1. Which is bigger: g or -28/9?
-28/9
Suppose -5*q - 138 = q. Let o = 441/19 + q. Which is smaller: o or -1?
-1
Let g be -2 + (-68)/(-120) + (-2)/(-20). Which is smaller: -1.2 or g?
g
Let o(s) = 3*s**2 + 14*s + 21. Let t(k) = -7*k**2 - 29*k - 43. Let c(v) = 9*o(v) + 4*t(v). Let m be c(11). Let g be (138/(-11))/(-3) - 4/22. Is g less than m?
True
Let n be (-13)/611*2/4*-2. Is n <= 0?
False
Let n = -15 + 10.2. Let j = n + -2.2. Are 0 and j unequal?
True
Let o(l) = -l**3 + 3*l**2 - 2*l - 2. Suppose -5*v + 17 - 2 = 0. Let i be o(v). Which is smaller: i or -9?
-9
Suppose -9 = -3*i, 4*i - 16 = x + 1. Which is bigger: -11/2 or x?
x
Let u = 148.8 - 149.8. Let a = 3 - 3. Is a greater than or equal to u?
True
Let j = 10164 - 2937399/289. Which is greater: j or 1?
1
Let h be 2/3*(-3)/4. Let n = 19.72 + -20. Let r = -0.12 + n. Is h > r?
False
Suppose -5*y - 32 = 8. Suppose 3*w + 8 = 29. Let l = w + y. Which is greater: l or -3/7?
-3/7
Let h = -2/75 + -11/525. Which is smaller: h or 1/2?
h
Let k = -4 + 3. Let b be 45/(-5)*k/3. Let u be 34/(-6) + 2 + b. Which is bigger: u or 2?
2
Let a = -653 - -654. Is a equal to 60/37?
False
Let z(v) = -2*v**2 - 7*v + 19. Let w be z(-5). Let o be ((-7)/14)/(366/w). Which is smaller: o or -1?
-1
Let l(s) = -7*s**3 - s**2 + 2*s - 1. Let p be l(1). Let t = -2933 - -2930. Which is smaller: p or t?
p
Let d = 48 - 48. Suppose g + 1 = -d*g. Which is bigger: 1/16 or g?
1/16
Let o be (17 + -19)/(1 - -1). Let f(j) = 2*j**3 + 1. Let g be f(o). Which is smaller: g or -5/3?
-5/3
Suppose -69 = 10*l - 159. Does l = -20?
False
Suppose -6 = -35*v + 32*v. Suppose -v*b - x + 3*x = 4, -2*b + 3*x = -1. Which is greater: -9 or b?
b
Let f = 359 - 205. Which is bigger: f or 2?
f
Let l = -230 + 237.92. Let r = l - 8. Let d = -0.18 - r. Which is smaller: d or -3/8?
-3/8
Suppose 0 = 51*v - 26*v + 1375. Does v = -53?
False
Let m be (-19757)/44 + 5 + -1. Let r = m - -445. Is 1 smaller than r?
False
Let k = 96 - 139. Let q = 10 + k. Is q < 0?
True
Let s be (-32)/10 - (-2)/10. Let w = 3 + s. Let o be (-42)/(-77)*1/3. Which is greater: w or o?
o
Let j = -35 + 35. Let d = 14 + -936/67. Is j at least d?
False
Suppose r - 10 = -5*z - 4*r, -4*z + 2 = -2*r. Which is smaller: z or 2/313?
2/313
Let l = 0.2 - 0.2. Let a be -1 - -2 - 1946/436. Let b = a + -4/109. Is l at least b?
True
Let n be (900/250)/((21/(-40))/(1/4)). Let t(q) be the first derivative of q**4/4 + 2*q**3 + 3*q**2 + 3*q + 1. Let j be t(-5). Which is smaller: j or n?
j
Let g = -150787/495 + 1523/5. Suppose 8 = 9*z + 17. Is g less than z?
False
Let k = -37 - -40. Suppose 4*r - 5*n - 24 + 74 = 0, -4*r - k*n - 34 = 0. Let q(j) = -j**2 - 5*j + 15. Let f be q(r). Is f greater than or equal to -34?
False
Let h(k) = -16*k - 130. Let l be h(-8). Which is bigger: l or 28?
28
Let b be (-3)/(-14)*5312/(-6). Let y = b + 190. Let t = -22 + 12. Are t and y nonequal?
True
Let l = -0.4 - -0.5. Let h be 3/6*(0 + 0/2). Let f(j) = j**3 - j. Let x be f(h). Which is greater: x or l?
l
Let o = -2140211/279 + 7671. Which is greater: o or -1?
o
Let d(l) = -l**3 - 7*l**2 + 9*l + 8. Let g be d(-8). Let t be (-25)/(-16) + -1 + g. Let c = t + -1/16. Which is bigger: c or -6?
c
Suppose 5*o = -4*q + 874, -4*o = 2*q - 255 - 449. Suppose 15*t + o = -692. Do t and -56 have different values?
True
Suppose 0 = -i + 2*i - 3. Suppose -i*h + 16 = h. Suppose v + s - 5 = 0, -h*s = -5*v - 0*s + 16. Is 3 bigger than v?
False
Suppose -5*u + 90 = -4*p, 129 = -0*p - 5*p - 2*u. Let b = -10 - p. Let l be (-8)/(-12)*b/(-2). Does -4 = l?
False
Suppose -7*c - 275 = -268. Is 7/18 at least c?
True
Let r(p) = -3*p + 20. Let j be r(7). Let u = 216 - 1511/7. Is u less than j?
False
Let w(q) = -9*q**2 - 22*q + 68. Let a be w(4). Is a less than or equal to -160?
True
Let j be ((-1)/(-3))/(-7 - 1842/(-36)). Which is smaller: -1 or j?
-1
Let b(p) = p - 40. Let l be b(15). Which is smaller: l or -26?
-26
Let o = 342/11 + -695/22. Is -108