r -13?
s
Let m = 2.94 + 0.06. Is 0.4 at least as big as m?
False
Let v(u) = u**2 - 6*u + 1. Let x be v(6). Suppose -4*i = 3*i. Are x and i equal?
False
Let x = -22 + 20. Let n be x + ((-12)/9)/(-1). Is n <= -8?
False
Let g = -833/4 + 208. Let v be ((-1)/(-2))/((-2)/4). Is v greater than g?
False
Suppose -3*c + 2 = -4*r - 2, 5*r - 14 = -c. Let v = 1 + 2. Is c less than or equal to v?
False
Let n = 0.05 + 4.55. Let f = 0.4 + n. Which is bigger: f or -0.2?
f
Let s be 1/4 - 118/(-8). Suppose -5*y = -60 + s. Suppose 0 = -2*k + 5*r - 15, -5*r + y = -k - 2*r. Is 2/19 greater than or equal to k?
True
Let g = -21 + 10. Let s = -10 - g. Which is bigger: -1/4 or s?
s
Let p(q) = q**2 + 4*q - 7. Let d be p(2). Are d and 2/3 nonequal?
True
Let y be 0 + ((-978)/351 - -3). Let x = -1/117 - y. Is 0 not equal to x?
True
Let j = 10 - 16. Let v be (-12)/(-18) + (-8)/j. Let b be 3/5*(-4)/(-6). Which is smaller: b or v?
b
Let o = -5.1 - -5. Let u = 43 - 36. Is o at least u?
False
Suppose -3*j - 2 = -11. Which is smaller: j or 2?
2
Let i = -11 - -5. Is -2 not equal to i?
True
Let j = 1.4 + -1.58. Let m = j - -0.05. Which is smaller: 0 or m?
m
Let a = 38 + -315/8. Which is greater: a or -2?
a
Let m = 0.13 + 0.17. Let h = -1.8 + 2. Let x = h - m. Do x and -2 have the same value?
False
Let n be 15/(-30) + (0 - -1). Suppose -7 = -x - 5*a + 18, -5 = -a. Which is smaller: x or n?
x
Let g = 1.6 - 2.6. Is g greater than or equal to -0.4?
False
Let z be (-1 + -1)*3/(-2). Which is bigger: 2 or z?
z
Let l be 4/(-147)*(-3)/12*-6. Suppose -2*b = -4*w + 10, -w + 4*b - 6*b - 10 = 0. Which is bigger: w or l?
w
Let v = 0.15 + -1.25. Let r = v - -8.1. Which is smaller: -2 or r?
-2
Let g(o) = -o**3 - o**2 + 4*o + 3. Let r be g(-2). Let i be (-1)/1*(-2 - -2). Which is greater: r or i?
i
Let r = -5 - -6. Which is bigger: 2/11 or r?
r
Let z = 0 + -0.4. Let p = 0.2 - 0.1. Which is greater: z or p?
p
Let l(k) = -7*k - 46. Let y be l(-6). Which is smaller: y or 4?
y
Let h be ((-4)/21)/((-2)/(-3)). Let d = 1/65 + 1471/1560. Let j = 5/8 - d. Is h less than or equal to j?
False
Let v = 16 + -7. Let j = 12 - v. Which is greater: -0.3 or j?
j
Let w(l) = l**3 - 2*l**2 - 2*l - 4. Let j be w(3). Let r be 192/(-14) + (-6)/2. Let u = -17 - r. Which is bigger: u or j?
u
Suppose -4*b - 15 = -3*n, 0 = 4*b + 3*n - 9 - 6. Let y = -156 - -472/3. Does y = b?
False
Suppose -b + 0*m + 8 = -2*m, 5*b = -m - 4. Suppose 0 = 4*x - 10 + 2. Which is greater: x or b?
x
Let u be (2/24)/(7/28). Let m = u + -13/21. Is 2/7 greater than m?
True
Suppose r = 4*r + 51. Let n be 2/2*3/r. Do n and 1 have the same value?
False
Let a = 9 + -8.92. Let n = a + -0.38. Is n > -1/2?
True
Let b = -3 + 5. Suppose 0 = -4*d - 5*y - 1, d - 3*y + 1 - 22 = 0. Suppose -4*i - 6 = -d*i. Do i and b have the same value?
False
Suppose i = 2*s - 6, 3*s - 12 = -3*i - 3. Let t be 0 - 2 - (i + -2). Let g be t/(1 + -2 - -2). Which is smaller: 2 or g?
g
Suppose 4*f = f. Suppose 0 = -f*g + 2*g. Is g greater than 0?
False
Suppose -3*w - 4*f + 39 = 0, -w + f - 3 = -3*f. Suppose 3*s - w = 6*s. Which is smaller: -1 or s?
s
Suppose v = 6*v - 20. Suppose m - 5*m = -v*b - 12, -b = -4*m. Let k be (2/6)/(8/(-48)). Is m smaller than k?
False
Let k(l) = -l**2 + 5*l + 4. Let z be k(6). Suppose -8*j = -3*j - 10. Suppose 3*g - j*g = -2. Is z greater than g?
False
Let h = 19 + -18.8. Which is smaller: h or -1.8?
-1.8
Let w be (-2)/2*(-9 - -10). Let v be -1*w/9*6. Which is smaller: -2/3 or v?
-2/3
Let c(q) = -3*q - 1. Let d be c(1). Let v(r) = r**3 + 4*r**2 + 2. Let n be v(d). Suppose 0 = 5*k - 3 - 2. Which is bigger: n or k?
n
Let a be (-2)/4*(1 + -9). Suppose -v + 30 = 4*v. Is v less than a?
False
Suppose -5*f + 32 = 5*r - 3, 3*r - 3 = 3*f. Suppose r*l - 16 = -2*o, 5*o - 34 = -l - 3*l. Let b = o - 2. Do 4 and b have the same value?
True
Suppose 53 + 277 = -5*b. Which is smaller: b or 0?
b
Let u = -18 - -2. Let h = u - -18.8. Let b = h + -3. Is 1/4 not equal to b?
True
Let c = -2 + 2.07. Are c and 2/7 unequal?
True
Let r be -3*2/102 - (1 - 1). Is 0.1 at least as big as r?
True
Let n be 1/2*4 - 7. Let s(f) = -f**2 - 4*f + 3. Let c be s(n). Is c smaller than -1?
True
Let t = 89 - 100. Do -0.7 and t have different values?
True
Let b(g) = 2*g**2 + 27*g - 15. Let m(p) = -p**2 - 14*p + 8. Let d(q) = -6*b(q) - 11*m(q). Let s = -3 - 5. Let t be d(s). Which is smaller: 0 or t?
0
Let x be 4 - (-18)/237*-53. Is 1 at most as big as x?
False
Let c be (3 + -3)*6/(-24). Which is smaller: c or 2/15?
c
Let s(j) = j**2 + 9*j + 3. Let n be s(-9). Is 1 at least as big as n?
False
Suppose 38*i - 144 = 30*i. Is 19 < i?
False
Suppose 2 + 0 = 2*v. Let w = -6/35 - -11/35. Which is bigger: v or w?
v
Suppose 15 = -5*y, 2*s - 4*y = -2*s + 8. Let u = -1 - s. Which is smaller: -2 or u?
-2
Suppose -4*t - 16 = -l, -5*l + 13 = 5*t + 33. Is -2 greater than or equal to l?
False
Let z = -2510/11 - -228. Let y be (-1 - 0)/(1 - 0). Which is greater: z or y?
z
Suppose 0 = -o + 4, 2*o = 4*w - o + 12. Suppose w = -4*r - r + 20. Suppose -r*a + 7 = 5*y - 0, y + a = 2. Is 2/7 < y?
False
Suppose 14 - 2 = 3*k. Suppose k*j + 11 = 5*i, 5*j = 5*i - 3*i - 1. Which is smaller: j or 1/2?
1/2
Let p(b) = 7*b**3 - 8*b**2 - 5*b - 1. Let q(z) = 4*z**3 - 4*z**2 - 2*z - 1. Let v(a) = 3*p(a) - 5*q(a). Let d be v(5). Which is bigger: 3 or d?
3
Let u(j) = -j - 5. Let r be u(-10). Suppose 3*w + 1 = -r. Let x = 6 - 7. Is x less than w?
False
Let t = 0.18 + 0.03. Let b = -0.34 + t. Let h = 0.03 + b. Do -4 and h have the same value?
False
Let h be -1*1 - (-4 - 0). Suppose -3*y - 2*d = -4*d - 14, 0 = 4*y - h*d - 20. Suppose 0 = -u - 1 + 4. Which is bigger: y or u?
u
Let i = -74 + 57. Which is smaller: -1 or i?
i
Let y be ((-69)/92)/(702/(-16)). Which is bigger: y or 1?
1
Suppose -2*q + 4 = r - 5, -8 = -4*r - q. Let l be (-4)/6 - (-4)/(288/102). Is l at least as big as r?
False
Suppose 0 = -5*b - 5, -5*b = -8*k + 4*k + 41. Suppose -5*r - 26 = k. Let w be 36/28 - (-2)/r. Which is greater: w or 2/7?
w
Let w be 6 + (-2 + 3)/(-1). Suppose -4*u - 4*j = -3*u + 6, -w*u = 2*j - 6. Suppose -2*f - 6 - u = 0. Is -4 bigger than f?
False
Let c = -5 - -4. Let p(j) = -j**2 + 6*j + 7. Let x be p(5). Let w be x/(-7) - 6/21. Are c and w nonequal?
True
Let y = -11.8 - -12. Let u = y + -0.1. Which is bigger: u or -1/6?
u
Let u = 15 + -35. Let l = -15 - u. Is l < -1?
False
Suppose -15 = 2*w + 25. Is -20 not equal to w?
False
Let o(p) = -p - 3. Let n(x) = x + 4. Let v(r) = 5*n(r) + 6*o(r). Let f be v(0). Let c be 1 + -1 - f/2. Is -1 at least c?
True
Let b = -8.2 - -0.2. Let f = 1 + b. Let j = 7.2 + f. Is 1 bigger than j?
True
Suppose 2*n + 2 = -2*g, -2*n - 3*g - 15 = 3*n. Let o be ((-3)/n)/((-3)/(-6)). Is -2/13 less than or equal to o?
True
Suppose 0*v = -4*v + 16, -2 = -3*f - 5*v. Is f at most -6?
True
Let t be ((-8)/6)/((-3)/(-27)). Let g be 2/t*(-3)/(-10). Let h = g + 31/20. Which is smaller: 1 or h?
1
Let m be (-1 - (-6)/4)*(-3 + 5). Which is bigger: -3/50 or m?
m
Suppose -l - 2 - 9 = 0. Let r = l - 4. Let n = r + 11. Are n and -4 unequal?
False
Suppose 0 = -5*b - v + 35, -3*v - 26 = -b - 3. Which is bigger: b or 3?
b
Let n = 2 - 2. Let g = 0.3 + -0.5. Is g <= n?
True
Let q = 0 + 1. Let h = 1 - q. Which is smaller: 0.1 or h?
h
Suppose 0 = l - 0*r + 2*r + 2, -r = -3*l - 13. Let t be l/(-3)*3/34. Suppose -9 = -21*g + 12. Is t greater than or equal to g?
False
Suppose -2*r - 21 = -2*j + 37, -5*j = r - 127. Let t be (-10)/45 + j/36. Is 0 at least t?
False
Let f be 12/8 - 1/(-2). Let v be (-1 + f)*9/18. Which is smaller: 0 or v?
0
Suppose -38 = -o - 9. Is o bigger than 29?
False
Suppose l - 10 = -2*u - 0*u, 8 = 4*l. Which is greater: u or 9?
9
Let b(n) = n**2 + n - 1. Suppose -u + w = -10 + 1, -3*w - 3 = 3*u. Suppose 10 = 4*c - 2*h, -2*h - 6 = -3*c + u. Let j be b(c). Which is smaller: -4/9 or j?
j
Suppose -2*b + 44 = 3*n, n - 3*b + 60 = 5*n. Let q = n + -11. Suppose -3*y - s + q = 0, -3*y + 4*s = 3*s + 7. Which is smaller: 3/8 or y?
y
Let h = -1/65 + 203/520. Which is smaller: h or -1?
-1
Let o be (2/(-4))/(5/(-2)). Suppose -13 = -4*n + 11. Suppose -4 = -n*b + 2*b. Which is greater: o or b?
b
Suppose -2*a - w = 3*a + 11, -12 = 4*a + 4*w. Let g(y) = y**2 + 2*y - 4. Let j be g(-4). Suppose 2*m = 5*m - 5*q + 6, 8 = -j*m + 2*q. Is a < m?
False
Let a = 4 +