 be o(-2). Which is smaller: -2/11 or h?
-2/11
Let w be 1 + 6/2 - -2. Suppose -14 - w = -4*q. Suppose 3*v - 1 = -5*r + r, 0 = -5*v - q. Is 1/5 at least r?
False
Let t = -0.29 - -0.19. Which is greater: t or 0.06?
0.06
Suppose a - 3 + 9 = 0. Let k be (-40)/105 - 4/a. Which is bigger: k or 0.04?
k
Let u be (0 - 0) + (-6)/(-3). Let h = -6 + u. Let l be 48/105 - h/10. Are l and 1 equal?
False
Suppose -4*s - p - 11 = 0, -5*s + 3*p = 5*p + 16. Let d be s + ((-4)/66 - -2). Which is smaller: d or -1?
-1
Let z(s) = -s + s - s - 1. Let d be z(-5). Suppose 2*y + 2 = i, -y - i = d*y - 9. Which is bigger: 3/2 or y?
3/2
Let n be (1 + 0)*6/9. Let k be -1 + ((-100)/28)/(-5). Is k < n?
True
Suppose -k - 6 - 1 = 0. Is -7 greater than or equal to k?
True
Let d = 2442/13 + -188. Let f = 1 + -1. Which is bigger: d or f?
f
Let z(n) = -n**2 + n + 7. Let v be z(3). Which is bigger: v or 5/3?
5/3
Let s be (-4)/14 - 69/(-21). Suppose -2*w = -s*w - 9. Let t be 0 - (w/15 + 1). Which is smaller: 0 or t?
t
Let v be 3 + ((-23)/7 - -2). Which is bigger: v or 3?
3
Let m = -18 + 12. Let z be (4/m)/(8/6). Which is bigger: -1 or z?
z
Let s(p) = p + 2. Let j be s(-2). Which is greater: 2/25 or j?
2/25
Let b(x) = x**3 + 18*x**2 - x - 16. Let l be b(-18). Suppose 0 = 4*g + 2*h - 5 + 1, l*h - 4 = g. Let o be (-2)/(-8) + (-2)/(-8). Is o <= g?
False
Let w = -5 - 4. Which is greater: w or -23/3?
-23/3
Suppose -4*x + 4*v = 20, 4*v = 2*x + 3*v + 10. Let w(n) = 5*n. Let b(o) = 11*o + 1. Let m(d) = -6*b(d) + 13*w(d). Let p be m(x). Are p and -2 nonequal?
True
Let c = -0.26 + 0.16. Is c not equal to 10?
True
Suppose -3*r + 3*i = 21, 4*i = -3*r + r - 32. Is r at least -10?
True
Let a be (6/4)/((-2)/(-12)). Which is smaller: a or -0.1?
-0.1
Suppose 3*p - b = 3*b - 21, -3*b = 9. Is p greater than or equal to 1/4?
False
Suppose 7 = 2*h + 4*b - 1, -47 = -5*h - b. Let q be ((-6)/(-15))/1*h. Which is smaller: 3 or q?
3
Let y(w) = -w**2 + w + 6. Let m be y(-6). Is 0.1 smaller than m?
False
Let c = -49/26 + -8/13. Is -2 less than c?
False
Suppose 5 = -3*v - 1. Which is smaller: v or -7/4?
v
Let w = 1.86 + 0.44. Let s = w + -2. Are -3 and s equal?
False
Suppose 5*n + 5*k - 5 = 0, -n + 4*k - 8 = 11. Let m(i) = i**3 + 2*i**2 - 4*i - 2. Let o be m(n). Is -3 not equal to o?
True
Suppose 4*u = 4*r - 12, 5*u = -4*r + 1 - 16. Let h be 6*2/(u + 13). Is 0 less than h?
True
Suppose -7*n = 3*n. Let r be ((-26)/(-6))/((-3)/(-108)). Let w = r - 2029/13. Are w and n non-equal?
True
Suppose 4*t + 85 = 3*n, -5*t + 102 = 5*n - 28. Do n and 27 have different values?
False
Suppose 8*p = 3*p. Suppose -2*b = 2*b - 3*s - 60, b + 2*s - 26 = 0. Let c be -1 + 0 + 22/b. Which is smaller: c or p?
p
Let l = -7.79 - 0.21. Let y = l + 6. Which is smaller: -0.2 or y?
y
Let v = -5 + 7. Let b = v - 1. Is -3/10 smaller than b?
True
Suppose 10 = -4*u + 18. Is 3 equal to u?
False
Let i(c) = c**3 + 8*c**2 + 7*c + 1. Let r be 1*7 - 8/4. Suppose -22 = r*g - u + 15, -3*g - 23 = -u. Let z be i(g). Is z at least 2/9?
True
Let x be (2/104)/(22/4 - 6). Which is smaller: x or 1?
x
Suppose -3*c = -1 - 8. Is c > 11/5?
True
Let r(t) be the first derivative of t**4/4 - t**3/3 + 4*t - 2. Let n be r(0). Let x(i) = -i**2 + 5*i - 3. Let w be x(n). Is w less than or equal to 2/13?
False
Suppose -8 = 2*u - u. Let j be 2 + u/((-2)/(-1)). Let f be (-1 - 1/j)*-2. Are f and 2/11 equal?
False
Let b = -10 + 18. Let d = 11 - b. Let z = -4 + d. Which is smaller: -2/9 or z?
z
Suppose 5*q + r - 11 = 0, 5*q - 2*r = -0*q + 23. Suppose 3*n = 6 - q. Which is smaller: n or -3/7?
-3/7
Suppose -o - 2 + 10 = 0. Is 0.2 smaller than o?
True
Let j be (1 - 24/15)*-10. Does 7 = j?
False
Let f be (-15)/(-10)*4/(-15). Let a be ((-6)/15 - (-28)/20)*1. Is a at most as big as f?
False
Let n = 5 + -2. Let l = -3.1 + n. Which is bigger: l or 17?
17
Let u = -9402/47 + 200. Is 1 smaller than u?
False
Let f = -608/7 + 87. Which is greater: -1/2 or f?
f
Let a = -5/3 - -23/12. Is a bigger than 4/11?
False
Suppose q + 15 = 14. Are -1/81 and q equal?
False
Suppose d - 1 = 2. Suppose 20 = 2*a + 3*a. Do d and a have different values?
True
Suppose -4*p + 7 = 3. Let s be (0 - -130)*(-3)/8. Let n = 49 + s. Is p less than or equal to n?
False
Suppose -458 = 4*j + 2*f, -j + 0*f = 4*f + 125. Is -1 != j?
True
Let q = -47 - -142/3. Is q at most as big as -57?
False
Suppose b + 5 = 4. Let j be 2 - (-2 - -1)*2. Let d(o) = o**2 - 3*o - 5. Let s be d(j). Is s <= b?
True
Suppose 67 = -t + w - 0*w, -2*t + 3*w - 129 = 0. Let b be (84/t)/(1/(-2)). Is b bigger than 3?
False
Let a = -14 - -15. Which is smaller: 2/67 or a?
2/67
Let a be 5/(-2)*262/(-30). Let v = a - 22. Let l = -1 + 1. Is l at least as big as v?
True
Let o be 119/9 + (-2)/9. Let x = -4 + o. Let b be x/(-6) + 5 + -3. Is b at least 0.1?
True
Let k be (60/(-36))/(2/(-12)). Suppose -y = y + k. Is -4 smaller than y?
False
Let l = -2.9 - -3. Let t = 2538 - 164961/65. Let r = t + -7/13. Is r equal to l?
False
Let u = -0.5 - -4.5. Let d = u + -4. Is d > -3/5?
True
Let r = -4 - -3.4. Let d = r + -0.4. Suppose 3*x - 2 = 4. Is x equal to d?
False
Let g be -1 + 3 + -3 + 6. Is 5 > g?
False
Let o(r) = r**2 - 9*r + 1. Let m be o(7). Is m less than -13?
False
Let g = 10 - 10. Does g = -2/7?
False
Let z = -17 + 21. Which is greater: z or 0?
z
Suppose 0 = -6*g + 2*g - 4. Which is bigger: g or -4/65?
-4/65
Let c = -11 + 9. Suppose 4*n + 23 = -5*p, n = 2*n + 2*p + 8. Let r = n - c. Which is smaller: -1 or r?
-1
Suppose -5*s + 8*s = 66. Is s less than or equal to 24?
True
Let u = -11 + 7. Let f = u + 1. Suppose -6 = 4*g - g + 3*p, -5*g = -5*p. Do f and g have the same value?
False
Let b(i) = -i**3 + 6*i**2 + 7*i + 4. Let q be b(7). Suppose 0 = q*w - 5*n + 23, w - 4*n + 23 - 9 = 0. Which is bigger: -9/4 or w?
w
Suppose 3*p - 4 = 20. Let m = p + -43/5. Which is smaller: 0 or m?
m
Let g(c) = c**3 - 6*c**2 + 7*c - 6. Let h be g(5). Let k be (h/275)/((-10)/25). Is k at most as big as 0?
True
Let w = -47.93 - -47. Let j = 16 + -16.07. Let n = w + j. Which is smaller: -0.6 or n?
n
Let a be 140/25 + 4/10. Let j(n) = -n**3 + n**2 + 7. Let o be j(0). Which is bigger: o or a?
o
Let a = 231/5 - 3801/80. Is a < -2?
False
Let d = 0.29 + -0.69. Are 0.1 and d nonequal?
True
Let x = 78472/39 - 2012. Is x < 1?
True
Let o be 3*((-1)/5 + 0). Which is greater: o or 0?
0
Suppose -1 = 3*t + 2. Let b be (-3128)/(-3850) - (-5)/(-5). Let p = -1/175 - b. Which is smaller: t or p?
t
Suppose -12 = -5*l + 2*l. Let p(z) = -5*z**3 - z**2 - z - 1. Let k be p(-1). Is k <= l?
True
Let y(i) = -i + 9. Let v be y(0). Suppose 4*r + 17 = 3*p, -r = 2*r + 5*p - v. Which is bigger: r or -8/3?
r
Let a(h) = h**2 - 5*h + 3. Let s be a(5). Let j be (29/s)/(28/9). Let k = j + -20/7. Is 1 less than k?
False
Let g = 0.05 - 4.05. Let j = -3 - g. Is 1 at least j?
True
Let c(d) be the third derivative of -d**6/120 + d**5/15 + d**4/6 + d**3/3 - d**2. Let v be c(5). Let o = 2 + -5. Is v greater than o?
False
Let o = 5.7 + 1.3. Let v = 19 - 18. Is o greater than or equal to v?
True
Suppose 2*d - 2*k + 2 = 4, -4*d - 2*k = -28. Let x(b) = -b**3 + 4*b**2 + 6*b - 5. Let a be x(d). Suppose 4*i + 2 + 6 = a. Which is bigger: i or -1/2?
-1/2
Let j be 12/66 - 164/(-66). Is 0.1 at least j?
False
Suppose -3 = -4*p + 1. Let z be p/(-3)*9*1. Let c = z - -5. Is 3 greater than c?
True
Suppose 4*u + 2*m - 1 = 3, 5*m = -4*u + 10. Suppose u = 5*k - 3*k - 6. Suppose 3*p - 6*p = k. Which is smaller: 0 or p?
p
Suppose -5*j = 4*l - 22, 3*j + 2*l + 4 = 8*j. Suppose h - 3 = -j*f, -f - 2*h + 0*h - 3 = 0. Suppose 5*n = 2*n + f. Is 0.1 != n?
True
Suppose -4 = -0*r - 2*r. Suppose r*d = -d. Suppose -2*j = j + 2*o + 2, d = 4*j - o + 10. Is 0.1 less than j?
False
Let t(m) = 8*m - 8. Let o be 2 + (-27)/((-9)/(-3)). Let h(y) = 7*y - 7. Let i(j) = o*h(j) + 6*t(j). Let z be i(2). Is z <= -2?
False
Let h = 163 + -1143/7. Suppose -6*x + 2*x = 0. Which is greater: x or h?
x
Let p be -3 - (-2)/((-58)/(-85)). Is p at most 0?
True
Let y = -9 - -17. Let w be (12/15)/(y/100). Which is smaller: w or 11?
w
Let j = -2412 - -113374/47. Which is smaller: 0 or j?
0
Let c(f) = f**2 + 4*f + 3. Let y be c(-2). Let o = -35 + 313/9. Are y and o unequal?
True
Let v(a) be the first derivative of -2 + 7*a - 1/2*a**2. Let p be v(7). Is -1/4 at most as big as p?
True
Let s