t h = 344073/3145 + -2/629. Let w = 109 - h. Is w at least -2/13?
False
Let c(s) = s**2 + 9*s + 7. Let f be c(-9). Which is smaller: f or 2/5?
2/5
Let y(s) = s + 18. Let o be y(-18). Let d be 18/(-14)*-1 - 1. Which is smaller: o or d?
o
Let w be (0/((-6)/(-3)))/2. Let x be (w + -1)/(1/3). Are -2 and x nonequal?
True
Let g = -4 - -2. Let u(n) = n**3 - 4*n**2 + n - 2. Let w be u(4). Let b = w + -4. Is b at least g?
True
Let s = 1.5 - 2. Let o = s - -0.3. Is o equal to 1?
False
Let q = 99/5 + -19. Is q less than or equal to 2?
True
Let f = 36 + -37. Which is greater: -2/27 or f?
-2/27
Suppose 0 = -3*a, 0 + 12 = 4*b + 5*a. Suppose 17 = b*u - 2*c, u - 11 = -0*u + 2*c. Which is smaller: 1 or u?
1
Suppose -6*t + 15 = -t. Suppose 0 = -t*c + 4*c. Which is smaller: c or -1/9?
-1/9
Let m(g) = 4*g - 50. Let z be m(15). Is 0 less than or equal to z?
True
Let f = -37/44 + 3/4. Which is smaller: f or -1?
-1
Let d = -2.6 + 0.6. Let o be 4/(-27)*3/2. Does o = d?
False
Let m(v) = v**2 + 6*v + 5. Let n be m(-5). Do n and 1/4 have the same value?
False
Suppose -2*d = 2*a, -3*d - 3*a - 2 = 2*a. Suppose -168 = 4*k - 2*p, -3*p = -p - 8. Let u = k + 199/5. Which is bigger: u or d?
d
Let c(m) = 2*m + 3 - 2 - 2 + 0*m. Let z be c(6). Suppose -5*l + 1 = z. Which is bigger: l or -1/2?
-1/2
Suppose -2 = 4*o + 6. Let r be (-1)/(-2)*4*o. Let f = -4 - r. Is 3/4 > f?
True
Suppose 2*r - 78 = -92. Is -6 less than or equal to r?
False
Let f = -117 + 168. Let i = 95 - f. Let w be i/48 + 2/(-3). Do 1 and w have the same value?
False
Let q = 12.4 - 12.5. Which is smaller: 1.22 or q?
q
Suppose -4*y = -0*y + 4. Let s = -2 - y. Does s = -1?
True
Suppose 15 = -2*a - 2*f + 5, -3*f = 4*a + 16. Suppose 4*b - 4 = -5*h, 5*b = -h + 6*h + 5. Which is greater: a or h?
h
Suppose 12 = 4*v + 24. Which is bigger: -6 or v?
v
Let i(p) = -4*p**2 + 2*p - 1. Let t be i(1). Which is greater: -12 or t?
t
Suppose 4*z = 3*z + 1. Let n(g) = -g - 4. Let c be n(-6). Suppose -2*j = 4, -5*r + c*r + 13 = -5*j. Do r and z have the same value?
True
Let s = -4 + 3.2. Let a be (-12)/8 - (-10)/4. Is a >= s?
True
Suppose 2*t = 4*t + 4. Suppose 40 = 10*u - 5*u. Let g(y) = -y**2 + 8*y - 1. Let d be g(u). Which is greater: t or d?
d
Let x(v) be the third derivative of -v**4/24 - 2*v**3/3 - 10*v**2. Let k be x(-5). Which is smaller: k or -1/46?
-1/46
Let m = -0.15 + 0.05. Do m and 4 have different values?
True
Let l = 0.1 - 0.1. Let h = 0.1 + -0.2. Let z = h + l. Is z > -0.1?
False
Let a = 12 + -6. Let r be (3/a)/(45/(-12)). Do r and 0 have the same value?
False
Suppose s - j = 6, -4*j - 15 + 3 = 0. Suppose 2 = -s*d + 4*d. Let v = d - 1. Which is smaller: 0 or v?
0
Suppose -3*n = -9, -3 = -0*h + 3*h - n. Let b = -10 - -11. Is b at most as big as h?
False
Let w = -53/102 + 40/17. Let y = -1/6 + w. Which is smaller: 1 or y?
1
Let w = -3 + 2. Let n = 11/7 + -65/28. Which is smaller: n or w?
w
Let q be 4 + -4 - 8/86. Do 1 and q have the same value?
False
Suppose 0*z - 4 = -z + 4*g, -z = -2*g - 2. Which is smaller: -2/51 or z?
-2/51
Let h = -6 + 8. Suppose p - 5 = 3*i + 5, -h*i - 3 = 3*p. Do 0 and i have different values?
True
Let x(r) = r**2 + 3*r - 4. Let b be (0 + -1)*-2*1. Suppose 5*s + 2*w + 25 = -1, 0 = -b*s + 5*w + 7. Let m be x(s). Is 0 less than or equal to m?
True
Let y = 10 + -8. Suppose y + 3 = 5*j. Let h be j/4 + 1/(-4). Is h > 0?
False
Let o be 2 - 8/(-12)*3. Which is smaller: 6 or o?
o
Let t = 42 + -125/3. Is t at least as big as 0.3?
True
Let o(n) = n**2 + 4*n + 3. Let z be o(-2). Let b be 2 - z/(-10)*19. Is b less than 1?
True
Let x = -274/5 + 55. Let i(u) = -u**3 + 7*u**2 - 9*u + 9. Let g be i(6). Let f = -8 - g. Is f equal to x?
False
Let u be 6/(-14) - (-5158)/308. Let l = 33/2 - u. Which is bigger: 1 or l?
1
Let n = 2.7 + 0.3. Let t = n - 2.94. Let b = -0.36 + t. Which is bigger: 1 or b?
1
Let i = -784/2125 - -2/125. Suppose 17 - 16 = -k. Is k < i?
True
Suppose -5*i = -2*i + 4*h + 3, 0 = i + 4*h + 1. Suppose 0 = -3*y - y - 48. Let v be -3*(y/(-45))/4. Which is smaller: i or v?
i
Let v = -28 - -30. Which is bigger: v or 1?
v
Suppose -4*q = -0*q - 108. Suppose -153 = -3*f - q. Let w be (-1)/3 - f/(-72). Is -0.3 smaller than w?
True
Let j(l) = l**3 + 4*l**2 - 5*l - 4. Let r be j(-5). Which is smaller: r or -5?
-5
Let d = 1 - -2. Let y = 24 + -21.3. Let x = d - y. Which is bigger: x or 1/4?
x
Let m be 5 + -1*(-2768)/(-556). Is -1 >= m?
False
Suppose 0 = 5*x + 20, 3*f + 0*x = -4*x - 34. Let t be (f/(-72))/((-1)/2). Do 0 and t have the same value?
False
Let n = 1.4 - 6.4. Let y = 5 - 9. Let d = y - n. Which is bigger: d or -2/3?
d
Let v = -1.08 - -0.08. Let r = 4 - 5. Does v = r?
True
Suppose 0*x = 2*n + 5*x - 3, -5*n - x = 4. Let c(t) = t**2 - 9*t + 7. Let q be c(8). Is n != q?
False
Let q = -12 + 18. Is 1 at most q?
True
Suppose 2*i - 3*i = -91. Suppose 1 = -5*t + i. Is t > 18?
False
Let g = -3 + 6. Let o = g - 1. Do 1/5 and o have different values?
True
Suppose 3*z = 3*x - 15, 2*x - 3*z = 2*z + 25. Are x and 2/15 equal?
False
Let a = 0.2 - 0.4. Let s = 0.1 + a. Let i = 23 - 27. Is i >= s?
False
Let m be 20/(-3)*(-18)/45. Let g = m + -3. Is g smaller than -1?
False
Suppose -2*z - 2*z - 60 = 0. Is -14 less than z?
False
Let f = -2/59 - 222/413. Which is smaller: 1 or f?
f
Let o be (21/(-6) + 2)*-2. Suppose 0 = -4*q - o*c + 2*c + 2, -4*q - 4 = -2*c. Which is greater: q or -1?
q
Let p be 3/24 + 24/320. Which is bigger: p or -2/7?
p
Let z(d) = d**3 + 3*d**2 + 1. Suppose -3 - 6 = -3*m. Suppose 5*w - 2*j + 6 - 1 = 0, 2*j = -m*w - 19. Let o be z(w). Is o bigger than 3/2?
False
Let x be ((-5625)/21)/((-4)/7). Let y = x - 8429/18. Let o = y - 2/9. Is o at least 1?
False
Suppose -4 = 4*m - 3*j - 0*j, 0 = -5*m - 4*j - 5. Which is smaller: m or -1/17?
m
Let c = -24 + 24. Let m(g) = -g - 3. Let o be m(-6). Which is greater: c or o?
o
Suppose -r - h - 9 + 14 = 0, 2*r - 3*h = 10. Is 1 equal to r?
False
Let v = 1.26 - 1.36. Which is greater: v or 80?
80
Let r = 0 + 0. Suppose -3*i + 0*i + 12 = r. Suppose -5*s + 3*h = i, 0*s - 4*h - 10 = s. Which is greater: s or -1?
-1
Let t = 3.3 + 0.7. Let g = t - 4.2. Let m = 0.1 + g. Is 1 greater than or equal to m?
True
Let s(p) = p**3 - 14*p**2 + 4*p - 58. Let k be s(14). Which is smaller: k or 68?
k
Let c be 0 + 2*258/80. Let l = -29/4 + c. Suppose 0 = r + 2*r + 6. Are l and r unequal?
True
Suppose 7*j - 465 = 2*j. Let k be 4/20 - j/315. Which is greater: -1 or k?
k
Let b = -56 - -32. Is -22 at most as big as b?
False
Let q = 1.78 + -1.6. Let a = q + -0.18. Which is smaller: a or 0.2?
a
Let r(b) = -b**3 + b**2 + b + 1. Let j be r(-1). Suppose -5*o = -k + 3*k - 11, 0 = -4*k - o + 13. Let s = k - 2. Which is greater: j or s?
j
Let q = -743 + 719. Suppose -89 = 4*y + 3. Which is smaller: q or y?
q
Let c = -16 + 16. Is 0 >= c?
True
Let k(a) = -a**2. Let p be k(0). Let f(c) = -15 - 3*c + 4*c - 3*c**3 + 2*c**3 - c**2 + 14. Let w be f(p). Which is smaller: w or 1/3?
w
Let j = 5 + 4. Suppose -3*b = 2*u + j, 2*b = 2*u - 2 - 4. Suppose 0 = 3*g + k - 1, -4*k + k + 3 = u. Are 0 and g equal?
True
Let j = 1283/60 - 64/3. Which is bigger: 1 or j?
1
Suppose 6 = 2*w - 4*w - 3*f, -65 = 5*w - 5*f. Let m = w + 15. Which is bigger: m or 4?
m
Suppose 5 = p - 2. Let i = p - 4. Is i >= 2?
True
Let o(w) be the second derivative of w**5/20 - w**4/3 + 2*w**3/3 - w**2/2 + 2*w. Let k be o(3). Which is greater: 1 or k?
k
Let q be ((-12)/(-63))/(4/14). Is -4.5 > q?
False
Let u be 1/1 - 128/(-30). Let x = -23/5 + u. Let n be -2*(-1)/1 - 0. Which is greater: x or n?
n
Suppose -2*x - p = -9, 0 = 3*x - 4*x + p - 3. Let c = x - 3. Is -1/11 at most as big as c?
False
Suppose -o = -0 - 2, -2*n = -5*o + 10. Is -2/51 less than or equal to n?
True
Let w = 32 - 31.3. Which is smaller: 7 or w?
w
Suppose -4 - 2 = 4*x + g, 5*x = -4*g - 13. Which is smaller: x or -12/11?
-12/11
Let h = -76/7 - -7. Is h at most as big as -0.2?
True
Let k be 14/(-35) - (-3)/(-5). Is k equal to 2/37?
False
Let q = -371/4 + 92. Let v(o) = -o + 2. Let l be v(4). Which is smaller: q or l?
l
Suppose -d - 4*y - 19 = 0, -2*y = -5*d + 3*y + 5. Let j(z) = -4*z + 0*z**2 - 4 + 3 + z**2 - 2*z**2. Let v be j(d). Which is smaller: v or 3?
v
Let n = 1624 + -50348/31. Is 0.1 != n?
True
Suppose -3*b + 1 = -2. Let r(i) = -2*i - 1. Let n be r(b). Let s(j) = 3*j. L