?
False
Suppose -12 + 316 = -16*q. Which is smaller: q or -55/3?
q
Suppose 0 = -2*g + 3*a + 57, a = -4*g + 136 - 43. Which is smaller: g or 22?
22
Suppose -x + 9 = 2*b, 6*x - 23 = 3*x - 5*b. Which is bigger: -3 or x?
x
Let b be (-1)/4 + (-54)/(-280). Let c be 0/((-8)/12*-3). Which is smaller: b or c?
b
Suppose 13*x - 45 = 8*x. Is x smaller than -2?
False
Let i be (52/6)/(4/12). Is -1/2 > i?
False
Suppose -5*k + u - 31 = 0, 5*k + 13 = 2*k + 2*u. Is -8 less than or equal to k?
True
Suppose -15 = 3*h - 3*o - 2*o, -2*o = -h - 6. Which is greater: -1/95 or h?
h
Let h = -36/121 - -5550/1573. Which is smaller: h or 4?
h
Let v(m) = m**3 - 9*m**2 + 14*m. Let a be v(7). Let b = 1/134 - -199/268. Is b <= a?
False
Let u(l) = -2*l + 2. Let o be u(-7). Suppose 7*d - 3*d = o. Let v = 2 - d. Which is smaller: -1/2 or v?
v
Let u(p) = -p**2 + 5*p + 8. Let d be u(6). Let w be d/(-2)*(-2)/(-6). Which is smaller: w or 1?
w
Let m = 307.98 + -311. Let f = 0.02 + m. Which is bigger: f or -2?
-2
Let k = -235.09 + 237. Let s = k - -0.09. Is 2 <= s?
True
Let c be (-7 - -5)*(-2 - 0). Suppose 7*q + 26 = -2*k + 3*q, -c*q = -3*k + 11. Suppose -3*u = 3*t + 9, -u + 4*t - 12 + 4 = 0. Which is smaller: k or u?
u
Let c = 29.1 - 29. Is c <= 1/2?
True
Suppose 2*x = 3*x. Let z(d) = -d**2 + 2. Let i be z(x). Let r be 0/(i + (-1)/1). Which is greater: 1 or r?
1
Let t be 6/(-1180)*(-8)/18. Let g = 1744/11505 + t. Is g at least as big as 1?
False
Let x = 51.66 - 45.8. Let c = x - -0.14. Which is smaller: -1 or c?
-1
Suppose 0 = q + t + 11, q = -0*t + 5*t + 13. Let z(j) = j**2 + 7*j + 8. Let g be z(q). Let x be 15/6*g/110. Which is greater: x or -1?
x
Let j = 2 + 8. Suppose 0 = 3*m + 2*m + j. Let d be m/4 - (-4)/24. Is 6 not equal to d?
True
Suppose 4*f + 6 = 5*f. Let s be (6/(-44))/(f/(-16)). Which is smaller: 0 or s?
0
Let j = 275/153 - 23/17. Which is greater: -1 or j?
j
Let n = -10 - -20. Suppose -3*g + 40 = -2*b, -5*b - n = -g - b. Which is greater: g or 15?
15
Let d = -68 + 19. Let g = d - -69. Suppose 4*f - g = 0, -2*r = 2*f - 0*f - 12. Are r and 0 unequal?
True
Suppose 3*i = -5*o + 38, 3*o - 7 = -4*i + 7. Let w be (0 + 1)/(2/o). Suppose w*b = 5*q - 5, b - 2 = 2*q - 3. Is 1/3 at least b?
True
Let y = 0.2 - 0.3. Let l = 0.23 - 1.13. Let i = l + y. Which is bigger: 1/4 or i?
1/4
Let y be 6/(-42) + (-34)/7. Is y not equal to -5?
False
Let r(h) = h - 15. Let c be r(24). Is c > 7?
True
Let z be (-2)/6 + (-301)/(-21). Let k be z + 2 - (0 + 1). Suppose 3*j + 18 = o + 1, -k = 5*j + o. Which is greater: 0 or j?
0
Let a = 25 + -25. Which is smaller: 0.08 or a?
a
Let r = 26.13 - 0.13. Let d = 25.8 - r. Let n = 13/11 - 113/77. Which is smaller: n or d?
n
Let r be 4/(-8)*(122 + (-2 - 0)). Is -59 not equal to r?
True
Let f be (-20)/(-6) - 2/(-3). Suppose 2*k - 10 = f. Suppose 5*o + 27 = k. Which is smaller: o or -3?
o
Suppose 3*j = -0*j + 3. Let w(c) = -c**2 + 4*c + 3. Let s be w(5). Let q be (-3)/10 + s/(-4). Which is bigger: j or q?
j
Suppose x = -2*m + 6*m + 6, -2*x + 3*m = -7. Suppose 1 = 2*i - 5*n - 14, -i - 2*n = -3. Suppose i*o = o. Are o and x non-equal?
True
Suppose -2*j + 4*l - 36 = 2*j, 2*j + 3*l = -3. Which is bigger: j or -7?
j
Let c(o) = -o - 3. Let x be c(-7). Suppose 4*d = d + n - 10, x = n. Is d at least as big as -11/5?
True
Let v be (1 + 0 - 2) + (-210)/(-208). Which is greater: v or 1?
1
Suppose -5*t + 8 = -22. Is t greater than 4?
True
Suppose -d - 80 = -39. Is -41 less than or equal to d?
True
Let m = -0.06 - 1.94. Let k = 7 - 4. Let q = m + k. Which is bigger: 0 or q?
q
Let q = 23 - 24. Is q greater than 8?
False
Let b be 3/9 + (-14)/6. Let u = b - -5/2. Let c = -6 - -6. Which is smaller: c or u?
c
Let c(n) = 2*n + 1. Suppose 2*k + 2*i - 34 = 0, -4*i = 2*k - 9 - 29. Suppose -3*b = 4*s - 5, -4*b = b - k. Let w be c(s). Which is greater: 1/3 or w?
1/3
Let b = -9 + 9. Suppose -h + 5 = -6*h. Let i = h - b. Is i greater than or equal to -2?
True
Let s be (0 + -1)/((-1)/(-1)). Let j = -15/13 + 79/91. Are j and s non-equal?
True
Suppose 3*c - 75 = -5*p, 0 = -p - 2*p - c + 45. Do 16 and p have the same value?
False
Let n = -2.6 + 5. Let x = n + 0.6. Which is bigger: 1 or x?
x
Let p be 45/(-525)*(-5)/7. Is p <= 0?
False
Let p = -5 + 7. Suppose p*u + 3 = 5*u. Let t(l) = -l**2 + 6*l + 1. Let o be t(6). Is u greater than o?
False
Suppose -5*a = -2*l + 7, 3*l + 1 = -11. Suppose 0*o - 1 = o + 5*i, 9 = 3*o + 3*i. Suppose 6*r - o*r = -6. Is r less than a?
False
Suppose -3*o + 3*s - 4*s = 67, -5*o + 2*s - 108 = 0. Let x = o + 22. Which is smaller: x or 1/12?
x
Let v be 3/4 - (-1 - -1). Suppose 10*l - 5*l + 15 = -5*y, -2*l - 12 = -y. Is v at most y?
True
Let f = -94.8 - -95. Is -2/21 greater than or equal to f?
False
Suppose 2*y - 47 = -2*y - 5*v, 4*v + 20 = 4*y. Suppose -y = 3*s - i, -5*s + 3*i + 13 = 33. Which is greater: s or -1/4?
-1/4
Let v be 5/((-15)/6)*1/2. Which is bigger: 0.05 or v?
0.05
Let k = -0.5 - -2.5. Let z = -11 - -8. Let r = z + k. Which is smaller: 2 or r?
r
Let z = 2.01 + -0.31. Let s = 9.7 - z. Is s at most -1?
False
Let t = -0.2 - -0.2. Let k = -0.35 + -1.65. Is t greater than or equal to k?
True
Let y = -16 - 14. Let n = y - -119/4. Is n at least as big as 0?
False
Suppose -3*s - 3 = -3*k, 5*s + k + 11 = -0*k. Suppose 2*q - 4*q + 6 = 0. Suppose 2*t + q - 1 = 0. Which is bigger: s or t?
t
Suppose 8 + 4 = 4*q. Let g(l) = l - 3. Let d(r) = -r**2 - 7*r + 5. Let s be d(-7). Let f be g(s). Is q < f?
False
Let o = -0.44 - -0.4. Let i = o - -0.04. Which is smaller: -1/4 or i?
-1/4
Suppose m - r + 2 = -4*r, -4*m + 2 = 2*r. Let s = 6 - 10. Let g be (-3)/12 - 3/s. Is g equal to m?
False
Let c(y) = y**3 - 5*y**2 + y + 4. Let i be c(6). Let g = 137/3 - i. Does 0 = g?
False
Let n(s) = s**3 - 9*s**2 - 10*s - 6. Let o be n(10). Let g = -8 - o. Let v = 15 - 16. Which is smaller: v or g?
g
Suppose -3*l + 2*l + 3 = c, 0 = 5*l + 3*c - 19. Let d be 61/3 + 2/(-6). Suppose 8*a = 3*a + d. Which is greater: a or l?
l
Let a = 22 - 21.8. Is -0.1 <= a?
True
Let l be (-24)/(-9)*(60/8)/5. Are 39/8 and l nonequal?
True
Let t = -5 - -1. Suppose -n = 6*n + 35. Is n <= t?
True
Let g be (208/(-207) - 1) + 2. Are g and 1 non-equal?
True
Suppose -5*l + 12 = -2*g, g + 2*l - 6 = 3*g. Let o = 3 - 2.9. Let w = o - 0. Is w not equal to g?
True
Let y = -128 - -147. Which is smaller: 20 or y?
y
Let o = -13 + 20. Let d(x) = -6 - 13*x - x**2 + 0*x**2 + 21*x. Let j be d(o). Which is smaller: 4/7 or j?
4/7
Let r = 13 + -20. Let v = -0.06 - -0.21. Let q = v - 0.15. Which is smaller: r or q?
r
Let y(z) = 3*z**2 - 4*z + 1. Let a(l) = 16*l**2 - 20*l + 6. Let w(b) = -2*a(b) + 11*y(b). Let d be w(3). Is -3 smaller than d?
False
Let j = -1 + 0. Let m = 28/9 + -121/36. Which is greater: m or j?
m
Let y be 2 - 2/((-6)/(-3)). Suppose -y = -0*o - o. Let n be ((-3)/6)/(1/(-2)). Is o != n?
False
Let z = 3 - 14. Let f = 9 + z. Let y = 1 + f. Is -7/3 smaller than y?
True
Let j(i) = -i. Let c be (-1 - 0)/((-2)/(-2)). Let s be j(c). Let y be (1 - -1 - 1) + 1. Which is smaller: y or s?
s
Let m be 32/12 + (-2)/3. Let k be (5 + 0)/((-2)/6). Let x be (-5)/(-2)*(-6)/k. Do x and m have different values?
True
Let g(n) = -n**2. Let x(f) = -3*f**2 + 5*f - 1. Let h(i) = -2*g(i) + x(i). Let z be h(5). Is -2/9 greater than z?
True
Let c = -1349/7 + 193. Suppose -5*n = -2*n + 6*n. Which is smaller: c or n?
n
Let z = -29 - -32. Which is smaller: 9 or z?
z
Let x = -68 + 101. Suppose 5*w = 47 + x. Suppose 20 = 5*q, -4*b = -4*q - q + w. Is 3 less than or equal to b?
False
Let i = 4 + -37. Which is smaller: i or -1/3?
i
Let d = 0.2 - -1.8. Let p = 2 - d. Do 3/7 and p have different values?
True
Let w be (12/(-4) - 25)*5/(-55). Which is smaller: w or 4?
w
Let w(c) = 2*c**2 + c + 1. Let r be w(-1). Let f = -1 + r. Let i = 7002/17 - 412. Is i > f?
False
Let a(q) = -q**3 + q**2 + 3. Let g(m) = -m**3 + m**2 + 2*m. Let l be g(2). Let p be a(l). Which is smaller: 2 or p?
2
Let z = 0 + -4.3. Let d = -4 - z. Is d bigger than -0.1?
True
Let q = -39/86 - 2/43. Which is smaller: q or -3?
-3
Let d be 5/(-3)*21/49. Which is bigger: d or 1?
1
Suppose 0*g - 7*g = 357. Is g < -50?
True
Let v = -40 - -38. Is -1 > v?
True
Let s = 0 + 2. Let u = 2 - s. Let k = u - 0.1. Do k and 1 have the same value?
False
Suppose 4*g + 3*o + 14 = -g, 5*o + 16 = -g. Let u be ((