igger than n?
True
Let k = 78 + 3. Which is greater: k or 80?
k
Let b = 0.056 + -0.156. Is b smaller than -9?
False
Let r be (0 - 1/(-1)) + 24. Suppose 3*g + 9 = 2*t - 10, 0 = -5*t + 3*g + r. Which is bigger: t or 0.3?
t
Let h(j) = j + 13. Let b be h(-9). Suppose 1 = 4*f + 5, b*r = f + 5. Which is smaller: r or 2?
r
Let s(y) = 0*y - 2*y**2 + 11*y**3 + y + 0*y**2. Let v be s(1). Suppose n - 5 = 0, -w = 4*w + n - v. Which is smaller: 2 or w?
w
Suppose 6*a = 2*a + 16. Suppose r = -a*r - 15. Let s be -2 + (0 - -2) - 0. Which is smaller: r or s?
r
Let v = -536 + 3743/7. Which is smaller: 0 or v?
v
Let c be (-4)/(-10)*5*4/(-8). Is 1/6 at least c?
True
Suppose 4*a + 2*m = -6 - 4, -4*m + 7 = -a. Let v(l) = l - 5. Let r be v(6). Which is smaller: a or r?
a
Let u = 0 - -1. Let t be -2 - (-1 + 1) - u. Let y be t/(-5) + (-51)/60. Is y greater than 1?
False
Let g = -1 - 0. Let h = -122 + 604/5. Let k = h + 59/45. Which is greater: g or k?
k
Let j be 0/(6/(2 + 1)). Suppose j*f + 1 = f. Are f and 1 nonequal?
False
Suppose 6*t - 4*t + 2 = 0, 4*t + 254 = -5*c. Let n be (2/4)/(c/(-8)). Which is bigger: n or 0?
n
Suppose -8 = 2*c - 6*c. Let o = c + -10. Which is greater: -7 or o?
-7
Suppose 3*w - 18 - 39 = 0. Suppose -w = -5*c - 4. Let f = c + -3. Is -1 at least as big as f?
False
Let b = -273 - -272. Let t = -8 + -2. Which is bigger: b or t?
b
Let h be 0/((-4 - 0)/1)*-1. Is 1/39 < h?
False
Let x(f) = -f + 21. Let o be x(0). Suppose 3*q - r = 11, -q = -3*q - 5*r - o. Let s be (-1 - -3)/(q*1). Is 1 >= s?
True
Let i be (-120)/175 - (-4)/14. Which is greater: i or 0.2?
0.2
Suppose 10 = -14*m + 94. Is m less than -0.04?
False
Suppose -4*t = -3*g + 4, -3*g - 4*t + 22 = -22. Which is smaller: g or -0.4?
-0.4
Suppose -3*a = 1 + 20. Let c = a + 5. Does c = -3/5?
False
Suppose -6*l + 16 = 2*l. Suppose -l*z + 4*z = 4. Do 3 and z have different values?
True
Let h = -65 - -190/3. Are -2 and h non-equal?
True
Let w(q) = -q + 9. Let p be w(7). Suppose 2 = -p*c - 0. Which is smaller: -2 or c?
-2
Let h be ((-1)/(-3))/((-1)/(-6)). Let m be -1 - (0 + h*-1). Let r = 2 - m. Which is smaller: r or 3/8?
3/8
Let x = 945/8 - 118. Is -1 < x?
True
Let m be (-9 + -1)/((-3)/12). Suppose -m - 25 = -5*j - w, -5*j + 55 = 3*w. Suppose -37 = -4*p - 5*z, 5*p = -5*z - j + 54. Is 1 greater than or equal to p?
False
Let j(d) = -22*d + 151. Let t be j(7). Let s(f) = -3*f - 1. Let u be s(1). Is u at least as big as t?
False
Let p be (-1)/(-4) + (-503)/12. Let j = -42 - p. Suppose -3*n = -2*n - 1. Which is smaller: n or j?
j
Let l = 90 + -632/7. Is -1 >= l?
False
Let d(p) = 8*p - 1. Let a be d(1). Is 10 at least a?
True
Let j be (16/40)/(16/(-10)). Is -0.16 equal to j?
False
Let k(q) = -3*q. Suppose -2*t + 2*c - 12 = 0, -4*t = -c - c + 14. Let r be k(t). Let d be -2 + -2 + 11/r. Are 0 and d nonequal?
True
Let o be 162/4 - (-6)/4. Let q = o + -62. Let n = q - -14. Which is smaller: n or -7?
-7
Suppose 5*z = -z + 60. Let q = z - 11. Which is smaller: q or -2?
-2
Let d = -681965/247 - -2761. Let l = 974/1729 + d. Which is smaller: 1 or l?
l
Let n = -8728/7 + 1244. Let r(k) = -2*k**2 + 2*k + 1. Let w be r(-1). Which is bigger: w or n?
n
Let l = 13 + -10. Is l at least as big as -1?
True
Let p be 0/3 - 0/(-4). Suppose -8 = 3*l + b + 3, -3*l - 13 = 2*b. Let s be ((-2)/(-6))/(l/9). Which is smaller: p or s?
s
Let p = 2484/11 + -226. Is p at least as big as -1?
True
Let f = -4.1 - 1.9. Let q = -6.3 - f. Which is smaller: -2/17 or q?
q
Let w = 2.1 - 2.04. Let r = -0.4 + 0.2. Let n = 0.1 + r. Is n smaller than w?
True
Let c = -456.06 - -452. Let m = -11 - -15. Let w = m + c. Is 1/4 less than w?
False
Suppose -28 - 8 = -4*r. Which is greater: r or 8?
r
Suppose 2*d - 50 = 6. Suppose -2*v + d = -w + 6*w, -3*v + 24 = 3*w. Suppose -v = 3*k + 5. Is -3 greater than k?
False
Suppose -18*p + 16*p = 4. Is -5 > p?
False
Let n be 3*2*4/3. Suppose -a = -5*a + n. Suppose a*z + 2*u = 2 + 4, -4 = -2*u. Does 2 = z?
False
Let h = -8 - -18. Let r be 22/h + (-2)/10. Which is bigger: r or 7/3?
7/3
Let x(p) = 2*p + 5. Let i be x(-8). Is -11 less than or equal to i?
True
Let w = 64 - 70. Which is bigger: w or 6?
6
Suppose 4*r + 35 - 11 = 0. Let d = r - -8. Which is bigger: 1 or d?
d
Let x(c) = -c**3 + 8*c**2 - 6*c - 3. Let d be x(7). Suppose d*j - 4*n + 1 = 13, -j + 5*n = -7. Suppose 2*p + j*p = 4. Which is greater: p or 0?
p
Let k(a) = -a**2 + a + 36. Let u be k(0). Is u at least as big as 36?
True
Let d = -14.6 - -14.5. Which is greater: d or -29/3?
d
Let r = 241/4 + -60. Let h(w) be the third derivative of -w**5/60 - w**4/3 + 5*w**3/3 - 2*w**2. Let c be h(-9). Which is smaller: c or r?
r
Let r(z) = -2*z**2 - 12*z + 2. Let v be r(-6). Which is smaller: 9/5 or v?
9/5
Let q be 4/(-18)*(-3)/(-12). Let l(d) = -4*d - 7. Let m be l(-2). Is q smaller than m?
True
Suppose -54 = 2*g - 18. Let d be 4/g + (-40)/(-18). Suppose 0*x - d*x = 0. Is -2 greater than x?
False
Suppose -9 = 7*s + 12. Which is smaller: -10 or s?
-10
Let s be (-22)/(-24) + 14/(-56). Is s bigger than 0?
True
Let j = 0.1 - 0.2. Suppose 0 = 7*f - 3*f + 8. Which is greater: f or j?
j
Let l = -7 + 7.2. Let n = l + 2.8. Let x = -2 + 2. Which is smaller: x or n?
x
Let m = -14 + 21. Suppose -m = 2*z + w, -5*z + w = 3*w + 17. Let x = 0.89 - 1.09. Is x less than z?
False
Let z be -2*2/12*-12. Suppose 0 = 3*w - z*s + 11, 2*s - 5 = w - 0*s. Which is smaller: w or 0?
w
Suppose 0 = -d + 3*n, 0*d + d + 4*n - 7 = 0. Let r be (3 - d) + 8 + 1. Is r equal to 10?
False
Let k be 0 - (-1)/(-3)*10/(-50). Is k smaller than 1?
True
Let t = -1 - -0.95. Let d = 1.8 - 2.8. Which is greater: d or t?
t
Suppose -2*h - 10 = -5*u, -15 = u + 4*h + 5. Is u < 2/23?
True
Let p = -275/6854 + -1/298. Is 1 greater than p?
True
Let d = -229 - -392. Let n = -494/3 + d. Is -3 not equal to n?
True
Let s be (-13)/4*(-4)/18. Let d = 2252/9 + -250. Let b = d - s. Which is smaller: b or 2/7?
b
Let t(l) = l - 21. Let h be t(17). Let b(o) = -o**2 - 10*o - 6. Let i be b(h). Which is smaller: 17 or i?
17
Let k = 99 - 881/9. Which is smaller: k or 1?
1
Let a be (-7)/32*(916 + -2). Let g = a - -200. Which is greater: g or 0?
g
Suppose 8 + 467 = -5*m. Is -94 > m?
True
Let a be 4/11*12/(-8). Let f = 6 + -6. Suppose 0 = -f*y + 4*y. Are y and a nonequal?
True
Let s = 0.17 - -3.63. Is s at most as big as -1/4?
False
Let p(t) = -3*t**3 - 2*t**2 - 2*t - 1. Let v be p(-1). Let a = v + -4. Which is greater: -3/4 or a?
-3/4
Let f(c) = c**3 + 5*c**2 - 3*c**2 - 2 - 4*c**2 + c. Let p be f(2). Suppose -5 = -a - p*a. Which is smaller: 4 or a?
4
Let n = 45 + -42. Which is smaller: n or -1?
-1
Let b(d) = -d - 3. Let o be b(0). Suppose -3*k - 3 = 3. Is o greater than k?
False
Let p(k) be the second derivative of -k**3/2 + k**2/2 - 4*k. Let j be p(-4). Is j != -1?
True
Let h be (-78)/(-27) - (-8)/(-6). Does h = -0.1?
False
Let z be (-3)/7 + 1629/567. Which is smaller: 1 or z?
1
Let p = -5 + 4. Let g be 1 - (-5*1 + 2). Suppose g*s = 3*f - 0*f - 10, 3*s = -3*f + 3. Is f >= p?
True
Let j be (-6)/(-16) + (-168)/(-64). Is j > -14?
True
Let l be -7 + 2 + 2 + 1. Let z be (-2)/12 - (-2)/(-4). Which is bigger: z or l?
z
Let q(u) = 5*u**2 + 5*u + 5*u - 5*u + u**3 + 5. Let k be q(-4). Which is smaller: k or 2/5?
2/5
Let z be 0*((-1)/(-3) - 0). Which is bigger: z or 1/5?
1/5
Suppose 2 + 0 = 2*u. Let o be u/10*30/12. Which is smaller: o or 2/7?
o
Let l = 451/2 + -13087/58. Is l >= 0?
False
Let m be (-6)/39 + 25/(-91). Which is smaller: m or 0?
m
Let s = -23.065 + 0.065. Which is bigger: 2 or s?
2
Suppose 5*s = -w - 25, 4*s - 1 - 36 = 3*w. Let k be w/33 + 3/3. Which is greater: k or 1?
1
Let w(r) = -1. Let l(a) = a + 9. Let y(b) = l(b) + 6*w(b). Let s be y(-2). Let m be ((-1)/(-7))/(0 - s). Are m and 0 equal?
False
Let j = 0.062 + 0.338. Is 9 < j?
False
Let x = -0.6 + 0.4. Which is greater: x or 2/3?
2/3
Let c(s) = -2*s. Let o be c(0). Let x = 187 - 3177/17. Is o less than or equal to x?
True
Let q be (-1)/2 - 17/(-34). Which is smaller: q or 2/61?
q
Let y = -1818/55 - -324/11. Does y = -5?
False
Let v(d) = d**2 + 6*d - 7. Let x be v(-5). Let y = -6 - x. Suppose y*j - 2*j = 4. Which is smaller: j or -1/4?
-1/4
Let z be 7 - 2 - 390/25. Is -11 > z?
False
Suppose -5*v + 5*h - 9*h + 18 = 0, -4*v + 5*h + 39 = 0. Suppose 12 + 8 = 4*f. Suppose f*x - 28 = a +