)/1312). Let r = 226 + k. Is 1 greater than r?
True
Let g be (-1)/(-5)*(-20)/72. Is -1 at least g?
False
Let f = 13 + -16. Which is bigger: f or -10/3?
f
Let d = -2.5 + 2. Let k = d + -1.5. Let n = 1.1 + 1.9. Which is smaller: n or k?
k
Let n = -0.1 + -0.9. Which is greater: 7 or n?
7
Let a(l) = -l + 6. Let b be a(3). Are 5 and b equal?
False
Let r = 7/4 + -5/4. Let h = 0.04 + -0.02. Is h <= r?
True
Let t = -92 - -86. Which is smaller: -0.3 or t?
t
Let n = -3 - -3.2. Let c = -107 + 103. Which is greater: c or n?
n
Let y be (84/60)/(2/(-8)). Which is bigger: -6 or y?
y
Let o = -3.2 - -3. Let q be 2/(6/9) + (-52)/12. Which is greater: q or o?
o
Let a = 0.007 + 0.047. Does 1 = a?
False
Let i be -2*2*(-3 - -2). Suppose -4*c + 10 = 3*v - i*v, -4 = -5*v + 2*c. Let d be v + -1 - 27/21. Is d > 0.2?
False
Let m = -57 - -53.4. Which is bigger: 2 or m?
2
Let b = -36 + 46. Which is smaller: b or 1?
1
Suppose -2*t = 2*y - 6, -t + 0 = -3*y + 1. Suppose 47 = -3*n - 7. Let q be ((-3)/15)/(n/10). Which is greater: q or y?
y
Suppose -2*a + 2*w - 32 = 8, a - 5*w = -36. Let v = a + 14. Is v greater than or equal to -2?
True
Suppose 2*q + 19 = -5*l, -13 = -3*q + 5*l - 4. Which is smaller: q or -4/7?
q
Suppose 2*f - 16 = -2*f. Let l = 6 + -3. Suppose u + f = l*u. Is u less than -0.1?
False
Let s = -1.1 - 0.3. Let l = 0.4 + s. Which is greater: 0.4 or l?
0.4
Let j = -0.01 - -0.08. Let z = j - -0.23. Let w = 0.1 + z. Is w at least 1?
False
Let p be (3/2)/((-1)/2). Suppose 3*w = 2*w. Suppose w = -5*m - 5. Is p > m?
False
Suppose 3*f = f + o + 28, 0 = -2*f - o + 20. Let i be 1*(-4)/(f/15). Is i bigger than -5?
False
Let r = 35/4 + -179/20. Which is greater: r or -3/2?
r
Let y be 2 - (2 - 1) - 18/(-3). Which is bigger: 6 or y?
y
Let d = -50 - -25. Is d at most -25?
True
Let g be (-120)/(-16)*(-4)/(-3). Suppose u = -u + g. Which is bigger: 6 or u?
6
Let u = 3 + -5. Let z(q) = q**3 - 4*q**2 - 2*q + 7. Let v be z(4). Is u less than or equal to v?
True
Let s(k) = k**3 - 3*k**2 + 2*k. Let w be s(1). Is -3/23 > w?
False
Let x(y) = y**3 - y**2 - 4*y - 3. Let j be x(3). Let d = 10 + -4. Let f be (d/8)/(3/2). Which is bigger: f or j?
j
Let o(t) = t**2 + 10*t + 7. Let d be 33/(-3) - -1 - -1. Let i be o(d). Is -2 at most as big as i?
True
Let r = 40 + -5. Let s = r - 25. Suppose 0 = 5*l + 2*q - s, 4*l - q + 2 = -3. Is 1 < l?
False
Let l = 29 + -25.97. Let i = -0.03 + l. Let b = 0.1 - 1.1. Is b at least i?
False
Let x = -11 - -4. Let u(l) = -l**2 - 8*l - 4. Let t be u(x). Which is smaller: 4 or t?
t
Let w be (-2)/(0 - 2 - 0). Which is smaller: -2/19 or w?
-2/19
Suppose 2*c + c = 0. Let o be (-7 + 7)/(2 - c). Is o less than 1/5?
True
Let m = -0.8 + 0.5. Let b = -0.05 + -0.35. Let p = b - m. Do 2 and p have different values?
True
Let l = -2162/9 + 240. Which is smaller: 8 or l?
l
Suppose 2*b = -3*b + 20. Is b equal to 7?
False
Let v = -0.8 + 0.9. Are -9 and v equal?
False
Let g = 1 + -3. Let f(h) = -h**3 + 7*h**2 - h + 7. Let b be f(7). Is b less than or equal to g?
False
Suppose 1 = -2*o + r, 6*o + 3 = o + 3*r. Does o = -2/15?
False
Let j = -0.536 + 22.836. Let u = -22 + j. Which is greater: u or 2/9?
u
Let q = 5 - -1. Let w = q + -6.1. Which is smaller: 2/5 or w?
w
Suppose 26 = -5*a - 2*k - 2*k, 2 = 3*a - 2*k. Let y = 0.2 - -0.8. Which is greater: a or y?
y
Let k(n) = -5*n**2 + 34*n + 6. Let p be k(6). Which is smaller: p or 29?
29
Let a be (105/(-6))/(-7)*8/(-10). Is a greater than or equal to 4?
False
Let v = -3 - -8. Let l = 10 - v. Which is bigger: l or -0.1?
l
Suppose 0 = -3*k - 6, 7*s - 2*s + 3*k - 39 = 0. Suppose -9 = 3*p, -c + 0*c = -3*p - s. Which is bigger: c or -2/15?
c
Suppose 0*j = 4*j - 36. Let g = j - 15. Let b = 10 + g. Which is smaller: 3 or b?
3
Let k = 6 + -3. Let v = -4 + 5. Let q be 6*3/(8 + v). Is k less than q?
False
Let v be (8/(-6))/(14/(-3) - -4). Is 0 at least v?
False
Let f be 2*(-2 + (-146)/(-74)). Let j = f - -47/185. Is 1/3 less than or equal to j?
False
Suppose -a - 10 - 17 = 0. Which is smaller: -26 or a?
a
Let l = -12 - -22. Let s = l - 9.8. Is -1 <= s?
True
Let z be ((-27)/6 + 3)/((-3)/72). Is 36 > z?
False
Let t be (-56)/(-32) + 6/(-8). Suppose -t = 4*c + 7. Is c at least -2?
True
Let z = 8 + -10. Let x = 191/742 + 3/106. Is z at least x?
False
Let z = 37 - 64. Which is smaller: z or -26?
z
Let z be (-7)/((-14)/(-6)) - -2. Is -4 less than z?
True
Let s be 5 - 2*(4 - 5). Let p be s/(-9) + (-10)/45. Which is smaller: -2 or p?
-2
Let v(g) = -g**2 - 3*g + 13. Let h be v(-6). Is -3 != h?
True
Let k = 30 + -89/3. Let r = -9 + 24. Let f be 2/(-3)*9/r. Is k bigger than f?
True
Let v(w) = -4*w - 14. Let g be v(-4). Which is greater: g or 10/3?
10/3
Let t = -13 - -10. Let m = 0.2 + -0.4. Is m less than t?
False
Let d = 66 - 331/5. Suppose s = -0 + 2. Let u be 1*(-4)/s - -1. Which is smaller: d or u?
u
Let p(k) be the second derivative of k**3/6 - 5*k**2 - 2*k. Suppose 3*o - 4 = 23. Let j be p(o). Is -4/5 < j?
False
Let f = -11.5 - -1.5. Let a = f - -9.9. Which is greater: -7 or a?
a
Let s be (0 - -1 - 4) + -7. Is s < -10?
False
Suppose 3*v + 35 = -4*o, -3*v = -0*v - 3*o. Let y be (-1)/4 + 23/(-4). Is y less than or equal to v?
True
Let n(c) = c - 28. Let u be n(32). Which is greater: u or -8?
u
Suppose -2*h + 5*h - 429 = 0. Is h equal to 143?
True
Suppose -61 = -3*j + 5*f - 10*f, 4*j + 4*f = 76. Suppose -2*d + p = -1, -d - d - j = 5*p. Which is bigger: 2 or d?
2
Let y(k) = -k**2 - 2*k + 4. Let s be (8/(-5))/(8/(-20)). Suppose -s*i - 15 = -3. Let m be y(i). Which is greater: 3/5 or m?
m
Let c(i) = -2*i**3 + 3*i**2 + 3. Let g be c(2). Is 2/67 <= g?
False
Let j = 15 - 23. Suppose 0 = -3*t - 9 - 15. Is t > j?
False
Let o be 1/(-2)*1*2. Let t = -23 - -25. Suppose -5*z = 0, r - t*z + 0 = -2. Which is greater: o or r?
o
Let u = 1 + -2. Let i be -3 + 1/((-3)/(-30)). Let w = i - 27/4. Which is greater: u or w?
w
Suppose -4 = -2*f - 2. Let l be ((-2)/(-3))/(26/117). Which is bigger: f or l?
l
Let l(g) = 2*g**2 - 4*g + 2. Let j be l(2). Suppose j*m = -4*v - 12, 2*v + 0*m + 10 = -2*m. Let o = v + 2. Is o equal to -1/4?
False
Let q = 467 + -458. Let z = 15 - 6. Is q at least z?
True
Let i = 1 - 2. Let m be -15 - (2 + i) - -3. Is -12 equal to m?
False
Suppose 6*b - 2*b - 4 = 0. Do b and -2/63 have the same value?
False
Suppose -3*s - 2*s = 5. Which is bigger: 1/9 or s?
1/9
Let c = -187 - -189. Which is smaller: c or 15/16?
15/16
Let o(a) = 2*a**2 - a - 1. Let b be o(-3). Let i be ((-8)/b)/(22/10). Which is greater: i or 0?
0
Let p = 2 - 0. Let d = 8 + -12. Let w be (3/d)/(36/24). Is p at most w?
False
Suppose -k + 5*i + 13 = 0, 4 = -i - 1. Let l = k + 13. Let x = 45/2 - 22. Is x greater than l?
False
Let p be (-4 - (-1 - 3)) + -87. Is p less than -88?
False
Let o = 7.5 + 0.5. Which is greater: -1 or o?
o
Suppose 0 = -3*f - 20 - 16. Let b be ((-6)/f)/(2/4). Let d = 5 - 3. Which is smaller: d or b?
b
Let q(g) be the first derivative of g**4/4 + g**3 - 2*g**2 + g + 2. Let o be q(-4). Does 2/3 = o?
False
Let j = 6 + -2. Let k(q) = 7*q**2 - 2 - q**3 + 2 - 4 + q. Let d be k(7). Which is smaller: d or j?
d
Let z(m) = m**2 - 8*m. Let r be z(8). Suppose r*j + j = 0. Are -1/8 and j non-equal?
True
Suppose 2*c + 2*z + 0 = 2, -5*z = c + 7. Suppose 0 = -2*f + 10, 3*v + c*f - 15 - 12 = 0. Suppose 0 = -v*h + h - 6. Which is smaller: -3 or h?
-3
Suppose 3*a = -0*a. Which is greater: a or 4/9?
4/9
Let y(l) = -l - 14. Let s be y(-14). Let a be (-169)/(-15) - 3/3. Let g = a + -29/3. Is s at least as big as g?
False
Let o be (36/10)/((-27)/(-90)). Is 14 greater than o?
True
Let d(x) = x**3 + 3*x**2 - 3. Let g be d(-3). Let f = 11 + -17. Let k = 3 + f. Do k and g have the same value?
True
Suppose 4*j - 12 = j. Let i be 52/14 - j/(-14). Suppose 2*x - 7 = -2*a + 3, 5*x - 22 = -i*a. Is x smaller than 1?
False
Let u(z) = -2*z + 4. Let i be u(-4). Let d = -16 + i. Is d greater than or equal to -9/2?
True
Let d = 0.512 + 0.088. Which is smaller: d or 0.02?
0.02
Suppose 2*h = 3*u - 3, -4*u + 5*h - h + 4 = 0. Which is bigger: u or 2/61?
u
Let l(q) = q**2 - 1. Let a be l(-1). Is 1/3 at least as big as a?
True
Let b(n) = n**3 + 5*n**2 + 7*n + 11. Let t be b(-4). Are -4 and t nonequal?
True
Let q = -30 + 32.6. Let b = 0.54 + 0.06. Let t = b - q. Is t greater than or equal to -0.1?
False
Let y be 