to -81?
True
Let u = 239/2 - 123. Suppose -2*b - 5*l + 4 = -24, -2*l + 20 = 3*b. Let r = -9 + b. Which is smaller: u or r?
r
Let q(f) be the first derivative of -f**4/2 - 14*f**3/3 - 3*f**2/2 - 3*f - 5. Let n be q(-7). Is 18 at least as big as n?
True
Let u = -32 - -26. Let z be 36/(-15)*15/u. Does z = 4?
False
Let h = -7 + 6.57. Let d = -0.027 + -0.003. Let a = h - d. Is a equal to -1/3?
False
Let z be 3 + 14/(-2) + 9. Suppose 4*s + 1 = z*s. Which is smaller: s or 1.8?
s
Let w(z) be the third derivative of z**5/12 + z**4/6 + z**3/2 + 6*z**2. Let v be w(-1). Is 4 < v?
False
Let x = 48 - 145/3. Suppose -4*g - 22 = -c, -g = 2*c + 3*g + 4. Suppose -c*s - s = -7. Which is greater: x or s?
s
Let y(j) = j**2 + 4*j - 15. Let t be y(-7). Let k be t/(-6) - (-3 - -1). Let d be k/(4 + 55/(-14)). Is 14 equal to d?
True
Let c = 43 + -43. Let i = 3/2042 - -48975/22462. Let p = i - 107/44. Is c > p?
True
Let r = 97 + -111. Let o = -91 + 136. Suppose 3*h = 3*k - o, -5*k - 45 = 3*h - 3*k. Which is bigger: r or h?
r
Let o = -4/3 - -2. Let k(m) = 23 + 14 + 3*m - 28. Let b be k(-3). Which is bigger: o or b?
o
Let c = -1513 + 1305. Which is greater: -415/2 or c?
-415/2
Let w = 2.3 - -3.1. Let f = 4.9 - w. Which is greater: f or 1?
1
Let r(b) = b**3 + 22*b**2 + 36*b - 5. Let i be r(-20). Let s be 1 - i/(-76) - (13 - 11). Which is smaller: -1 or s?
-1
Suppose 5*o + 25 = 5*w, 0*o + 25 = -2*w - 5*o. Suppose 4*a + 12 = 4*h, -h + 5*h + 5*a - 3 = w. Let y = 8/5 + -17/20. Is h > y?
True
Let h(j) = 3*j**2 + 35*j + 29. Let y(k) = -k**2 - 12*k - 10. Let z(p) = 4*h(p) + 11*y(p). Let t = 205 + -212. Let m be z(t). Is -1 less than or equal to m?
True
Let p be -12 - 4/4 - 0. Are p and -124/9 equal?
False
Suppose 141 = i + 139. Is 35/22 > i?
False
Let c = 122/51 - 18/17. Suppose -107 = -15*z - 137. Which is greater: c or z?
c
Let z = 18 - 13. Let s = -1 + -1. Let u = 4 - s. Which is smaller: z or u?
z
Let k(s) = -s**3 + 10*s**2 - 8*s - 10. Let r(f) = -f**3 + 2*f**2 - 2*f + 9. Let c be r(0). Let x be k(c). Is x equal to -4/5?
False
Let m = -1.2 - -1.1. Let d = 11 + -13. Let v be (6/18)/(d/(-3)). Which is bigger: m or v?
v
Let w = 1 - 2. Let b(p) = -p + 2. Let d be b(-4). Let i be (-4)/d - 15/18. Is w > i?
True
Let j(g) be the third derivative of g**4/3 - 8*g**2. Let p be j(-3). Let b be -1 + 3/(p/28). Which is smaller: b or -6?
-6
Let y = -18 + -54. Let h = -71.9 - y. Which is smaller: -83 or h?
-83
Let s be ((-3 + 0)*-17)/7. Is s != 7?
True
Let t be (-173065)/(-15)*6/230. Let x = t - 301. Are 0 and x equal?
False
Suppose 5*d - 4*d = w - 5, 5*w - 15 = 0. Let l = -1 + 1. Are d and l non-equal?
True
Let g(h) = h**3 + 4*h**2 - 14*h + 13. Suppose 4*d - 4 = -o - o, -3*o = 4*d + 2. Let q be g(o). Is q equal to 25?
True
Let q be 4*(21/28 - -1) - 795. Which is bigger: q or -787?
-787
Let m(i) = 10*i + 6. Let g be m(-2). Let s = -108 - g. Is s < -94?
False
Let o be (-10)/(-8)*5*(-1330)/(-375). Which is smaller: 21 or o?
21
Suppose -5*p - 174 + 39 = 0. Do p and -26 have different values?
True
Let w be ((-3)/3 - 2) + -1. Let o be 3 - (14 - -3) - (-2)/w. Is o greater than -14?
False
Let b = 20 + 16. Let r = b + -35. Which is smaller: -1 or r?
-1
Let r = -453 + 682. Is 229 > r?
False
Let f be 1/15*(-4 + 3). Let m = 1 + 8. Let n = m - 8. Which is smaller: n or f?
f
Let q(c) = 5*c + 87. Let g be q(-17). Is 26/19 > g?
False
Let s = -505 - -485. Does s = -20?
True
Suppose r + 3*r + 4*o = 44, 4*r + 2*o = 38. Suppose -4 = -4*k + 12. Suppose k*h + r = -20. Is h greater than -9?
True
Let d be 45 - 32 - 1*-5. Is 202/11 at least d?
True
Suppose -4*j - 9*a + 13*a + 36 = 0, -3*a - 19 = -j. Do 186 and j have different values?
True
Let i = 3 + -9. Suppose -3*y + 7*y + 8 = 2*h, 0 = -4*y - 8*h - 48. Is y bigger than i?
True
Let p = -787 - -2402/3. Let z = 281/21 - p. Which is bigger: z or 4?
4
Let g = -978 - -970.14. Let c = 1.14 + -1. Let z = c - g. Are 1 and z unequal?
True
Let f = -233 - -206. Which is greater: -26 or f?
-26
Suppose 13*i - 117 - 117 = 0. Let g be (3/5)/1*5. Suppose -60 = -g*h + 3*r, -4*h = -0*r - 5*r - 83. Do i and h have different values?
True
Let n be 1913/(-858) + 2 - (-10)/65. Which is smaller: n or 0?
n
Let l = 10.0391 - -1.0219. Let w = l + -11. Are -2/5 and w unequal?
True
Let f = 82 - -11. Let u = 83.8 - f. Let b = -0.2 - u. Is b bigger than 0.2?
True
Let p(i) = 7*i**2 - 3*i - 16. Let b(d) = -d**2 + d + 1. Let l(v) = -6*b(v) - p(v). Let f be l(-5). Let k be 8/(-2) + f + 4. Which is smaller: k or -6/5?
-6/5
Let d(o) = 2*o - 12. Let j be d(3). Let l be -39*(3 - (-3 - 38/j)). Is 15 at most l?
False
Suppose -58*k + 20*k = 1368. Let h = -89 + 55. Let b = k - h. Which is smaller: b or 0?
b
Let o = -15 - -15. Suppose a - 4 = -5*x, 4*a - 33 = -o*a - 3*x. Which is greater: 11 or a?
11
Let k be ((-154)/(-33))/((-12)/9 - -2). Suppose k*s = 11*s + 8. Which is bigger: s or -25/8?
s
Let r be (-11 + 124/12)/(4808/(-6)). Do r and 0 have the same value?
False
Let j be (-2)/2 + (5 - -5). Suppose -9*x + 9 = j. Is x smaller than 6/5?
True
Let h = -2.5 + 16.5. Let i be ((-1)/(-1))/(3/(-15)). Let w be (-3)/2 - i/4. Is w bigger than h?
False
Suppose -280 = 6*d - 10*d. Let v be (-2)/2 - (-90)/d. Is 0 > v?
False
Suppose 8 = -3*a + 2*a. Let x be -2*(4/a - -1). Is -4/23 at most x?
False
Let w be ((-3)/(-10))/(24/1488). Is w >= 20?
False
Let i be (-4)/(-4)*57 + -2. Suppose 0 = 3*t - 5*b - 0*b - 188, 5*b - 148 = -3*t. Which is greater: i or t?
t
Let z be (0 - (-6 + 2))/(2/30). Let n = -99 + z. Is n >= -39?
True
Let q = -7883/5 - -1577. Which is bigger: q or -315?
q
Suppose -10*l - 4*l = 3920. Which is smaller: -278 or l?
l
Let d be 1/(-2) - (-1)/6. Let a(p) = -2*p**2 + 18*p - 9. Let s be a(6). Suppose 29*t = s*t. Which is smaller: d or t?
d
Let j(o) = 6*o + 17. Let q be j(2). Which is smaller: 30 or q?
q
Let z = 46 - 38. Let d be (6 - z)/(-1*2). Is 2/25 less than or equal to d?
True
Let k = -0.1 - -0.2. Let v = -11 - -15. Let j be -1*1*v/8. Is j at least k?
False
Let p = -22 + 16. Let h be p/5*6/9. Let n = 10 + -9. Is h at most n?
True
Let g be (-96)/(-12) - (0 - 0). Let t(v) = -4*v - g*v + 13*v**2 - 3*v**2 - 13 - 11*v**2. Let w be t(-11). Which is bigger: 2 or w?
2
Let k be (22/21)/(1/(-18)) - 2. Which is smaller: k or 2/5?
k
Let v = -52.002 - -0.002. Is 2 greater than v?
True
Let q = 16 - 0. Suppose 3*p = -2*l - 3*l + 30, -3*l + 5*p = q. Suppose 123 = 4*o + l*s, 103 = -2*o + 6*o - s. Is 27 greater than or equal to o?
True
Let u = -151/390 + 7/130. Which is greater: u or 646?
646
Let w be ((-155)/62)/(2/(-8)*2). Is 8 less than or equal to w?
False
Let w = -0.11 + 0.11. Let f = -0.01 + w. Let r = -0.21 - f. Which is smaller: r or -3?
-3
Suppose 209*s - 184*s - 25 = 0. Let u be ((-1)/(-48))/((-2)/(-4)). Which is greater: s or u?
s
Suppose h = 2, 3 = -6*g + g + 4*h. Suppose b - g = 4. Suppose -4*n - n - 3*u = 58, 0 = -b*n + 4*u - 86. Is n > -14?
False
Let f = -1 - -3. Let u(p) = p**3 + 3*p**2 - p - 3. Let b be u(-2). Which is smaller: f or b?
f
Let h = -1162/255 - 644/85. Are -12 and h nonequal?
True
Let f = -366 - -365. Which is smaller: 2/117 or f?
f
Let o = 537 - 542. Which is smaller: -67/15 or o?
o
Let h = 858 - 79. Is h at most 0?
False
Let i(m) = 3*m + 14*m**2 + m**3 - 6*m**2 - 7 + 3*m. Let j be i(-7). Suppose -5*t + 9*a - 21 - 15 = 0, t = -3*a + 12. Is j > t?
False
Suppose 3 + 2 = -x, -a - 5*x - 31 = 0. Let c(j) = -j - 5. Let z be c(a). Which is greater: -10/11 or z?
z
Let t be (2 - -4) + -2 + -1. Suppose -p - t*p = 5*a + 16, 16 = -4*p + 3*a. Let r(g) = -g**2 - 5*g + 1. Let x be r(-6). Do x and p have different values?
True
Let z = -29.49 + 0.49. Let i = z - -19. Let c = i - -11. Which is greater: 0 or c?
c
Suppose 13*f = 9*f + 16520. Let j be 3/(-4) + f/6104. Let v = j - 223/1417. Is v < 1?
True
Let f be 207/45 - 4/(-10). Suppose 0*n - f*n - 15 = 0. Let p be (n/4)/((-45)/40). Is 2 smaller than p?
False
Let i = 4 + 2. Let r = -113 - -120. Let h = i - r. Are 0.1 and h non-equal?
True
Let h(q) = -8 - q**2 + 18 + 10*q - 32. Let a be h(8). Is a greater than or equal to -14/3?
False
Let h = -406 + 405. Which is greater: h or -10/17?
-10/17
Suppose 3*q + 10*q - 572 = 0. Suppose 2 = j + q. Which is greater: -43 or j?
j
Suppose w + 31 = -5*u, 3*w + 4*u = -2*w - 218. Is w >= -44?
False
Suppose 0 = 44*k + 582