 = 3*a + o + 3. Which is smaller: a or 4?
a
Let h(s) = 0*s + 0*s + 5*s**2 - 4*s**2 + 1. Let n be h(1). Is n greater than 3?
False
Let z = 8.8 + -4.9. Let y = -4 + z. Which is smaller: y or -2?
-2
Let v be -2*(2/(-4) + -1). Suppose -v*m + 0 = -3. Let y = 3415/17 - 201. Which is smaller: m or y?
y
Suppose 14 = 3*w - 7. Let b be 3/4 + w/28. Which is greater: b or -2/7?
b
Let n = 18 + 26. Let j = 114 - n. Let w be 2/(-11) - j/(-22). Is w < -0.2?
False
Suppose 2*n = 5*f - 6 - 25, -40 = -5*f + 5*n. Let z be (-9)/15 - 82/f. Is -16 smaller than z?
False
Let f(s) = -5 + 5*s + 3*s**2 - 1 + s - 4*s**2. Let r be f(5). Which is smaller: r or -2/5?
r
Let z = 883/18 - 49. Let u = 119 + -118. Which is greater: z or u?
u
Let y(w) = -7*w - 1. Let m be 58/(-6) + 12/18. Let q be y(m). Let n be q/(-72) - (-1)/(-4). Is n less than -2?
False
Let p = -2 - -1. Which is smaller: p or 2?
p
Let h be 4 - (1 - -1 - 2). Suppose 0 = -3*g + x - 16, 0*g - h*x = 4*g. Which is greater: g or -8/3?
-8/3
Let v = -4 + -5. Let h = -2 - v. Which is greater: h or -2/3?
h
Let v = 1.2 + -2.1. Let a = 4.2 - 3.1. Let s = a + v. Is s not equal to -3?
True
Let c = 69/2 - 35. Is 1 >= c?
True
Let q = -7 - -6.88. Are q and -0.1 nonequal?
True
Suppose -2 = 3*h - 2*h. Let m = 1/7 - 9/14. Which is smaller: m or h?
h
Let o = 8 + -14. Let z = 5 + o. Is z equal to -1?
True
Let m = -9 - -13. Suppose 0 - 4 = 2*c, -m*p - c = -14. Let v(q) = -q - 4. Let o be v(-7). Is p greater than o?
True
Suppose -4*h + 20 = 3*g, 4*g - 2*g = h + 6. Let y = 8 + -3. Does y = g?
False
Let l(u) = -u**2 + 5*u. Let m be l(4). Suppose 2*h + h - m*r + 39 = 0, 9 = -2*h - 3*r. Let z = h - -8. Is 0 at least z?
True
Let n be 10/6 - 94/60. Let i(y) = -y**3 + 5*y**2 - 4*y + 1. Let u be i(4). Which is smaller: u or n?
n
Let i = 2 + -1. Let y be (-1)/(0 + (-3)/9). Suppose y*k = 5*k. Which is smaller: k or i?
k
Suppose 4*c = 8*c + 40. Is c greater than -12?
True
Suppose -3*m + 64 = 22. Is m at most 15?
True
Let d be 9/45 - (-1)/(-5). Let h = -45 - -179/4. Let p = 3/4 + h. Is d >= p?
False
Let x(n) = n - 28. Let p be x(24). Let t be (1 + 0)/((-2)/6). Are p and t non-equal?
True
Let w(t) be the third derivative of t**6/120 - t**5/20 + 5*t**4/24 - 2*t**3/3 + 6*t**2. Let r be w(2). Is 0 at most r?
True
Let t be (-53)/2 - 2/4. Let o be (-86)/(-18) + (-6)/t. Let i be 1/5*o/4. Which is greater: -2/9 or i?
i
Let b be (1/5)/((-40)/(-75)). Which is smaller: b or 0?
0
Let r = -19 + 49. Is 30 at least r?
True
Let j(b) = -b**2 + 8*b - 11. Let m be j(5). Is m at most 5?
True
Let l = 7.02 + -7. Is -1/4 equal to l?
False
Suppose 5*o = -7 - 13. Let z be 1 - 0 - 2*-1. Suppose -26 = 2*j - 4*w, -2*w = 6*j - z*j - 1. Is o > j?
False
Suppose 5*a + 2*j = -9, 0 = 3*a + 3*j - 7*j - 5. Are -11/7 and a nonequal?
True
Let p(g) = g**3 - 7*g**2 - 23*g + 46. Let r be p(9). Suppose -2*o - 4 = -2*d, 5*d - 4*o = 1 + 4. Let k(j) = -j - 1. Let c be k(d). Which is bigger: c or r?
c
Let w = -4 + 13. Let i(s) = -s + 15. Let b be i(8). Let a be (b/14)/((-2)/(-32)). Which is smaller: w or a?
a
Let x = -58.71 - -59. Let c = x + 0.01. Are -2/5 and c non-equal?
True
Let q(i) = -5*i**3 + 8*i**2 - 12*i - 4. Let g(k) = k**3 - 2*k**2 + 3*k + 1. Let w(u) = -9*g(u) - 2*q(u). Let s be w(-3). Is s <= 0?
True
Let n = 21/4 - 117/20. Suppose 3*z + 2*c = 4, 15 = -3*z - 2*z + c. Is z bigger than n?
False
Let t = -571/6 + 173/3. Is t greater than or equal to -39?
True
Let s be 6/(-21) + 24/(-14). Let v be (s + 57/27)*6. Let i = 1.6 - 2. Which is smaller: v or i?
i
Let i = 0.01 - 0.03. Let c = i + -0.98. Let j be (2/(-16))/((-2)/4). Which is bigger: j or c?
j
Suppose -4*y + 13 = -11. Let b be 44/12 - 1/(-3). Let u be b/y + 16/(-6). Which is greater: u or -1?
-1
Let o = -0.12 + 7.12. Let p = 4 - o. Let x = p - -2.8. Which is greater: -2/7 or x?
x
Let x = 2/749 + 101/2247. Which is bigger: x or 1?
1
Let k = -7.8 + 8. Let s = 11 + -12.2. Let o = k + s. Is o >= -4?
True
Let u(x) = -x**3 + 4*x**2 - 4. Let m be u(4). Let j = m + 7. Suppose r = -0*r + j. Which is smaller: r or 2?
2
Let d = -5/3 - -11/6. Let l = 2 + -1. Let h = l - 1. Is h != d?
True
Let i be 8/36 + (-12)/54. Is i > 6?
False
Let x(y) = -y**2 + 5. Let j be x(0). Suppose -5*z = -10 + j. Which is smaller: z or 0?
0
Let s be ((-72)/45)/((-4)/(-30)). Let l be s/(-18)*(-3)/8. Suppose -5*v = 4*w - 0*w - 1, -2*v = -2. Which is greater: l or w?
l
Let g = -4 + 11. Suppose 2*r + o + g = 0, r - 3*r = 3*o + 1. Which is smaller: -4 or r?
r
Suppose 0 = a - 5*v + 9, -5*a = -2*v - 2 + 1. Which is smaller: 3/13 or a?
3/13
Suppose 6*t - 13 = 17. Suppose 5*b - 12 = i, t*i + 3 = b - 9. Let a be (-46)/(-30) - 3/9. Which is bigger: a or b?
b
Suppose -y + 3*y - 56 = 0. Let q = y + -15. Suppose -5*w = 2*j + q, 3*j + 2*w + 1 + 13 = 0. Is -4 <= j?
True
Let s = 922/13 + -71. Which is greater: 0 or s?
0
Let q be (-4 - (-42)/9)*6. Suppose 0 = 3*d + 12, 4*h = -0*d + 4*d + 36. Are q and h equal?
False
Let r = 8.1 - 8. Which is smaller: r or -0.01?
-0.01
Let t be (3/(-4))/(378/96). Is t not equal to 0?
True
Let y = 3.3 + 3.7. Which is greater: y or 2?
y
Let m = 0.1 + -0.19. Let p = -0.91 + m. Is 1 > p?
True
Suppose 2*b - 3*d - 3 = -4, 0 = 2*d - 6. Let y be (-40)/(-22) - b/2. Are 0 and y nonequal?
True
Suppose 7 = 4*p + 3. Let l be (0/p)/(5 - 4). Which is smaller: l or -0.07?
-0.07
Let l be (133074/(-285))/(700 - 0). Let h = 8/875 + l. Let m = h - 1/114. Which is greater: -1 or m?
m
Let k be (17/6)/(13/(-117)). Do k and -26 have different values?
True
Suppose -4*k + 62 = 3*o - 35, 5*o + k - 139 = 0. Suppose -5*p + 4*z - 2 + o = 0, 19 = -p - 4*z. Which is smaller: p or 1/3?
1/3
Let h = 10 + -9.9. Which is smaller: h or -5/4?
-5/4
Let m(n) = 4*n - 2 + 0*n**3 - 2*n**3 + 5*n**3 - 2*n**3 - 4*n**2. Let g be m(3). Let u = 1/15 + -2/5. Is u at most as big as g?
True
Let s(k) = 1 + k + k**3 + 2*k**2 - 2 + 0*k**3 - 3*k. Let c be s(-2). Is c at least 2?
True
Let i = -102 - -508/5. Let j be 3*10/12*2. Suppose -5 = -0*t - j*t. Which is smaller: t or i?
i
Let x(i) = -2*i**3 - 4*i**2 - 2*i + 1. Let s be x(-2). Let b = -469/3 - -157. Are s and b non-equal?
True
Let b = -104/147 - 1/147. Which is smaller: b or 2/7?
b
Let k = -5/34 + -6/17. Let r(g) = g**3 - g**2 + 1. Let h be r(-1). Is h greater than k?
False
Suppose 0 = -4*r + 9*r. Suppose -2*v = w - r*v - 5, -w - v = -5. Suppose -w*m - 2 = -27. Which is greater: m or 0?
m
Let g be (1/(-45))/(5/186). Let r = -4/25 - g. Which is greater: r or 1?
1
Let g be (-5 - -1) + (7 - 7). Is g less than -5?
False
Suppose -2*v + 80 = -3*r + 223, -3*r = 4*v - 173. Is 1 greater than or equal to r?
False
Let p = -1.9 - -5.9. Let i = 2 + -2. Which is bigger: p or i?
p
Let m = -30 - -33. Let c = 10 + -16. Let d be (-1)/c - m/6. Do 3 and d have the same value?
False
Suppose 0 = -7*w + 4*w. Let j be w*((-10)/4 - -3). Suppose -2*k + 2 = -0. Which is greater: j or k?
k
Suppose -7*u - 5*u - 84 = 0. Which is bigger: u or 1?
1
Let w = -3.92 + 4. Let s = w + 0.02. Which is smaller: -1/15 or s?
-1/15
Let m = -5 + 5.1. Is -9 < m?
True
Let v = -177 - -166. Is v less than or equal to -4?
True
Let j = 15 + -24. Are j and 1 equal?
False
Let v(w) = -30*w + 1. Let b be v(2). Let p = 235/4 + b. Which is smaller: p or 0?
p
Let p = 0.07 + -0.04. Let n = p + 0.07. Do -2 and n have different values?
True
Let g be (-4)/(-10) + 4/(-10). Suppose g = 6*n - 2*n - 4. Is n smaller than -1/3?
False
Suppose -4*a + 9*a - 8 = z, -a = -5*z + 80. Do 19 and z have the same value?
False
Let b(o) = -4*o + 28. Let a be b(7). Is 2 at least as big as a?
True
Let r = 1.5 - 3. Let o = r - -1.6. Is o != 2/11?
True
Let w = -35 + 34. Is 1/40 > w?
True
Let y be (2/115)/((-4)/20). Suppose -4*a - 5 = -1. Which is smaller: y or a?
a
Let k = 0.01 + -11.01. Let s = k - -8. Which is greater: s or 2/3?
2/3
Suppose 0 = -o + 2*g + 3, 3*o - 3*g - 12 + 3 = 0. Suppose -4 = -j - o. Suppose -5*s = 3*z - 0*z - 16, z = 3*s - 4. Which is greater: s or j?
s
Let j = 0.36 + -0.16. Are j and -1 nonequal?
True
Suppose 2*f - 15 = -5. Let l(c) = -19*c**2 + c. Let b be l(1). Let p = b + 22. Which is smaller: f or p?
p
Let o be 3 - 10/6*60/50. Which is bigger: -4/57 or o?
o
Let m = -3373/644 - 2/161. Which is smaller: m or -4?
m
Let w be -1 + -2 - (-22)/6. Let h = -1 + w. Which is bigger: 3 or h?
3
Suppose -13 = -4*l 