ose -o + 31 = 4*c, 4*o - 56 = -3*c + 3. Which is smaller: 6 or o?
6
Let p = -0.1 + 0.2. Let d = -2.7 - -2. Is d < p?
True
Let h = -35 + 31.8. Let w = 3 + h. Let a = w - -0.2. Do a and -1 have the same value?
False
Let g = 5 + -2. Let z(x) = 2 + g + x - 1 - 3. Let v be z(0). Do v and 2 have the same value?
False
Let u(o) = 4*o**2 + 4*o - 1. Let c be u(5). Let s = c + -27. Let b be s/(-28) + (-4)/(-14). Is b >= -3?
True
Let v = 0.033 - -1.967. Suppose 5*a = -3*g + 41 + 6, -3*a = 4*g - 26. Let z = 7 - a. Which is greater: z or v?
v
Suppose -5*c + 15 = -5*k + 5, -3*k - 18 = -5*c. Let h be 6/8*4/c. Do -0.1 and h have the same value?
False
Let m be (-1)/(-7) + (-12)/84. Which is smaller: m or 2/19?
m
Let r(j) = -j + 117. Suppose 2*x + 1 = -n, 4*x - 4 = n + 3*n. Let z be r(x). Let g = 587/5 - z. Which is bigger: -2 or g?
g
Let s = 46 + -33. Suppose 0 = 2*g - s + 7. Which is smaller: g or 1?
1
Let h be (-779)/(-38) + (-3)/(-2). Which is bigger: 20 or h?
h
Let z = -17 + 19. Let v(m) = m**2 - m - 1. Let a be v(1). Let o be (0 + 2/(-2))*a. Which is greater: z or o?
z
Let o = 0.2 + -10.2. Is o greater than or equal to -4?
False
Let i = -29 + 35. Which is smaller: i or 2?
2
Suppose -u = 4*u - 10. Suppose 3*i = -u - 1. Let a = 0.08 - -8.92. Which is smaller: a or i?
i
Let z = -1 - -1. Suppose 2*l - 4 - 2 = z. Suppose k + l = 0, 2 = 5*u - 0*k + k. Which is smaller: 2/3 or u?
2/3
Let q(x) = x**3 - 4*x**2 + 3. Let j be q(4). Let a be j/(-2)*(-6)/(-9). Which is greater: 0 or a?
0
Let y be (-2)/7 - (-208)/(-532)*-1. Is y at least 1/12?
True
Let q be (3 + -7)/(-12) + -1. Suppose 0*i - 4*i - k + 36 = 0, 0 = -4*i + 5*k + 36. Let t be (i/12)/((-42)/(-16)). Is q greater than or equal to t?
False
Let s = -11 + 13. Suppose s*j - 11 = 5. Is 2 less than j?
True
Let g = -1 + -5. Let j = -5 - g. Let d = -2 - j. Which is smaller: -2 or d?
d
Let z = -14 + 28. Suppose 2*s - 21 = -5*n, 2*s + 0*n = 2*n - z. Let u(o) = -4*o - 3. Let a be u(s). Which is smaller: a or 3?
3
Let f be -4*(0 - 2/(-4)). Let i be (-6)/f + 56/(-12). Is i greater than or equal to -1?
False
Let q(a) = -4*a. Let w be q(1). Let r be (-5)/(-20) - 1/w. Let p = 1 + 1. Is p at most as big as r?
False
Let r(c) = -c**3 - 4*c**2 + 4*c - 5. Let s = -6 - -2. Let b = -9 - s. Let h be r(b). Which is smaller: -1 or h?
-1
Suppose 21 = -4*y + 5. Suppose 16 = 4*z - 20. Suppose -2*l + 3*l = -4*r - z, 2*l = -4*r - 6. Is r bigger than y?
True
Let a(h) = h**2 + 2*h + 5. Let k be a(0). Is k greater than or equal to 8?
False
Let b(k) = k**2 + 7*k + 9. Let m be b(-6). Suppose 0 = v - f + 8, m*v = 3*f - f - 19. Let x be (-3)/(-5) + 1 + v. Which is smaller: x or -2?
-2
Suppose 354 - 54 = 4*m. Let z = -597/8 + m. Which is greater: 1 or z?
1
Let j = -3 + 5. Let g be 1*(-3 + j - -4). Suppose -2*r = -g*r + 3. Is r >= 2?
True
Let b be 66/8 + (-1)/4. Suppose 11 = c + 3. Is b at least c?
True
Let q = 5 - -14. Let s = -15 + q. Is -2/7 bigger than s?
False
Let p(i) = i**3 + 17*i**2 - 19*i - 14. Let c be p(-18). Suppose -2*b - 3*g = -4*g - 8, 5*g + c = b. Is 0 greater than or equal to b?
False
Suppose 0*a - 37 = -5*f + 2*a, -2*f + 3*a + 17 = 0. Is f < 3?
False
Suppose -5*d - 7 = 13. Let b = -6 - d. Let l = -32 + 31. Is l less than b?
False
Let d(x) = x + 7. Let i = 0 - -4. Suppose 0 = i*v - 6 + 38. Let q be d(v). Is q > 0?
False
Let j(z) = -z**2 + 8*z - 3. Let v be j(7). Let g be -3 + 1 + (4 - -2). Is g less than or equal to v?
True
Let b = 11 + -7. Is 4 less than or equal to b?
True
Let l be 334/(-22) - (-16)/88. Let c = -2 + l. Does -16 = c?
False
Suppose 4*u - 47 = -3*a + 41, 2*u = -3*a + 80. Let h be 1*((-2)/a)/1. Is 1 greater than or equal to h?
True
Let d = -10 + 9.94. Let z = d + 0.16. Which is smaller: 3 or z?
z
Let y = -45 + 1081/24. Is 1 smaller than y?
False
Let y(k) = k**3 + 4*k**2. Let w be y(-3). Let l be 1*(2 + (-3)/w). Which is greater: l or 2?
2
Let y be (-2)/(-2) - (-9)/(-7). Suppose -21 = w - 4*q, -2*q + 0*q + 12 = -2*w. Let r be (-1 - w)/(3 - 1). Which is smaller: y or r?
y
Let p(g) be the third derivative of 0*g + 1/2*g**3 + 0 + 2*g**2 + 1/24*g**4. Let o be p(-3). Is 3/4 at least as big as o?
True
Suppose 0 = -5*q + 2*s - 10, 5*s - 10 = 5*q + 6*s. Which is smaller: -12/13 or q?
q
Let r be (1/(-6))/((-9)/(-18)). Which is greater: r or 3?
3
Suppose 27 = 4*m - 9. Suppose 9*h - 40 - 32 = 0. Which is smaller: h or m?
h
Let i be -2 - -2 - (1 + -2). Let d = 0 - i. Is d less than -3?
False
Let f be (-1)/((-2)/4 - 0). Let l be -4 - (f - 4) - -2. Which is smaller: 1 or l?
l
Suppose -2*z + 5*z = 12. Suppose 0 = z*t - 17 + 5. Suppose 0 = -2*v - 0*v + 6. Is t at least v?
True
Let o = 2.13 + -0.13. Which is smaller: 0.2 or o?
0.2
Let f = 1.14 + 0.76. Which is smaller: f or 0.1?
0.1
Suppose 0*l = 7*l - 6*l. Let f = -1676/15 - -112. Is f not equal to l?
True
Let l = 0.04 + 0.01. Let y = -0.15 + l. Is -5 greater than or equal to y?
False
Suppose 16*p = 14*p + 10. Are p and 15/4 equal?
False
Let p = 5202/7183 + 2/653. Which is smaller: 2 or p?
p
Let g(t) = -2*t**3 - 4*t**2 - 3*t - 1. Let q be g(-2). Suppose -4*c - 5*v + 15 = 0, -v + 9 = -q*c + 2*v. Is c at least as big as 2/5?
False
Let g = 22.54 + -0.54. Let j = g + -23. Which is bigger: j or 11?
11
Let u = 2.2 - 1.2. Let l = -1 + u. Is l at most 0?
True
Let j be 2/11 - (-144)/(-308). Which is bigger: 0.2 or j?
0.2
Let w = -3 + 3. Let n = w + -0.05. Is n at least as big as 1?
False
Let h = -2/4533 + -54374/49863. Which is smaller: 0 or h?
h
Let l(b) = b**3 - 2*b + 1. Let d be l(1). Suppose -2*p + 22 = 4*c, 0*p - p + 5*c - 24 = d. Suppose 13 = -2*n + p. Which is greater: 1 or n?
1
Let l be ((-1045)/(-7) - -2) + 2. Let y = l + -153. Suppose -2*f = -4*f. Is f at most y?
True
Let j be 1 - 1/((-15)/35). Which is bigger: j or -2/5?
j
Let b be (6/4)/(12/64). Let f = 14 - b. Let k(x) = x**2 - 5*x - 5. Let y be k(f). Which is smaller: -2/5 or y?
-2/5
Suppose 0 = -6*k + 11*k + 5. Let f be (4 - -3)*(-6)/(-7). Let q be 66/(-45) + 4/f. Which is greater: k or q?
q
Let h be (-1 + 1)*(-4)/(-4). Let a be (6/(3 - h))/2. Let w be (-1)/(a*(-1)/1). Which is smaller: 3/5 or w?
3/5
Let p = -144 - -145. Are 12 and p non-equal?
True
Let i be -2 + 5/(-7) + (-30)/(-10). Is i > -10?
True
Let x = -241/19075 + -1/175. Which is smaller: x or 1?
x
Let j(x) = -x + 4. Let n be j(3). Let a = 599 + -14973/25. Is a less than or equal to n?
True
Let i be 62/(-210) + 12/28. Let u = -7/15 + i. Let t(d) = d**3 - 2*d**2 - 4*d + 4. Let z be t(3). Is u >= z?
False
Let l = -6.94 + -0.06. Let g = -5 - l. Which is bigger: g or 0.1?
g
Suppose 2*k + 10 = -4*w, 4*w = -3*k - 9 - 4. Do w and -2 have different values?
True
Let f = 43/78 - 5/13. Let d be 0 + 2 + 4 + -4. Suppose d*i = 3*a + 13, -4*a + 5 = -i + 24. Is f at most i?
False
Let x = -99/2 + 7429/150. Which is smaller: x or 1?
x
Let a be 1 + 3/5 + -1. Suppose -3*r = 2*r - 10. Are r and a equal?
False
Let i(c) = 3*c**2 - c. Suppose -3*o + 2 = -1. Let q be i(o). Suppose -v = -q*v. Are v and -1 nonequal?
True
Suppose 2 = -3*u + 8. Let o be ((-30)/(-18))/(u/(-6)). Let f = o + 4. Which is smaller: f or -3/7?
f
Let i be 9/(-3)*1 - 637/(-213). Which is bigger: -1 or i?
i
Suppose 5*i - 9 = 1. Let u be -3*2/(-12)*i. Let k = 1757/9 + -195. Is u less than k?
False
Let o = 5 + 0. Let v = -6 + o. Is -2 greater than or equal to v?
False
Let q = 3 + 0. Let o(s) = s**3 - 2*s**2 - 2*s - 1. Let y be o(q). Which is smaller: y or 4?
y
Let g = 128/23 + -3/46. Let p = 8 + -13. Let m = g + p. Which is bigger: m or 2?
2
Let a(f) = -f + 3. Let o be a(1). Is 2 < o?
False
Suppose 2*h - 9 = 5*h. Let b be (-2 - (-10)/2) + -4. Which is smaller: b or h?
h
Let u be (-6)/9*238/(-4). Suppose 4*x - 3*x + 40 = 0. Let r = u + x. Which is greater: r or 0.1?
0.1
Suppose -d = -0*d. Which is smaller: 9 or d?
d
Suppose 2*c = -3*w - 2*c - 10, 5*c - 34 = 4*w. Let o(d) = d - 2. Let k be o(w). Which is smaller: k or 1?
k
Let g be -3 + 1*38/13. Are g and -2/7 nonequal?
True
Suppose 0 = -k + 4*k + 18. Let d(v) be the first derivative of v**4/4 + 2*v**3 + v**2/2 + 8*v - 2. Let g be d(k). Which is smaller: 3 or g?
g
Let i(v) = v**2 - v - 6. Let a be i(7). Let n be 4 + -3 + (-28)/a. Which is smaller: -1 or n?
-1
Suppose 9 = b + 12. Which is bigger: b or -0.3?
-0.3
Let v be (24/(-130))/(22/(-55)). Let q be (2 - 1)/((-2)/2). Is 