- 2*c + 1. Let v be s(1). Let n = -4 - v. Let f be ((-6)/(-27))/(4/6). Is n at least as big as f?
True
Let z(a) = 18*a - 145. Let y be z(8). Let f = 209/2844 + -8/79. Is y <= f?
True
Let p be (-7)/28 + (-2)/(-8). Let v be 3 - (-3)/(3 + p). Suppose t + 10 = -v*t. Which is bigger: -1 or t?
-1
Let n = 12.1 - 10. Let f = 2 - n. Is -0.03 at least f?
True
Suppose -5*f - 6 = 19. Let h be 3/(-6)*(-2)/f. Suppose 0 = 2*z - 2*v - 4, 4*z - 3*z = 5*v + 14. Is h less than or equal to z?
False
Let i = 2.15 + -0.15. Which is greater: 2/3 or i?
i
Suppose -4*n + 9 = 1. Which is smaller: n or 0.05?
0.05
Let z(o) = 2*o - 27. Let v be z(11). Are -6 and v equal?
False
Let m = 13 + -13. Is m less than or equal to -1/5?
False
Suppose 0 = -7*x + 3*x + 8. Is x at least 4?
False
Let f = -30 - -54. Suppose 2*p = 5*s - f, -5*p = -0*p - 3*s + 22. Is -2 less than or equal to p?
True
Suppose 5*a = 4*h + 2*a + 1, -6 = 5*h + a. Suppose 0 = 3*u + 6, 4*y + 5*u + 19 = y. Is h not equal to y?
True
Suppose k - 34 = -5*i - 13, k - 5*i = -29. Is -30/11 <= k?
False
Let t be -6*2/(-3)*-2. Let o = -2/135 - 1751/270. Which is bigger: t or o?
o
Suppose -3*r + 3 + 3 = 0. Suppose 5*u = r*u - 3. Which is bigger: 1/3 or u?
1/3
Let c = 233 + -767. Let k = -2111/4 - c. Let j = k + -163/28. Which is smaller: 1 or j?
j
Let o = 47 - 20. Let i = o + -18. Let c = i + -9. Is 3 > c?
True
Let b be 18/42 + 277/(-679). Is b != 1?
True
Let y(b) = 315*b**2 + 6*b - 3. Let k be y(-5). Let p be k/(-84) - (-2)/4. Let s = -93 - p. Is s greater than or equal to 1?
False
Suppose -3*h - 1 = -7. Is h equal to 4?
False
Suppose -3*m - 26 = 1. Is -8 greater than m?
True
Let c = -7 + 5. Let o = 2.2 + c. Suppose -5*t + w + 6 = -5, 5*t + 5*w - 5 = 0. Is t at least o?
True
Suppose 3*t - 6*t + 9 = 0. Let i = -4 + t. Is i at least -4/7?
False
Suppose -3*b = 5*y - 24, b + 3 = 2*y - 0. Suppose 4*u + 0*u = -4*g, 16 = -g + y*u. Let d = g + 4. Which is greater: 1 or d?
1
Suppose 3*i + 5*a + 38 = a, 4*i = 2*a - 14. Let o be 3*4/i - -1. Is o at least -2/13?
False
Let c = 12 + -4. Suppose 3*d - 12 = -3*d. Let t be -10 + c + 5/d. Are 1/2 and t equal?
True
Let k be 3/(-3) - 130/(-134). Let q = k + 75/268. Is q less than 5?
True
Let q(y) = y**2 + 9*y + 17. Let u be q(-7). Suppose -5*m - 30 = 4*g + g, -u*m - 19 = 4*g. Which is bigger: g or -0.3?
-0.3
Let o be ((-8)/(-6) + 0)/(14/84). Is 35/4 greater than o?
True
Let m = -1.6 - -1.7. Is m < -4?
False
Let b = -37/30 + -1/10. Let c = -2.1 - -2. Which is smaller: b or c?
b
Let c = -9 - -8.99. Let p = -0.09 + c. Is -3 smaller than p?
True
Let b = -69 - -119. Suppose v - 21 = 3*a, -2*v = 3*v - 4*a - b. Is 4 < v?
True
Let y = -6.1 + 4.1. Which is smaller: y or 28/3?
y
Suppose 8*d - 7 - 9 = 0. Suppose -2*p = d - 8. Is p at least as big as 3?
True
Suppose 0 = -2*n - 3 + 5. Let r = 5 - n. Which is greater: r or 2?
r
Let k be (-68)/(-6) + (-5)/15. Suppose -h + k = -0*h. Which is bigger: h or 12?
12
Let x be ((-1)/(-3))/((-12)/477). Let s = x + 14. Is s greater than 1?
False
Let i = -6 + 6. Let f be i/2 + (-10)/15. Let j = 0 + -0.1. Which is greater: j or f?
j
Suppose -57*s = -62*s + 10. Is 1/2 smaller than s?
True
Let l be 7*(-3 + 3 - 1). Are l and -4 nonequal?
True
Suppose o + 1 = -5*y, -4*o - 2 = -3*y + 2. Suppose x + t = 8, 0*x - 3*x + 19 = 2*t. Suppose -x*s + 5*s - 2 = y. Is 1 greater than or equal to s?
True
Let m = -61.3 - -61. Which is smaller: 13 or m?
m
Let z = 4271/22630 - 23/465. Let s = z - -2/73. Is s at least as big as 0?
True
Suppose -5*g + 10 = 60. Is g less than -10?
False
Let i(k) = 6*k + 1. Let g(h) = -5*h - 2. Let t(s) = 5*g(s) + 4*i(s). Let y be t(-8). Suppose m - 5*x - 16 = 0, 0*m - 3*m + 12 = -3*x. Which is bigger: m or y?
y
Suppose 0 = -b + 2, -4*b + 23 = 2*h + 3*h. Suppose -n - 2 = -h. Does n = -4/9?
False
Suppose -p = 4*p - 30. Suppose 2*y + 4 = 14. Do p and y have the same value?
False
Let r = -85 + 1449/17. Which is greater: r or -1?
r
Let l(p) = -5*p - 9 + 9. Let i be l(-1). Suppose -3*y - 2*y = -i. Which is greater: y or -2/7?
y
Suppose 3*n + 0*n - 24 = 0. Let k be -1 - -1 - n/(-14). Which is bigger: k or 0?
k
Suppose -52 = -0*t + 4*t. Which is smaller: t or -14?
-14
Suppose 69 = 5*k - 4*b, 4*b + 7 = 3. Which is bigger: 11 or k?
k
Let q be (1 - (3 - -1)) + 5. Which is bigger: q or 11/4?
11/4
Suppose 0*j = -4*j. Let n = j - -1. Are -2/9 and n unequal?
True
Let z = -337 + 2355/7. Which is smaller: z or 0?
z
Let i be (8/(-6))/((-10)/(-75)). Does -11 = i?
False
Let l(t) = -2*t**3 + t**2 + 2*t - 2. Let k be l(1). Is -3 < k?
True
Let k = -7 + 37/5. Does k = -0.16?
False
Suppose -6*k + 5 = -5*k. Suppose -2 = -k*y + 3*y. Which is bigger: -2/55 or y?
y
Let s = 0 + 4. Which is bigger: -0.1 or s?
s
Let d = -13 + 14. Which is bigger: -1/3 or d?
d
Let z = -3 - -1. Which is smaller: -1/3 or z?
z
Suppose -4*l = 24 + 16. Let b be (-7)/l - (-4)/(-20). Is 2 not equal to b?
True
Let u = -379/6 - -63. Let z = 155 + -777/5. Which is smaller: u or z?
z
Let v be 12/16 + (-11)/20. Is v >= -1?
True
Let h = 6.3 - 6. Let j = 2.2 + h. Let m = j - 0.5. Is -0.2 bigger than m?
False
Suppose 5*f + 5*w = 0, -9 = 3*f + 4*w - 4. Suppose -1 = -f*r - 5*j + 4, -2*j = 0. Is r smaller than 0?
False
Let k(c) = -c**3 - 9*c**2 - 7*c + 8. Let q be k(-8). Is q less than -1/39?
False
Suppose 2*q - 29 = 17. Suppose -b + 2*m = 8, -4*b + q = -m + 4*m. Suppose -4*l + 5*l = b. Are l and 2 unequal?
False
Let f(k) = k**2 - 3*k + 2. Let j be f(3). Let x be ((-6)/(-3) - 2)/j. Let w be 0 - (1/4 + x). Which is smaller: w or -2/5?
-2/5
Let f = 3.2 - 5.2. Which is bigger: 7 or f?
7
Let u = 0 + -1. Let y = -311/986 - -10/29. Is u bigger than y?
False
Let m = -37 + 37.1. Let a be ((-1)/(-4))/((-76)/32). Which is greater: m or a?
m
Suppose -3*y - 56 = 4*y. Which is smaller: y or -60/7?
-60/7
Let p = 39 - 38. Let g be 18/(-696)*(-12)/3. Is g > p?
False
Suppose 6*h - 6 - 36 = 0. Is 7 greater than or equal to h?
True
Let k = -2209/12 - -184. Let o be -3 - (0 + -2)/1. Which is bigger: o or k?
k
Let s = 32 - 17. Let c be ((-3)/(-5) + 0)*s. Is c greater than 9?
False
Let h(l) = l**3 + 5*l**2 - 10*l - 7. Let k be h(-6). Suppose 4*b - 11 = k. Which is greater: b or 6?
b
Suppose 0 = 2*b - 2*f + 12, 2*b - 4*f = 5*b + 25. Suppose -134*h - 8 = -133*h. Which is smaller: h or b?
h
Let m = 34129 + -509008/15. Let w = 195 - m. Which is greater: w or 1?
1
Let m = 30 + -29. Does m = -11?
False
Let p(b) be the second derivative of b**4/12 - b**3 + b**2 + 3*b. Let h be p(5). Let d = 0 + 0.1. Which is bigger: h or d?
d
Suppose -4*s = 5*x - 1 - 4, -s + 3*x - 3 = 0. Let a be 3/4*(-1)/6. Is a less than s?
True
Suppose 4*p - 6 = -t, -3*t + 4*p + 4 - 18 = 0. Let o = -3 - t. Let n = 2/237 - 488/1659. Is o less than n?
True
Let q(i) = i**3 - 8*i**2 + 9*i - 4. Let k be q(7). Suppose 0 = -s + 6*s + k. Let j = s - -2. Which is smaller: j or -1?
-1
Let n(w) = -w**2 - 6*w - 4. Let t be 16/20 + 29/(-5). Let d be n(t). Let z be (1 - -1)*(-2)/(-30). Is d at most as big as z?
False
Let m = 14.9 - 15. Which is smaller: -5 or m?
-5
Suppose 2*n - 5 = -2*p - 3*p, -5*p + 30 = -3*n. Suppose 0 = -7*k + p*k. Let h = k - 1. Which is smaller: 1/4 or h?
h
Let t = 21 - 22. Let d = 0.2 + -0.3. Is d equal to t?
False
Let m(t) = t**2 + 2*t + 2. Let i be m(-2). Let u be (-2)/6 - -2 - i. Which is bigger: u or -2?
u
Let b = 29 + -44. Is 1/2 smaller than b?
False
Let p(i) = 3*i + 5. Let u(f) = -f + 1. Let d(l) = -p(l) - 2*u(l). Let y be d(-6). Let t = -223/4 + 56. Is y equal to t?
False
Let b be (2/3)/((-16)/(-72)). Is 3 greater than or equal to b?
True
Let p be (-42)/14 + 197/65. Do 1 and p have different values?
True
Let r(p) be the second derivative of -p**3/6 - 7*p**2/2 - 2*p. Let j be r(-5). Let v be (-20)/(-39) - j/(-3). Which is smaller: 1 or v?
v
Let c be (-3)/1 - (6 + -6). Let j be (-1 + c)*(-17)/(-4). Is -16 <= j?
False
Suppose -47 - 60 = 2*i + w, 3*w = 2*i + 95. Let n be i/(-14) + 2/7. Are n and 4 nonequal?
False
Suppose 0 = -4*c + c + 6. Let q = -834/5 + 168. Which is smaller: c or q?
q
Let d = 1834 - 23854/13. Is -2 at least d?
False
Suppose 0*s = 4*s + 16. Let l = -4 + 6. Suppose 0 = c - l*u + 5, -2*u - 12 = 5*c + u. Which is greater: c or s?
c
Let l = 49 - 49. Is -2/25 less than or equal to l?
True
Let b = -12 + 12. Let n be (-1)/(-2)*(-4 + 2). Let o = b + n. Doe