 1/2?
False
Let v = 6 - 4. Let c = -34.7 - -41.7. Which is bigger: v or c?
c
Let l be 3*(0 - 24/(-99)). Suppose -5*m - 8 = -9*m. Does m = l?
False
Let l be -2*2707/(-12) + -3. Let b be (1 - 3)*2 + -443. Let i = l + b. Which is smaller: 2 or i?
i
Let z be 54/130 - (-4)/(-10). Let q(o) = 7*o + 104. Let j be q(-15). Which is greater: j or z?
z
Suppose 0 = 5*q + 174 - 159. Is 7 at most as big as q?
False
Let w = 1841 - 1682. Which is smaller: 161 or w?
w
Let c(w) = w**3 + w**2 + w + 4. Let q be c(0). Suppose -3*h + 5*h - 26 = -2*y, -q*h + 4*y = -44. Suppose 2*d = 5*d + h. Is -1 bigger than d?
True
Let w = 4664/273 - 320/21. Let b be ((-1)/(-4))/(300/9120) + -8. Which is greater: b or w?
w
Let j = -3 + 0. Let b be (1 + j)*(-2)/(-4). Let c = -73 + 73. Which is smaller: c or b?
b
Suppose -5*i + 4*t - 33 = -1, -4*i - t - 13 = 0. Let p = 6 + -6. Let w = p - i. Which is greater: 3 or w?
w
Suppose -4*w - 30 = -2*n, -3*n = -7*n + 20. Let h be 7 - w*(-6)/15. Suppose 3*v - 40 = -4*a, h*a - 3*v - 50 = -2*v. Which is bigger: a or 9?
a
Suppose -409*y + 220 = -407*y. Is 109 greater than or equal to y?
False
Let g be ((-8)/3)/((-4)/(-6)). Is g at least as big as -79?
True
Suppose 15*a - 3*a = 60. Let t be (a*(-10)/75)/(4/138). Are -20 and t unequal?
True
Let p = 183 - 182.815. Is p at most as big as 1?
True
Let n = -0.06 + 0.1. Let v = n + -0.04. Let i = -0.04 - 0.05. Which is bigger: v or i?
v
Let v(l) = 7*l - 2. Let h be v(-1). Let b = h - -6. Which is smaller: b or 0?
b
Let u(d) be the second derivative of 7*d**3/6 + 3*d. Let a(m) = 20*m - 1. Let l(j) = -6*a(j) + 17*u(j). Let s be l(6). Which is smaller: s or 1/4?
s
Let o = 19 + -4. Suppose 4*k = -o - 37. Let y = k + 12. Which is greater: y or 1/11?
1/11
Let l = 2/67 + 63/134. Let p = -36899329024/3707 + 9953960. Let k = p - 2/337. Is k < l?
True
Suppose -u - 305 = -6*u. Is 60 >= u?
False
Suppose 0 = 3*w + 12, -3*w + 96 - 27 = -3*f. Let y = -17 - f. Are -2 and y nonequal?
True
Let w = 3.8 - 3.8. Let q = -0.06 - -3.06. Let n = w + q. Is n >= -0.03?
True
Suppose 0 = 3*v + 3 + 9. Let d be ((-4)/(-2))/(v/(-10)). Suppose b - 9 = 4*h + 2*b, 0 = d*h - 5*b - 20. Is -1 at most h?
True
Let u = 1.245 + -0.035. Let s = -1.2 + u. Suppose 0 = 3*j - 2 - 1. Which is smaller: j or s?
s
Suppose -7 = -v - 0*h - 4*h, -4*h = 4*v + 8. Let b(c) = -2*c**2 - 6*c + 5. Let o be b(v). Do o and -14 have different values?
True
Let c(q) = -q**2 + 8*q + 12. Suppose o + 3 = 13. Let g be c(o). Let k be (-1)/(1*(-4)/g). Which is bigger: k or -3/2?
-3/2
Let m = 316 + -197. Is m at least as big as 119?
True
Suppose -2 = 9*f - 10*f. Suppose 2*m - 8 = -5*i, f*m = 5*i + 7*m - 20. Is i <= -1/108?
False
Let a = 1692 + -1692. Let b = 10.1 - -2.9. Are b and a nonequal?
True
Let p = 308 - 62. Is 2 bigger than p?
False
Let v be -1*((-12)/(-20))/((-2)/310). Is 88 greater than or equal to v?
False
Let q be 0/((8 + -9)/(-4 + 3)). Is q <= 2/245?
True
Let f be (-4 - 13) + 1*(0 + -1). Let z = -20 - f. Is -1 equal to z?
False
Let s = 1.05 + -1. Suppose -z + 3 - 8 = 2*v, 4 = -4*z. Let d be (v/(-8))/(9/(-24)). Which is smaller: s or d?
d
Let s(q) = -q**3 - 6*q**2 + q + 7. Let c be s(-6). Which is smaller: c or 2/907?
2/907
Let j be 2*12/16*12/9. Let o be 1/((-1)/((-3)/9) - j). Which is bigger: o or 1/6?
o
Let d = 188/7 + -27. Suppose -3*i = l, -i = 3*l - 7*l - 13. Which is smaller: d or i?
d
Suppose -11*a = -7*a. Let t be (a - 1)*(2 - 4). Suppose t*i + 5 = -3*m, -3*i = m - i + 7. Which is smaller: m or 3/4?
3/4
Let o = -3 + 16. Suppose -2*q - l = -2*l - o, 0 = 4*q + 3*l - 1. Suppose 8 = q*t - 5*t. Do -7 and t have the same value?
False
Let k(a) = -9*a + 37. Let c be k(8). Which is bigger: 3 or c?
3
Let g(m) = -m**2 - 12*m - 33. Let j be g(-10). Let x = 41 + -70. Let n = x - -15. Which is smaller: j or n?
n
Let b(z) = 2*z**2 - 23*z + 17. Let d(y) = -y**2 + 11*y - 8. Let f(v) = 4*b(v) + 9*d(v). Let q be f(6). Which is bigger: q or -2?
q
Let o = 762.8 + -756. Is -2/9 at most as big as o?
True
Suppose 3*r - 5*l + 0 = -38, 4*l - 16 = 0. Do -6 and r have the same value?
True
Suppose -4*a = -3*u - 257, -4*a + u + 64 = -3*a. Let j be (8/5)/((-16)/(-648)). Let n = j - a. Is -1 at least n?
False
Let a = 18.8 - 0.8. Let n = 3 - a. Let u = n + 12. Is u >= 1?
False
Let g = 101.919 - 102. Let c = -0.629 + g. Let j = c + 0.31. Which is greater: j or -5?
j
Let y = -21776/51 + 427. Suppose 22 + 2 = 6*r. Suppose -q + 3*n + 15 = 0, 0 = -q + r*n + 8 + 12. Which is smaller: y or q?
q
Let w = -17.08 + 17. Let u = w + -2.32. Let x = -3.4 - u. Is x > 0.1?
False
Let w be (-30)/48*3 - 1*-2. Suppose -k + 7 = -2*k + 3*a, a = -k + 5. Which is smaller: k or w?
w
Let f be (1/1)/(-3 + 2). Let a = 2/4347 + -191/4347. Is f at most a?
True
Let k(y) = 10*y**2 + 0*y**2 - 3*y + 3 - 2*y - 4*y - y**3. Let r be k(9). Suppose -4 = -l + r. Which is smaller: 6 or l?
6
Let u = 19 + -9. Suppose 14*r = u*r + 68. Which is greater: 18 or r?
18
Let q = 10.5 + 1.5. Let t = q + -12. Do -1/4 and t have the same value?
False
Suppose -4*s - 12 = 4, -4316 = -5*i + 4*s. Let z = -14626/17 + i. Does z = -1?
False
Let k = 1/44 - 67/44. Is 16/9 greater than or equal to k?
True
Let a be -2 + 5/3 - (2 + -3). Is -886 smaller than a?
True
Suppose 5*o = -3 + 8. Let f(n) = -n + 2. Let s be f(o). Let p be (3 - s)*(-1 - 1). Which is smaller: p or -3?
p
Let v = -2.1 - -0.1. Let m = -28 + 63. Let f = m + -34.5. Which is smaller: f or v?
v
Let i = -1970 - -1970. Is i not equal to -4/763?
True
Suppose -14 - 26 = 5*b. Suppose 0*l + 6*l - 90 = 0. Let i be -10 + 4/(20/l). Is b greater than or equal to i?
False
Let x be 3/(-9) + 4/3. Let h = -0.08 + 2.08. Let q = h + 1. Which is smaller: q or x?
x
Suppose 0 = 7*d + 50 + 41. Which is bigger: 1/3 or d?
1/3
Suppose 17 = 3*u + 5*c, u + 2*c - 2 = 4*c. Suppose -2*i = -u*i - 2. Does -2 = i?
False
Let k(v) = v - 1. Let t be k(0). Let c be 4 + (20 - -1) - t. Let s = c + -19. Is 7 at least s?
True
Let v be (-91)/(-140) + (-3)/4. Let k(j) = j + 4. Let w be k(-10). Let d(l) = -l**3 - 7*l**2 - 6*l - 1. Let o be d(w). Is o at most as big as v?
True
Let j = 11 + -6. Suppose -5*k = j, 0 = -2*z - k + 17 - 8. Let h be (z - 5) + 6/(-99). Are h and -1 unequal?
True
Suppose -3*b + 5*a = -b - 170, 2*a + 356 = 4*b. Let r be (-1)/3 - 5/b*-8. Are r and -1 unequal?
True
Suppose -3*x + 43 = 2*x - 4*z, 8 = x - z. Which is smaller: x or 14?
x
Suppose 3 = 3*v + 12. Let g be v/2 + 2/(-4). Let w be g/5 + (-6)/(-10). Is -3 equal to w?
False
Suppose 29 = 3*m - 4*h, 0 = m - 2*h + 5 - 16. Which is bigger: -5 or m?
m
Suppose 35 - 8 = 3*j. Let p be (3 + 0)/j*6. Let t be 6/20*75/45. Which is smaller: t or p?
t
Suppose 63*m = 58*m + 10. Suppose m*d + 15 = -d + 2*w, 2*w = -2*d - 20. Are d and -7 nonequal?
False
Let s be 32/2 - -2 - -2. Let i = 34 + -13. Is i smaller than s?
False
Let l = 13 - 22. Let o be -2 + (-12)/l*5. Let q(p) = -p**3 + 4*p**2 + 5*p + 5. Let y be q(5). Are y and o nonequal?
True
Let t(m) = m**2 + 3*m - 53. Let s be t(-9). Let h = 349/1199 - 2/109. Which is bigger: s or h?
s
Suppose 5*l - 2*u = -2143, u + u - 435 = l. Let i be 2*((-4)/10 - l/(-70)). Which is smaller: i or -11?
i
Let k = 594 + -564. Suppose l + 2*l = 96. Which is smaller: k or l?
k
Let f be (-8)/((-8)/3 + 2). Let n = f - 7. Suppose 7*x = n*x + 6. Which is bigger: x or 2?
x
Suppose -29 = -50*o - 29. Let v(u) = 14*u**2 + 2*u + 1. Let j be v(-1). Let g be 2/5 - j/20. Is o at least g?
True
Let p be 43/6 - (-3)/(-18). Suppose 3 = b - 1. Is b >= p?
False
Let x = -1.9 + 16.9. Let r be 10/(-15)*(-210)/(-20) + 6. Is r not equal to x?
True
Let u = 21073/32 + -658. Is 2 > u?
True
Let r = -78 + 78.63. Let x = -0.6 + r. Let d = x - -0.07. Which is greater: -3/5 or d?
d
Let l be -3 + 7 + (-1 - 2839/947). Let y = l - 4773/17993. Is 1 bigger than y?
True
Let r be ((-20)/194)/2*(-2)/1. Which is smaller: r or -1?
-1
Suppose -9*m + 98 = -100. Which is bigger: m or 30?
30
Let z(w) = w**3 - 4*w**2 - 22*w + 9. Let v be z(7). Suppose -2*g + 5*c + 22 = 0, 3*g - 3*c = 2*c + 23. Is v > g?
True
Let w = -23 + 23. Let p be (-1 - -1) + 42/203. Do p and w have the same value?
False
Let c be ((-2)/17 + (-817)/(-731))/241. Is c > 0?
True
Suppose -t - 3*a = -8*a - 20, 4*a = 5*t - 121. Let h = 23 - t. Let s be ((-9)/18)/(h/(-12)). Which is bigger: s or 0?
0
Suppose -15*m + 