 Is w less than -1?
False
Suppose -6 + 42 = 4*s. Is 10 bigger than s?
True
Suppose -4*c = -9 + 5. Which is greater: c or 2/45?
c
Let c(y) be the third derivative of y**6/120 - y**5/12 - y**4/24 - y**3/6 + 2*y**2. Let n be c(5). Let p be (1 - n/(-8))/(-1). Which is smaller: p or 3?
p
Let f be (8/(-3))/(6/(-27)). Suppose 3*h - 3*k = f, -4*h = -3*h + 5*k + 20. Suppose a - 4*b - 7 + 2 = h, -b = 2. Is a equal to -3?
True
Suppose -13 = -2*i + 11. Let u be 0 + ((-3)/1)/i. Is -1 bigger than u?
False
Let k = 2301 + -11414/5. Let v = -809/45 + k. Let x be (1/(-8))/((-2)/(-4)). Is v <= x?
False
Let c = 6 - 10. Which is smaller: c or 0?
c
Let j = 2.4 - 3. Let c = j - 1.35. Let u = 0.05 - c. Is 0.1 at least as big as u?
False
Let m = -4.4 + 1.4. Let v = -0.3 - -0.1. Do m and v have different values?
True
Let h(i) = -i - 6. Let k be h(-7). Let c = -0.07 - 0.23. Is k bigger than c?
True
Let r = -0.84 + 0.89. Is 1/5 != r?
True
Let h be 2/4*(-4)/(-8). Let f = 3.7 + -4. Let q = 0.7 - f. Is q >= h?
True
Let z = -15 + 10. Is z != -5?
False
Let v = 1378412 - 325304605/236. Let y = 24/59 - v. Is y at most -1?
True
Let p be (5 + -8)/((-9)/4). Let o = p - 2. Which is greater: o or -0.2?
-0.2
Let z = 5 - -6. Let u be 5/((-10)/6) + z. Let t = 8 - u. Do 1/2 and t have the same value?
False
Suppose -4*r + 0*k - 4*k + 924 = 0, -4*k - 12 = 0. Let q = -2576/11 + r. Which is smaller: -2/5 or q?
-2/5
Let v be 2*(1 - 3) + 5. Let u be (-1)/(10/(-6)) + -1. Which is smaller: u or v?
u
Suppose -2*n = 2*n. Suppose -2*q + 6 = -2*h, -2*h - 4*q = -h - 22. Is n bigger than h?
False
Let m(v) = -5 - 2*v - 2*v**2 + 3*v**2 + 8*v. Let q be m(-7). Let j be ((25/2)/5)/2. Which is smaller: j or q?
j
Let h(x) = x + 1. Let v be h(2). Let c be (-2)/3*v/(-2). Suppose -2*f - 4*d - 8 - 2 = 0, -4*d - 12 = 0. Is f greater than c?
False
Let v = -1053/1855 - 1/265. Let q(h) = -h - 3. Let p be q(-3). Which is smaller: p or v?
v
Let r = 0.27 - -0.03. Let a = 0.1 - r. Which is smaller: a or 2/3?
a
Suppose 4*c = -c. Let m be (-2)/4*(-3)/3. Is m at least as big as c?
True
Let x(r) be the second derivative of r**5/20 + 3*r**4/4 - 5*r**3/6 + 13*r**2/2 + 2*r. Let u be x(-9). Let z be (-1)/4 + u/8. Is z at least 6?
True
Let n = 6 - 6.07. Let w = 0.04 + -0.01. Let m = w - n. Which is greater: -0.2 or m?
m
Suppose 7 - 1 = -2*i. Is i > -3?
False
Let k be (18/15)/((-1)/(20/92)). Which is smaller: 1 or k?
k
Let o(d) be the second derivative of d**4/12 - d**3/3 + 2*d. Let v be o(1). Let h be 2*(0 + v/(-3)). Is h not equal to 0?
True
Let v(d) = -4*d**3 + 10*d**2 - 5*d - 12. Let z(t) = t**3 - t. Let x(w) = v(w) + 3*z(w). Let u be x(9). Let o(q) = q - 4. Let j be o(0). Is j equal to u?
False
Let c(d) = 2*d - 15. Let r be c(10). Let v be (-3)/(-15) + 9/r. Suppose -l = -0*l - v. Is l != 1?
True
Let d = 0.01 - -0.09. Let n = -0.9 - d. Which is smaller: n or 0?
n
Let j be (-4)/(-3) - 15/27. Which is smaller: 0 or j?
0
Let a = -26 - -27. Is a less than or equal to -1.5?
False
Let i = 270/1717 + -4/101. Is i greater than 0?
True
Suppose -3 = -3*q + 4*q. Let i be 3*(q - -1 - -3). Which is smaller: i or -2/3?
-2/3
Let u = 4 - 6. Let m be (u - -1)/(0 - 1). Let z = 2 - 0. Is z <= m?
False
Let x = -14.2 - -14. Is x smaller than -2?
False
Let d be (12/(-2))/(6/(-3)). Let q = -9 - -3. Let k = -4 - q. Which is smaller: d or k?
k
Let u be 2/(-8) + (-52)/(-16). Suppose 3*m + 10 = -14. Let f = m - -12. Is u not equal to f?
True
Let z be 153/(-126) - (1 + (-15)/6). Let w(m) = -m**2 - 5*m + 7. Let a be w(-7). Which is bigger: z or a?
z
Suppose 0 = b - 5*v + 3*v - 11, -3*b + 4*v + 27 = 0. Suppose -2*m + 5 = 3*m - 2*d, -b*m + d = 0. Is m equal to 9?
False
Suppose 2*a - 7*a = 105. Let o be -2 - 1 - 69/a. Is -2/7 >= o?
False
Suppose -10*j = -5*j. Suppose -6*v + v + 15 = 0. Suppose 5*z + 0 + 2 = -b, -v*b = z - 8. Which is smaller: j or z?
z
Let c(r) be the first derivative of -r**3/3 + 3*r**2 + 8*r - 1. Let b be c(7). Let d be (0 - 6)/3 + (-5 - -8). Does d = b?
True
Let g(t) = t**2 - 5*t + 2. Suppose -5*x = 25, -3*v = v - 3*x - 35. Let k be g(v). Which is smaller: 0 or k?
0
Let z = 5.1 + 0.9. Let u = -16 + 11. Let h = u + z. Which is greater: -2 or h?
h
Suppose -13*y = -18*y. Which is bigger: y or -5/6?
y
Let q be 2*(1/2 - 0). Let p(c) = -c + 1. Let j(y) = -y**2 + 4*y. Let k(z) = q*j(z) + p(z). Let b be k(2). Which is smaller: b or 2?
2
Let l(g) = g**3 - 3*g**2 + 6*g - 4. Let i be l(1). Let o = 35/4 + -9. Which is smaller: i or o?
o
Let z = 333/874 + -3/46. Which is bigger: -1 or z?
z
Suppose -127 = c - 30. Is c greater than -96?
False
Suppose 3*a + 4*h + 38 + 1 = 0, 4*h - 12 = 0. Is -2/3 != a?
True
Suppose -j = -4*z - 4*j + 10, 2*z - j - 10 = 0. Let q be (z/(-3))/(4/(-6)). Let l = 17/30 - 1/15. Is l less than or equal to q?
True
Let f be (1/2*-2)/1. Let k be (-4 - 8/36) + 4. Is f smaller than k?
True
Suppose 0 = -h - h + 2. Suppose 4*p + 11 = -h. Is p less than -3?
False
Let f = 5 + -12. Let s be 2/10 - 900/125. Is s at most as big as f?
True
Let s = 0.6 - 0.51. Let q = -0.49 + s. Is q equal to 1/4?
False
Suppose 5*v = 2*v. Suppose p = u - 3 + 4, -3*p + 3 = 0. Suppose u*d + d - 1 = v. Which is smaller: 2 or d?
d
Let g = -27 + 24. Is g at most -4?
False
Suppose d = 4*t + 26, 2*d - 44 = 5*t - t. Let h = -8 + 24. Let x be (3/(-4))/(d/h). Which is smaller: x or 1/3?
x
Suppose 0 = -3*a - 4*a - 9*a. Let r = 247/366 + -1/122. Is r < a?
False
Let p be 4/(-18) - (-26)/36. Do -2/11 and p have the same value?
False
Let r be -8 + 6 - (-8818)/26. Let d = 337 - r. Is d bigger than 0?
False
Let w be (4 - 4)/(1 - 0). Suppose -k - 17 = 5*t - w*t, -k = -t - 13. Let b = -6 + k. Is 2 smaller than b?
False
Let t = -114 - -115. Which is bigger: t or 1/65?
t
Let h = -5/12 + 11/36. Which is smaller: -1 or h?
-1
Let c be 14782/(-24) - 1/(-4). Let b = c - -610. Let t = 16/3 + b. Is -1 at most as big as t?
True
Let r = 26 - 365/14. Let k = -11 - -11. Which is greater: k or r?
k
Let u = -0.093 + -0.007. Which is smaller: u or 2/5?
u
Let o be (-119)/(-21) + 4/(-6). Suppose 2*u + 3*u - 15 = -2*t, 3*u = -3*t. Suppose -5 - o = u*p. Is p at least as big as -3?
True
Let g be (-418)/(-612) - 4/18. Let n = g - -2/51. Is n at most 1/2?
True
Let o be (12/14)/((-3)/(-14)). Is 31/6 at least o?
True
Let i(b) = b - 5. Let f be i(5). Let t be (0 - 4/3)/(-6). Which is smaller: f or t?
f
Suppose -3*u + 6 = -9. Suppose -5*r = -3*x + u*x - 23, 4*x = -2*r + 6. Let z = -5 + 8. Which is smaller: z or r?
z
Let w = 1 - -2. Let d be 6/(-8)*(-2)/w. Is d at least 2?
False
Let z(m) = m**3 + 10*m**2 - 11*m - 5. Let o be z(-11). Which is smaller: o or -17/3?
-17/3
Suppose -31 = -2*j + 1. Are 16 and j equal?
True
Suppose -r - 3*u - 2*u = -23, -5*r - 4*u = -31. Is r less than -0.6?
False
Let n be 2 + (-189)/15 - (3 - 0). Which is greater: -13 or n?
-13
Let f = 26643 - 2451125/92. Let a be 6/(-9) + 80/138. Let y = f + a. Which is bigger: y or 1/3?
1/3
Suppose -4*z + 0*x = 3*x + 6, 10 = -z - 5*x. Which is smaller: z or 2/39?
z
Let d(k) = -26*k + 1. Let w be d(-1). Suppose 3*a = -3*s + w, 4*s = -2*a - 3*a + 39. Let u = s + -4. Which is smaller: u or 1?
1
Let j = 1 - 0. Let v = 0 - j. Let r = -21/100 - 1/25. Which is smaller: v or r?
v
Let p = -0.01 - -0.61. Let d = -0.5 + p. Which is smaller: d or 0?
0
Suppose 9*i - 4 = 7*i. Is 1 less than or equal to i?
True
Let c = 0.7 + 1.3. Let x = c - 2.1. Let n = -3 - -3.5. Is n less than or equal to x?
False
Let u = 2 + 4. Which is smaller: u or 20/3?
u
Suppose -3*c - 9 = -3*o - 0, -2*c + 22 = 5*o. Let d = -93/7 - -437/35. Let i = -1 - d. Which is smaller: c or i?
i
Suppose 10 = -23*c + 28*c. Is c <= 0?
False
Let s be 1/1 + 2/(-2). Suppose -2*o = -3*c + 26, 0 = -c + o + 12 - 2. Let w be 1/(-5)*10/c. Is s < w?
False
Let b = -1.67 - -0.67. Which is smaller: b or 176?
b
Let p be ((-6)/(-12))/(2/16). Suppose -3*b = -f, 0 = p*b - b + 3*f + 12. Which is greater: 2/7 or b?
2/7
Let a be (42/(-35))/((-2)/20). Which is smaller: 11 or a?
11
Let l be -2 - -2 - ((-30)/9)/5. Is l at most as big as -32?
False
Let m be 1 + 0 + 5 + -2. Let a be 3/(2 - 5/m). Let b be 2/a*(-1 + 2). Which is smaller: b or 2?
b
Suppose 3*l + 11 = -2*y - 5, 0 = 5*l + 4*y + 28. Let h be (l/75)/(4/10). Is 0 greater than or equal to h?
True
Suppose 2*l - l = -10. Let u(h) = -h - 7. Let m be u(l). Supp