?
False
Let w = -28 - -56. Let n = 22 - w. Which is smaller: -0.1 or n?
n
Let t(z) = -z**3 - 2*z - 1. Let h be t(-1). Let o be -1 - 2*(-7)/h. Is 4 < o?
True
Let g be 736/90 + (-12)/20. Let q = g + -39/5. Are 4 and q non-equal?
True
Let o(z) = -14*z - 1. Let p be o(-3). Let i = -124/3 + p. Let u = -3 + 3.2. Which is bigger: i or u?
u
Suppose 5*d + 11 = 5*c - 4*c, 3*d + 5 = -c. Suppose 0 = s + c + 4. Do -1 and s have different values?
True
Let j be ((-4)/40*-5)/(3/(-6)). Which is greater: j or 1/49?
1/49
Suppose -f = 8 - 3, -2*r - 5*f - 23 = 0. Suppose 4*u = 3*u. Let n be (u + 1)*2/4. Is r <= n?
False
Let p be 3/12 - 99/(-4). Suppose 0 = -a + 4*q - p, 3*q = 6*a - 3*a + 30. Let h = 191 - 195. Which is smaller: h or a?
a
Let g(u) = -u**2 + u + 2. Let y be g(-2). Let l(a) = -a**2 - 3*a + 4. Let b be l(y). Is -7/2 less than b?
True
Suppose 2*w + 2*w - 5*k = 29, 0 = w + 4*k + 19. Let a be (-105)/(-39) + w + -4. Let r = a + -5/26. Which is greater: r or -2?
r
Let h be 26 - -3*(-1)/3. Suppose 0*v - 3*v = -4*k - 20, 5*k + 5*v = -h. Is k greater than -5?
False
Let y = -26 + 26. Which is bigger: 1 or y?
1
Suppose 0 = -2*d - 3*d. Which is smaller: d or -2?
-2
Let i be (2/(-20))/((-6)/525). Which is bigger: i or 9?
9
Let s(d) = -d + 4. Let t be s(4). Let c = -4 + 5. Let k = c - 0. Which is greater: t or k?
k
Let n(v) = -v**2 + 3. Let b be n(0). Let q(d) = d**2 - 4*d + 1. Let k be q(b). Let j = 1.8 + 0.2. Which is smaller: j or k?
k
Let x = -10061/3 + 3382. Let i = x - 28. Which is greater: i or -2?
i
Let z be (-8020 + 0)*(-6)/285. Let p = z - 8054/133. Let v = p + -108. Which is smaller: v or -1?
-1
Suppose m + 14 = -m. Suppose 16 = -3*w + h, -14 - 6 = 5*w - 5*h. Which is smaller: w or m?
m
Let c be ((-24)/(-540))/((-1)/(-20)). Which is greater: -1 or c?
c
Let b(a) = a**2 + 5*a - 4. Let m be b(-6). Let j be 2/24*338/43. Let d = j - -1/86. Is d less than or equal to m?
True
Let k = -3 - -2.8. Let p = k - 0.8. Let h = 9/2 + -3. Which is smaller: p or h?
p
Let d(o) = 13*o - 1. Let y(b) = -b - 9. Let j be y(-8). Let i be d(j). Which is smaller: i or -15?
-15
Suppose y - 6 = -0*y. Let f = -10 + y. Which is greater: -6 or f?
f
Let o(y) = -4*y**2 + y. Let j(x) = x**2 - 9*x - 9. Let p be j(10). Let d be o(p). Is d != -3?
False
Suppose 3*l - 15 = -5*m, 4*m - 6*l = -l + 12. Suppose 0 = m*v - 2 + 5. Is 1/12 > v?
True
Suppose 4*c = 3*f - 76, f = -3*f + 4*c + 108. Which is smaller: f or 31?
31
Suppose 4 = -0*y - 2*y. Let d = 17 + -20. Let s be 2/(22/(-6) - d). Which is greater: y or s?
y
Let h be 1 + 1 + (-340)/175. Which is smaller: h or 1?
h
Let o = -9 - -5. Which is smaller: -3 or o?
o
Let g = 0.04 + -1.04. Let z = g - -3. Let d = z - 2.02. Is 0 at most as big as d?
False
Suppose -5*l = 9 + 1. Let u = l - -2. Which is smaller: u or 1/3?
u
Let d = -27 - -35. Is 5 != d?
True
Let y be (-3)/3*(-15)/(-3). Let h = -3 - y. Let f be (-1*h)/(-8 + 6). Do f and 1/5 have different values?
True
Let k = -0.11 - -5.11. Let j = 3 - k. Is -0.3 greater than or equal to j?
True
Suppose 5*c - 61 = 149. Suppose -3*v + c + 12 = 0. Let m be (-32)/v - 8/36. Which is smaller: -3 or m?
-3
Let a(u) = 5 - 4*u + 6*u + 0 + 1. Let k be a(-4). Which is smaller: k or -3/4?
k
Suppose 0 = y + 1, r = -r + 4*y + 14. Is 5 < r?
False
Let q = 1.6 - 2.5. Suppose -259*s + 4 = -255*s. Do s and q have the same value?
False
Let d be (-1)/(-5) + 6/(-30). Let l(u) be the first derivative of u**3/3 + 3*u**2/2 + u - 1. Let s be l(-2). Which is smaller: s or d?
s
Let m = -0.1 + 1.1. Which is smaller: m or 2?
m
Let x be 38/10 + (1 - 0). Which is smaller: 5 or x?
x
Let j = 5 - 4.9. Is -6 less than or equal to j?
True
Suppose -23*a = -24*a + 73. Is a at most as big as 71?
False
Suppose -4*r = -0*r - 5*x + 7, 0 = -r - 3*x - 6. Which is bigger: r or -5/2?
-5/2
Let f = -0.01 - 1.99. Let n = -1 + 0. Let u = n + 0. Is u at least f?
True
Let x = -11.97 - 0.03. Let r = -13 - x. Are 15 and r non-equal?
True
Let m be 1/(-3 + (-26)/(-8)). Suppose 0*h - 9 = -5*t + 4*h, -m*t + 3*h + 7 = 0. Let s = 73/50 - -1/25. Does t = s?
False
Let b(m) = 10 - 5 - 6 + m. Let j be b(1). Which is bigger: 2/3 or j?
2/3
Suppose l + 4*o - 2*o - 1 = 0, -4*l - 9 = -5*o. Let z = -19 - -152. Let u = z + -933/7. Do u and l have the same value?
False
Let v(q) be the first derivative of -q**4/4 + 4*q**3/3 + 5*q**2/2 - q + 1. Let o be v(5). Let g = 23/5 + -5. Which is greater: g or o?
g
Let u = -53/6 - -19/2. Which is greater: u or 0?
u
Let a = -2 + 2. Let n = -20 - -10. Let q = n + 7. Which is smaller: q or a?
q
Let o(k) = -k + 14. Let d be o(12). Suppose 0 = -2*q + 3*q - 3. Suppose -q*s = -4*v + 28, d*v = -0*s + 3*s + 20. Is v >= 4?
True
Suppose 4*n - 18 = 2*j, -4*j - 5*n = -j - 28. Suppose 4 - 2 = 2*h. Is h at least as big as j?
True
Let w(y) = -y**2 + 5*y + 1. Suppose -5*g + 26 + 4 = 0. Let d = -1 + g. Let k be w(d). Which is smaller: k or 2/3?
2/3
Let k(i) = -i**3 - 7*i**2 - 11*i - 29. Let z be k(-6). Suppose 5 + 4 = 3*s. Is z equal to s?
False
Suppose -6*c + 85 + 5 = 0. Is c greater than 15?
False
Let y = 84 + -76. Let i(s) = -s**3 + 5*s**2 - 3*s + 2. Let c be i(4). Is c less than y?
True
Let f = 0.437 - 0.037. Is f at most as big as -5?
False
Let d be (-133)/49 - 6/(-2). Do d and -2/7 have different values?
True
Let n be ((-3)/(-8))/((-216)/(-96)). Let w(o) be the third derivative of o**4/24 + o**3/2 + 2*o**2. Let b be w(-4). Is n at most as big as b?
False
Let q = -236190/6461 - -2402/71. Let w = -18/7 - q. Which is smaller: w or 1?
w
Let x = -1 - -0.8. Let v = -0.07 + -1.93. Let y = v + 4. Is y != x?
True
Let p be 5 + -1 + (1 - 6). Which is smaller: p or 2/117?
p
Let c = -4 - -12. Which is smaller: 6 or c?
6
Let k(d) = d**3 + d - 20. Let l be k(0). Let a be ((-2)/(-25))/((-4)/l). Let o = 1.4 + 0.6. Which is smaller: a or o?
a
Suppose -1 = 4*g - 21. Suppose -17 = -x + g*k, k = 2*x + 3*x - 37. Let l(f) = f**2 - 6*f - 4. Let t be l(x). Which is bigger: 2 or t?
t
Let m be 3/6*-1*0. Is m <= -2/7?
False
Let l be 80/4*8/10. Let q = 11 - l. Let d = -5 - q. Which is smaller: d or -2/13?
-2/13
Let j = -45 - -52. Is j less than 5?
False
Let m be 4/2 + -1 + 2. Suppose -4*z + m*z = -4. Suppose z*r = -4*c + 4, -c = 2*c - 3. Are 1/4 and r non-equal?
True
Let a = -689/1165 + -2/233. Which is smaller: a or -1?
-1
Suppose -3*f = f. Let b(d) = -4*d - 6. Let i(u) = -7*u - 11. Let c(g) = 5*b(g) - 3*i(g). Let m be c(f). Which is smaller: 2 or m?
2
Let h = -22 - -21.9. Which is greater: -1 or h?
h
Let c be ((-4)/(-10))/((-9)/(-675)). Suppose 22 = -5*k + u, 5*k - 4*u + c = u. Let d be -1*2/2*3. Is k greater than or equal to d?
False
Suppose -3*v = 5*a + v - 24, 0 = 4*v - 4. Suppose -2*l + a = -0*l. Is 2 bigger than l?
False
Suppose -5*p - 23 = 4*q - 7, -2*q - 3*p = 10. Is 2/37 < q?
True
Let h be 39/(-12) + (-1)/(-4). Let i be -2 - (h - -2 - 7). Let t be (0 + (-2)/4)*-2. Which is bigger: t or i?
i
Let r = 17 - 35/2. Let o be (15/10)/(-2*1). Let a = o - r. Which is bigger: a or -2?
a
Let m be (-2 - 13)*1/(-3). Suppose -5 = -m*g + 5. Suppose -j - z - g = j, z + 2 = -j. Which is smaller: j or -1/6?
-1/6
Let f be 1329/(-2808) + 4/9. Which is smaller: f or 1?
f
Let q be 133/(-14) - 3/2. Let m be (q/(-44))/(26/8). Let u(d) = d**2 - 3*d. Let i be u(3). Which is bigger: i or m?
m
Let x = 17/7 + -78/35. Suppose -1 = -5*z + 14. Suppose 4*h - 2*u = -12, 3*h + z - 16 = -4*u. Is h less than or equal to x?
True
Let a(o) = -11*o - 11. Let h be a(-7). Let y be (-6)/(-33) - 606/h. Is y not equal to -9?
False
Suppose 0 = -2*x + 4*r - 6, 0 = 4*x - 2*r - 2*r + 8. Is x at least -3?
True
Let q be 1 - (-1 + 2) - (-32)/6. Which is smaller: 6 or q?
q
Let p be (-13)/(-26) - 1/2. Which is smaller: 2 or p?
p
Let c be (-245)/(-12) - (-2)/8. Let q = -20 + c. Which is bigger: 2 or q?
2
Let p = -185.3 + 185. Is p smaller than 1.1?
True
Let m = -33 - -30. Let n(r) = r + 4. Let j be n(-6). Which is greater: m or j?
j
Suppose -5*j - 26 = 2*f, -2*f - 8 = -4*j + 18. Do -13 and f have the same value?
True
Suppose 4*j + 5*h + 3 = 0, 5*j + 3*h - 12 = 2*h. Suppose c - 13 = -f + 4*c, -j*f - c - 1 = 0. Let z = -42 - -44. Which is bigger: f or z?
z
Let l be (-37)/207 - (40/(-18) + 2). Is 0 <= l?
True
Suppose 2*w + 17 = -5*u - w, -5*w = -2*u + 18. Let x(p) = 4*p**2 - p - 1. Let v be x(u). Suppose 1 = g + 2*i, -i 