b be 0 - (4 + o) - -2. Let v = -6686/19 - -474668/1349. Is b at most v?
True
Suppose 4*x + 4*b + 7 = 9*x, b = x - 2. Let z = 378 + -381. Which is greater: x or z?
x
Let r = 4895.957 + -4896. Is r at most -2?
False
Let b = 164 + -190. Let k(d) be the first derivative of d**3/3 + 25*d**2/2 - 30*d + 8. Let o be k(b). Does o = 0.1?
False
Let v(n) = 32*n + 1147. Let q be v(-37). Which is smaller: -258/7 or q?
q
Let m(c) = c**3 + 6*c**2 - 11*c - 4. Let d be m(-7). Suppose -1314 + 4050 = -d*u. Is u equal to -114?
True
Let s = 2 + -1/2. Let w(m) be the third derivative of -m**6/120 + m**5/60 + 5*m**4/24 + 2*m**3/3 + 2*m**2 - 8*m. Let x be w(3). Is x > s?
False
Let r = 12039.9 + -12041. Does r = 1/251?
False
Let a = 50.1 - 0.1. Let w = 46.9182 + 0.0818. Let q = w - a. Is -1/3 at least q?
True
Let h = 7043 - 7050. Which is smaller: -64 or h?
-64
Let z be (-34)/51 - (2 + (-484)/181). Which is smaller: -1 or z?
-1
Let c be ((-4)/10)/(-1 + 606/600). Let m(o) = 3*o + 130. Let g be m(c). Is 10 > g?
False
Let l = -3608 + 3607. Is -146 at most as big as l?
True
Let d = -62 - -65. Suppose -4*t = -x - 1 - d, -x + 1 = t. Is x less than or equal to -15/13?
False
Let d = 4.427 + -2.227. Do 20 and d have different values?
True
Let u(g) = -g**3 + 10*g**2 - 8*g + 3. Let b be u(9). Suppose 0 = -8*p + 22 + 1306. Let j = p + -155. Which is greater: b or j?
b
Let j(g) = g**3 + 25*g**2 - 48*g + 288. Let a be j(-27). Is -16 <= a?
True
Suppose 0 = -53*g - 39353 + 3790. Let k = g - -671. Which is greater: 4 or k?
4
Let k = 11941/11 - 1083. Suppose 0 = -0*w + 2*w - 4. Is w > k?
False
Let k = 14186.73 - 14187. Do k and 1/106 have different values?
True
Let t = 547.5857 - -0.4143. Is -2 at most t?
True
Let u = -49.6 - -44.8. Which is greater: 20 or u?
20
Let g(k) = k**3 + 27*k**2 + 24*k - 51. Let p be g(-26). Let b = 20 + -17. Suppose -5*c + 4*t = -0 - 1, b*c - p = 2*t. Is c smaller than 19?
True
Let s = 534.4 - 540.8. Is -23/4 bigger than s?
True
Let m be (-1 + (-28)/(-24))/(11/4). Let d = -127 + 124. Let s be d*(-10)/6 - 5. Is s <= m?
True
Let m = 5094 + -5177. Is m at most as big as -65?
True
Let f = -386 + 88. Let d = f + 1013. Are d and 715 nonequal?
False
Let q = -157 - -161. Suppose 0 = -2*f - 2*b + 4 + 2, q*f + 5*b - 16 = 0. Which is greater: f or -3/8?
-3/8
Let a = 75 - 36. Let h be (2838/(-99))/(-1 - (-2)/6). Suppose 4*s + a = h. Is s > 2?
False
Let i = 430755/4 - 108248. Does i = -560?
False
Let b = -20260 - -20260. Is b <= -3/1418?
False
Let n(f) = -3*f + 16 - f**2 - 2 - 5*f. Let k be n(-7). Let a be (-14)/(-48)*3/k. Which is smaller: a or 0?
0
Let n be ((-6)/460)/((-28)/70) - (45 - 45). Suppose 4*p - 4 = -0*p + 2*c, 0 = 4*p - c. Which is smaller: p or n?
p
Suppose 0 = 4*v + 8, -4*t = -4*v + v - 88270. Is 22066 less than t?
False
Let k = 29 + -29.07. Suppose -11*q = 16 + 6. Let i be (2/4)/(3/q). Which is smaller: i or k?
i
Let v be (-27)/(-378)*56/4. Which is greater: v or -40/81?
v
Let g = 2.2 - 2. Let h be (-4088)/(-252) + 6/(-27). Let c be (-384)/54 + h/2. Which is bigger: g or c?
c
Let r = 16 - 12. Suppose c - 6 = 2*h, -r*h - 3 = -c + 5. Is -5/7 >= h?
True
Suppose 2*i - 22 = 3*f, 3 = -2*f - 5. Suppose i*v + 48 = -v. Let m be 1276/(-1386) - (1 + v/7). Is m != 0?
True
Let v = 13 - 12. Suppose 18 = 9*j - 27. Suppose -5*n = -2*r + 10, -3*n = -4*n + r - j. Is n >= v?
False
Suppose -68*m - 130 - 430 + 16 = 0. Is 265 at most as big as m?
False
Let p be -1 - (-4 - (-3 + 2)). Suppose -61 - 247 = -77*l. Suppose -3*s - p*s - 5*a - 345 = 0, l*s + 2*a = -274. Which is smaller: -67 or s?
s
Let h be (-2 - (3 + 0 - 151)) + 6. Let a(p) = -158*p**3 + p**2 + p. Let w be a(-1). Let d = w - h. Is d greater than 5?
True
Suppose o + 3*o - 28 = 0, 4*a + 4*o = -1716. Is -441 not equal to a?
True
Let a = 11 + 124. Let l = a - 189. Let w = l - -55. Which is greater: w or -1.7?
w
Let y = 4277/19 + -225. Let m = 0.0338 - 25.0338. Let h = m - -22. Which is smaller: y or h?
h
Suppose 7*f - 9558 = -11*f. Let l = 3709/7 - f. Let x = 4.1 + -4. Which is greater: x or l?
x
Let w be -7*326*(-2)/7. Let m = w + -650. Which is smaller: m or 13?
m
Let m = 721 - 720. Let r = 1183/248 - 115/24. Is m > r?
True
Let u be (62/8 + -12)*(29 + -5). Which is smaller: -86 or u?
u
Suppose m = -3*m - 4. Let h = -267957/857360 + 2/53585. Which is smaller: h or m?
m
Suppose -8 = -d - 3*d. Let x = -477 + 2401/5. Which is smaller: d or x?
d
Let d(b) = 28*b - 68. Let k be d(-7). Let o = k + 258. Let a = -666 - -3303/5. Which is greater: a or o?
a
Let l = -1262/3 - -420248/999. Which is smaller: -1 or l?
-1
Let v(y) = -58*y + 207. Let d be v(4). Which is greater: -124/5 or d?
-124/5
Let i = -148081/74 - -2001. Are i and -1 non-equal?
True
Suppose 0 = -271*d + 404*d - 93632. Is d less than or equal to 5?
False
Let t = 1.75574 - 0.07574. Is t not equal to -11/2?
True
Let f = -3353.165 - -3397. Let a = f - -0.165. Is 0.1 less than a?
True
Let v(o) = -82*o. Let l be v(2). Let d(h) = 24*h - 45. Let c be d(-5). Which is bigger: c or l?
l
Let o(v) = 465*v**2 - 50*v - 272. Let p be o(-4). Is p at least 7369?
False
Let b be 1*1/(-3)*-9. Suppose 3*h = -s - 9, -5*h = s - b*s + 4. Do h and -26/11 have different values?
True
Let l = -11613 + 11613. Let f = -3791 + 3816.49. Let k = f + -26. Is l at least as big as k?
True
Let x be (-4)/9*(-57)/(-342). Is x equal to 339?
False
Let u = -299 + 329. Let i be ((-2)/u)/((8/(-1128))/1). Is 9 greater than i?
False
Let o(k) = 2*k + 1. Let x be o(1). Suppose -2*b + x*b = -1. Let y = -1128 - -9009/8. Which is greater: y or b?
b
Let s be (-14)/7 + (-6)/(-8). Suppose -6*a = -0*a - 7*a, 3*z = -3*a. Is z >= s?
True
Suppose -4*i - 3*r + 51 = 0, -4*i + 6*i = 4*r + 20. Suppose -k - i = 6. Let u(z) = z + 39. Let y be u(k). Is 20 greater than or equal to y?
False
Let a = -6636.564 + 12.564. Is a >= -0.1?
False
Let b be (-4)/((-3)/12 + 350/2296). Is 43 greater than b?
True
Let q(b) = 81*b**2 + 8*b + 3. Let m be q(-3). Let h = m + -741. Is h less than or equal to -2/3?
True
Let s(l) = -755*l + 8560. Let g be s(13). Is -1260 smaller than g?
True
Let f(k) = 48*k - 272. Let j be f(14). Let t = j + -413. Is t bigger than -12?
False
Suppose 53498 = 44*v + 30869 - 103211. Is 2860 at most as big as v?
True
Let d = 46 + -18. Let a = d + -24. Suppose -19 = -2*y + u, -4*u + 0 = 2*y - a. Which is smaller: y or 10?
y
Let b(p) be the first derivative of -p**5/20 - p**4 - 11*p**3/6 + 9*p**2/2 - 6*p + 9. Let t(f) be the first derivative of b(f). Let w be t(-11). Is 11 >= w?
True
Suppose 0 = -3*c + 5*c + 14. Let y = 157061/36 + -31982/9. Let p = -817 + y. Do p and c have the same value?
False
Suppose 212 = 7*t - 3*t. Suppose -n = i - t, 3*i = 4*n + 8*i - 217. Suppose n = -8*s - 0. Which is bigger: s or -9/2?
-9/2
Suppose 54*n + 455 = 61*n. Let z be 4/n*(-50)/2. Is z at least as big as -1?
False
Let m = 1626 + -1650. Let o = -8 - 13. Let f = m - o. Do f and -21/5 have different values?
True
Suppose -8*y = 10*y - 198. Are y and 7.7 unequal?
True
Let l = -269813/949446727 + 9/50797. Is -1 != l?
True
Let t = -2726 - -5455/2. Are t and 6.6 non-equal?
True
Let t be 6*(-716)/4300 - -1. Let q = t - 3263/40850. Suppose 2*k + 6*d - 2*d + 8 = 0, 6 = -3*k - 3*d. Which is bigger: k or q?
k
Let l(k) = -919*k + 917. Let w be l(-5). Which is smaller: 5510 or w?
5510
Suppose y + 0*y = 2*g + 7, 68 = 4*y + 2*g. Suppose -40 = y*z - 5*z. Which is smaller: -2 or z?
z
Let a = -8631 + 6027. Which is smaller: a or 1/4?
a
Let j(r) = 6*r - 40. Let v(t) = t**2 + 10*t + 14. Let c be v(-9). Let f be j(c). Which is smaller: -132/13 or f?
-132/13
Suppose 2*t - 264 = -2*v, v - 243 = -v + 5*t. Suppose 0 = -4*c - v - 119. Is c equal to -61?
False
Suppose -12*p - 75 = 57. Suppose -5*c = -3*m - 37, 0*c + 40 = -4*m + 2*c. Which is smaller: p or m?
p
Let l(w) = -6*w**3 + 2*w**2 + w. Let a be l(-3). Let y = 143 - a. Is -32 less than y?
False
Suppose 2*b = 2*f + 25 - 17, 16 = -4*f - 2*b. Let c(d) = -3*d + 8*d + 9 + 3*d. Let o be c(f). Which is greater: -24 or o?
o
Let s be (2/(-4))/((-5)/160*8). Is -55 not equal to s?
True
Let n(p) = -4*p**2 + 2*p - 2. Let j be n(2). Let g(s) = s**2 + 10*s + 9. Suppose -28*r + 14*r = 70. Let q be g(r). Is j less than or equal to q?
False
Suppose n + 56 = -2*z - 8, 0 = -z. Let s = 431/5 + -1288/15. Which is smaller: s or n?
n