e (1 - -1)*-1 + 1. Is b less than u?
False
Let w(t) = -t**3 - 5*t**2 - t - 3. Let u be w(-5). Let n be -1*3/u*-2. Let r be n/4 - (-82)/(-88). Which is bigger: 0 or r?
0
Let c = 262.98 + -266. Let u = 3 + c. Is u greater than -1?
True
Suppose -4*z = 5*t + 7, -z + t = 2*z + 10. Let p = 7/2 + z. Let d = -0.3 + 0.1. Is p <= d?
False
Suppose -4*t - 3*o = 11, -2*t + 4*o = -4*t - 18. Are 1/3 and t unequal?
True
Let g be (4 - 1)/3 - 1. Suppose -3*h = b + b + 1, g = -2*h + 5*b - 7. Suppose 0*w = 4*w. Which is smaller: h or w?
h
Suppose -3*n - 5 = 4. Let y be (-78)/(-4)*2/n. Is y less than or equal to -13?
True
Suppose 0*z + z = 4*q - 18, 0 = z + 2*q + 18. Let u be 12/42 + z/14. Which is bigger: 3/19 or u?
3/19
Let x be 1/1 + 1300/(-42). Let p = x + 89/3. Let y be 3 - (0 + 0 + 1). Is y > p?
True
Let s = -359/19 + 19. Let a(r) = -r + 3. Let u be a(0). Suppose u*n + 3*y = -12, -2*y - 30 = -5*n + 3*y. Is n at least as big as s?
True
Suppose 0*f - 5 = -f. Suppose 0 = f*l - 5 - 0. Let y = 1907/22 + -173/2. Is y < l?
True
Let i be ((-2)/(-10)*-11)/2 - -1. Which is bigger: -1 or i?
i
Suppose -27*r + 31*r = -12. Which is smaller: r or -23/10?
r
Let a = 15/2 + -7. Let j = 754.3 + -754. Is a > j?
True
Suppose -4*k - 34 = -5*s, 0*k - 30 = -5*s + 5*k. Let j be (-1)/s*-4 + 0. Which is smaller: j or 0?
0
Suppose -4*j - 1 = -5. Which is smaller: j or 0.7?
0.7
Let p = 0.054 + -0.154. Is p at most as big as -24/7?
False
Let k be (2/8 + 1)*20. Let g be 4 + -2 - (1 + -2). Suppose -k = g*j + 5*h, -2*j - 5*h - 25 = -0. Is j > -1?
True
Let m = -79/6 + 910/69. Are m and 0 nonequal?
True
Let r be (-1 - (-111)/96)*-4. Is -1 less than r?
True
Let d(k) = k - 1. Let t(x) = x**3 + x**2 + 7*x - 14. Let j(a) = -6*d(a) + t(a). Let v be j(0). Let r be (-34)/v + 4/(-16). Which is bigger: r or 2?
r
Let d = -0.446 + 0.42. Is d less than or equal to -0.1?
False
Suppose -i = -n - 50 - 41, 5*i - 363 = 4*n. Let o = n + 457/5. Let k = -2.06 + 0.06. Is o >= k?
True
Suppose 2*c + 0 = -2. Let y = -11 - -40. Let n = y - 28. Are c and n equal?
False
Let n = -56 + 45. Is -8 != n?
True
Let f be (-4)/(2 + 2)*5. Let d be (-4)/(-10) + 2/f. Is d != 0?
False
Let v = 3/55 - -19/55. Suppose 4*n = -0*n. Which is smaller: n or v?
n
Let r = -11 + 12. Is r <= 1/11?
False
Let m be 92/16 - (-2)/(24/3). Does m = 3?
False
Let z = 0.6 + 1.4. Suppose -2*c + 2 - 2 = 0. Which is smaller: z or c?
c
Let j(v) = 2*v - 12. Let z be j(8). Let u = z + -7. Let y be 1 + (-2 - 7/u). Which is smaller: y or 0?
0
Let a be 39/(-13) + (-10)/(-6). Is -2 bigger than a?
False
Let i(r) = r**3 - 3*r + 2. Let a be i(2). Suppose 17 = w - a*c, -3*w - 2*c - 2*c - 13 = 0. Which is smaller: 2 or w?
w
Suppose -14 = -g - 4*d, 9 = 2*d + 3. Let t = -3 - g. Is t less than -5?
False
Let d(l) = 0 + 0*l + 1 + l - 5. Let r be d(5). Suppose g - 2*g + r = 0. Is g equal to 2?
False
Suppose -j - 4*h - 3 - 14 = 0, j - h = -7. Which is bigger: -11 or j?
j
Let c = 13 - 4. Which is bigger: 5 or c?
c
Let m = -4.97 + 5. Let h = m - 3.03. Let x = -2 - h. Is x less than 3?
True
Let f = -672/1655 + 2/331. Let z = 5 - 3. Which is smaller: z or f?
f
Let f = -19/3 + 79/12. Let h = 316/1057 - 2/151. Is f less than or equal to h?
True
Let x = -0.6 - -0.6. Let j = 0 + x. Which is smaller: -1/2 or j?
-1/2
Suppose 2*n = -n - 3. Let f = n + 0. Do f and 1 have the same value?
False
Let x = -0.1 + 0. Suppose 2 = a - 0. Let v = a + -3. Which is smaller: x or v?
v
Let j be -2*3/6*1 - 0. Is j at most 4/11?
True
Let j = 67/40 + -21/20. Let h = j - 1/8. Is 6 > h?
True
Suppose -z = -5*a + 2, -a - 2*z = -4*z - 4. Which is bigger: a or -1/77?
a
Let c be (-17)/(-102) + 1/(6/5). Is -5/13 bigger than c?
False
Let u(i) = -146*i. Let j = 6 - 7. Let s be u(j). Let z = 1608/11 - s. Is z <= -1?
False
Let o be 5*(3 + (-13)/5). Let u = o + 1. Is 3 equal to u?
True
Suppose 2*j - 31 = 3*u, -u - 2*j = -5*j + 15. Which is greater: -8 or u?
-8
Let v = -1.2 + 0.8. Which is bigger: v or 3/2?
3/2
Let m be -2 + 2 + 4/(-10). Suppose -3*z + 3*q + 0*q - 3 = 0, 2*q = -3*z + 2. Which is smaller: m or z?
m
Suppose 2*u = 4*u + 14. Let s be (-2)/u + 22/(-77). Is -1/5 at most s?
True
Let m = 31 - 19.1. Let f = m - 12. Which is greater: -1/7 or f?
f
Let j = -2113/148 + 57/4. Is -1 smaller than j?
True
Suppose -11 = 4*l - 3. Let b be (0 + -1)/(l/2). Do b and 1/2 have the same value?
False
Let n = -12.59 + 13.6. Let u = n + -0.01. Is 7 smaller than u?
False
Let x = -0.2 - -0.2. Suppose 3*y - 4 = y. Is y greater than or equal to x?
True
Let x = 14 + -11. Suppose 0 = 2*q - 0*q - s + 6, -5*s = q - 19. Which is smaller: x or q?
q
Let k(p) be the third derivative of -1/60*p**5 + 0*p + 0 - p**2 - 5/24*p**4 + 4/3*p**3. Let g be k(-6). Is 0 > g?
False
Let b be 7/((1 + 1)/2). Let g = -8 + b. Let r = -3 + 0. Is g >= r?
True
Let b = -4.3 + 6. Let o = -2.5 + 3.2. Let a = b - o. Which is smaller: 2/7 or a?
2/7
Let x = -0.5 - -0.2. Is -1/3 not equal to x?
True
Let b(f) = -f**2 - 5*f - 3. Let q be b(-3). Let o = 1 + 2. Is o <= q?
True
Let o = 18.3 + -19. Let q = -0.82 - 0.08. Let f = o - q. Are -1 and f equal?
False
Let a = 17 - 16. Which is smaller: a or -1?
-1
Suppose 0 = -3*y + t - 34, 2*t - 3*t = -y - 12. Suppose 2*n = -2*r + 6, 11 = -5*n + 3*r - 6. Which is greater: y or n?
n
Let y = 17/24 - -1/24. Suppose -h - 6 = -2*g, 3*g = 1 + 11. Which is smaller: h or y?
y
Suppose -t = -4*t - 72. Let i = t - -24. Which is smaller: i or -2/65?
-2/65
Let a be (-1)/5 + 3/(15/1). Is -1/132 <= a?
True
Let h(a) be the second derivative of a**5/20 + a**4/2 - a**3/6 - 4*a**2 - a. Let n be h(-6). Let z = 3 + n. Is 2/5 at least z?
False
Let m = 19 + -34. Let h be (2/(-9))/(5/m). Which is smaller: h or 6/11?
6/11
Let j be 2/(-6) - (-1)/3. Suppose j = 8*v - 5*v. Do 1 and v have the same value?
False
Suppose 0 = d + 2*d. Let j be 1 + (-10)/4*-2. Let h be j/22*(-6)/(-9). Is h at least as big as d?
True
Suppose -q - 4*q = 45. Which is smaller: q or -8?
q
Let n = -0.1 - 0.2. Let o = -108 - -221/2. Is n > o?
False
Let p be 9/12 + 212/16. Which is greater: p or 12?
p
Let l be 3 - (10/5 + (-1)/(-6)). Suppose -3*h - 3 = -9. Which is smaller: h or l?
l
Let p = -111 + 113. Is -3/2 at most p?
True
Let a = 12 + -11.3. Let m = 0.3 + a. Which is smaller: -3 or m?
-3
Let t = 1 + -1. Is -0.9 at least t?
False
Let r be -2*6*(-6)/8. Which is greater: r or 10?
10
Let p be 1*(-18 - 0/(-1)). Let o(x) = -x**2 - x + 2. Let l be o(-3). Let t be 160/396 - l/p. Does t = -1?
False
Let b(p) = p**3 + 8*p**2 - 10*p + 9. Let u be b(-9). Let x be (-12)/(-297) + (-4)/u. Is 1 <= x?
False
Let f = 0.4734 - 0.576. Let z = 5.2326 + f. Let y = z - 0.13. Is 1 > y?
False
Let x(a) = a**3 + a**2 - a + 2. Let y(f) = 2*f - 16. Let o(h) = -h + 8. Let k(t) = -9*o(t) - 4*y(t). Let u be k(8). Let b be x(u). Which is bigger: b or 3/5?
b
Suppose 4*p = 2*p - 4*u - 32, p - 14 = 4*u. Let i = p + 8. Suppose -c + 0 = -1. Is i smaller than c?
False
Suppose -l + 5 = 5*n, 0*n = l - 4*n + 4. Let q be -2 - (l + 28/(-12)). Is q less than 0.07?
False
Let c = 20 + -19. Which is greater: 4/3 or c?
4/3
Let v = -6 - -10. Let a = 9 + v. Is 13 at least as big as a?
True
Let z be ((-4)/3 - -2)*15. Let l be -1 + z/2 + -1. Let a = 77 + -73. Which is greater: l or a?
a
Let d = -101 - -507/5. Which is smaller: 19 or d?
d
Suppose 8 - 38 = 2*a. Which is smaller: -73/5 or a?
a
Suppose -4 = 4*s + 2*x + 2*x, -4 = 4*s - 2*x. Which is smaller: s or -1/16?
s
Let v(a) = 0 + 4*a**3 - 7*a**2 - 3*a**3 + 6*a - 2. Let d be v(6). Let w be 4/3*21/(-14). Is d bigger than w?
False
Let t = 3 - -2. Suppose 3*k + t*h + 26 = 2*k, -10 = 2*h. Is 2 greater than or equal to k?
True
Let u(c) = c**3 + 6*c**2 + c - 2. Let r be u(-4). Let f be r/7 + (-6)/(-21). Let m = -6 + f. Which is smaller: m or -1?
m
Let p = 12.177 + -0.177. Do 1 and p have different values?
True
Let d = -0.6 + -4.4. Let s be 1/(-2)*(-52)/(-13). Is s not equal to d?
True
Let t be (4/3)/(1/(-6)). Let s be 12/t*8/(-3). Suppose 0 = s*z - 3*z + 2. Is -1 equal to z?
False
Let n(b) = 2*b - 36. Let g be n(15). Do -7 and g have the same value?
False
Let d = 144.015 + -144. Which is greater: 0.2 or d?
0.2
Let r be (-2)/14*-1*-3. Which is greater: r or -1?
r
Let q(j) = 5*j - 2*j + 4 - 3*j + 2*j. Let k be q(-6). Let y(w) = w + 6. Let o be y(k). Is -1 less than o?
False
Suppose 5*j + 