eater: -93/7 or a?
a
Suppose 10 = -3*t + 55. Let b be 3/((-2)/((-20)/t)). Let n be ((-18)/15)/(b/5). Which is smaller: n or 1?
n
Let t(j) = -27*j - 244. Let z be t(-9). Do z and -10/101 have the same value?
False
Let t(o) be the first derivative of -o**2/2 + 12*o + 3. Let f be t(7). Suppose -11 = -c - f*l - 37, l + 8 = -3*c. Which is greater: 2/47 or c?
2/47
Let q = 2 - 2.2. Let v = 163/35 + -24/5. Is q at least v?
False
Let b = -458 - -455. Do -3 and b have different values?
False
Suppose 0 = 4*z - 5*u - 203 - 244, 543 = 5*z - u. Is 970/9 less than z?
True
Let x = -35 - -32. Let m be x*(-3)/27 + (-2)/6. Which is greater: -8/11 or m?
m
Let l = 241 + -185. Let k = l + -73. Let u = 0.3 - 0.4. Is k bigger than u?
False
Let s = -4320/479159 - -2/1909. Let c = 492/1255 - s. Suppose -2*m - 4*p = 6, 4*p = -m - 0*p - 7. Which is bigger: c or m?
m
Let d(h) = -3*h**3 + 2*h**2 + 5*h - 12. Let o be d(3). Is -59 less than o?
False
Suppose -l - 18 = 2*c, 0 = -4*l + 7*l + 4*c + 54. Which is smaller: -109/6 or l?
-109/6
Let b = 43 - 23. Let d = b - 20. Suppose -8 = -d*z + z. Is -9 smaller than z?
True
Let l = -49 + 53. Let g be (-80)/l*3/(-27). Which is greater: g or 1?
g
Suppose 320 = -11*s - 9*s. Does 10 = s?
False
Let d = 11.088 + 0.012. Let m = d - 10. Let s = m - 0.1. Which is smaller: 5 or s?
s
Suppose -w - 11 = 3*g, 3*g = 4*g + 1. Suppose s - n + 27 = 3*n, 5*s = 2*n - 45. Is w bigger than s?
False
Let d = 142 + -134. Which is smaller: d or -5?
-5
Suppose 2*m + 3 - 13 = 0. Let r(i) = i**3 - 6*i**2 + 2*i - 7. Let h be r(m). Let z = h + 20. Which is smaller: z or 3?
z
Let d(u) = 5*u - 166. Let t be d(35). Let r(p) = 8*p**3 + p**2 - 7. Let y(f) = 1. Let s(h) = r(h) + 6*y(h). Let o be s(1). Is t greater than or equal to o?
True
Let t(c) = -2*c - 7. Let v be t(-6). Suppose -3*y = -2*y - v. Let q be 15/9 + 1 - (-6 - -5). Which is smaller: q or y?
q
Let k(s) = s**3 - 8*s**2 + 11*s - 1. Let h be k(5). Let v be h/(-42) - 46/(-20). Is 3 > v?
True
Suppose -2*n + 8 = 10. Let b(s) = -s**2 + s + 3. Let l be b(2). Let r be (4/(-16) - 2) + l. Which is smaller: n or r?
r
Let t(r) = -r - 2. Let c(x) = -x - 2. Let f(u) = -3*c(u) + 2*t(u). Let w be f(4). Let v be (1/(-1))/(-5 + w). Is 0 equal to v?
False
Let m(a) = 3*a**2 + 1. Let c be m(1). Suppose -c*o + 1 = j, -o + j = o - 5. Do -1/32 and o have the same value?
False
Let v = 2117 - 114313/54. Which is smaller: 0 or v?
0
Suppose -4*w = 397 + 1055. Is -363 equal to w?
True
Let x = -22 + 58. Let c = 59 - x. Let p = -0.15 - -0.25. Which is greater: p or c?
c
Let b(q) = 6*q**2 + 4*q + 2. Let u be b(1). Is 45/4 at most as big as u?
True
Let h = -26 - -29. Let f = 9 + h. Let j be -11 - (-4)/f*0. Is j at most -13?
False
Suppose -7*n = -12*n + 175. Let p be (-2)/(476/270) - (-15)/n. Does -1 = p?
False
Suppose 85*z - 47*z = -4674. Which is greater: z or -118?
-118
Let z be 631/(-90) + 4 - -3. Which is smaller: z or 0?
z
Let f = 2/2553 + -7949/370185. Which is smaller: f or 1?
f
Let f(s) be the first derivative of s**2 - 8*s - 3. Let a be f(-5). Let u = a - -21. Which is bigger: -1/9 or u?
u
Let t(q) = -q**2 - 8*q + 3. Let z be t(-7). Let r(u) = -u + 12. Let n be r(z). Suppose -a + 17 = -2*a - 5*j, -14 = 4*a + n*j. Which is greater: a or -6/5?
-6/5
Let v(b) = -3*b**2 + 83*b + 91. Let p be v(29). Which is smaller: -31 or p?
-31
Suppose -9*d = -162 - 783. Is d less than 111?
True
Let w(q) = -q**3 - 8*q**2 - 7*q + 1. Let m be w(-7). Let b = 19 + -267/14. Let n = b + 5/14. Is n <= m?
True
Let r be -4*31/(-792) + 245/63 + -4. Let n = -3 + 5. Suppose -3*y - 14 = 2*x - 4*x, -n*x - 3*y = 10. Do r and x have different values?
True
Let y = -840.04 + 839. Which is smaller: -5 or y?
-5
Let a = 2856/65 - 222/5. Suppose -6*m = -8*m + 38. Let s = 19 - m. Do a and s have the same value?
False
Let l = 0 + 4. Let u = l + -6. Let w be u/14 - (-104)/(-56). Which is smaller: 1 or w?
w
Let n = -20 + 18. Let u = -2.93 - 0.07. Let t = u - n. Is -20 not equal to t?
True
Let u(b) = b**2 + 10*b + 12. Let d be u(-8). Let i be 124/24 + -4 + d. Which is smaller: i or -4?
-4
Suppose 14*d = -3*d - 17. Let m = -1886971/271 + 6963. Which is bigger: m or d?
m
Let g = -4 - -4.26. Which is greater: g or -0.3?
g
Let c = -1 + -7. Let f = -9 - c. Is f not equal to 2/17?
True
Let y = -782 - -777. Is 1/16 less than y?
False
Let c = 12621 + -12602. Let k = -0.6 - -0.3. Which is bigger: c or k?
c
Let v = -24 - -15. Let a(n) = -n**2 - 9*n - 7. Let m be a(v). Let d = 5 + -13. Is m equal to d?
False
Let j(b) = 18*b + 91. Let i be j(-5). Are i and 2/65 equal?
False
Let y = 2.6 + -14.6. Let d = -9 - -4. Let p = d + 5.1. Which is bigger: p or y?
p
Suppose -n + 3*n + 4 = 3*g, 4*g - 28 = -3*n. Suppose 2*z = n*a + 16, 0 = 2*z + 2*z - a - 11. Is 8/5 at most as big as z?
True
Suppose 1233 + 837 = 45*n. Does n = 43?
False
Let y = 3 - -20. Suppose -v = -3*b - 2, 5*v - 5*b - 7 - 13 = 0. Suppose 2*n = v - y. Is -9 less than n?
False
Suppose -2*n - 3 - 1 = 2*x, 0 = 2*n - 4*x + 4. Let i = 56.09 - 56. Does i = n?
False
Let f(z) = z**3 - 9*z**2 + 23*z - 29. Let o be f(6). Which is bigger: o or 0?
o
Let v be (-44)/((-8)/4) + 3. Suppose 5*a + 33 - 11 = -2*o, v = -5*o - 5*a. Let y be (-3)/(-9) + 147/(-387). Which is smaller: o or y?
o
Let d be ((-3)/(-9))/(2/42). Let v be 1 - -5 - (-2 - -7). Suppose v + d = f. Which is bigger: f or 15/2?
f
Let s be 1*(3 + (-3 - 1)). Let u = 333 - 652. Let w be 22/u - 0/2. Which is greater: w or s?
w
Suppose -7*u + 5*u = 6, 4*h - 2*u = -14. Which is smaller: h or 0.1?
h
Let u be 12 - (-4)/(-3 + 1). Suppose 5*p - u = -5*r, 16 = -p - 2*r + 7*r. Is p at most 1/63?
True
Let j be 1/(0 + 0 + 1). Let z be 4 + 1 + (3 - 4). Let c be 249/30 - 4 - z. Which is bigger: c or j?
j
Let q = 672/71 - 3289/355. Suppose -b - b - 4 = 0, -4*x - 3*b = 34. Which is greater: x or q?
q
Let q be (0 - 20)*3/(-2). Suppose 219 = 11*r - 111. Is r != q?
False
Let j = -208.9 + 284. Let h = -75 + j. Which is smaller: h or 4?
h
Suppose 9*g - 50*g = 369. Is g >= -11?
True
Let c = 0.001 - 0.052. Let q = c - 0.039. Which is bigger: 0.1 or q?
0.1
Let t(d) = d**2 - 16. Let k be t(0). Let w = -11 - k. Suppose w*b = 25, 3*q = 4*b - 6 - 2. Does q = 2?
False
Let y = 0.149 - 2.249. Is -4 not equal to y?
True
Let d be 5/(-2)*(-4)/5. Suppose -3*i - 1 = d. Is -3/11 equal to i?
False
Let o = 12620/3 + -4296. Do -89 and o have different values?
True
Suppose -x = x - h - 1043, -525 = -x - 3*h. Let p = -6774/13 + x. Which is greater: p or 0?
p
Let c = -53649568/5 + 5203690916/485. Let u = -654 - c. Which is smaller: 1 or u?
u
Suppose 9*m + 39 - 48 = 0. Is m greater than or equal to 1/156?
True
Suppose 782*l + 4 = 778*l. Let q = -1075/8 - -134. Which is smaller: q or l?
l
Let j = -0.1 - -0.1. Suppose -2*v + 5*k = 28, 2*k + 28 = -3*v + 6*k. Is v equal to j?
False
Let z = -9384/11 + 271410/319. Is -3 bigger than z?
False
Let o(l) be the first derivative of 3*l**2/2 - 6*l - 2. Let t be o(3). Let b be (-6)/2 - (-2 - t). Which is smaller: b or -0.4?
-0.4
Let c = -0.0551 + -0.0749. Which is smaller: 20 or c?
c
Let b = 415/78 + -31/6. Suppose -4*p + 5*d - d + 16 = 0, 5*p - 20 = -d. Let r be (-33)/22*p/(-6). Is r at most b?
False
Let i = -0.3 - 0.1. Let c = -19 - -14. Let q = c + 6. Which is smaller: i or q?
i
Let o = 327 - 326. Let t be 62/6*120/17. Let j = -73 + t. Which is bigger: o or j?
o
Let v = 14.13 - 13.7. Let t = -21 + 21.13. Let n = v - t. Which is smaller: -2 or n?
-2
Let d(s) = -s**3 + 7*s**2 + 4*s - 30. Let b be d(9). Is -156 != b?
False
Let i = -6 - -8. Suppose c = i*c. Let b be -1*1 + (5 - 4). Is b at least as big as c?
True
Let f be ((-8646)/30)/11 + 3/15. Is f not equal to -26?
False
Let w = 16 - 15.71. Let b = -1.29 + w. Do -0.07 and b have the same value?
False
Let b be 84/20*20/6. Is 15 != b?
True
Let k be 0/(-3) - 0 - -3. Suppose 4*i = 0, v - k*i + 3 = -5*i. Let n(a) = -a**2 - 3*a + 1. Let s be n(v). Which is bigger: s or -2/15?
s
Suppose 5*x + 19 = -6*g + 3*g, 2 = -4*g - 2*x. Let b(d) = -2*d**3 - 22*d**2 + 4. Let n be b(-11). Which is smaller: n or g?
g
Let b be -12*3/(-12) + 3/(-1). Which is smaller: 2/69 or b?
b
Let f(m) = -6*m + 8. Let y be f(7). Let g be (-2)/(-9) - y/(-72). Let s = 708 + -706. Which is greater: g or s?
s
Let c = -108314 + 499869112/4615. Is 1 bigger than c?
True
Let g = 151