). Let i = -1 + 3. Suppose 0*o = i*o + y. Is o > -1?
False
Let h(v) be the third derivative of -v**6/60 + v**4/24 - 3*v**2. Let b be h(-1). Is b > -2/5?
True
Suppose 33 = 5*k - 2*k. Suppose 4*b = h + k, -2*h - 2 = 2*b - 0. Suppose 0 = 4*q - 34 + 14, 3 = 4*w - q. Is w at least b?
True
Let m be 4/10 - 32/(-20). Suppose 5*j = 3*j - 5*f + 19, -2 = m*j - 2*f. Let q be j/(3/(3/7)). Is 2/3 at least q?
True
Suppose -6*x - 8 = -8*x. Which is bigger: 28/9 or x?
x
Let a = 513/5 - 103. Let t be -1 - (-2 + (3 - 2)). Is t < a?
False
Suppose 0 = 3*o - 7*o - 4. Suppose -4*g - 3*r + 6 = -5*r, -5 = -r. Suppose -1 = g*c + i, -2*i - 3 = i. Is c at least as big as o?
True
Let f be -27 - (-1)/((-3)/3). Let c be (-2)/4 - (-2)/f. Is -1 at least c?
False
Let h be (-2)/(-6) + 21/(-9). Suppose 2*k = 16 - 0. Suppose 2*p - 5 = -5*b - p, -b - 2*p = -k. Is b greater than or equal to h?
True
Let m = 358/413 - 9/59. Which is smaller: m or 2?
m
Let j = 0.25 + -0.05. Let b = 1.02 - 1. Is j < b?
False
Suppose -7 = 7*k + 49. Is -4 >= k?
True
Let f = -0.3 + 0.35. Which is bigger: f or -1?
f
Let c be (-4)/104*38 + 1. Which is smaller: c or 0?
c
Let z(u) = u**2. Let j(v) = -3*v**2 - 3*v - 1. Let c(o) = -j(o) - 2*z(o). Suppose -2 = -5*q - 7. Let i be c(q). Which is smaller: -1/5 or i?
i
Let s = 4 + -5. Let g = 0.6 - -4.4. Let r = g + s. Do r and 0 have the same value?
False
Let b(r) = r**2 - 10. Let i be b(-3). Is -5 < i?
True
Let p be (-3)/6 + (-3346)/(-48). Let d = p - 253/120. Let h = 67 - d. Which is bigger: 0 or h?
0
Let j(g) = -g**3 - 3*g**2 - 4*g - 8. Let c be j(-4). Suppose c = -12*a + 15*a. Is a <= 5?
False
Let z = 11.7 + -10. Let h = -5.7 + z. Let q = 2 + -2. Which is bigger: h or q?
q
Let n = -6/641 - -11604/7051. Which is bigger: 1 or n?
n
Let f(x) = -x**2 - 7*x + 6. Let i be f(-7). Let n = -12 - -20. Let l = n - i. Is l less than or equal to 1?
False
Let a be 9/12*(-8)/2. Suppose 4*q + 2 = -q - 4*i, q + i = 0. Which is greater: q or a?
q
Suppose 5*x = 32 + 28. Let l = x + -11. Which is smaller: 7/5 or l?
l
Suppose 0 = -5*h + 6*s - 5*s + 53, -s + 2 = 0. Which is bigger: h or 7?
h
Let q(g) = g**3 - 20*g**2 + 20*g - 15. Let t be q(19). Suppose -d + 3 = 0, 4*d = -0*m + 3*m + 9. Let f be (t/(-6))/(m - 4). Which is greater: 1 or f?
1
Let v = -83 + 748/9. Which is smaller: 0.1 or v?
0.1
Let m = 1.1 - 1.1. Is 0 at most as big as m?
True
Let l = 14 + -11. Which is smaller: l or 2/7?
2/7
Suppose 5*h - 3*h = 0. Let r(b) = -b**2. Let a be r(-1). Let q = h + a. Is 2/13 at most as big as q?
False
Let g be ((-6)/4)/((-1)/(-6)). Let n = 8/37 + -571/74. Is n at least g?
True
Let m be 1*(6 + -4 + -32). Is m < -30?
False
Let t(n) = n**3 + 10*n**2 + 22*n + 8. Let s be t(-7). Is s less than -7?
False
Suppose 5*q - 22 = 3*o, -5 + 3 = o + q. Let d = 39 + -40. Which is greater: d or o?
d
Let n(z) = z. Let o be n(0). Let b be 12/(-126) + 2/(-6). Is o smaller than b?
False
Let v(u) = 5*u**2 + u. Let q be v(-1). Suppose -4*o + 16 = -2*g, 2*g + q*o - 29 = -o. Which is smaller: g or -4?
-4
Let t be (-28)/(-32)*(-3 + 1). Is 1/4 at least t?
True
Let k(r) = -3*r**2 - 6. Let y be k(2). Is -16 >= y?
True
Let t be 0 + ((-15)/(-27))/5. Which is greater: 1 or t?
1
Suppose -21*h = -23*h - 54. Which is bigger: -28 or h?
h
Let b be -2*1 + -3 + 9. Suppose -2*a + 4 + b = 0. Suppose -5*c = -i - 4 - 3, -3*i - 10 = -a*c. Which is smaller: -1 or i?
i
Let a = -0.03 + 0.33. Suppose 2 - 4 = -2*c. Which is bigger: c or a?
c
Let y be (0 - -5) + 6/(-3). Let g(r) = 2*r - 3. Let v be g(y). Is 3 at most as big as v?
True
Let a = 14 + -17. Which is smaller: a or -6?
-6
Suppose 0 = -6*k + 2*k + 80. Suppose 0 = -4*h + 4 + k. Is 6 at most as big as h?
True
Suppose 0 = 4*f + 5*p + 8, -p - 4*p + 8 = -4*f. Let t = 2 + f. Suppose t = -5*d - 15, 5*y + 0*d = -4*d - 22. Which is bigger: y or -1?
-1
Let j = -0.69 + -0.01. Let t = j - 0.3. Which is smaller: t or 0.1?
t
Let i = 1 - 2. Let c be 434/30 - (-5)/15. Let z = c + -523/35. Is i at least as big as z?
False
Let i(q) = q - 6. Let j be i(8). Let r = 2174/7 - 310. Is r > j?
False
Let l = -53 + 57. Let b(i) = i**2 + 0 + 0 - 2*i. Let u be b(3). Are u and l equal?
False
Let m(w) = 5*w - 9. Let p(z) = -z. Let o(j) = m(j) + 6*p(j). Let c be o(-9). Is 0 at least as big as c?
True
Let u(t) = -t + 4. Let m be u(2). Is m at most 9/7?
False
Let r be (60/5)/6 - 68/14. Which is bigger: -3 or r?
r
Let j(t) = t**2 - 1. Suppose -4*d - 2*c = d + 13, 0 = 4*d + 5*c + 24. Let r be j(d). Which is greater: -4/9 or r?
r
Let q be (8/(-18))/((-2)/9). Suppose 0 = -2*h + q. Is 2/9 smaller than h?
True
Let g = -43 - -44. Which is smaller: 1/25 or g?
1/25
Let j be (-2)/(-4) - 2/(-4). Let q = -8 - -12. Let c be ((-2)/q)/(9/(-6)). Is c < j?
True
Let x(w) = w**2 - 5*w + 9. Let j be x(6). Suppose 4*q = 20, 0*h - 4*q = -h - j. Which is smaller: 2 or h?
2
Suppose 5*k + 15 = 0, -5*k = 2*v - 6*k + 127. Is v at most as big as -64?
True
Suppose 0*t - 7*t - 28 = 0. Is -4 != t?
False
Let x be -6 - (2 + -1 - 2). Let u(b) = -24 + 11 + b + 13. Let k be u(x). Is -4 <= k?
False
Suppose -4*o + 5*o = -5. Is -5 >= o?
True
Let s = -3 - 2. Let w = -3 - s. Which is greater: w or 3/5?
w
Let j be (1/3)/(2/(-6)). Let f = 2 - -2. Suppose -4*a + 10 = -n - f*n, -a - 10 = 5*n. Is n >= j?
False
Let o = 5 - 3. Suppose o*v = -5*a + 6 - 18, 0 = 2*v - 3*a - 4. Are -1 and v equal?
True
Let m = 8 - 11. Let u be m/(-2)*(-10)/(-15). Which is greater: u or 0.03?
u
Suppose 2*h + 2*j = -18, -4*h + 0*h - 27 = j. Does h = 3?
False
Let m = 27/64 - 17287/320. Let s = 54 + m. Is 1 at least s?
True
Let q = 190/3 - 64. Suppose 0 = 3*s + 5 - 14, 0 = 4*x - 5*s + 19. Is q greater than or equal to x?
True
Let u = 6 + -2. Let v(w) = -w**3 + 16*w**2 - 2*w + 33. Let t be v(16). Which is greater: t or u?
u
Suppose 0*s + 3 = s. Let f be 4/6*(-36)/(-6). Is f greater than s?
True
Suppose -3*g + 6 + 0 = 0. Let f be 1/(-7) + (-55)/7. Let t = -5 - f. Is t bigger than g?
True
Let k = 1 - -3. Which is greater: 5 or k?
5
Let i = 1315 + -9181/7. Let f = 4 - i. Which is greater: -1 or f?
f
Let t = -1 + -3. Let j = t + 4. Is -1/13 >= j?
False
Let r be (-32)/(-20) + 4/10. Let z be (r/(-6))/((-8)/(-12)). Which is greater: z or -1?
z
Suppose 38 = 3*k - 7. Suppose -4*c + 9*c = -k. Is c <= 5?
True
Let o be (-632)/(-88) - 2/11. Is o smaller than 5?
False
Suppose 4*v = 7*v - 3. Let d be -1*(3 + v + -7). Suppose d*f = -0*f - 9, -5*x - 5*f - 40 = 0. Is x <= -4?
True
Suppose 5*t + 19 = -2*j, -4*j + 0*j - t = -7. Let i = 1 - j. Which is greater: -1 or i?
-1
Let l = 137 - 53. Is 85 at least l?
True
Let f = -3.2 + 9.2. Is 2 greater than f?
False
Let y be -2 + (1 - (-10)/(-5)). Let i be 40/(-12) - 4/6. Is i at most y?
True
Let s = 6 - 4. Suppose -c = z - 5*c + 11, s*z + 3*c = 22. Suppose 4*k = z*k. Which is greater: k or 1?
1
Suppose 0 = 7*b + 77 + 21. Which is smaller: -13 or b?
b
Let q = 80.36 + -39.19. Let a = -41 + q. Which is greater: 1 or a?
1
Let q = 6 + -3. Let i = q + -1. Which is smaller: 7/4 or i?
7/4
Suppose 1 = 5*s - 14. Suppose r = -s*d + 1, -5*d + 7 = -3. Which is smaller: -6 or r?
-6
Let u be (0 + 0 - 0)/1. Suppose 0 = -3*z - 3*m - 9, -18 = -3*z + 5*z + 5*m. Let f = 0 - z. Is f equal to u?
False
Suppose 2*m - 4*m = -8. Suppose 0 = m*r - r. Which is bigger: r or 1?
1
Let i(a) = a**3. Let q be i(0). Is 1/5 less than q?
False
Let a = 28 + -28. Is a equal to -0.07?
False
Let m = -16 - -15. Is m less than -2?
False
Suppose -y + 3*b - 7*b = -15, 6 = -y + 3*b. Suppose 2*m = -h - 2, -7 = -h - y. Suppose 3*f + 15 = 3, 0 = 5*q - 5*f - 5. Do m and q have the same value?
True
Let d = -2099383/3 + 696295239/995. Let c = -2/199 + d. Which is smaller: 0 or c?
c
Let s = -19 - -11. Let w be s/6 + 2/(-3). Let b be (4/w - -2)/(-2). Is -1/4 not equal to b?
True
Let r = 3 + -5. Is -1 greater than r?
True
Let v(w) = -6*w - 1. Let n be v(1). Let m be ((-36)/27)/((-2)/(-9)). Which is bigger: m or n?
m
Suppose 27 = -0*m + 3*m. Let y be (6/m)/(2/2). Suppose -6 = -l + s, 2*l - s = -5*s - 12. Are y and l equal?
False
Suppose 3*a - 3 = -6. Let g be (1/7 + a)*3. Is -4 at least as big as g?
False
Suppose 5*r = -k + 13, 3*k + 3*r + 18 = 7*r. Suppose 16 = 3*z + 4*d, -3*z = z - 4*d + 16. Which is smaller: k or z?
k
Let m = -1 - -2. Let h = m - 0.9. Are h and -2/5 equal?
False
Let h be (1 + 0)*(-2)/8. Let k