5*h - 36 = 2*o, 2*h - 72 = -4*o. Let z = 21 - o. Suppose 0 = -k - 3*k - 3*r - 16, z*r = -2*k - 14. Do k and 2/9 have the same value?
False
Let x be 4/(-1530)*15/48*-4. Which is smaller: 0 or x?
0
Let j(m) = 3*m**3 + 31*m**2 + 6*m - 11. Let a be j(-10). Is a not equal to 30?
True
Suppose 9*o = 4*o + 5. Let q = -51843/40 - -1296. Which is smaller: q or o?
q
Let t(f) = -f**3 - 19*f**2 - 6*f + 3. Let a be t(-19). Let i = a + -136. Which is smaller: i or -21?
-21
Let d = -1 + 0. Let c be -491*6/7560 - 3/(-7). Let r = -1/180 + c. Which is smaller: r or d?
d
Let w = -10.9 - -2.9. Let o = -7.73 + -0.07. Let m = o - w. Which is bigger: m or 2?
2
Let n be 2 + 1 + -1 - 2. Let k be (-10)/(-24)*78/(-52). Which is smaller: k or n?
k
Let p(x) = x**3 - 3*x**2 - 2*x + 6. Let u be p(3). Suppose 2*b + z + 25 = u, 3*b + 47 + 8 = -5*z. Which is smaller: b or -12?
-12
Let w be 1874*1/10 + (-6)/15. Let f be w/(-255) - (-1)/3. Is -2.5 greater than or equal to f?
False
Let v(m) be the first derivative of m**4/4 + 7*m**3/3 + m**2 + 13*m + 19. Let u be v(-7). Which is bigger: u or 2?
2
Let w(r) = -4*r + 1. Let z(q) = -2*q. Let b(y) = -3*w(y) + 7*z(y). Let f be b(0). Let a = 0 + 0. Which is greater: f or a?
a
Let a = -840.1 - -840. Which is greater: a or -13/15?
a
Let m(j) = -2*j**2 - 6*j - 6. Let i be m(-2). Is 0.1 bigger than i?
True
Suppose 51*i = 43*i - 8. Which is bigger: i or -3/112?
-3/112
Let v = 528 - 528. Which is greater: 114 or v?
114
Let q = -511 + 543. Is 98/3 equal to q?
False
Let z be ((-392)/12)/(12/(-54)*6). Let y = 86 - 60. Is y <= z?
False
Let u(s) = 2*s**3 - s + 1. Let m be u(1). Let b(i) = 7*i**m - 18*i**2 + 12*i**2 + 14*i + 26. Let r be b(-11). Do r and -7 have different values?
False
Suppose 0 = -3*a + 2*i + 39, 2*a - 4*a + 3*i = -21. Let x be (a/10)/((-1)/(-2)). Let h be (-426)/138 + (x - 0). Is 0 > h?
True
Let x(n) = -60*n**3 + n**2 + 7*n - 5. Let m be x(1). Which is smaller: m or -7?
m
Suppose 0 = 3*w + 6, -2*l = -2*w + 3 - 11. Let y = 32 + -15. Let c be (-1)/y*1*2. Are l and c unequal?
True
Let w = 250/7 - 36. Let b = -3 + 2. Let u = b + 0. Are w and u equal?
False
Let w = 8303/335 + -124/5. Let f = w - 259/603. Which is bigger: f or -1?
f
Let l = 146 + -144. Let v be (6 + -3)/((-1 - l)/(-9)). Is 9 at most v?
True
Let a(k) = k**2 - 69. Let h be a(0). Let l = -192503/9 + 21320. Let j = h - l. Is 1 greater than j?
True
Suppose -15*n = -13*n - 224. Let i be -2 - n/(-156)*3. Is 2/19 greater than i?
False
Suppose 0 = -2*x + 5*m - 6, 2 - 18 = -4*x - 4*m. Suppose x*l + 38 = -34. Is -36 smaller than l?
False
Let h = -131 + 152. Let k = 138/7 - h. Which is greater: k or -2?
k
Let o(d) = -d**3 + 8*d**2 + 2. Let y be o(8). Let z = -19 - -27. Is z smaller than y?
False
Let i = -2266/13 - -174. Let u = 59/65 + i. Which is smaller: u or -2?
-2
Suppose -6*t = 32*t. Is t at least as big as -8/141?
True
Let b = -28 - -20.1. Let u = -7.8 - b. Which is greater: u or -3.2?
u
Let v(j) = -3*j - 17. Let q be v(-7). Suppose 0 = q*w + 2*h + 14, -w = -2*w - 4*h - 21. Let k be 5/(-15) - w/3. Is -10 at most k?
True
Let b be 2 + 0 + (13 - 1). Suppose -r + b = -4*o + r, 2*r = -2*o - 10. Is o <= -33/8?
False
Let w be -3 - (0 - (1 - -2)). Let b = -13 - -10. Let y be 1/b*(0 - 2). Is w less than or equal to y?
True
Let s(b) = 8*b**2 + 27*b + 21. Let m be s(-3). Which is greater: m or 11?
m
Suppose -44 = y + 4*n, -6 = -3*y - 2*n - 128. Is y equal to -37?
False
Suppose 290*r = 295*r - 25. Which is bigger: r or -14?
r
Let o be (-1 - 5)/(29/(-6) - -5). Which is smaller: -4 or o?
o
Let z = -5196 + 5197. Let w be (-2 + 0)*(-2)/(-29). Which is smaller: z or w?
w
Let i = -17 + 14. Let j(x) = 2*x**3 + x**2 + 2*x + 2. Let k(z) = -z**3 - z**2 - 1. Let q(y) = -j(y) - 3*k(y). Let b be q(i). Which is bigger: 3 or b?
3
Let d = -3 - -2. Let f = 1.15 + -51.15. Let a = f - -46. Which is smaller: d or a?
a
Suppose 3*b + 24 = -3*t, 0 = 4*t - 0*b + 3*b + 27. Suppose -3*x - 2 = k, 5*k + 11 = 3*x + 1. Suppose x = -3*m + 6*m. Do t and m have the same value?
False
Suppose -3*w - 150 = 3*c, -114*c + 4*w = -112*c + 112. Is c > -263/5?
True
Let r(h) = 4*h**2 - 2*h + 7. Let g(f) = 3*f**2 - 3*f + 6. Let z(k) = 6*g(k) - 5*r(k). Let o be z(-4). Which is greater: -2/43 or o?
o
Let a = 31.7 - -96.3. Let d = a - 128. Is -36 at least as big as d?
False
Suppose -3*n - 9 = 0, 0*p = -p + n + 7. Suppose -150 = -2*m - 2*q, -p*m = -m - 3*q - 237. Let c = m + -2001/26. Which is smaller: c or -1?
-1
Let p = 2.4 + -14.4. Let k = p - -20. Let h = -4 + k. Is 3 smaller than h?
True
Let v(t) = -t**2 - t + 1. Let s be v(-2). Let q = -4 - 0.6. Let x = q - -3.6. Is x smaller than s?
False
Let f = -35579366/469 - -75862. Let w = f + 3/67. Suppose -4*t - 20 = 0, -14 + 2 = -2*o + 2*t. Which is smaller: o or w?
w
Let k be (-76)/(-12) + -7 + (-86)/6. Let y be (-12)/(-9)*k/(-190). Is y less than or equal to 0?
False
Suppose 5*a - 3*w = 187, a - 3*w - w = 34. Let r = 63 - a. Which is smaller: 24 or r?
24
Let b(r) = 6*r - 14. Let q be b(3). Suppose q*c - 68 = -20. Is -1/3 at most as big as c?
True
Suppose -5 = x + 4*x. Let z = -2453/1020 + 1/204. Which is greater: x or z?
x
Suppose -3 - 3 - 2 = 4*v. Suppose -5*p + 2 = -6*p. Are p and v non-equal?
False
Let o(b) = -b. Let h be o(1). Let m be (1 - 0/4)*h. Let s be (-40)/(-48)*m/(-5). Which is smaller: 1 or s?
s
Let f = 1875 + -1873. Which is bigger: -20.2 or f?
f
Let v be -5 + (16 - 4) - 66. Is v at least -62?
True
Let b be -3*2/(-6)*-2. Let y be (9/1)/1 + b. Let d be (-1)/((-1)/((12/1)/2)). Is d >= y?
False
Let t be 4*(35/2)/(-7). Let g = -107/4 - -27. Do g and t have the same value?
False
Let x = -0.03 + -0.37. Let f = 3818 - 3817.9. Are f and x non-equal?
True
Let d = -22 + 26. Suppose -p + 8 = -x, x - d*x = -5*p + 30. Suppose -k - p*f + 2 = 3*k, -2*k - 5*f + 8 = 0. Which is greater: -2/5 or k?
-2/5
Suppose 4*m = -u - 369, -11*u + 12*u + 3*m + 372 = 0. Is -382 less than u?
True
Suppose 5*d - 115 = 5*o, 3*d + o = -3*o + 97. Suppose 5*w - 7 = -d. Let v be 6/w*16/6. Are -3 and v equal?
False
Suppose 0*n - 25 = 3*w + 5*n, 47 = -5*w - 3*n. Which is smaller: -9 or w?
w
Let y(n) = -2*n**2 - 29*n + 3. Let k(s) = -s**2 - 15*s + 1. Let v(h) = -5*k(h) + 3*y(h). Let o be v(-12). Suppose o = 2*c + 6. Are c and -1 equal?
True
Suppose n + 14 = -2*o, 0 = 2*o - 3*n - 7 + 5. Is o less than 103?
True
Let f(t) = t**2 + 9*t + 12. Let i be f(-8). Suppose 6*a = -i*a + 30. Let s be (-118)/(-30) - 3/9. Are a and s unequal?
True
Suppose -3*z - 4*d - 65 = 0, -4*z + 3*z + 5*d + 10 = 0. Suppose -2*c = 4*b - 246, 5*b + 5*c - 82 = 238. Suppose -4*m = 5 + b. Which is smaller: m or z?
m
Let i = 289 + -45663/158. Which is greater: 0 or i?
0
Let s(f) = -6*f + 14. Let h be s(9). Let l = h + 686/17. Is l >= 0?
True
Let v be 1 + 15/(-21) - (-492)/(-154). Let w = v + 182/55. Do w and 11/7 have the same value?
False
Let r be 9/(-15) - ((-236)/45)/(-2). Which is bigger: -3 or r?
-3
Suppose -f = 15 - 7. Let z be 3/(-3)*(-19 + -1). Let i = -28 + z. Is i not equal to f?
False
Suppose -2*m = 2, 8*m - 4 = -3*s + 3*m. Let o = 989 + -985. Are s and o nonequal?
True
Let n(s) = -s**3 + s**2 - 362. Let y be n(0). Let c = -257 - y. Is c smaller than 105?
False
Let a = -1 - 0. Let m be (378/15)/(-6) - -4. Are a and m equal?
False
Let p be (20/(-1095))/(2/(-3)). Suppose -21*c = 21*c + 42. Is c != p?
True
Let l = -1.6 + -0.9. Let t = l - -18.5. Let i = -16.08 + t. Are i and 1 unequal?
True
Suppose -4*i - 83 = 145. Let j = i - -972/17. Is j bigger than 1/3?
False
Let j be ((-1540)/21)/10 + 8. Is j greater than or equal to 280?
False
Let h(t) = -t**2 + 13*t - 25. Let a be h(8). Is 35 not equal to a?
True
Suppose 4*m - 9 = -3*y, 5*y - y - 8 = -4*m. Let x be (6/75)/(y/5). Let s = -787.3 - -787. Which is bigger: x or s?
s
Let c = 38 + -35. Let h be (c/(-12))/((-35)/120). Is -0.2 less than h?
True
Suppose 4*t - 876 = -3*x, 3*x - 16 = -2*t + 416. Is 222 greater than or equal to t?
True
Let t = -528 + 421. Are 0.1 and t unequal?
True
Let p(k) = -k**2 - 12. Let x be p(0). Let b be 95/(-3)*x/(-30). Is b at most -13?
False
Let h(i) = -3*i - 13. Let a be h(-9). Let d(b) = b**3 - 15*b**2 + 13*b + 16. Let c be d(a). Suppose 1 = -5*w + 6. Which is bigger: c or w?
c
Let y = 50 - 50. Let w be y - ((-69)/18 + 2). Are 1 and w equal?
False
Let r be (-4)