et d = -352 - -1207. Let m be d/20 + 6/(-8). Is 42 >= m?
True
Suppose 6*i - 743 = -233. Is 84 bigger than i?
False
Suppose 3*i = -4*b + 9, 15 = 5*i + 2*b + 2*b. Suppose -i*g + 42 = 4*g. Is 22/3 <= g?
False
Let r = 48 - 50. Which is smaller: 0 or r?
r
Suppose 3*f = -5*q - 94, -f - 3*q - 64 = f. Let j = -26 - f. Let d be j/8*(-24)/9. Is d <= -2?
True
Let y be 0/(0 - 0 - -2). Let m(p) = p**2 - p + 3. Let g be m(y). Let s = -157 - -161. Is s not equal to g?
True
Let c = 111 - 129. Let j = c - -19. Which is greater: j or 11?
11
Let j(d) be the third derivative of d**5/60 - d**4/12 - d**3/2 - 3*d**2. Let w be j(3). Which is smaller: w or -13?
-13
Let p = 0.043 - 1.643. Let s = -0.6 - p. Which is smaller: s or 1/3?
1/3
Let b = -77.043 + 77. Is b at least 4?
False
Let h(p) = 11*p - 245. Let w be h(22). Let o be (-141)/15 - 6/(-15). Which is smaller: w or o?
o
Let k = -1670 - -1670.046. Is k < 6/5?
True
Let r be 26/(-234) + (-2180)/(-18). Which is bigger: 119 or r?
r
Let u be (-2)/6 + 4/(-6). Let a be 4 + (-9)/6 + 427/(-182). Is u > a?
False
Let k = -54 + 53. Is k > -3/14?
False
Let k be -5*4/30*3. Let n = -7/2 - -3. Which is greater: n or k?
n
Let o = -130579/7 + 18617. Is -36 > o?
True
Suppose 0 = k - 0*k - 1. Let r be ((-1)/26)/1*(-474)/3. Let f = r + -6. Is k != f?
True
Let l(p) = -p**3 + 5*p**2 + 5*p + 8. Let o be l(6). Let z be (o/(-3))/(10/(-45)). Suppose 3*n + z*x = 21, 0*n + x - 17 = -3*n. Which is smaller: 7 or n?
n
Let z = -367 - -367. Let b(w) = 21 + w**3 - 2*w**3 + 4*w - w**2 - 3*w. Let n be b(z). Which is greater: n or 22?
22
Let o(i) = i**2 + 20*i - 47. Let k be o(-19). Is k < -66?
False
Suppose 19594 = 17*h + 5331. Does h = 1/4?
False
Let d = 1434/5 - 1436/5. Let t = 7519/76 - 397/4. Which is bigger: d or t?
t
Let l be (-74)/(-13) + -100 + 99. Is -0.1 at most as big as l?
True
Suppose k = 3*k - 2, 3*x + 2*k = 11. Suppose 3*o = -2*g + o + 34, 3*g - 51 = -2*o. Let j = g + -14. Does j = x?
True
Let v = 4 - 9. Let y(m) be the third derivative of m**5/60 - m**4/3 + m**3/3 + 13*m**2. Let f be y(7). Do f and v have different values?
False
Suppose -4 = -103*f + 101*f. Suppose 2*b = -2*b - f*v - 136, 4*v + 176 = -5*b. Do b and -32 have the same value?
True
Let g(d) be the third derivative of d**5/60 + 17*d**4/24 + 10*d**3/3 - 26*d**2. Let v be g(-15). Is -10 greater than or equal to v?
True
Suppose 0 = -s - x + 5, 4*x = -5*s + 32 - 7. Suppose -4*j + 0*o = o - 11, 0 = s*j + o - 15. Let v(c) = 2*c + 7. Let z be v(-2). Is j < z?
False
Let j be (-1 - -3)/(4 - -1). Let a = 89.1 - 90.1. Which is greater: a or j?
j
Let u = -15784/13 + 1213. Which is smaller: u or 0?
u
Let p(f) = -8*f + 3. Let v be p(-1). Let j(x) = 2*x**3 - 3*x**2 - 5*x + 4. Let g be j(3). Let q = v - g. Which is smaller: -6 or q?
-6
Let d(v) = v - 34. Let b be d(16). Let a be 2/(1/((-10)/b) + -2). Is -7 <= a?
False
Let o(x) = 6*x**2 + 25*x + 7. Let r be o(-5). Is 34 greater than or equal to r?
True
Let h = 331/8 - 41. Let g = 1144 + -1147. Is g at most as big as h?
True
Let y = -108 - -160. Let a be (-30)/y + (-1)/(-2). Which is bigger: a or 0?
0
Let m(p) = -2*p**2 + 1. Let k be m(0). Let y be -14 - (4 - (5 - k)). Which is bigger: -12 or y?
-12
Let h = 5 - -9. Suppose -3*p - 6 = -2*r - 14, -4*r = -5*p + h. Let y be (0/p)/(42/(-21)). Is y greater than -15?
True
Let f be 1/(-2)*4/5. Let l = 326.82 + -327. Which is smaller: l or f?
f
Let k be (-8)/(-3)*3*3/2. Which is smaller: 15 or k?
k
Let b = -119 - -118. Is 3/2 < b?
False
Let x = 534 - 533. Are x and 2/587 unequal?
True
Let k(g) = -6*g - 95. Let y be k(0). Let o = -72 - y. Is 0.2 at least as big as o?
False
Let n = -904.8 - -830. Let x = -75 - n. Which is bigger: 0 or x?
0
Let r(h) = -6*h + 23. Let b(v) = -v + 1. Let f(q) = -5*b(q) + r(q). Let j be f(17). Is 4/15 at most as big as j?
True
Suppose -5*f - 91 = 49. Let r be (-4)/f + 78/(-350). Suppose -3*g = -0*g + 3. Is r at most g?
False
Let b = 1170 + -1171. Which is smaller: -2/63 or b?
b
Suppose -5*f + 20 = -5*h - 0*f, 0 = -3*h + 4*f - 16. Suppose -3*y + 4*s + 25 = h, -s + 4 = -1. Which is smaller: y or -2/3?
-2/3
Let b(r) = r + 5. Let u be b(-3). Suppose -8 = -u*y + 5*y - 5*d, -y - d = 0. Is y greater than -1?
False
Suppose 0 = -2*m + 7*m + 5, -2*m + 8 = -5*y. Let k = -21 - -19. Let c be 0*1*(-1)/k. Which is bigger: c or y?
c
Let y = 2736 - 2740. Which is smaller: y or 4.49?
y
Let s(d) = -d + 10. Suppose r - 12 = -5. Let k be s(r). Let q be (-15)/12 + k/12. Is q at most as big as 1?
True
Let l be ((-33)/852*1)/(111/(-444)). Which is bigger: 0 or l?
l
Let g = 82 - 434. Is g less than or equal to -353?
False
Suppose 0 = -25*v + 27*v - 280. Let u = 1818/13 - v. Which is smaller: -1 or u?
-1
Let b(z) = z**2 - 7*z - 17. Let k be b(8). Let u be 52/78*k/32. Which is bigger: u or 1?
1
Let n = -1470 - -1470.039. Which is bigger: n or -1?
n
Let p = -3.7 - -20.7. Let o = -1134 + 7934/7. Is o at least p?
False
Let o = -299 + 307. Which is bigger: o or 5?
o
Let c be (6387/(-15))/(14/5). Let o = c + 152. Suppose 3*t - 4 = -1. Does o = t?
False
Let l be 3/1485 + -5*1 - -5. Which is smaller: l or 1?
l
Let j = 11.4 - 13.4. Let z be ((-2)/(-5))/(17/5). Which is smaller: j or z?
j
Let v be ((-3)/(-2) + -2)*0. Suppose v*r - 3 = r. Let i be 3/(2 + 0 + r). Which is smaller: i or -4?
-4
Let y = -17 - -74.2. Let n = y - 57. Is -42 < n?
True
Let d = 35.951 + 0.049. Let m = d - 44. Which is smaller: 0.4 or m?
m
Let z(j) = -2*j**3 - 16*j**2 - 29*j - 31. Let y be z(-6). Let b be ((-1)/(-13))/(3/3). Is b greater than y?
True
Let f = -1319/5 + 265. Let i be 1/(-15)*(41 + -56). Which is smaller: i or f?
i
Suppose -4*f = 5*v + 4 + 16, 4*f = 3*v - 20. Let g be 63/6 - f/(-10). Let l be (-6)/(-14) - g/7. Which is bigger: l or -3/4?
-3/4
Let x(w) = 4*w - 56. Let i be x(12). Let j(k) = -k**3 - 8*k**2 + 2*k + 14. Let q be j(i). Suppose p + 2*d = 2*p + 8, 4 = d. Is p not equal to q?
True
Let f(s) = -17*s + 2. Let b be (-1)/4 + (-56)/32. Let l be f(b). Is l > 36?
False
Let g = 2074 - 2041. Is 3 != g?
True
Let u(w) = w**2 - 6*w - 2. Let k be u(7). Suppose -k*j = -3*z - 53, -j + 3*z - z + 12 = 0. Let o be ((-7)/28)/(j/(-8)). Do o and 0 have the same value?
False
Suppose -11 = r - 0*r + 3*f, -15 = r + 4*f. Let n be (-84)/(-10) - 8/20. Which is smaller: r or n?
r
Let h be 3/(165/10) + (-5)/(-33). Is h >= 388?
False
Let y = -55.3 - -50. Let v = y + 3.3. Let f = 2 - 1.9. Which is smaller: f or v?
v
Let q(g) = 58*g + 879. Let o be q(-15). Suppose -5*p - 23 = -8. Let f be (-1)/(-1) - p*3. Is f at most o?
False
Let u(j) = -2*j**2 + 16*j + 65. Let s be u(11). Which is greater: -2 or s?
s
Let a be 1 - (-2 - (-31642)/(-70)). Suppose -2*t + 2*s = -914, 0 = t - 0*s + 3*s - 449. Let j = a - t. Is -1 <= j?
True
Let r be (-1312)/(-1)*(-2)/28. Let j = 96 + r. Is 2 less than j?
True
Suppose 5*r = 11*r + 246. Let p = r - -43. Let v = -1/177 - -713/885. Which is bigger: p or v?
p
Let v(y) = 14*y**3 + 2*y**2 - y. Let q be v(1). Let x = q - 14. Let u be -3 + x/((-1)/(-2)). Which is smaller: u or -3?
-3
Let j be -10*((-2)/(-24))/(3/6). Suppose -5*w = 3*q - 16, 2*w - 1 + 7 = 5*q. Suppose 0 = q*r + 4. Which is bigger: j or r?
j
Suppose 11*a - 546 = 15*a + 5*w, 0 = -a + 4*w - 126. Let i = a + 535/4. Is -3/32 > i?
True
Let j be 3 - (-7 - 210/(-24)). Suppose 3*p - 4*p = -2. Is p < j?
False
Let j = 5 - 9. Let z(l) = 2*l**2 - 21*l - 41. Let o be z(12). Which is smaller: j or o?
o
Let f = -7 - -20. Let o = -12 + f. Is 6 at least o?
True
Suppose 5*y = -111 + 11. Let n = 146/7 + y. Is n at least 0?
True
Let q be (-6 + -4)/(2/(-8)). Let a = 43 - q. Is 3 less than or equal to a?
True
Let w(u) = -66*u + 727. Let l be w(11). Is -2/3263 less than l?
True
Let x = -65516/35 - -1869. Let j = 1416/7 + x. Let t = j + -198. Which is smaller: 1 or t?
1
Let t(h) be the second derivative of -h**4/6 - 3*h**3/2 + 8*h**2 - 27*h. Let v be t(-5). Is v greater than 2?
True
Let b = 619 + -616. Let a = 5 - 6. Which is smaller: b or a?
a
Let x = 2.9 + 16.1. Let g = -79 + 90. Let k = x - g. Is k equal to -2?
False
Let k = -336 + 652. Is k at most as big as 316?
True
Let b be (-3503)/701 - 305/(-61). Which is greater: 0 or b?
b
Let o(r) = -2*r + r**3 + 3*r - 2*r. Let a be o(-1). Let z be 3*(-2)/3 - ((-3726)/161 + 22). Which is smaller: z or a?
z
Let f be (-12)/(-24) + 266/