y be (-2 + 0)/(u/9). Is y greater than 2?
False
Let y = -21 + 18. Is -4 less than y?
True
Suppose 0*w - 4*w - 14 = -s, -5*w = -s + 13. Which is smaller: s or 16?
16
Suppose t + 3*j + 0*j - 11 = 0, 0 = 3*t + 4*j - 13. Suppose -6*p = -2*p + 12, 3*v = 2*p. Is t greater than or equal to v?
True
Let j = -6.6 + 3.7. Let z = j + 3. Let x = 0 - -1. Which is smaller: z or x?
z
Let t = -103 + 723/7. Let l(s) = -s**3 + 2*s**2 - 1. Let h be l(1). Is h at least t?
False
Suppose 6 + 4 = 2*d. Suppose 4*c + 23 - 7 = 0, 21 = -i - d*c. Let b be 38/90 - 1/5. Is b greater than or equal to i?
True
Suppose 2*p - 89 = -2*p - 5*v, -2*p = -3*v - 17. Suppose -4*o = -5*i + 31, o - 4*i = -0*o - p. Let b be (0 + 1)/(3/(-18)). Which is bigger: o or b?
o
Let w be (-15738)/301 - 2/(-7). Which is greater: w or -53?
w
Suppose -2*c - a = -3*c + 2, 2*c - 16 = -2*a. Suppose -6 = 2*b - 16. Are b and c equal?
True
Let d be 64/54*(-3)/(-1). Which is smaller: d or 0.1?
0.1
Let n = -34 + 34. Is n < 1/5?
True
Suppose 0 = 2*l - 0*l - 4. Suppose 0 = -4*t - 4*h + 16, -4*t = -l*h - 2*h + 24. Let d(n) = n**2 - n - 1. Let u be d(t). Is u not equal to 0?
True
Suppose -2*b + 3*b = 16. Is 15 < b?
True
Let i = 13/44 - 6/11. Let t = -3 + 2. Is t > i?
False
Let d be (1 - 0 - -1)*-1. Suppose j + v - 2 = 0, -3*j - 5*v = -8 - 6. Let i = d - j. Are 0 and i nonequal?
False
Suppose -14 = -2*y - 2. Suppose y*v - 2 = 4*v. Is 5/4 less than v?
False
Let v = 0.04 - -11.96. Is v less than or equal to -0.2?
False
Let g be 8/28 - (-2)/(-28)*102. Is g > -2?
False
Let g be 0 - (1 + 4*1). Suppose -4*f = -5*z - 19, 0*z - 31 = -5*f - z. Let t = g + f. Which is greater: -1 or t?
t
Let p = -2/501 - -545/11022. Is 0 greater than or equal to p?
False
Let r = 18 + -16.9. Which is greater: r or 0?
r
Suppose 0 = 2*p + 2*p. Let d = -9.99 - 0.01. Is p bigger than d?
True
Let x = 35 - 36. Are x and 2 unequal?
True
Let c be 1 + (-3 - -3) + -20. Let m = c + 18. Is 2/19 smaller than m?
False
Suppose -2*p - 24 = -6*p. Suppose -3*w = -9 - p. Which is greater: w or 9/2?
w
Let p(s) = -13*s. Let r be p(-1). Let d = r - -3. Is 16 at most d?
True
Suppose 3*d + 3*y - 24 = 0, -6*y + 4*y - 26 = -5*d. Suppose -2 + d = 2*l. Are l and 8/7 equal?
False
Let q = 64 + -78. Suppose -13 = n - 0*n. Is q at most as big as n?
True
Let x = -2/29 + -23/87. Suppose 0*y = -2*y + 6. Suppose 0*j + y*j + 3 = 0. Is x at least j?
True
Let j(h) = -h + 5. Let s be j(2). Is s < 0?
False
Let m be 140/(-15)*(-2)/20. Let c = -281/285 + m. Is c < 0?
True
Let q = -11 - -12. Which is smaller: 1/4 or q?
1/4
Let i = -3 - -2. Let z = 0 - 1. Let p be (1 - z)/(0 - 5). Is p bigger than i?
True
Let z be 43/(-3)*-1 + (-28)/(-14). Which is greater: z or 16?
z
Let m = -3.1 + 3. Which is bigger: m or 3/7?
3/7
Let q = 11 - 2. Suppose 0*w - 2*w + q = -5*f, 0 = w + 4*f - 11. Is w greater than or equal to 6?
True
Let y be 1 + 2 + 1 + 7. Let d(g) = -g**3 + 11*g**2 - g + 14. Let l be d(y). Which is smaller: l or 2/9?
2/9
Suppose -18*v - 95 = -23*v. Which is bigger: 132/7 or v?
v
Let c = 18 + -19. Let p be (-5)/((-2 - -4) + c). Is p > -5?
False
Let l = -14 - -16. Which is greater: 5/9 or l?
l
Suppose -3*q + n + 30 = -78, 0 = q + 4*n - 23. Is 35 at least as big as q?
True
Let j be (10/2 + -1)/1. Let k be -13 + (-1 - 0) + j. Is k smaller than -8?
True
Suppose -3*s = -4*s + 3. Suppose -2*f = -s*f + 6. Suppose -f = -5*j + 4*j. Which is smaller: j or 5?
5
Let d = 14/33 - 8/33. Which is bigger: d or 0?
d
Let g = 334/45 - 36/5. Let p = -1 + 2. Let y = p - 1. Which is smaller: y or g?
y
Let r = 15299/93 - -2955/62. Let t = -213 + r. Suppose 5*g + 1 = 4*g. Which is smaller: g or t?
g
Suppose -3*d + 3 = u - 2*d, -12 = -2*u - 4*d. Suppose -a + 0*a = u. Is 1/2 != a?
True
Suppose 0 = j + 4*j. Suppose j*n + n - 6 = 0. Let s be (1 + (-9)/n)*0. Is s < 1?
True
Let s(r) be the first derivative of -r**3/3 + r**2/2 + r - 1. Let x(m) = m**2 - 5*m - 2. Let v(k) = -2*s(k) - x(k). Let q be v(-3). Which is smaller: 1 or q?
q
Let m = 0.7 - 0.4. Let p = 0.19 - -8.81. Let f = 8 - p. Which is bigger: f or m?
m
Let w be (2/((-8)/46))/(15/30). Which is greater: 0.2 or w?
0.2
Suppose -36 = -5*m - 41. Let g = 2397/2 + -1174. Let z = -25 + g. Is z bigger than m?
True
Suppose 11 - 3 = k. Let s be (-42)/(-4) + 4/k. Does 9 = s?
False
Let k be -5 - (-1)/(340/1695). Are 0 and k equal?
False
Let k(l) = 2*l. Let j be k(4). Let b(n) = -n**3 + 9*n**2 - 7*n - 9. Let r be b(j). Suppose 4 = -2*a + i - 1, 17 = -2*a + 5*i. Is r equal to a?
True
Let x be (-771)/(-28) - (-4)/(-14). Let i = 1207/44 - x. Let m be 5/(5/2) + -2. Is m smaller than i?
True
Let m be 2/(-8) + 34/8. Suppose -m*c = -0*c - 24. Let f be (c/(-3))/(-6)*3. Are -2/11 and f equal?
False
Let u = 22 + -27. Is u greater than or equal to -3?
False
Let l(s) = 8*s**2 + s - 2. Let w be l(-2). Suppose -5*m = -z - w, 5*m - 3*z = -6*z + 36. Is m greater than 7?
False
Let s(y) = 5*y + 1. Let m be s(3). Let i = m + -8. Let g = -6 + i. Are 6/11 and g nonequal?
True
Let b = -29 - -895/31. Is -1 >= b?
False
Let x(l) = -l**3 + 3*l**2 - 3*l. Let t be x(2). Let i(q) = -q**3 - 2. Let g be i(t). Suppose -5*m + 1 = g. Is 4/3 greater than or equal to m?
True
Let u(y) = y - 8. Let j be u(5). Let b = j - 2. Which is bigger: b or -6?
b
Let d = 3329/8 - 418. Are -2 and d non-equal?
True
Let d(y) = -2*y - 5. Suppose 2*j - 1 = r, 5*j = 5*r + 2*j + 12. Let s be d(r). Which is greater: s or -0.05?
s
Let u be 13/3 - (-2)/(-6). Suppose l - 3*l + 6 = u*m, 0 = -2*l + 2. Which is bigger: 2/9 or m?
m
Let b = -1.3 - -1.7. Let o = 2.9 + -3. Which is greater: b or o?
b
Suppose -4*d + 5*b = -d + 31, 0 = -5*d + 5*b - 35. Suppose -2 = -5*s - 17. Let m be ((-6)/(-8))/(s/12). Is d bigger than m?
True
Let d = 12.79 + 0.21. Let y = -12 + d. Let a(x) = -8*x. Let i be a(-1). Does y = i?
False
Let p = -88/441 - -10/63. Is p at most 2?
True
Let i be 5/10 - 3/(-2). Which is smaller: 8/7 or i?
8/7
Let t be (-7)/(-3)*(-13 - -1). Let b be (-3)/22*t/(-21). Which is greater: 0 or b?
0
Let t = 24 + -24. Is t < 1/13?
True
Let d = 3049/1833 - -2/611. Which is smaller: d or 3?
d
Let v = 13 - 5. Let m = -3 + v. Let t = m - 4.7. Which is greater: -0.1 or t?
t
Suppose 0 = -15*j + 22*j + 448. Is j at least as big as -62?
False
Suppose -a - 2*a = a. Is a < -2/29?
False
Let f be 20/2 - (-3 + 6). Let o = f + 13. Let r = 59/3 - o. Do r and -1 have the same value?
False
Let z(x) = -x**2 - x. Let r be z(0). Which is greater: r or 2/5?
2/5
Let q = -9 + 8.7. Let u = -0.6 + 0.7. Does q = u?
False
Let t = -2 - -8. Suppose -4*l = -5*o + 21, -5*o + 2*l = l - 24. Is o bigger than t?
False
Let b(x) = -x - 2. Let u be b(0). Which is bigger: u or -3?
u
Let v = -7 + 10. Let w be (-5 - -2 - -2)*-1. Which is smaller: v or w?
w
Suppose -a - 2 = -4*p, 0 = p - 2*p + 3*a + 6. Suppose p = k + 4*k - 5. Suppose 2*i + 3 = k. Which is smaller: -3/5 or i?
i
Let v be (-12)/(-9)*9/6. Suppose 0*k = v*k + 12. Is -6 bigger than k?
False
Suppose -8*p + 6*p + 150 = 0. Let u be p/180 + 1/3. Which is greater: 1 or u?
1
Let a be (-4)/(-10) - (-26)/(-65). Suppose 8*s - 4*s + 4 = a. Do s and -1/7 have different values?
True
Let z(n) = -n**3 - n**2 - n + 1. Let k be z(0). Let w be (1/4)/(k/4). Which is bigger: w or -0.6?
w
Let d = -0.6 + 0.52. Let q = -18.8 - -18.7. Which is bigger: q or d?
d
Let s = 60 + -19. Let b = 62 - s. Let d be (-36)/b*(-7)/2. Which is greater: d or 5?
d
Suppose -6*i = -3*i - 9. Suppose 3*c + 10 = 5*c + 4*s, -4*c = s - 20. Suppose -c = -0*l - l. Do i and l have the same value?
False
Let l = -25.9 + 0.9. Is l smaller than 2/7?
True
Let t = -1 + -2.1. Let j = -3 - t. Is j equal to -1?
False
Let w be 0/(-11) + (-1 - -1). Which is smaller: 3/5 or w?
w
Let o = 25 + -25.1. Let r = 0.5 + -3.55. Let v = r + 0.05. Is o bigger than v?
True
Let c = 7 - 14. Is c <= -11/2?
True
Let w = 39 + -39. Which is smaller: w or 2/9?
w
Let f(u) = 5*u + 12. Let s be f(-6). Let a be (s/27)/((-2)/21). Which is bigger: a or 9?
9
Let m(b) = -b**2 - 12*b - 25. Let n be m(-6). Which is smaller: 6 or n?
6
Let r = 0.09 - 6.09. Let n = -6 - r. Let k = -5/3 - -2. Does n = k?
False
Let n = 3 + -4. Let p(y) = y**3 + 4*y**2 + 3*y. Let u be p(-2). Let h be u - 12/(3 - 0). Which is bigger: n or h?
n
Let t(i) = -i**3 + 3*i**2 + 4*i + 4. Suppose 3*g - 6 = 6. Let p be t(g). Let q = 5 -