u?
False
Let c = -3656/16251 + -59098193674/1868865. Let h = c - -31623. Let t = h + 3/23. Is 1 equal to t?
False
Suppose -9 = 2*s + 1. Let o(q) = -3*q + 7 - 3 + 5*q. Let v be o(s). Which is greater: -7 or v?
v
Let f = -39 - -38. Which is greater: f or -0.12?
-0.12
Let p be (19/132)/((-3)/15). Let r = p + -1/33. Does r = -1?
False
Suppose -18 + 12 = 2*l. Which is smaller: l or -1/4?
l
Let i = 26.8 - 26. Let z = i + -2.8. Which is greater: 9 or z?
9
Let u be (8/16)/(26/(-8)). Let i(b) = b**2 + 5*b - 7. Let p be i(-6). Is u >= p?
True
Let g = 3184276/115 + -27689. Let l = 26 + -599/23. Let q = g - l. Is q at most 1?
True
Let a = -7 - -6.97. Let j = a - -0.06. Are j and 0 non-equal?
True
Let v = -174/35 - -39/7. Is v <= -27?
False
Let f = -1 - -1. Let g = f + -2. Let l = -3 - g. Which is greater: l or 1/2?
1/2
Let a be 2 + -23*((-212)/(-52) - 4). Which is smaller: -1 or a?
-1
Let r = 33 - 19. Let h = r - 8. Suppose 10 = f - h*f. Which is greater: f or -1?
-1
Suppose 6*p = 15*p. Is p equal to 2/125?
False
Let f = 8 + 2. Is f at most as big as 10?
True
Let d(k) = k**3 + 3. Let y be d(0). Suppose 5*w + y*v - 24 = w, -2*v - 1 = -3*w. Suppose 3*f - 2*g = w*g - 13, 0 = -4*f - 4*g + 4. Which is smaller: f or 0?
f
Let n(u) = -u**2 - 7*u + 11. Let f be n(-8). Suppose -6 = f*w - w. Which is smaller: w or -4?
-4
Suppose 6*d - 13 = 11. Is 3 smaller than d?
True
Let f be 2/(-3)*(-6)/(-4). Is f not equal to -1/7?
True
Let v = 11 - 6. Let o = 4.7 - v. Let f = -0.5 - o. Which is greater: f or -2?
f
Suppose 0 = k + 4*k - 15. Suppose -d + 3 = 0, 0 = 5*r - d - k + 1. Which is smaller: -2/11 or r?
-2/11
Let z(s) = -s**2 - 9*s + 1. Let y be z(-8). Suppose -2*a - 7 = -3*w, 0*a + 2*w - y = -3*a. Which is bigger: a or 5/3?
5/3
Suppose k = -2*k + 15. Suppose 0 = -k*t + 28 + 17. Which is smaller: 10 or t?
t
Let k = -3.78 - -0.48. Let s = -94 - -94.3. Let x = k + s. Which is greater: -0.2 or x?
-0.2
Suppose -3*j + 5*j + 28 = 0. Let l be 2/j*(1 + -7). Is 1 > l?
True
Let x be 3/6 - (-566)/(-612). Let u = x - -11/17. Let q = 2 + -2. Do q and u have the same value?
False
Let l be 1 - (-2)/(8/732). Let u = l - 2943/16. Which is smaller: u or 0?
0
Let u(j) = 0*j**2 - 4*j + 4*j**2 - 6 - 2*j**2. Let t be u(4). Is t < 9?
False
Let m = 0.3 + -0.4. Suppose 102 = 16*y + y. Is m equal to y?
False
Suppose 3*u - 5 + 8 = 0. Which is greater: u or -0.6?
-0.6
Suppose 4*k = -m + 4 + 4, k - 2 = m. Suppose -4*s = -g - 2*g + 17, k*g = -2*s + 2. Let z = -3 + 2.7. Which is smaller: z or s?
s
Suppose -2 = 2*o - 4. Is o >= 1/4?
True
Let m(s) = -8*s - 80. Let v be m(-12). Is v >= 16?
True
Let u be (-8)/(-4) + (0 - -1). Suppose s = -u*s. Which is smaller: s or 0.3?
s
Let v(l) = l**2 - 3*l - 5. Let g be v(4). Which is greater: -2/29 or g?
-2/29
Let b = 75/4 + -16. Do b and 2 have different values?
True
Let p be ((-123)/(-15) + -3)*5. Let b be 6/(-30) - p/(-5). Which is smaller: 1/3 or b?
1/3
Let g = -0.253 - -0.053. Is g <= -9?
False
Let o(y) = y**3 + 11*y**2 + 11*y + 11. Suppose -3*m + 19 = 49. Let t be o(m). Is 1 at most as big as t?
True
Let s be 0 + (-11)/(-9) + (9 - 12). Which is smaller: s or -1?
s
Let f be (0 - 1)/((-2)/12). Let k be (27/33)/(9/f). Which is smaller: k or 1?
k
Suppose -5*b - 4*g + 6 = 0, 2*b + 0*g - 1 = -3*g. Suppose -2*c - b = -0*c. Which is smaller: c or 3/5?
c
Let k be 27/(-36) + (-19)/(-4). Suppose 2*p - 9 = -w, -2*p + 4 = 2*p. Suppose -2*n - k*x + 16 = 0, -5*x + 3 = -w. Which is smaller: 2 or n?
2
Let a = -928/7 - -4209/28. Does a = 18?
False
Let s = -21 - -22. Let b be 10/(-24)*1/(-5). Which is greater: b or s?
s
Let d be (40 + -15)*2/5. Is d at least as big as 8?
True
Let d = -2/37 - 31/111. Let a = -2.9 - -3. Let b = a + 3.9. Does d = b?
False
Let f = 0.01 - -0.09. Do f and 5/3 have different values?
True
Let u be ((-65)/(-6))/13 - (-2)/12. Which is smaller: 110 or u?
u
Let f be (1/25)/(6/95). Let a = f - 5/6. Let l = -5 - -5.1. Is l >= a?
True
Let h be (-6)/(-24) + (-22)/(-104). Suppose 0*v + 5*v = -5. Which is bigger: v or h?
h
Suppose -m + 0*m = -2. Let g be -2 - ((-5)/m + 0). Which is bigger: g or -0.2?
g
Let f = -62 - 3. Which is smaller: -66 or f?
-66
Let b = 3.95 + 0.05. Let s = -3 - -6.9. Let x = b - s. Which is smaller: 2 or x?
x
Let l = -57 - -24. Suppose -2*n + 5*k + 104 = 0, 0 = k + 2*k + 12. Let f be (-4)/14 - l/n. Is f equal to 0?
False
Let w be ((-172)/(-8))/(16/44). Let k = -59 + w. Is k less than 1?
True
Let z = 156/25 - 13703/2200. Is z at least -1?
True
Let c be -3*(-2 - (-1 + 0)). Let x = c + -1. Which is smaller: x or 1?
1
Let x = 0 + 2. Let p be 0/((-6 + x)/(-4)). Which is smaller: p or 3?
p
Let o(k) = k + 16. Let m be o(-12). Is 2 smaller than m?
True
Let x = -4 + 3. Let c = 1/15 + 1/10. Are c and x equal?
False
Let i = -169326 - -35219667/208. Let k = i - -8/13. Is -1 smaller than k?
True
Let k = -3.9 + 3. Let c = k + 0.4. Let i = 0.6 + c. Which is smaller: i or 3?
i
Let g = 7 + -10. Let a = g - -9. Let j be (a/8)/(15/8). Which is smaller: j or -1?
-1
Let c = 1/117 - 37/117. Which is smaller: c or -1?
-1
Let i(y) be the first derivative of y**2/2 + 7*y - 1. Let h be i(-5). Suppose 0*b - 4*b - 4 = w, -w + h = -2*b. Which is greater: -1/5 or b?
-1/5
Suppose 0*l + 8 = l. Let y be 1/(-7) - l/(-7). Is y smaller than -2?
False
Suppose 4*q - 16 = -p + 5*p, -28 = -4*q - 2*p. Suppose 20 = -5*n, -2*t + 4*t - q = n. Which is smaller: 0 or t?
0
Let a be (-12)/(-9)*18/(-12). Let n = 1 - 1. Is n at least as big as a?
True
Suppose -p + 2 = -4*a, -5*a = -a. Let x = -2 - -4. Let q = p - x. Are 2/21 and q non-equal?
True
Let s = 0.8 + 1.4. Let o = s + -0.2. Let k = o - 1.9. Which is bigger: -0.2 or k?
k
Let k = 85 + -775/9. Is k at most 0?
True
Let a(n) = n**3 + 3*n**2 - 4*n - 1. Let y be a(-4). Let g = 43/4 + -11. Which is greater: y or g?
g
Let k = -16 + 14. Is k bigger than -3?
True
Let w = -6.8 + 5. Let s = w + -0.2. Is -1 at least as big as s?
True
Suppose -3*m = -2*m + 6. Let g = m + 16. Suppose 0 = 2*o + g - 0. Which is bigger: -3 or o?
-3
Suppose 3*u + 5 = 5*i - 0*u, -1 = -i + 4*u. Suppose 0 = -3*d - 2 + 14. Suppose -i - d = 5*o. Which is greater: 0 or o?
0
Let d be 3/(-10)*(6/18 + -1). Is d > -4?
True
Let p = -8 - -11. Suppose 0*o + 3*o = -p. Which is greater: 2/5 or o?
2/5
Suppose -2*w = -0*w + 2. Do w and -2/11 have the same value?
False
Suppose d = -2*k - 4, -2*d - 10 = d + 5*k. Which is bigger: 5 or d?
5
Suppose -4*w = -2*w - 2. Let j(u) = -u**3 - 2*u**2 + 1. Let v be j(w). Let n be (v - -1)*2/6. Is n less than 1?
True
Let a be (-302)/6 - (-2)/(-3). Is a bigger than -51?
False
Let n = 7 - -10. Suppose 4*g + 17 = -5*k, n = k - 3*k - 5*g. Let z be (0*k/(-2))/(-2). Which is bigger: 2/13 or z?
2/13
Let v = -5.22 - -0.22. Which is smaller: v or -0.2?
v
Let j(d) = -10*d - 3. Let v be j(-4). Is 38 at least v?
True
Let p = -6 - -11. Let s be 6*(2/(-6) - -1). Let b = s - p. Which is smaller: 2/11 or b?
b
Suppose 27 = 2*b - 3*k, -k - 36 = -3*b + 2*k. Let d = b - 8. Let c = 76 - 381/5. Is d bigger than c?
True
Suppose 5*s - 3 - 12 = 0, 28 = 4*q + 4*s. Suppose 3*l + 1 - 2 = n, -2*n - q*l = 2. Let k be ((-8)/(-108))/(n/(-3)). Which is bigger: 1 or k?
1
Let r be 12/3*((-28)/13 - -2). Which is greater: r or -2?
r
Let f = -27 - -27.12. Is f less than or equal to 0.1?
False
Suppose -5*q = -52 - 38. Suppose -l - q = -2*w - 3*w, w - 3*l - 12 = 0. Let k be -1 + 10/4 + 0. Which is smaller: w or k?
k
Let o = -11 - -15. Suppose 6*p - o = 2*p. Does 3/5 = p?
False
Suppose 2*a = 3 + 1. Let m be (-1)/((-2)/(-8)*a). Let z = 1 + 0. Which is smaller: z or m?
m
Suppose 5*q - 2*w + 5 = -0*q, 4*w - 20 = 0. Let x = -7 + 11. Suppose 2*t + 2*t = x. Is q != t?
False
Let d = 25/7 + -139/35. Let y = -0.48 - 0.02. Is d greater than or equal to y?
True
Let z = 8 + -12. Let y be (-14)/z + (-3)/(-2). Suppose 3*h = 8*h - 20. Is h equal to y?
False
Let w = -669/2 + 327. Let f = w - -8. Which is greater: f or -2?
f
Let s be (-21)/12 + 1/(-4). Let c(q) = -q - 2. Let a be c(s). Let n be (2 - 2) + 6/27. Does n = a?
False
Suppose 3*k - 4 - 2 = 0. Suppose -4*a + 16 = p, 5*p - a = k*p - 4. Suppose p = q - 4*q. Which is smaller: -2 or q?
-2
Let f(x) = -2*x**2 - 3*x. Let v be f(-2). Let p = -2 - v. Suppose 3*a + 2*a + 4*t + 36 = p, -4*t = -4*a. Are a and -3 equal?
False
Let p be 1/2*2/7. Suppose 4*g 