 8 + -12 + 0 + (-432)/28. Is -20 smaller than b?
True
Let r(x) = -x**2 - 15*x - 10. Let a be r(-14). Suppose -a*l - 12 = 2*l. Which is greater: -11/4 or l?
l
Suppose 0 = -5*t - 4*f - 380, -t - 2*t - 228 = 2*f. Is -76 greater than or equal to t?
True
Let q = -46 + 28. Let z be 54/q*(-8)/54. Let r = z + -23/45. Is r bigger than 0?
False
Let v(z) = -z**3 - z + 12. Let h(t) = -2*t**3 - 2*t + 12. Let q(s) = -2*h(s) + 3*v(s). Let x be q(0). Which is bigger: x or 0?
x
Let g(p) = -237*p + 23. Let h be g(1). Are h and -214 unequal?
False
Let m be 6/9 + 5091/(-9). Do m and -564 have different values?
True
Let j be 20/2 + (-18)/6. Let u(m) = m - 1. Let z be u(j). Let y be z/(-4)*(-2)/5. Is y < 1?
True
Let u(v) = -v**2 + 7*v - 1. Let f be u(6). Suppose 10 = f*q + 15. Is q >= -2/121?
False
Suppose 47 - 17 = -2*z. Let r(t) = t**2 + 5*t + 5. Let p be r(-4). Let g be p/(-6)*(-5)/z. Is g < -1?
False
Let l = -1213.047 - -1213. Which is bigger: l or -6?
l
Suppose 0 = -5*t + 15, 0 = 3*u - 4*t + 5 + 7. Suppose d + 5 = g - 0*g, -5*g - 3*d = -17. Let j be (2 - g)*5/(-10). Do u and j have the same value?
False
Let j = 25 + -40. Which is smaller: -0.3 or j?
j
Suppose -5*j + 1 = -6*j. Suppose 4*z - 25 - 11 = 0. Let c be 6/(-4)*12/z. Which is smaller: c or j?
c
Let w = -5 - -16. Suppose -2*a - v - 2*v = -25, 5*a - 4*v = 28. Let b = w - a. Is b at least 5?
False
Let m = 29860/11193 - 4/3731. Let p be (-2)/4 + (-3)/2. Which is smaller: p or m?
p
Suppose -5*c - 5*p + 2*p = 24, 4*c + 3*p + 18 = 0. Let a be c/(-4) - (-79)/2. Is 0 >= a?
False
Let h = -1.1 + -3. Let u = -2.8 - h. Let o = 3.3 - u. Is o < -15?
False
Let k(c) = 2*c**2 + 28*c - 46. Let j be k(-15). Is -25 at most j?
True
Let a = -420 - -647. Are 226 and a nonequal?
True
Let y = -0.16 + 0.06. Let v = 3.99 - 4. Let j = -0.19 + v. Which is greater: j or y?
y
Let i(c) = 7*c**2 + 8*c + 14. Let m(p) = -13*p**2 - 16*p - 27. Let n(l) = 11*i(l) + 6*m(l). Let o be n(-7). Which is smaller: -1/3 or o?
o
Let z(q) = -q**3 + 9*q**2 + 1. Let x be z(9). Suppose 4*s - 1 = y + 2, -2*y + 5*s = 0. Let l be (2/y)/((-8)/5). Is l < x?
True
Suppose -11*h = -7*h - 316. Let x = h - 79. Which is bigger: -0.6 or x?
x
Let v(l) = l + 3. Let y be v(0). Let j be 0 - 3 - (-28 + y). Let x be (-4)/99 + j/(-121). Is 1 greater than x?
True
Let y be (-15)/(-10)*102/9. Let w = y - 19. Which is bigger: w or -10/11?
-10/11
Suppose -5*w - 3*w + 24 = 0. Suppose -w = 2*x - 7. Does x = -17?
False
Let w = -214585/113 - -1899. Suppose -42*y = -402 + 444. Is w smaller than y?
False
Suppose 3*n + 2*l = -45 - 117, 3*n + 3*l = -165. Are -54 and n unequal?
True
Suppose q + 12 = 7*k - 5*k, 0 = 5*k - 10. Which is greater: q or -25?
q
Suppose t - 16 = -t. Suppose -3*m - 13 = r + t, 71 = -5*r + 2*m. Let i be (9/(-6))/(r/10). Which is bigger: i or 7/6?
7/6
Let q be 4/(-12) + 0 + (-184)/(-570). Is -1 equal to q?
False
Suppose 0*k + 3 = 3*k. Suppose 0 = 24*i - 29*i. Which is bigger: k or i?
k
Let o = -0.1059 - -0.6059. Which is bigger: 25 or o?
25
Let n = -395 - -450.8. Let o = n + -56. Which is greater: o or 0?
0
Let s be 2/((-8)/(-58))*(6 + -4). Suppose -9*z = -2 + s. Is z at least as big as 1?
False
Let l = -22 - -7. Let t = -17.1 - l. Let f = -2.1 - t. Which is smaller: f or 1/10?
f
Let u = -486.379 - -487. Let m = u - -0.009. Let j = 0.6 - m. Are 2 and j unequal?
True
Let c be 65/(-4) + (-14)/(-56). Let d(a) = a**2 + 14*a + 16. Let p be d(-11). Which is greater: c or p?
c
Let w be 53/204 + (-5)/20. Is 1 at most w?
False
Let z(b) = -12*b - 3. Let s be z(-2). Which is greater: 27 or s?
27
Let i be (-748)/272*8/(-72)*12/(-2). Suppose 4*n + 22 = -3*r + 2*r, 0 = -n - 5. Is r less than i?
True
Let g = -2002.8 + 2003. Is g > 40/67?
False
Suppose 0 = 4*j + 12, 7*j - 11 = 5*v + 9*j. Is 11/80 > v?
True
Suppose -4*z + 176 = -116. Suppose z - 85 = -3*u. Is u less than 2?
False
Suppose -7 = -4*j - 15. Let g be 10 - 3*(3 + j). Which is bigger: 5 or g?
g
Let j = 69.4 + 8.6. Let s = j - 78. Is s at least 1/35?
False
Suppose 40 = 6*g - 122. Is 2 > g?
False
Let f(q) = q**3 - q**2 + q + 18. Let p(r) = r**2 + 6*r + 5. Let n be p(-5). Let y be f(n). Which is bigger: y or 19?
19
Let f = -6/493 + 329/67541. Let y(g) = g. Let z be y(1). Do f and z have different values?
True
Let z = -2.46 + 2.46. Which is smaller: -1.7 or z?
-1.7
Let j = 1096/7 - 157. Which is greater: j or -28?
j
Let c(j) = 7*j + 20. Let f be c(-2). Is f bigger than -11?
True
Let r = -902.261 - 1.739. Which is bigger: r or -1/2?
-1/2
Let z = 728 - 839. Which is greater: z or -110?
-110
Let k = -0.55 + -39.45. Let d be 2/(-2 + -2 + 1). Which is smaller: k or d?
k
Let j be ((-10)/(-6) - 2)*-25. Which is smaller: 1/5 or j?
1/5
Let w = 53425/108 - 495. Let r = w + 2/27. Let k = 0.45 + -0.15. Which is bigger: k or r?
k
Let r(d) = d + 10. Let m be r(-5). Let x = 201/11 + -529/44. Is m greater than x?
False
Let d(u) be the first derivative of -u**4/4 + 7*u**3/3 + 9*u**2/2 - 11*u + 2. Let i be d(8). Let z be (2/i)/(9/(-27)). Which is bigger: z or 4?
4
Let f(j) = -3*j**2 + 8*j + 8. Let v be f(4). Let p be (-1 + (1 - -1))*(-14)/v. Which is bigger: 2 or p?
2
Let t be 108/4*(-2)/(-6). Let w = t - 9. Let q be 27/(-18)*(-4)/69. Is q smaller than w?
False
Let n be 55/(-154)*(-552)/20. Which is smaller: n or 1?
1
Let m(x) = 2*x**3 + 7*x**2 - 3*x + 2. Let f be m(-4). Let t = 0 - -4. Is f greater than t?
False
Let g be 33/(-27) - 2/(-9). Let b be ((-35)/(-20))/(g/4). Do -3 and b have the same value?
False
Let h be -12*(-3 - (-16)/6). Suppose 4*k - 13 = -k + z, 5*k = -2*z + 19. Let s be (-6)/k*14/(-8). Which is smaller: s or h?
s
Let p = -611 + 324. Is -287 > p?
False
Let d = -2.9 + 14.9. Let c = -12.17 + d. Let h = 1.27 + c. Which is smaller: -2 or h?
-2
Let q(l) = l + 9. Let i = -25 - -21. Let y = -11 - i. Let b be q(y). Do b and 2 have different values?
False
Suppose 3*s - 89 = 127. Suppose -3*q - z = 3*z + 52, 5*q = -3*z - s. Which is smaller: -13 or q?
-13
Let w = 25 - 33. Let m(v) = -v**3 - 7*v**2 + 7*v - 2. Let s be m(w). Suppose 0 = 5*d - 6*d + s. Which is smaller: d or 4?
4
Let r(m) = 22*m - 37*m + 3 + 16*m - 1. Let j be r(-6). Are j and -3 nonequal?
True
Suppose -3*j = 22 - 46. Suppose -13 - 7 = 2*t. Let f be (-2)/t - 176/(-20). Is f at least j?
True
Let h be 13/3 - (-6)/9. Suppose -5*m + 27 = 4*b, -3 = 3*m - 3*b - b. Suppose -k - m = -h. Which is smaller: 0 or k?
0
Suppose f = -2, -5*g - 3*f + 17 = f. Suppose 2*u + 6 - 2 = -2*l, 4*l + 8 = 2*u. Let t = l + g. Is t less than 3?
False
Let i = -1.0385 - -0.0385. Let s = 10 - 71/7. Which is bigger: s or i?
s
Let b = -111/70 - -67611/42770. Do b and 1 have different values?
True
Let i = -6507223 + 214719646/33. Let z(b) = 567*b. Let l be z(-1). Let r = l - i. Is r < -1?
False
Let z = -98.076 + 0.076. Let j = z + 104. Which is bigger: j or 0?
j
Let z be ((-308)/42)/((-10)/6 + 2). Let u = z - -98/5. Is -1 < u?
False
Suppose 4*u + 214 = b, -5*u + b = -7*u - 104. Suppose q = -32 - 22. Which is greater: u or q?
u
Let h = 18392/91 - 1432/7. Which is greater: -2 or h?
-2
Let d = -130.06 + 0.06. Let a = d + 146. Is a > -2?
True
Let i be 2 - (2 - (0 + 70)). Let g be 5/(-5) + 156 + 5. Let v be g/i + (-4)/14. Is -2/7 less than v?
True
Let n = -1443 + 1443. Is -58/5 less than n?
True
Let i be 16/434 + 8/28. Let f(l) = 10*l + 189. Let s be f(-19). Is s at most as big as i?
True
Let f be 5/(-7) + (-4)/14. Is f greater than -2/787?
False
Let a = -145/9 - -16. Let z = 1.5 + 0.1. Let x = z - -0.4. Is a > x?
False
Let r(v) = -3*v + 8. Let m(y) = 2*y**2 + 32*y + 3. Let c be m(-16). Let p be r(c). Which is smaller: p or -2?
-2
Suppose -2 + 2 = 64*w. Which is smaller: -3/146 or w?
-3/146
Let l = -0.4 + -0.5. Let c = l + 3.2. Do c and -0.1 have the same value?
False
Let q = -255 - -327. Is 72 >= q?
True
Let u be -10*(-23)/(-8) + (-3)/(-4). Is -24 less than u?
False
Let z(p) = p**2 - 4*p + 6. Let j = -11 + 15. Let m be z(j). Is 4 > m?
False
Let l = 11 + -9. Let r = 10 + -6. Suppose -4 = -3*c + o, -r*o + l*o + 19 = 3*c. Which is greater: c or 8/3?
c
Let s = 358 - 213. Let l be s/(-1480) + (-1)/(-8). Do l and 0 have different values?
True
Let j = 60999/68 + -897. Let b = 1 + -2. Is b at least as big as j?
False
Suppose 147 + 9 = -2*m. Let g be (-2 - 152/m)*3. Let i = -7 + 7. Is i != g?
True
Let t = -250269/