?
i
Suppose 2*q + 30 = 12*q. Is 4 greater than q?
True
Suppose 11 - 1 = 5*y. Suppose -4*a + 4*x - 28 = 0, 0 = -a - 3*a + y*x - 30. Is a bigger than -8?
False
Suppose 3*z - 5*z = 3*t, -3*t - z = 0. Suppose u + t*u - 2 = 0. Suppose 2*i = 5*d - 20, 0 = 4*d + 2*i + 2. Is u less than or equal to d?
True
Let n be (-22)/(-154)*(0 - -2). Suppose 3*t + 8 = 3*h - 1, -h + 3 = t. Do t and n have the same value?
False
Let x = -719 + 3584/5. Which is bigger: -1 or x?
-1
Let l = -3 - 56. Let k be 3 + l/11 - -2. Is k greater than -1?
True
Let b(j) = j**3 + 4*j**2 + j + 5. Let q be b(-4). Let v be (7 + 0/3)*q. Which is greater: v or 6?
v
Let a = 2 + -2. Let b = 3 - 1. Is b < a?
False
Let y be (-154)/10 + 4 + 69/(-15). Is -19 equal to y?
False
Let m = -55/6 + 28/3. Let t = m + 1/12. Which is greater: 0.06 or t?
t
Let v(m) = -m**3 + 4*m**2 - 4*m + 3. Let d be v(3). Suppose -2 = n - d. Let j(p) = p**2 + 12*p + 8. Let h be j(-11). Which is smaller: h or n?
h
Let o = 5 + -8. Let i = -1 - o. Let r = 148 + -1334/9. Is i at least as big as r?
True
Let s = 2.1 - 2. Let q = -4.5 + 6.4. Let w = q - 0.9. Is w > s?
True
Let l = 0.07 + -0.33. Let i = l + 0.16. Which is smaller: i or -2/9?
-2/9
Let t = -0.2 - -0.11. Let j = t + -4.91. Which is smaller: 1 or j?
j
Let b be 2/123*-2*3. Is -1 bigger than b?
False
Let u = -5/26 - -67/78. Let p be 3/1*(-2)/3. Is u >= p?
True
Suppose -3*i = 2*i - 25. Is i >= 9?
False
Let s = -413 + 4539/11. Are -1 and s unequal?
True
Let j = 0.4 + -0.3. Let z = 0.1 - 0.2. Let a = z + 0. Is j less than or equal to a?
False
Let x = 0 + -0.08. Let d = x - -0.06. Let b = d - -0.12. Which is bigger: b or -1/5?
b
Let t = 33 - 34. Let f = -8/11 - -62/55. Which is smaller: f or t?
t
Suppose 24 = 2*q - 4. Let r be (6/q)/(3/2). Which is bigger: -1/3 or r?
r
Suppose z = -5*a - 0 + 11, -2*z = 2*a + 2. Suppose 3*j - p - a = 0, -j + p = j - 3. Let o(s) = s**3 - 6*s**2 - s + 6. Let h be o(6). Is j < h?
False
Let x be 0/(0 + -3 + 4). Let b(z) = -3*z**2 + 3*z - 6. Let y be b(4). Let h = -293/7 - y. Which is greater: h or x?
h
Let n = 7/8 - -59/24. Suppose -6 = -2*m + 2. Is m smaller than n?
False
Let a = 8 + -6. Let v = a - 1. Which is smaller: 1/4 or v?
1/4
Let t = 850/3 - 3684/13. Is 0 equal to t?
False
Suppose -2 = -3*g - 2*m - 3, 0 = -g - 5*m - 9. Suppose -5*n = 4*b - 13 - 6, 6 = 3*n - 3*b. Suppose -i - n*l = -17, 5*l - 3 - 12 = 5*i. Which is smaller: i or g?
g
Let k(b) = -14*b - 69. Let d be k(-5). Which is smaller: d or 25?
d
Let i = -34 - -61. Is i smaller than 1?
False
Suppose -3*a + 15 = -8*a. Let m be (a + (-5)/(-2))*-1. Let y = -2 + 3. Is y <= m?
False
Let o(r) = r**3 - 4*r**2 + 2*r + 3. Let c be o(3). Let k = 518341/7 + -73902. Let v = -147 + k. Which is smaller: v or c?
v
Let l be (1/2)/(0 + (-4)/(-8)). Which is smaller: -2 or l?
-2
Let o = 1092/5 - 217. Which is greater: 0 or o?
o
Let l = 229/6854 - -3/298. Let b = -1 - -2. Does b = l?
False
Suppose 5*b - 35 = -5*g, -2*b + g - 23 = -5*b. Does b = 6?
False
Let r = -4/39 + 521/5460. Which is smaller: 1 or r?
r
Let q be (-15)/(-10)*2/19. Suppose -9*o + 14*o = 0. Which is smaller: q or o?
o
Let c = 10.01 + -10. Which is smaller: c or 0.2?
c
Suppose 2*k = 3*k - 1. Suppose 4*d - 9 = 15. Let g be 2/4*d/7. Is k at least as big as g?
True
Suppose 4*f + 0*c - 6 = -c, -f + 2*c - 3 = 0. Suppose 4 = 5*i - f. Is i equal to 1?
True
Suppose -2*k + 0*n = 2*n - 24, -4*n = -4*k + 16. Let z be -2 - (1 + -1) - 18. Let g be ((-8)/10)/(k/z). Is 4/7 > g?
False
Let c = 0.07 + -0.37. Let a = c + 2.3. Let n = 15 - 17. Is a equal to n?
False
Let f = -34 - -32. Is 4 != f?
True
Suppose 5*p = -5*w, 2*w - 3 = 5. Let y = p - -9. Suppose -6*f + 5*k = -3*f - 16, -2*f - 6 = y*k. Are 2 and f nonequal?
False
Let g = 2/47 - 55/188. Is -1/4 at most as big as g?
True
Let y(u) = 6*u**3 + 2*u**2 - 1. Let x be y(1). Let w(f) = -f**3 + 8*f**2 - 7*f + 1. Let c be w(x). Which is smaller: -2/13 or c?
-2/13
Let b = 0 - 0.1. Let l(p) = -p**3 - 6*p**2 - 2*p + 2. Let c be l(-2). Let n be -2 - -5 - c/(-3). Which is bigger: b or n?
b
Let y be (-267)/(-360) + (-2)/3. Let d = -7/40 + y. Is d at least 1?
False
Let k = -14/9 - -176/117. Which is smaller: 1 or k?
k
Let i = 6.97 - 7. Let u = i + -0.97. Is u bigger than 2/3?
False
Let y = 127/76 + -8/19. Let q be (4/(-6))/(2/(-3)). Which is smaller: y or q?
q
Let s(d) = -d**2 + 2. Let b be s(0). Suppose 0 = -a + 2*a + b. Let p = a - -1. Is p equal to -1?
True
Let z(l) = -l**3 - 6*l**2 - 4*l + 5. Let b be z(-4). Let h = -7 - b. Let p be 14/12 + h/(-8). Do 1/2 and p have the same value?
False
Let q = -680681439 - -586066629175/861. Let y = q - -730/7. Let d = 54/41 - y. Is 1 != d?
True
Let z = -0.5 + 0.47. Is z smaller than 0.1?
True
Suppose 6*a - 4*c = a - 20, -a + 4*c = 20. Let d = 247/4 + -63. Is d != a?
True
Let s(r) = r**2. Let x be s(2). Suppose -x*v = -3 - 1. Let d = -125/183 + 1/61. Is d bigger than v?
False
Suppose -2*q - 3 = -4*n - 31, 5*n - 25 = -5*q. Is q smaller than 9?
True
Let j = -2 - 4. Is -6 equal to j?
True
Let u(r) = -r**2 - r + 4. Let v be u(-4). Let f(o) = o + 11. Let j be f(v). Let x be 0 - 1/12*j. Are -1 and x nonequal?
True
Let n = 25 - 26. Let z = -13 + 11.6. Which is smaller: n or z?
z
Let j = 0.99 - -0.01. Which is bigger: j or 1/3?
j
Let u be (-3)/(-2)*(-80)/(-30). Let d be u/(-10) + 23/(-5). Let v be -4 + (2 - -1) + d. Is v > -3?
False
Let x(v) = 4*v + 9. Let z be x(-3). Is z less than or equal to -10?
False
Let j(m) = -m**3 + 6*m**2 + 3*m - 7. Let b be j(6). Suppose -g = -2*g - b. Is -10 greater than or equal to g?
True
Let z = -66 - -98. Suppose 4*u - 8*u = z. Let q be (0 + -9 + 1)*1. Is q at most u?
True
Let m be 10/(-8)*(-7)/(-70). Let n(z) = z**3 - 4*z**2 - 5*z + 1. Let s be n(5). Which is smaller: s or m?
m
Let p = 0.4 - -1.6. Let l = 3 - p. Which is smaller: l or -1?
-1
Let f = -65 - -299/5. Which is bigger: f or -5?
-5
Suppose a = 0, 4*a + 28 = 2*g - 0*g. Are 12 and g equal?
False
Let o be 9*(-2 + 3)*1. Let x be (-3)/o*(-3)/1. Is x < 0.3?
False
Let m = -263/4 - -67. Is 2 equal to m?
False
Let x = 179 + -180. Let y = -77206/265 + 62736572/215445. Let m = y - -4/271. Are m and x equal?
False
Let l be (-6 - -4) + 8/6. Which is smaller: l or -0.04?
l
Let b = -233/1115 - -2/223. Which is greater: -2 or b?
b
Let q = -0.3 + 0.26. Let z = q + 0.04. Is -0.3 <= z?
True
Suppose -2*h = 2*o - 10, -2*o + 4 = 5*h - 18. Let i = o - 9. Which is smaller: -9 or i?
-9
Let c = 0 + 0. Let q = c - -3. Suppose 0 = 2*j - q*j. Which is smaller: 2/11 or j?
j
Let c be ((-1)/1)/(1/4). Suppose 0 = -30*h - 62 - 28. Is c less than h?
True
Suppose -2*h + 2 = 0, -3*h + h - 43 = -5*f. Let j be (-4)/12 - 6/f. Which is smaller: 4 or j?
j
Let m(a) = a**3 + 2*a**2 - 2*a + 4. Let f be m(-3). Let v be (-2)/2*(f + -2). Suppose 0*c + 2*z = -5*c - v, 6 = 4*c + 5*z. Does c = 2?
False
Let b(c) = -c - 4. Let p be b(-7). Let o = 18 + -8. Suppose 2*a - 3*s - 2*s = 1, -s + o = 3*a. Is p > a?
False
Suppose -9 = -3*k + 18. Let p = k - -16. Let m be (10/p)/(4/5). Do 7 and m have different values?
True
Let p = 12214/21 + -581. Let i = -1/3 + p. Is 0 at least as big as i?
False
Let c be (2/(-18))/(7/(-14)). Let o be (0 - -2) + -1 - 2. Is o at least c?
False
Let s(f) = 4*f**3 + f - 1. Let w be s(1). Let y(d) = d**3 - 6*d**2 + 5*d + 4. Let v be y(5). Suppose -w = v*a - 8*a. Is a at least 1?
True
Suppose -3*w + 4*k = -22, 0 = -2*w - 4*k - 8 - 4. Suppose -6 = 4*l - w. Which is smaller: l or -4?
-4
Let i(f) = -f**3 - 8*f**2 + f + 8. Let v be i(-8). Suppose v = 3*m - m + 14. Is -6 greater than or equal to m?
True
Let n = -28 + 27. Is 1/10 != n?
True
Let t(f) = -f - 8. Let m be t(-6). Let u be 24/9*m/(-24). Let y be (6/3)/4*2. Is u greater than y?
False
Let n = -13012/21 - -1483/3. Let k = 125 + n. Let p(y) = -y**2 + y - 1. Let l be p(1). Is l less than or equal to k?
True
Let f be ((-3)/48)/((-1)/(-2)). Let v = -0.02 - -14.02. Let t = v + -13.9. Which is bigger: t or f?
t
Let m be 4/14 + (-5256)/17955. Let h = -887/4560 - m. Which is smaller: -1 or h?
-1
Let c(d) = -6*d - 1. Let w(k) = k. Let x(q) = -5*c(q) - 35*w(q). Let y be x(-4). Let t be 60/y + 4/(-10). Is 2 less than t?
False
Let a = 6337301/26677 + 56/3811. Let n = 238 - a. Is n != 2/5?
True
Let b be 32/(-6)*(-396)/48. Suppose b - 10 = -2*y. Is y != -17?
False
Let z be 1 - 