. Is q equal to 10?
True
Let o = -1 + 3. Which is smaller: 3 or o?
o
Let m be 3*2/(-2) + 0. Let p = m - -2. Let o = -37/252 + -5/36. Are o and p equal?
False
Let g(s) = 2*s + 13. Let i be g(-7). Is i at most as big as -3/10?
True
Let o be ((-1)/1)/((-14)/(-4)). Suppose 0 = 4*v - 5*g - 35, g = -4*v - 3*g + 8. Suppose -3*l + 2 + 3 = -h, -3*h = v*l - 13. Is o != h?
True
Let z = -43/15 + 11/5. Let t(d) = -d - 1. Let u be t(-3). Let l = u + -2. Which is smaller: z or l?
z
Let j be 5/((-105)/9) + (-174)/(-14). Which is greater: 11 or j?
j
Let h(u) = -u**3 + 2*u**2 - 1. Let j be h(2). Let l = -3 - j. Let d be -2*((-35)/(-17) + l). Is d at most as big as -1?
False
Let u be (-10)/(-35) + (-2)/7. Suppose -c + 4*c - 12 = u. Suppose 0 = -3*p + 7 - c. Which is smaller: p or 4?
p
Suppose -2*w + 5*a + 19 = 0, -3*a + 4*a = -w - 1. Let k = -8353/70 - -582/5. Let d = 24/7 + k. Which is smaller: w or d?
d
Let n be (4/18)/((-6)/9). Let w be 1/(-2) + 2/4. Which is bigger: n or w?
w
Suppose -f = -2*z - 3*z - 20, 3*f - 3 = -4*z. Is z at most as big as -6?
False
Let q = 47 + -59. Are q and -12 unequal?
False
Let g = -3.8 + -0.2. Let f = -8 - g. Which is bigger: 2 or f?
2
Let d(v) = -9*v + 1. Let h(b) = -b. Let i(y) = -d(y) + 5*h(y). Let j be i(2). Is j bigger than 7?
False
Let m(q) = -q**3 + 3*q**2 - q + 4. Let t be m(3). Which is smaller: t or -1/19?
-1/19
Suppose 3*r = -9 - 18. Let p(d) = -d - 10. Let n be p(r). Is n less than or equal to -1/4?
True
Let z be (-4)/14 + 115/35. Suppose z*c + 12 = c. Which is smaller: c or -5?
c
Let d(p) be the third derivative of 0 + 1/24*p**4 + 0*p + p**2 - 1/2*p**3 + 0*p**5 + 1/120*p**6. Let z be d(0). Which is bigger: 1 or z?
1
Let h be 14/8 + 1/4. Let c = -4.2 + 5.2. Are h and c equal?
False
Let t be 1*-3 + (12 - -24). Suppose 5*r + 4*l = 18, 3*r - 5*l + 0*l = t. Is 7 less than r?
False
Let v be (216/14)/((0 - 8)/(-4)). Is 8 != v?
True
Suppose -4*i + 2 = -3*i. Suppose 0 = i*u + 1 - 7. Is 1 smaller than u?
True
Let p = 0.35 - 0.05. Let s(a) = -2*a**2 + 4*a - 2. Let v be s(2). Let z be 14/12 - (-1)/v. Which is smaller: p or z?
p
Let h(x) = -x**2 + 2*x + 2. Let d be h(4). Let u(c) = c**2 + 5*c - 1. Let k be u(d). Suppose -k*y = -y. Is y equal to -1/4?
False
Let d = -217/4 + 54. Let s = -7/12 + 5/6. Let m = s - d. Which is smaller: 1 or m?
m
Suppose 38 = 3*u - 4*d, d = u - 2*u + 1. Is 5 less than u?
True
Let k = 6 + 0. Suppose -i - i = -k. Is 5 at most i?
False
Let b be ((-2)/(-4))/(80/64). Let o = 0.01 + 0.99. Is o greater than or equal to b?
True
Suppose 2*g = -2*g + 8. Suppose 3*w + 5 = -2*w. Let p be (3/g)/(-1) - w. Which is bigger: p or -2?
p
Let w = -1 + 4/5. Suppose 0 = -3*m - m + 32. Suppose 3*b - m*b = 0. Is b < w?
False
Let i = 2.8 - 3. Let p = i + 0.2. Let v = p + 0.1. Which is smaller: v or -1/5?
-1/5
Suppose 0*m = -m. Suppose 2*j - 3*j + 2 = m. Let w = 156 - 464/3. Is w > j?
False
Let i(v) = v**3 + 6*v**2 + 6*v + 4. Let s = 6 + -11. Let h be i(s). Is 0 at least h?
True
Let r be (2 + -17)/(6/4). Let k = -16 - r. Let l be 2/6 + 5/k. Are l and 0 non-equal?
True
Let h(b) = -b**3 + 4*b**2 - 4*b + 2. Let n be 2/((-2 + 1)/(-2)). Suppose i - n*l = 11, -26 = -3*i + 4*l - 9. Let u be h(i). Does u = -3?
False
Let u(k) = k**2 + 3*k - 3. Let d be u(-3). Which is smaller: -7/3 or d?
d
Let b be 4 + -4 - (3 - -1). Let y = 92 - 189/2. Is y greater than b?
True
Let h be 1*-2*11/(-44)*2. Which is smaller: h or -2/147?
-2/147
Let t(s) = -s + 19. Let p be t(9). Is p < 10?
False
Let d = 11 + -9. Suppose -d*i + 4 = -2. Let k = i - 3. Do k and 0 have different values?
False
Suppose 4*c - 14 = 2*y, 2*c - 8 = -4*y + 4. Suppose 6 = c*t + 2. Let m be (-13)/(-11) + 1/(-1). Which is greater: t or m?
t
Let b(t) = -2*t + 14. Let o be b(9). Which is greater: o or -3?
-3
Let t = 19.06 - 19. Is 1 smaller than t?
False
Let y(f) = -f**2 - 8*f - 12. Let i be y(-6). Which is bigger: i or -1/19?
i
Let o = -10 - -12. Let f = o + -8. Is 2/5 not equal to f?
True
Suppose 4*m = -3*c - 5, 0 = -m - 0*c - c - 2. Is 3/17 greater than or equal to m?
False
Suppose -5*f + 5*s = -15 - 15, -5*f - 4*s - 6 = 0. Let h be f/1 + 56/(-36). Let b = -50 + 49. Is h smaller than b?
False
Let s(k) = 7*k. Let h be s(1). Which is smaller: h or 4?
4
Let u = 49 - 49. Which is greater: u or 7?
7
Let k be (-1)/((-1)/(8/(-772))). Which is smaller: 1 or k?
k
Let y = 0.3 - 0.4. Let j = 0.57 + 2.53. Let s = -3 + j. Which is greater: y or s?
s
Let o be (36/(-3))/(10/(-88)). Let x = 106 - o. Let i = 0.5126 + -0.0126. Which is smaller: x or i?
x
Let m(n) = -n**3 + 3*n - 3. Let t(i) = -i**3 + i**2 + 3*i - 3. Let y(s) = 4*m(s) - 3*t(s). Let p be y(-4). Let k = -1 + 4. Which is smaller: k or p?
p
Let x(y) = 4*y**2 - 6*y + 6. Let p be x(2). Which is greater: 7 or p?
p
Suppose 4*t = 2*l - 6, -5*l = -4*t - t - 10. Let b(m) = -m + 22. Let j be b(12). Suppose 3 = j*q - 11*q. Is q less than or equal to t?
True
Let w be 2*(-5 - 8)*(-2)/(-4). Are -14 and w equal?
False
Let r(p) = -p - 3. Let j be r(-3). Suppose 6 = 3*w - 3*u, 0*w + 5*w - u - 30 = j. Let f = 5 - w. Which is bigger: f or -0.2?
-0.2
Let n = 0.2 + -1.15. Let z = n - -1. Let o = 0.15 - z. Which is smaller: -3 or o?
-3
Let a be 7 + 1 - (3 - 0). Suppose -4*p - 4*j - 40 = 0, -a*p + 3*j - 2 = -4*p. Is p bigger than -8?
False
Let t = 0.3 + -0.2. Is t at least 0.03?
True
Let i = -112 - -11314/101. Is i at most -1?
False
Let x = -1/56 - 83/56. Which is smaller: 0.2 or x?
x
Let j be ((-10)/25)/(1/(-5)). Suppose 0*r + j*r = z + 6, -2*z - 7 = r. Suppose -5*w = -16 + r. Which is greater: w or 2/5?
w
Let j be (2 + -1)*(-15)/(-6). Which is smaller: j or 2?
2
Let t = -0.55 + 0.5. Let m = 0 + 0.1. Is m < t?
False
Let q be 2/(-5)*35/(-14). Let v be (-322)/(-8) - q/4. Let p be (-12)/(-10)*v/(-12). Are p and -4 nonequal?
False
Suppose 16 = 2*v + 4*u, -4*v - 35 = v - 5*u. Suppose 0 = -2*h - h. Suppose h*o + o = -q - 1, 0 = 4*q. Is o bigger than v?
True
Let p = -27 - -20. Which is smaller: p or -70/11?
p
Let p be 9/(-2)*2/(-3). Suppose 2*i = p - 7. Let l be -6 - (5 - 4)*-3. Which is smaller: l or i?
l
Let f = 8 + -6. Which is greater: 7/4 or f?
f
Suppose 0*t - 4 = t. Let o be (2/(-1))/((-32)/(-80)). Is t smaller than o?
False
Suppose -2*w = 3*w + 60. Let q be ((-20)/6)/(w/18). Which is greater: 4 or q?
q
Let x(y) = y**3 + 9*y**2 + y + 7. Let m be x(-9). Let g(l) = 2*l + 2. Let r be g(m). Is r > -2?
False
Let l be 6/19*(-2)/(-18). Is l at least as big as 0?
True
Suppose 1 = -s - 1. Which is bigger: -1 or s?
-1
Let v(c) = -c**3 + 9*c**2 - 9*c + 6. Let h be v(8). Let i be (h/12)/((-12)/18). Is i equal to 2?
False
Let s = -733/7 + 105. Which is bigger: s or 0?
s
Let s = -1/4 - 5/12. Which is smaller: 0.02 or s?
s
Suppose -17*y + 15*y + 2 = 0. Does y = -5/36?
False
Suppose 5*n = s + 12, -4*s + 4*n - 12 - 52 = 0. Which is greater: 2/9 or s?
2/9
Let f be -1*14*3/(-27). Let s be ((-3)/(15/(-4)))/((-18)/(-45)). Are s and f non-equal?
True
Let r be (-1157)/(-26) + 1/(-2). Is r not equal to 43?
True
Let y be 3/(-6) + (-4)/(-5). Suppose -5 = -4*q + 3*w, 0 = q - 3*q + 4*w + 10. Which is smaller: y or q?
q
Let c be 8*1 - (0 + 1). Let n(q) = -2*q - 2*q + 5*q + 9 + q**3 + c*q**2. Let j be n(-7). Do 1 and j have the same value?
False
Suppose 4*u - 2*u = -5*a + 47, 0 = -4*u - 3*a + 87. Is 21 equal to u?
True
Let s = -5.7 - -6. Let t = -0.133 - -0.033. Which is smaller: t or s?
t
Let c = -2.89 - 0.31. Let y = -2.4 + -0.6. Let f = y - c. Which is smaller: f or 2/5?
f
Let t be -1*2/(-14)*-2. Let l = 6 + -8. Let j be (l + 2)/(-3) - 1. Which is smaller: t or j?
j
Let o be 1/(-3)*620/(-145). Let w = 7/29 + o. Which is bigger: w or 2?
2
Suppose -6*a = -3*a. Let c be ((-2)/6)/((-32)/(-12)). Which is smaller: a or c?
c
Let l be (-3)/((-2)/((-20)/(-6))). Suppose l*t + 11 = 4*g - 0*g, 2*t - 10 = -2*g. Is 4/7 less than or equal to t?
True
Let p(v) = v**3 - 9*v**2 + 2*v - 11. Let o be p(9). Is 19/3 != o?
True
Let d = 1/231 + 10/231. Let w = -25/84 + d. Let u be (-2)/(-8) - (-2)/56. Is w < u?
True
Let j = 113 - 113. Let o = 2.9 - 3. Let f = o - -1.1. Which is greater: f or j?
f
Suppose -3*f - 27 = -2*b - b, 0 = -2*b + 4*f + 28. Suppose 27 = -k + b*k. Let o be (-4)/(0 - -2)*-4. Is o less than k?
True
Let y = -410 + 19681/48. Which is smaller: 2/3 or y?
y
Let o = -30 + 46. Let h be (-3)/2*o/18.