00 = 20*n. Which is smaller: n or -139?
n
Let c = 74.9 + 2.1. Let j = c - 61. Is -0.1 bigger than j?
False
Let p(x) = x**3 + 20*x**2 + 23*x + 76. Let h be p(-19). Which is greater: 7/60 or h?
7/60
Let j(h) = 2*h**3 + 3*h**2 - 7*h - 4. Let b be j(-5). Let q = 607967/4228 - 49/604. Let l = q + b. Is l less than or equal to 0.3?
True
Let f be 10/(-10 - 80) - (-9830)/18. Is 546 != f?
False
Suppose -y - 4*y = 10, 0 = -5*v + 3*y - 134. Let d = v - -40. Suppose 3*k = 3*i - d, 4*i - i + 2*k = 7. Is 2 at least i?
False
Suppose 2*r = -5*l - 202, 22*r = -l + 26*r - 36. Which is bigger: l or -36?
-36
Let s = 8426/27 + -312. Let z(i) = i - 4. Let x be (1*-2)/(4/(-10)). Let b be z(x). Which is greater: s or b?
b
Let b(n) = -n**2 + 7*n + 1. Let v be b(7). Let j(q) be the first derivative of -5*q**4/4 + q**2/2 + 1. Let g be j(v). Is -16/3 greater than or equal to g?
False
Let o = 5 - 3. Let h be -1*0*o/4. Let x be (7/(21/(-12)))/(-4). Is h greater than x?
False
Suppose -281 = -k - 263. Let u = -15 - 2. Let j = k + u. Is -1/3 smaller than j?
True
Suppose 3*k = 163 - 22. Let h = k - -73. Let x be h/(-950)*10/4. Is -1 > x?
False
Let p = -10 - -13. Suppose 4*s - 2*k = p*k - 66, -8 = s + 3*k. Is s <= -14?
True
Suppose -3*z + 10 = c - 0*z, 3*c + 3*z = 0. Let v be (-6)/(-15)*c/7. Suppose 4*y + 18 - 14 = 0. Is y bigger than v?
False
Let v = 458 + -458. Which is smaller: -17/28 or v?
-17/28
Suppose -2*j - 4 = 0, -l + 5*j = 4*l - 90. Suppose 5*n - l = -71. Is -10 <= n?
False
Let f be 2/(-8) + (-33)/(-28). Suppose 34 = -117*r + 134*r. Is r greater than or equal to f?
True
Let s = 115 + -571/5. Let p = -115.9 - -106. Let o = p - -10. Which is smaller: o or s?
o
Suppose 2*p = -2*v - 4, -4*p = -3*v - 4 - 2. Suppose p*m - 33 = -3*m. Suppose 19 = 2*c - g, 4*c - 3 = -2*g + 39. Which is smaller: c or m?
c
Let d(c) be the second derivative of -7*c**3/3 - 35*c**2 - 12*c. Let m be d(-5). Which is smaller: m or -5/27?
-5/27
Let f = 739.14 - 624.7. Let v = 100.3 - f. Let u = v - -14. Is u <= 0.1?
True
Let c be (-1 - 0)/((-2)/(-22)). Let g = -122 + 112. Is c less than g?
True
Suppose -w - 14*o = -17*o + 16, 0 = 3*w - 3*o + 18. Let j(u) = u. Let b be j(0). Let f be 33/(-27) + 1 + b. Which is greater: f or w?
f
Let c(h) = -h**3 + 3*h - 1. Let i = -6 + 3. Let q be c(i). Let w = -5180 + 5199. Which is smaller: q or w?
q
Suppose -4*h - 1 = 11. Let i = h - -5. Let m = -140 + 139.97. Does i = m?
False
Let h = 50 + -75. Let j = h - -24. Which is smaller: -1/27 or j?
j
Let f = -48 + 41. Let b = -8 - f. Let y = 241 + -3613/15. Is y bigger than b?
True
Suppose 0 = -7*f + 3*f - 32. Let t be f/28*18/4. Which is smaller: t or -2?
-2
Let n be 0/(5 + 3 + -6). Which is greater: 5/41 or n?
5/41
Suppose 0 = 49*n - 45*n - 4. Is 4 != n?
True
Let l be (916/514)/(-1 - 29/(-1)). Let r be ((-4)/(-257) - 0)/(-2). Let q = r - l. Which is bigger: 0 or q?
0
Let j = -688/1023 + 2/341. Which is smaller: -385 or j?
-385
Let h = -545 + 554.3. Which is smaller: h or 2?
2
Let j be 2/(4/1) - (-188)/(-408). Which is bigger: j or 0?
j
Suppose 4*a - 3*p - 396 = 0, -a + 6*p = p - 116. Suppose s + 34 = -s + 3*j, 5*s - 2*j + a = 0. Which is smaller: s or -19?
s
Let v = 530.93 - 531. Which is smaller: -40 or v?
-40
Suppose 44*y + 627 = -429. Suppose 0 = 4*i - 3*j + 100, 0*j + 3*j = i + 34. Are i and y nonequal?
True
Let m(h) = 74*h - 7*h - 4 + 17*h - 2. Let g be m(-1). Which is smaller: g or -91?
-91
Let t be 3 + (-11994)/(-14607)*-5. Let w = t + -3/541. Suppose 4*h + 2*u - 8 = 0, 0 = 3*h - 0*h - 4*u + 16. Is h at least w?
True
Suppose 5*p + 2*f + 970 = 0, -11*f = p - 7*f + 176. Which is smaller: -197 or p?
-197
Let t(h) = -h - 13. Let j be t(-14). Suppose j = c - 0*c. Suppose -3*g + c = 13. Which is smaller: g or 0.4?
g
Let x be 1281/15 + 3*(-6 - -8). Is 92 > x?
True
Let w be (-4)/(-6)*3/(-5). Let u(t) = 10*t + 340. Let l be u(-34). Which is bigger: w or l?
l
Suppose -4*r + 11 - 191 = 0. Let n be 39/((-4)/(1056/r)). Let y = -228 + n. Is 2 smaller than y?
False
Let l(o) = o**2 - 3*o + 4. Let d(n) = n**3 - 7*n**2 + 6*n + 3. Let u be d(6). Let i be l(u). Suppose -3 = q - i. Which is greater: 1/6 or q?
q
Suppose -6*z + z + 2*x = 200, -z - 13 = 5*x. Which is greater: z or -43?
z
Let i be 6/4*7/14. Let m be (-11)/(-9) + -1 + 1/(-1). Let f = m + 44/45. Do i and f have the same value?
False
Let k = -57.2 + 38.3. Let n = k - -19. Let g be -1 - -3 - (-10)/(-4). Are n and g equal?
False
Let b = 0.035 + -0.08. Let k = -0.225 - b. Which is greater: k or 0.1?
0.1
Let d(i) = i**2 - 7*i - 7. Let y be d(8). Let s be 84/(-546)*(1/(-6) - (-8)/12). Which is smaller: s or y?
s
Suppose 10*s = -8*s. Is -4 at least s?
False
Let d = 262 - 155. Is 108 at least as big as d?
True
Suppose 4*j + j = 2*g + 57, -4*j + 68 = -3*g. Suppose 3*l - 15*l - 192 = 0. Is g at least l?
True
Suppose -3*u - 245 = 5*v, -v - 49 = -u + 2*u. Let z = -45 - v. Is 1 equal to z?
False
Suppose -2022*n + 1 = -2023*n. Are 5/19 and n nonequal?
True
Let j = 68 + -66. Do j and 11/6 have different values?
True
Let z = 6 + 15. Let x(m) = m**3 + 15*m**2 + 33*m - 17. Let h be x(-12). Is z equal to h?
False
Suppose -2*g = h, -4*h - 4*g = -8 - 0. Suppose h*z - 2*n - 14 = 0, -2*z - 1 + 2 = 5*n. Suppose -3*m = z*u, -u - 5*m - 15 = 1. Which is bigger: 5 or u?
5
Let j = 207 - 105. Is 103 equal to j?
False
Let p(v) = 7 + 4 + 12*v + 0 + 8. Let q be p(-4). Do -30 and q have different values?
True
Let n be -1 + 3 + (-146)/(-2). Let r be n/27*2 + -4. Let k = -24 - -25. Which is smaller: r or k?
k
Let i be 279/15 - -4*1/10. Let h(f) = f + 9. Let b be h(8). Let c = b - i. Which is greater: c or 1?
1
Let l = -66 + 66.29. Let r = l - 0.19. Is 0 greater than or equal to r?
False
Let b = -3/241 - 217/1928. Let s = -1 + 0. Which is smaller: b or s?
s
Suppose -4*t + 2*m - 94 = 0, 16 = -m + 11. Do 1 and t have the same value?
False
Suppose 0 = -5*y + 4*y - 2*u - 3, 0 = -4*y + 2*u + 18. Suppose -y*p - 5*o = 0, 7*o = 2*o + 15. Is -4 < p?
False
Let d = 34048/55 + -619. Which is bigger: d or 1?
1
Let k(t) = -3*t**2 + 3*t + 3. Let o be k(3). Let b be (22/o)/((-1)/10). Let p = b + -191/12. Are -2 and p non-equal?
True
Let m be (0 - (-1)/6)*-14. Let l(z) = -2*z + 12. Let o be l(-8). Suppose 3*c = -y - 4*y - o, 3*c = -y - 8. Which is smaller: c or m?
m
Suppose -n + 11 - 7 = 0. Let m = -3 - n. Let f = 11 + m. Which is smaller: -1 or f?
-1
Let a be -2 + (136/3)/2. Suppose -2*f = 3*f + 25, 57 = 2*u - 3*f. Let o = a - u. Which is bigger: o or 4/3?
4/3
Let t(h) = h**3 + 7*h**2 - 2*h - 7. Let o be t(-7). Let g be ((-8)/(-278))/(14/o). Is 1 <= g?
False
Let w = -13.7 + 13. Suppose 19 - 1 = -3*c + h, c - 1 = -2*h. Is c at least as big as w?
False
Suppose -15 = -2*c - c, 0 = 5*o + 4*c - 35. Let b be -2*2*4/(-8). Let n be (3/(-3*o))/b. Is 1 at least as big as n?
True
Let q(f) = 11*f**2 + f + 1. Let h be q(-1). Let p = 2422/3 + -808. Is h bigger than p?
True
Let w = 18 + -10. Let c be 30*w/(-4 - 0). Let x be 5/8*(-24)/c. Is x greater than -1?
True
Let m be 0/8*(-3)/(-6) - 0. Which is smaller: m or -2/4301?
-2/4301
Let h(z) be the second derivative of -z**5/20 - 5*z**4/4 - 8*z**3/3 - 7*z**2 + 14*z. Let t be h(-14). Is t <= 16?
True
Let y = 18 + -18.16. Let m = 13.16 + y. Let f = m - 12.9. Is f not equal to 0.07?
True
Let n = -47 - 19. Which is smaller: -68 or n?
-68
Suppose -3*j - 4 = -2*p - 7*j, 4*j = 0. Suppose 8*c - i = 3*c - 51, -2*c - p*i = 30. Is c != -12?
True
Let q = -0.062 - -85.062. Let y = q + -84. Which is smaller: y or -2/13?
-2/13
Let k = 1393.02 + -1393. Which is smaller: k or 0.1?
k
Suppose 3*c - 12 = 3*l, 2*c + 4*l - 1 = -5. Let b be (c/(-4))/(2/(-32)). Which is greater: 9 or b?
9
Let t = 26.96 + -27. Let n = 0.01 - t. Which is smaller: n or -3?
-3
Let g = 112.3 - 108. Let o = -4.1 + g. Which is bigger: o or 1/7?
o
Suppose 191 + 141 = -4*g. Let j be (-1 - g/10)*(-2 + 4). Which is bigger: 14 or j?
j
Let s be 1/(-12)*12/39. Suppose b + 3 = -2*b. Is b <= s?
True
Let m be (-92)/(-45) - (1 - -1). Let i = 245 + -246. Which is smaller: m or i?
i
Let b(v) = v**2 - 5*v - 10. Let w be b(6). Let h be w/24 + 4/(-30). Let u be 4/14 - (-2)/(-7). Which is smaller: u or h?
h
Let z(k) = -k**3 + 4*k**2 + 3*k - 5. Let s be z(4). Let p = s - 6. Is p equal to 1/2?
False
Let i = 7/6 - 11/6. Let t = -1.38 + -101.62. Let u = -1