d z have the same value?
False
Let q = 0.36 - 0.67. Is -1/4 less than q?
False
Let a(k) be the first derivative of k**2/2 + 3*k + 7. Suppose -6 = -2*y - 18. Let u be a(y). Is u less than 1?
True
Let v be (8/5 - 3)/(-2). Which is greater: 0 or v?
v
Let h = 269/465 - -2/93. Let v be 1/(-4) + (-33)/(-4). Let q(d) = -d + 9. Let g be q(v). Which is bigger: h or g?
g
Let a be (-837)/18*(2 + 0). Does -93 = a?
True
Let j be 47/9 - 2/9. Let u be 2/(-11) - (-342)/66. Suppose -u*q + 20 = l, -2*q + q = -j*l + 22. Do l and 5 have different values?
False
Let q = 5 - 4. Let n(l) = -l - 4. Let x(g) = -3*g - 12. Let z(p) = -8*n(p) + 3*x(p). Let c be z(-5). Is q greater than or equal to c?
True
Suppose 0 = -3*x - 3*y - 45, 3*x = y + 2*y - 27. Are x and -8 non-equal?
True
Let r = 31 + -22. Let k = r + -13. Is k < -1/3?
True
Let j = -7 + 11. Suppose -2*r = -4*a + j, -a - a = -4*r + 4. Which is bigger: 0 or r?
r
Let u = 16 - 15. Let n(c) = c + c - c - 4. Let h be n(5). Is h greater than u?
False
Suppose 4*v + 0*v = 0, -2*t + 10 = 2*v. Let a = 3 - t. Is -2 at most as big as a?
True
Let n = 4 - 0. Suppose n = 3*t + t. Let y be 2*(-2)/(-20)*t. Is y >= -1?
True
Let t = -16 - 13. Is t greater than -28?
False
Let h = -120 + 144. Is h smaller than 26?
True
Suppose 3*m = -0*m - 4*w - 15, -8 = 2*m + 2*w. Is m greater than -2?
True
Let i be (-17)/(-4) - 24/(-32). Suppose 8*g - 27 = i*g. Are g and 8 non-equal?
True
Let t = 5 + -2. Let v be (-8)/t*(-9)/(-4). Is v less than or equal to -7?
False
Let q be (-74)/14 + (-2)/(-7). Let p = q - -5. Does p = 2?
False
Let l be 4 + -2 + (-1 - 2). Let u be (12/(-9) - l)*3. Which is bigger: 3/8 or u?
3/8
Suppose 3*u - 17 = -2. Suppose -3*o + u*d = -2, -4*o + 3*o + d = -2. Suppose -o*l - 7*c - 4 = -2*c, 4*l - c - 20 = 0. Which is bigger: l or 3?
l
Let o = 12 + 5. Let q = 16.8 - o. Let i = 1 + -1. Which is greater: q or i?
i
Suppose -8*b = -13*b - 15. Which is bigger: b or -1/7?
-1/7
Suppose 0 = -4*v - 4*j + 12, 0 = 3*v + j + 4*j - 11. Is 3 less than v?
False
Let o = 0.9 + 0.1. Suppose -8*h + 3*h = -35. Is h at most as big as o?
False
Let v be (-70)/49 - (-2)/2. Let n(q) = q**2 - 5*q - 10. Let d be n(7). Suppose 0 = d*a - y + 3, 5*a = 2*a + 3*y. Do a and v have different values?
True
Let z = -6 + 2. Let w be (1/(-21))/((-2)/z). Suppose 7 - 10 = -3*v. Which is smaller: w or v?
w
Suppose -2*v = 5*p - 43, p + 3 = -2*v + 18. Let l = p + -4. Which is greater: l or 2?
l
Suppose -3*l - 2*m = 2*l + 25, -8 = l + m. Suppose 15 = -z + 6*z. Let k = l + z. Which is greater: 4/3 or k?
4/3
Let v = 7 + -7.03. Let z = -0.02 - v. Is 2 greater than z?
True
Suppose -2*i + 1 - 7 = -3*l, l + 6 = -2*i. Suppose -4*q - 15 = -7. Is l at most as big as q?
False
Suppose 1 + 5 = 3*h. Suppose 0 = 4*t + 16, 2*x + h*t + 10 = -0*x. Which is greater: 1/13 or x?
1/13
Let n = 2/7 - 1/4. Which is greater: 0 or n?
n
Suppose 5*h + 24 = -3*f, -4*f + h = -4*h - 3. Let j be 2/(-6) + 2/f. Let d be 3/2*2/j. Which is smaller: d or -4?
-4
Let r be ((-279)/(-4))/((-3)/4824). Let c = 241252354/2151 + r. Let n = -2/239 + c. Does 1/3 = n?
False
Let a be 2/(2/(0 - (-8)/(-28))). Let v = -10 + 7. Let h = v + 3. Which is smaller: a or h?
a
Let n be (-6)/((-6 - -2) + 1). Are -1 and n unequal?
True
Suppose 3*y + 0*y = 0. Suppose -3*k - 1 + 10 = y. Suppose -k*v + 4*l = 22, -4*v + 2*l + l = 20. Which is smaller: -4 or v?
-4
Let g(k) = k**3 - 5*k**2 + 2*k - 7. Let f be g(5). Suppose -198 = -0*y - f*y. Let q be 34/y - (-4)/(-12). Which is greater: 0 or q?
q
Let v = 31377/26 + -1207. Is -1 at least v?
False
Suppose -7 + 19 = 3*y. Which is smaller: 6 or y?
y
Let m = 176/3 - 66. Is m equal to -8?
False
Suppose -3*l + 7 = 5*r, 0*r - 4*r - 16 = -3*l. Which is bigger: r or -4/3?
r
Let n = -1.025 - -0.025. Do n and 35 have different values?
True
Let s(r) = r**2 - r + 1. Suppose 4 = 3*t + 1. Let z be s(t). Suppose 0 + 4 = -4*k. Is k at least as big as z?
False
Let p = 3 + 5. Let r be (-6)/p - 50/(-120). Which is bigger: r or 0?
0
Suppose z - 6 = t, 3*t + z + 6 + 0 = 0. Let f(b) = 2*b**2 + 3*b - 3. Let w be f(-3). Suppose 3*k = -3*q + w, -2*q - 11 = 3*q - 2*k. Which is smaller: t or q?
t
Let h = 36 - 19. Is h != 17?
False
Let y = -7839/5 - -281569/180. Let k = y + 15/4. Let c = -0.9 + -0.1. Which is smaller: k or c?
c
Suppose p - 4 = 7. Which is smaller: p or 9?
9
Let z = -1 + 2. Let a = -23 + 14. Let h = a + 8. Which is bigger: h or z?
z
Suppose -2*j - 3*o = -15 - 12, -j + o + 11 = 0. Let r be 2/j + (-70)/(-84). Which is smaller: r or 3/19?
3/19
Let p = -0.6 - 1.4. Let f = -2.2 - p. Which is smaller: f or -2/5?
-2/5
Suppose -11 = 3*h - 5*x, -h + 3 - 4 = -x. Suppose 14 + 31 = -h*t. Is t less than or equal to -14?
True
Let n = 0.27 - 0.16. Let a = n - 4.11. Which is bigger: 0.1 or a?
0.1
Let x(j) = 2*j**2 + 16*j + 45. Let t be x(-7). Which is bigger: 30 or t?
t
Let i(o) = -o**3 + 8*o**2 + 9*o + 8. Let r be i(9). Let b be (-12)/6*2/r. Which is bigger: b or 0?
0
Let b = -43 - -43.1. Is 7 greater than or equal to b?
True
Suppose -a + 3 - 11 = -2*g, -18 = g + 5*a. Let o be -2*(g + (-10)/4). Which is greater: 1/5 or o?
o
Let f = 642 + -8355/13. Which is smaller: -2 or f?
-2
Suppose 3*b - 32 = -5*h, 8*h + 31 = 13*h + 4*b. Let a = 25 + -17. Are h and a nonequal?
True
Suppose 0 = -2*t + 5 - 1. Suppose -1 + 5 = -t*x. Let h be ((-6)/81)/(x/(-6)). Is -1 greater than or equal to h?
False
Suppose 18 - 50 = -4*q. Let z be (-2)/8 - (-34)/q. Suppose -4*j - g + 8 = 0, 9 = 2*j + z*g - 9. Are 2/11 and j nonequal?
True
Suppose 4*j = 4*m - 12, -j + 0*m - 3*m + 13 = 0. Let v be (3 - 5) + 52/32. Which is bigger: v or j?
j
Let n = 13 + -29. Let f be 2/(-72) + (-4)/n. Which is bigger: -1 or f?
f
Let s be (0 - 1110/(-39))/146. Let b = 3/73 - s. Which is smaller: b or -1?
-1
Let n(i) = -i**3 + 8*i**2 - 6*i - 1. Let g be n(7). Suppose -t - g = -3. Is t at most as big as -3?
True
Suppose 0 = 2*v + 8, -2*b + 5*v = -0*b - 76. Which is smaller: 29 or b?
b
Let t(o) = -2*o**3. Let p be t(1). Which is smaller: 1 or p?
p
Suppose -4*t + t = 0. Which is smaller: -2/63 or t?
-2/63
Let v(q) = -5*q**2 - 10*q + 15. Let r(o) = 3*o**2 + 5*o - 8. Let a(l) = 7*r(l) + 4*v(l). Let u be a(5). Which is smaller: 1/3 or u?
1/3
Let w be 0*(3 - (-7)/(-2)). Let b be -2*(-2 - w)/10. Is b < -1?
False
Suppose z + 2*r = -2*r - 9, -19 = -5*z - 4*r. Suppose z = 5*y - 3. Let m = -4 + y. Do m and -3/2 have the same value?
False
Let p = 96 - 150. Is -2/3 less than p?
False
Let d = -1 - -21. Let q = d - 23. Is -2 greater than q?
True
Let c = 3/107 + 91/4387. Let d = -131/164 + c. Is -2 less than or equal to d?
True
Let g = 76.1 - 72. Let w = g - 4. Is -3 less than w?
True
Let m = -7 + 2. Let j = m + 2. Is -4 < j?
True
Let c = 16 + -4. Which is bigger: c or -2/9?
c
Suppose 0 = -k - k + 14. Let j = -6 + 10. Suppose -k - 1 = -j*y. Which is smaller: -1 or y?
-1
Let m be 36/10 + 2/5. Suppose -y - 2*y + 15 = 0, m*u - 2*y + 2 = 0. Let s be 1*u - (-6 - -6). Is s > 1/2?
True
Suppose -2*w = 2*w. Let t = -1985479/17 - -116741. Let c = t + 52. Which is greater: w or c?
c
Let q = 6.6 + -3.6. Is -1/4 not equal to q?
True
Let s = -8.1 + 0.1. Let x = s + 5. Is -1 at most x?
False
Let h = 101 - 46. Is 55 greater than h?
False
Let w(s) = s**2 + 6*s + 3. Let r be w(-4). Let b be ((-4)/10)/(1/r). Let v = -5 + 7. Is b greater than v?
False
Let t be ((-3)/(-18))/(1/2). Let y be 5 + (0/(-3) - 5). Which is bigger: y or t?
t
Suppose 0*h + 20 = 2*h. Suppose -2*j = 3*j + h. Is 1 at most as big as j?
False
Let q = 0.27 - 0.47. Let t = -4.3 + 4. Which is greater: t or q?
q
Suppose -4*j - 4 = -4*s, 2*s - 1 = -2*j + 3*j. Let x be (2 - j/1)*-1. Let w be 3 + 174/(-27) - x. Is -1 not equal to w?
True
Let i = -4410076 + 149958087/34. Let z = -456 + i. Is 0 greater than or equal to z?
True
Let a = -0.05 - 0.05. Let q be 2/2 + 2 - 1. Are q and a unequal?
True
Suppose 5*z + 0*z = 15. Let p = z + -6. Which is greater: p or -4?
p
Let o(j) be the third derivative of j**5/60 + j**4/4 - j**3 + j**2. Let p be o(-7). Let r = 388/5 - 77. Is p less than r?
False
Suppose 2*l = 6*y - 2*y + 6, -6 = -2*y + 4*l. Are y and 2 non-equal?
True
Let x be (1/1)/(0 + -1). Let k be (-1 - 5/1)/2. Let h be (-1 - (-3 - k))*0. Which is bigger: h or x?
h
Let p(j) = -j**2 - j + 3. Let o be p(-3). Let x(y) = -4*y + 2*y + 0*y + y + 1. 