-2
Let l = 69/19706 + -2/167. Let u(g) = g**3 + 6*g**2 + 2*g + 12. Let w be u(-6). Which is bigger: l or w?
w
Suppose -3*p + 7*m = 362, 3*m = -5*p + 4*m - 550. Which is greater: p or -107?
-107
Let o = 2013 - 2017. Which is bigger: 1.39 or o?
1.39
Let o be (-7 + (-99)/(-18))*(-2)/121. Which is bigger: 1 or o?
1
Suppose -12 = 2*g - 6*g. Let h be (6/(-20))/(g/(-16)). Let o = 4372 - 4369. Which is smaller: o or h?
h
Let c be (-4)/(-35) - (-6)/(-15). Let z = -44735/31 - -1443. Is c equal to z?
False
Suppose 0 = 52*u - 36*u + 7328. Which is smaller: u or -1?
u
Let j be ((-12)/(-64))/((-357)/366 + 1). Is 9 > j?
True
Suppose 6*s = 4*c + s + 339, 147 = -2*c - 5*s. Let h = 93 + c. Which is bigger: 8 or h?
h
Let v = -83 - -101. Suppose -f - v = -7*f. Is f != 42/11?
True
Let q = 3 - 6. Let u(j) = j**3 + 8*j**2 - 9*j + 3. Let y be u(-9). Suppose 3*m - 2*z - 14 = 0, -y*m + 3*z = -m - 16. Do q and m have the same value?
False
Let d = 146 - 25. Suppose 4*s + 0*s - 124 = -4*q, -4*q - s = -d. Let w be 66/(-56) - q/(-40). Is w >= -0.1?
False
Suppose -12*o - 45 - 99 = 0. Which is bigger: -8 or o?
-8
Suppose -38*y + 1 = -37*y. Is 5/22 smaller than y?
True
Suppose -5*u - 6*o + 19 = -2*o, -2*u + 26 = -3*o. Let w be -2 + (-60)/(-25) - 950/(-125). Is w greater than u?
True
Suppose 2*l - 24 = 6*l + 3*b, 2*l = 4*b - 12. Let m be l/(9/3 - 53). Which is bigger: 1 or m?
1
Let z(m) be the second derivative of 7*m**6/360 + m**5/120 + m**4/4 - 6*m. Let t(q) be the third derivative of z(q). Let f be t(1). Are 0 and f non-equal?
True
Let s = 53 - 53. Let i = 47 + -189/4. Which is smaller: s or i?
i
Let m = -23097 + 762145/33. Is m smaller than -1?
True
Let z = -16 - -16.07. Let x = z - 3.07. Let a = 0.27 - 0.22. Are a and x non-equal?
True
Let l(j) = 2*j**3 - j**2 - 8. Let f be l(0). Let v be 6/9*24/f. Which is greater: v or -1?
-1
Let x = 439/15 + -19173/655. Is -1 != x?
True
Let q = -75.1 + 76. Let k = q - 0.94. Let j = 7 - 6.9. Which is smaller: j or k?
k
Let i(v) = v**3 + 7*v**2 - v + 7. Let d be i(-7). Let p(q) be the second derivative of q**3/2 - 19*q**2/2 + 68*q. Let l be p(d). Are 24 and l equal?
False
Let r = 4515 + -844308/187. Is r smaller than 0?
True
Let y be -2*((-2 - 5) + 5). Suppose -26 = -y*d + 66. Is d not equal to 23?
False
Let t be (-4)/(-4) - (-9 + 2). Let d = -13 + t. Is d equal to -1?
False
Let t = 12 - 12. Suppose -5*l = 5 - t. Which is smaller: l or -12?
-12
Let v be ((-32)/20)/(4/8). Suppose -14 = 4*o + 3*o. Are v and o equal?
False
Let q = 0.145 - 7.045. Let y = -1.1 - -8.1. Let h = q + y. Is h less than or equal to 0?
False
Let m = -32.2 - -35. Let f = m - -13.2. Let q = f - 15.6. Which is smaller: 1/3 or q?
1/3
Let r be 40 - 35 - (-281)/(0 + 1). Do 286 and r have the same value?
True
Suppose -5*v + 10 = -5*d, 5*v = -0*d - 2*d + 24. Is -0.6 at most d?
True
Let s(r) = 3*r - 8. Let n(c) = 3*c - 8. Let j(f) = 2*n(f) - 3*s(f). Let g(i) = 8*i - 23. Let l(t) = -4*g(t) - 11*j(t). Let m be l(-4). Which is bigger: -3 or m?
m
Let m(u) = -7*u + 76. Let l be m(5). Which is bigger: l or 39?
l
Let k = 31/161 - 11/23. Is k < 30/13?
True
Let u = -0.055 + 46.055. Let z = u - 46.1. Is 10/11 greater than z?
True
Let c = 23 - 25. Let g be (c - -7)*4/10. Let a be 3/(g + 69/(-30)). Is -8 at least as big as a?
True
Let d = -174 - -101. Let m = d - -61.7. Let b = m + 11. Is 1 > b?
True
Let o be ((-316)/(-48))/(9/(-72)). Are -54 and o non-equal?
True
Let h = -1257 - -69133/55. Is -1 <= h?
True
Let n = 9.62 - 9.47. Is 0.07 at least as big as n?
False
Let m = -28 + 31. Suppose m = 2*r - 3. Suppose 12 = r*y - 5*y. Which is greater: -20/3 or y?
y
Let z = -0.18 - -21.18. Let m = -30 + z. Let c = -26/9 + 148/45. Is c less than m?
False
Suppose -2*q + v + 4*v = 24, -2*v + 2 = 3*q. Let g be (-1)/q + 12 + -10. Does g = 0?
False
Let t(i) = i**2 - i + 79. Let o be t(0). Suppose -5*c + 21 = -o. Let a be 3*(-1)/(-6)*c. Is a greater than or equal to 10?
True
Suppose 118 = -4*k - 5*g + 207, -k - 5*g = -11. Let a = 1/782 - -9579/391. Which is bigger: a or k?
k
Let h = 277.9 + -278. Which is bigger: 12 or h?
12
Let i = 45 + -20. Let l = 25.03 - i. Let y = -0.1 + l. Which is greater: -0.1 or y?
y
Let v = -29 + 29.6. Let l be (-38)/(-6) + (-6)/(-9). Let w = 7 - l. Is w less than or equal to v?
True
Let p = -214 - -214.121. Let z = -16.121 + p. Which is smaller: -0.1 or z?
z
Suppose 0 = 4*n - 4*v, -15*n = -16*n - 5*v. Which is bigger: n or -6/259?
n
Let a be 1 - 1/(5/10). Let o(t) = 5*t**3 + t**2 + 3*t + 2. Let v be o(a). Is -3 greater than v?
True
Suppose 3 - 9 = -w - 4*f, f + 18 = 3*w. Let z(r) = r**3 - 3*r**2 + 2*r - 2. Let g be z(3). Let p be w/g*4/6. Which is smaller: 2/7 or p?
2/7
Let n(c) = c**3 - 4*c**2 - 23*c + 4. Let b be n(8). Which is bigger: b or 77?
77
Let l = -493 - -492. Let u be (9 - 4) + 1*-2. Let z = -1 + u. Is l less than or equal to z?
True
Suppose 2*z - 26 = -2*d, -z - 3*d - 9 = -32. Let h be (z/6*3 + -4)/(-2). Which is smaller: 0.17 or h?
h
Let c(o) = 19*o - 18. Let q be c(1). Which is smaller: q or -3/125?
-3/125
Let n be (-4)/(-24)*21*(-4)/(-7). Suppose n*d + 16 = o, -5*d + 2*d + 28 = 5*o. Which is greater: o or 50/7?
o
Let h = -807 - -807. Which is smaller: 37/5 or h?
h
Let o(v) = v**3 - 3*v**2 - v + 4. Let d be o(3). Let y be 1 - d*(-12 - -3). Let z = y + -14. Which is greater: -5 or z?
z
Let a = 234 + -234.322. Let x = a + -0.078. Do 0.04 and x have the same value?
False
Let h = 518 + -515. Is h bigger than 2?
True
Suppose 0 = 5*o - 0*o - 15, -4*b - o + 27 = 0. Let v(p) = 4*p - 29. Let d be v(b). Is -6 less than or equal to d?
True
Let y = -12446 + 87331/7. Are 31 and y non-equal?
True
Let k = 4380/1049 - 14980695/11539. Let c = k - -1295. Which is bigger: 1 or c?
1
Suppose 3*t - 4*t + 28 = 0. Let c = t + -34. Which is greater: -5 or c?
-5
Let d = -1 + 0. Let l be 12/(-18) + 0 + 106/6. Let g = l - d. Is 19 < g?
False
Let h be -1 + 1 - (35 - 4). Let a = h - -18. Is -12 less than or equal to a?
False
Let r be (-6)/27 - 106/9. Let y be (1/(-2))/((-2)/r). Let o = -3099/7 + 441. Are o and y equal?
False
Let a = 0.0663 + -0.0663. Suppose -2*h = -5*h - 399. Let r = h + 934/7. Is a <= r?
True
Let m = -21 + 32. Let h = -25 + 28. Suppose -3*g + g = h*b - 28, 0 = 4*b + 5*g - 28. Is m equal to b?
False
Let k(b) = -b**2 + 7*b + 98. Let f be k(-7). Which is smaller: f or -3/4?
-3/4
Let m(s) = 2*s + 10. Let c be m(-6). Let w be ((-2)/(-6))/(1/c). Does 0.1 = w?
False
Let d(i) = -i**3 + 9*i**2 + 10*i + 4. Suppose -2*l - 2*l + 40 = 0. Let x be d(l). Is 11/4 less than or equal to x?
True
Let m(d) = d**3 - 40*d**2 + 46*d - 268. Let b be m(39). Which is bigger: -23 or b?
b
Suppose -14*o + 12*o = -568. Which is bigger: 283 or o?
o
Let i be 2 - 1/(-5 - -4). Suppose i*b - 1 = -4. Let h = 3645/11 + -331. Which is bigger: b or h?
h
Suppose a = -3*g - 10, 0 = -a - 2*a + 3*g + 30. Suppose -w = -3*w + 4*d + 8, -a*w + 3*d + 48 = 0. Let u be -1 - 8/w*-3. Which is smaller: 2/13 or u?
2/13
Let o = 6844 + -1936850/283. Which is smaller: 0 or o?
0
Let r = -0.8 + 0.9. Let x = -4 + 12. Let p = 11 - x. Are r and p nonequal?
True
Let h be (-78)/(-52)*20/3. Suppose -z = -5*b - 13, -2*b = 3*z - 2 - 3. Let j be h/b*24/(-100). Do j and 0 have the same value?
False
Let r be (1540/(-21375))/(-2 + (-16)/(-10)). Let z = r - -4/95. Which is greater: -1 or z?
z
Let x(u) = 24*u - 11*u - u**2 - 10*u. Let o be x(3). Which is bigger: o or 2/7?
2/7
Let f be -2 - -1 - (-3 + 1). Suppose i + 19 = f. Let m = i + 27. Which is smaller: 8 or m?
8
Let p(c) = -9*c**2 + 12*c - 11. Let z be p(1). Let r(i) = -i**2 + 2. Let k be r(4). Which is smaller: k or z?
k
Let w = 392.1 - 462. Let g = 70 + w. Which is smaller: 20 or g?
g
Let d = 0.024 + 23.376. Let g = d - 24. Is g at most 0.4?
True
Let c = 2991/2 - 1467. Which is greater: 30 or c?
30
Let j = -7.6 - -1.6. Let h = -596 - -595.8. Is j <= h?
True
Suppose 4*y + 3*r - 191 = 0, 6*r = 5*y + 11*r - 235. Do 8 and y have different values?
True
Let c(z) = z**2 - 15. Let t be c(4). Which is smaller: t or 7/27?
7/27
Suppose -4*d - 4*a = a + 22, -25 = 5*d + 5*a. Let m = d + -12. Which is smaller: -17 or m?
-17
Let n = 864 + -865. Which is bigger: -1/133 or n?
-1/133
Let u = -16 + 48. Let t be 1 + 0 - 28/u. Is 0 < t?
True
Let h = -0.8 - -0.8. Let c be 0 + 1 + 2/1. Let d be 2 + c/(30/(-