 Let t = r + b. Is -1/3 bigger than t?
True
Let z be (884/(-102))/((-4)/(-42)). Which is smaller: z or -92?
-92
Let j(o) = -33*o - 5. Let t be j(-5). Suppose 0 = -k - 4*k + t. Let i = -19 + k. Is i smaller than 13?
False
Let s = 1165 + -1165. Is 6/91 smaller than s?
False
Let k = 6 + -20. Let j = 14.14 + k. Let z = j + 0.86. Is 0.2 at most as big as z?
True
Let i(q) = 4*q**3 - q**2 - q + 1. Let b be i(1). Suppose 0 = -3*w - b*w + 192. Is 32 at least as big as w?
True
Let g = -175 - -237. Is g < -0.7?
False
Suppose 3*g + 22 = -2*y, 4*y + 12 + 0 = -2*g. Which is smaller: -6/7 or g?
g
Let t = 18797/4 + -4755. Which is smaller: t or -57?
-57
Let o(n) = n**3 - 9*n**2 + n + 22. Let w be o(9). Let h(u) = u**3 + 13*u**2 - u + 19. Let b be h(-13). Is b greater than or equal to w?
True
Let o = 19 - 17. Suppose o*z = 6*z + 12. Which is smaller: -4 or z?
-4
Let z(r) = 2*r**2 - 9*r + 4. Let u be z(-7). Suppose -5*v - 3*s - 2*s = u, 4*v - s + 112 = 0. Let o = v + 50. Which is smaller: o or 20?
20
Suppose 5*s = 14 + 1. Let t be s/(-2)*(-4)/2. Suppose t*x = 5*x + 4. Is x > -2?
False
Let d be (-16)/(-1956)*(-3)/(-2). Let a(g) = g**3 + 3*g**2 - 11*g + 2. Let w be a(2). Which is greater: d or w?
d
Let h(d) = -d**2 + 2. Let x be h(2). Suppose -5*n + 5 = 3*m, -5*m + 7 = 5*n + 2. Let o be (n + x)*0/6. Is -6/5 equal to o?
False
Let r = 1052 + -902. Let a = 61413550/410031 - 2/45559. Let g = r - a. Which is smaller: g or 1?
g
Let s = -482.1 + 458. Let t = -24 - s. Do t and 1.5 have the same value?
False
Let b = 5 - 9. Let u(t) = t**3 + 11*t**2 - 10*t + 22. Let f be u(-12). Which is greater: f or b?
f
Suppose t - 4 = 16. Let h = -20 + t. Is 8/3 greater than or equal to h?
True
Let i be (-16)/6*(-1305)/(-150). Is i equal to -23?
False
Suppose 0*x = 5*x + 10. Suppose 420 = -68*j + 80. Are x and j unequal?
True
Let h(l) = 7*l**2 + 5. Let q be h(2). Suppose 40*g = q*g. Which is bigger: -1 or g?
g
Let v = 3.6 - 0.4. Let d = v + -3.1. Which is smaller: d or 1/5?
d
Let p = 89 - 90. Which is smaller: p or -428?
-428
Suppose 2*a - 101 = 5*u, 72 = -3*u - 5*a - 1. Which is greater: u or -22?
u
Let b = -105.9 - -40.6. Let m = -63 - b. Is 2 at most as big as m?
True
Let h be 0 + 25 + (15 - 13). Suppose -3*q = 255 - h. Let g = 838/11 + q. Does -2 = g?
False
Let r = -276 - -16837/61. Which is bigger: 1 or r?
1
Let n = 249 + -277.2. Let r = 6 - 34. Let f = n - r. Is -2/7 < f?
True
Suppose -23*b - 9 = -20*b. Is b != 0?
True
Let s = -156 + -17. Is -173 != s?
False
Suppose 6*w - 20 = -620. Is -107 < w?
True
Let i = -56 + 27. Let b be (-5)/(-20)*i + 2/8. Let c(u) = -2*u - 1. Let n be c(3). Is b greater than or equal to n?
True
Let z(k) = 3*k**2 - 36*k - 375. Let t be z(-20). Which is smaller: t or 1546?
t
Let x(i) = -2*i + 86. Let r be x(22). Is 53 greater than or equal to r?
True
Let j be 1 + -4 + (512/(-252) - -5). Which is smaller: j or 0?
j
Suppose 0 = g + 2*g. Suppose -3*o = z - o + 4, 5*z + 6 = 4*o. Let l be -2*41/42 - z. Which is greater: g or l?
l
Let m(f) be the first derivative of f**4/4 + 5*f**3 + 3*f**2/2 + 17*f + 2. Let u be m(-15). Let y be ((-1)/7)/((-14)/u). Is -1 less than or equal to y?
True
Let i = 892/235 + -28/47. Let n(o) = o**2 + 51*o + 2. Let t be n(-51). Are i and t nonequal?
True
Suppose -4*u + 1 = 33. Let y be (-6)/u + (-3120)/64. Let m = y - -29. Is m at least as big as -18?
False
Suppose 3*g = -p + 29, -17 = -g + 5*p - 2. Let w(x) = 3*x**2 + 14*x + 3. Let j be w(-5). Which is smaller: j or g?
j
Let j be 0/((6/(-12))/((-3)/6)). Which is greater: -5/31 or j?
j
Let d be (-16)/40 + 126/15. Which is smaller: d or 10?
d
Let o(r) = 4*r**2 - 10*r + 3. Let c(y) = 3*y**2 - 9*y + 4. Let s(i) = -5*c(i) + 4*o(i). Let f be s(-7). Suppose 25*w + 222 = 62*w. Is f equal to w?
True
Let q be 12/8*2/(-3). Let f be q + 5/(-3)*-3. Let w = -33 + 32. Which is smaller: w or f?
w
Let z(j) = 3*j - 10. Let h be z(6). Suppose -4*o = -2*q - 32, h = -3*q + q. Suppose 3*w = w + o. Which is greater: 5 or w?
5
Suppose 4*c - 24 = -4*h, 2*h + 2 = c + 8. Suppose 2 + c = -j. Let a be 42/(-4) - j/8. Is a greater than or equal to -9?
False
Let x be ((-3)/2)/(0 - (-5)/(-10)). Let g be (-2)/(7 - x)*8/2. Suppose -2*y - 3*d - 19 = 0, 0 = -2*y + 2*d + 3 + 3. Is y not equal to g?
False
Let t be 1 + 3955/3969 + -2. Is t less than or equal to 1?
True
Let h(r) = 3*r - 4. Let n be h(3). Suppose -49*v + 47*v - 16 = 0. Let p = n + v. Which is bigger: 0 or p?
0
Let a(o) be the first derivative of o**4/4 + 10*o**3/3 - 11*o**2/2 + 22*o - 14. Let t be a(-11). Suppose -5*w - 2 = -7. Which is greater: t or w?
t
Suppose 2*o - 1 = -7. Let x be (-558)/324 + (-1)/2. Is o != x?
True
Let f = -51.009 + 0.009. Let g = f + 51.1. Which is smaller: g or -2?
-2
Let j(h) = h**3 + 2*h**2 - 6*h - 5. Let d be ((-2)/(-8) - 1)*-8. Suppose d*z + 20 = z. Let o be j(z). Which is smaller: o or -14?
-14
Let x = -5507/638 - -94/11. Is x at most as big as 0?
True
Let q(c) = -5 + 6 + 0 + 3*c. Suppose -5*t - 7 = f, 0*t = -3*f + 4*t + 17. Let z be q(f). Which is smaller: z or 12?
z
Let y be (8/(-80))/(4/(-16)). Let o be (1 - 0) + (-14)/4. Is y > o?
True
Let j(q) = -q**3 - q**2 - 2*q - 3. Let y be j(-1). Do y and -7 have the same value?
False
Let a = -5/24 - -43/552. Let b be 2/(-7) - 72/(-56). Is a greater than b?
False
Let y = 15/2 - 53/7. Let l = -50/491 + 37943/20622. Let i = y + l. Is i at least 2?
False
Suppose -2*s = 2*f - 6, -s = -f - 3*s + 5. Suppose t + 5*a - 3 = 0, -2*t = 2*a - 4*a - 18. Let g be (-6)/14*t/(-6). Which is smaller: g or f?
g
Let n(b) = 31*b - 248. Let l be n(8). Suppose 5*r + 0*r = -55. Which is smaller: r or l?
r
Let r = -867 - 1041. Let b = -360611/189 - r. Which is greater: -1 or b?
b
Let y = 0.948 + -27.048. Which is bigger: 1 or y?
1
Suppose -5*c + 3*c = -8. Suppose -150 = -5*n - c*x, -x = 3*n - 3*x - 68. Let r(v) = v**2 - 36*v + 345. Let h be r(16). Which is greater: h or n?
n
Let k be (6/24)/(1/(-604)). Which is bigger: -154 or k?
k
Suppose -x = 5 - 3. Let t be x - 2*-1 - (-6 - -9). Which is bigger: t or -7/2?
t
Let f = -74.66 - 1.34. Is f greater than or equal to -0.1?
False
Suppose 15*n + 13 = -32. Let d be (2/3)/2 + 22/n. Let w be 2/(-1 + (-4)/(-6)). Is d >= w?
False
Suppose -3*u - 5*y = 1, 0 = -5*u + 4*y - 3 - 11. Let r be (-1)/(28/1052) - -5. Let d = 614/21 + r. Is u at least d?
True
Let k = -18 + -15. Let y = k - -34. Which is smaller: 0 or y?
0
Let h = 169 + -121. Let z(n) = -n**3 + 20*n**2 + 22*n - 20. Let y be z(21). Let p be 34/h + y/(-3). Which is bigger: 1 or p?
1
Let z = -29 + 21.3. Let o = z - -5.7. Which is greater: o or 3?
3
Let p = -163 + 198. Is p smaller than 3/2?
False
Let w be ((-1)/5)/(13/(-195)). Suppose 3*x - 3 = w. Suppose -x = m - 3*u + 7, 0 = 2*m - 2*u + 38. Is m != -25?
True
Suppose 0 = -135*t + 51*t. Let l = -3 - -2.8. Which is greater: l or t?
t
Let z = 39 - 71. Let o = z - -44. Is o at most 9?
False
Let t = -1 + -9. Let l be ((-28)/8 - -2)*t. Which is bigger: 17 or l?
17
Let t(m) = -5*m - 13. Let u(h) = h**3 - 7*h**2 + 4*h + 7. Let o be u(6). Let l be t(o). Is 13 < l?
False
Let v(w) = -w**3 + 2*w**2 + 5*w + 11. Let p be v(-4). Which is greater: 86 or p?
p
Let q(c) be the third derivative of c**4/8 + 7*c**3/6 - 11*c**2. Let k be q(-7). Which is greater: k or -12?
-12
Suppose -2*s - 4*n + 32 = 0, 2*n = 4*s - n - 42. Let o = 14 - 22. Let l be (o/s)/(4/66). Is l less than -11?
False
Let u = -753/3044 + -2/761. Let v = -169 + 68. Is v greater than u?
False
Let v(a) = a + 5. Let r be v(-6). Let o be (11/10)/(r/(-1)). Let y = o - 3/5. Is y not equal to 0.1?
True
Let j be 2/(-9) - (12468/2700 + -5). Is -1 < j?
True
Let w = -1.8 - 2.1. Let k = 3.7 + w. Is k at least 18?
False
Let v = -0.87 + -0.43. Let a = -1.3 - v. Which is smaller: 6 or a?
a
Let q be (-36)/(-360)*(0 - 4). Suppose 5*m - 2 - 3 = 0. Is m smaller than q?
False
Suppose 8*h = 7*h. Let l = h - -10. Let y be (l/7)/(52/(-28)). Which is greater: y or 0?
0
Let d = 96.8 - 95.8. Which is bigger: d or 4/9?
d
Let v(b) = b**3 - 17*b**2 - 41*b + 51. Let y be v(19). Suppose -4*w - 28 = x - 2*x, -3*x + 28 = -4*w. Which is bigger: y or w?
y
Let k = -1150 - -1062. Is k > -89?
True
Suppose -3*z - z = -188. Let c be z*(28/(-30) - -1). Let q = 8/15 + c. Is q > 4?
False
Let s be (162/(-108))/((-1)/(-6)). Let v = 12 - 22. Are s and v nonequal