- -9. Let t be ((-12)/n)/(6/(-9)). Which is greater: t or -1.1?
t
Suppose -4*u = -63 - 5. Let b = -16 + u. Let a be 2/5*((-7)/3 - -3). Which is greater: a or b?
b
Suppose 0 = -3*i + 15, 3*v + 26 + 8 = 5*i. Let n be 15/9 - 1/v. Does n = 3?
False
Let o = -60 - -64. Suppose -5*f + 310 = 5*x, f + 2*x - 301 = -o*f. Which is smaller: 58 or f?
58
Suppose 6*v - 420 = -294. Which is smaller: 6 or v?
6
Let m = 3.9 + -3.82. Let j = -0.18 + m. Which is smaller: -24 or j?
-24
Let t be 4 - (3 + -3 - 62/(-2)). Let z = 2 + 0. Is t smaller than z?
True
Let y(l) = -l**3 - 13*l**2 - 2*l - 15. Let s be y(-13). Let j be (-1 + s/(-15))*-3. Suppose 2*r = -2*a - 2, -3*r + 13 + 4 = -a. Which is smaller: j or r?
r
Let v = 22 + -13. Suppose -11 + 5 = o. Let y = o + v. Do y and 2 have the same value?
False
Let n = -185 + 33. Is n < -152?
False
Suppose 4*m + u - 7 = -43, -4*u - 24 = 4*m. Let f = -5 + -4. Is m > f?
False
Let q = 1.56 + -1.86. Let z = -7 + 10. Are z and q non-equal?
True
Let b = 5 + -4. Let o = 61 - -49. Let f be -1*3 + 270/o. Which is smaller: f or b?
f
Let h = -9.9 + 10.9. Is h >= -28/29?
True
Let c(p) = p**3 + 9*p**2 - p + 3. Let m be c(-9). Suppose 4*j - 2*z + 24 = 3*z, 0 = 3*z - m. Is 2/11 bigger than j?
True
Let q(f) = -2*f**3 - 54*f**2 + 3*f + 82. Let p be q(-27). Which is greater: 1/132 or p?
p
Let w be 798/33 - 12/66. Suppose 5*b - 6 = 4*b + 2*i, 4*b + 4*i = w. Let o be 560/(-96) + (-1)/b. Is o at least as big as -5?
False
Suppose -2 = 2*t - 3*t. Suppose 3*i - r + 4*r = 15, r + t = 0. Let p(v) = -2*v + 26. Let n be p(10). Is i < n?
False
Let t(h) = 551*h**3 + 2*h + 1. Let y be t(-1). Let n = 42603 - 210246/5. Let u = y + n. Which is greater: u or 2?
2
Let v be (4/6)/(2/36). Suppose -c = 3*c - v. Let p be ((-39)/(-15) - c)/3. Is -2/5 at most p?
True
Let l = 94573/65 + -1455. Is l < -0.5?
False
Let f be 70/24 - 3/(-9). Let s = f + -3. Is s > -11?
True
Let a = 3 - 2. Let i = -14.944 - 0.056. Let n = i + 16. Is n >= a?
True
Suppose 6*b = -247 - 191. Let g = b - -74. Which is smaller: g or 0.084?
0.084
Let h = -4 + 3. Let k be ((-2)/(-3))/(1850/225). Which is smaller: k or h?
h
Let c = 0.074 - 1.074. Is c bigger than -30/13?
True
Let a(q) = -44*q. Suppose -b = -3*b + d + 1, 0 = -4*b + d + 3. Let p be a(b). Let x be (p/(-16))/(2/4). Is 6 not equal to x?
True
Let f(o) = -o**2 + 17. Let k be f(4). Let j = -20 - -139/7. Which is smaller: k or j?
j
Let i = 61 + -90. Which is smaller: i or -30?
-30
Let d(l) = l**3 - 4*l**2 + l - 2. Let o be d(4). Suppose -o*q = -36 + 36. Which is greater: q or 4/7?
4/7
Let u be (-4 - -6) + (-464)/34. Which is bigger: u or -12?
u
Let n = 30 + -19. Suppose 5*u + 1 = n. Let k be (-3)/u*2 + 18. Which is smaller: 14 or k?
14
Let j(y) = y - 3. Let n be j(6). Let o be ((-2)/2)/(n/(-3)). Suppose a + 0 = o. Is a less than or equal to 2/13?
False
Let v(m) = -m**3 + 38*m**2 + 38*m - 26. Let q be v(39). Is 7 < q?
False
Suppose -n + 5*n - 16 = 0. Let t be (n/(-32))/((-3)/20). Is 1 at most as big as t?
False
Let n = 0.04 + -0.04. Suppose -9*u - 54 = 180. Which is smaller: u or n?
u
Suppose 42 = -3*t + 24. Which is smaller: -14 or t?
-14
Suppose -8 = -z + 5*z. Let j be z + 5858/32 + -1. Let n = -180 + j. Is n != 0?
True
Suppose 5*j = -4*g, j - 3*j = 2*g. Let c(y) = y**3 - y**2 - 3. Let w(f) = f + 2. Let t be w(-2). Let i be c(t). Is i equal to j?
False
Suppose 5*t = -s - 30, 0 = -2*s - s + t - 74. Let r be 6/(-10) + 110/s. Let f be r/(-28) - 6/8. Is -1 less than or equal to f?
True
Suppose 3*j + 0*n = n + 5, 0 = -5*j - 5*n + 35. Suppose -8 = -j*o + 3*x - 2, -o + 22 = -5*x. Let m be (14/(-6) + 2)*(-157 + 162). Is m smaller than o?
False
Let n = -6 - -8. Suppose 2*x = n*q + 3*q + 3, -5*q - 10 = 5*x. Is q at least 2/105?
False
Let j be 4*1*3/12. Let w be (3 - j) + -2 + -1. Let r be 7/(-6)*4/(-112). Is r at least w?
True
Let s = -217.127 - -1.127. Which is bigger: s or 3?
3
Let o(r) = r**3 + 18*r**2 + 19*r + 19. Let n be o(-17). Is -9 at most n?
False
Let z(b) = -b**3 - 10*b**2 + 11*b - 28. Let m be z(-11). Let s(c) = -4*c**2 - 5*c - 6. Let o be s(-3). Which is smaller: o or m?
m
Let b(d) = d**2 - 10*d + 11. Suppose -2*j + 6*j - 36 = 0. Let s be b(j). Are s and 1 nonequal?
True
Let s = -1559693/143 - -10907. Does -1 = s?
False
Let q(t) = 18*t - 10. Suppose 2*f - 2*r + 8 = 0, -2*r - 13 = 5*f - 4*f. Let m be q(f). Let g be (-16)/m + 0/(-1). Is g <= 0?
False
Suppose 5*x = 29 - 134. Is x not equal to -24?
True
Let q = -13 + 33. Let d be ((-48)/q)/(74/(-20) - -4). Does d = -7?
False
Let d = -2.5 + 0.5. Let s be (-5)/(-5) - (-1 + 2). Is s equal to d?
False
Let p = -243 + 248. Do -47 and p have different values?
True
Let z be ((-48)/(-42) - 2)/(1/(-7)). Suppose -z = -4*j - 5*d, -5*d = -11 + 1. Is j < 3/61?
True
Suppose v - 9 = 2*t, 5*v + t = 2*t + 54. Let y be (v - 5)/(2/1). Let c be -11 - (y - 14/2). Which is smaller: -2 or c?
c
Let x = -27 + 39. Let a = x - 20. Let q = a + 8. Is 4/7 less than or equal to q?
False
Let r = -132 - -136. Let j = r + -8. Is 0.06 equal to j?
False
Let c = -2 - -7. Let j = c + -4.8. Let m = -4 + 14/3. Which is smaller: j or m?
j
Let h(f) = f**3 + 14*f**2 + 11*f + 16. Let z be h(-13). Are 45 and z unequal?
True
Suppose 257 = 20*r + 57. Which is smaller: r or 7?
7
Let q = 1928004/511 - 3773. Which is smaller: q or -1?
-1
Let w(v) = -v**2 - 4*v - 4. Let d be -1*((-4)/2 + 0). Suppose -d*l - 9 = l. Let s be w(l). Is s greater than -1?
False
Let q be ((-25)/200 - 11/(-24)) + 3. Let g = 0.3 - 0.2. Is q >= g?
True
Let p = -627 + 626. Which is smaller: 6/103 or p?
p
Let x = -5.7 + 5.85. Which is greater: 6 or x?
6
Let z(q) = q**3 + 8*q**2 + 5*q - 4. Let v be z(-7). Suppose -2*y = 4 + 22. Let o = y + v. Which is smaller: -5 or o?
-5
Let x = 19 + -12. Let h(n) = -4*n + 6. Let j be h(-4). Let r = 28 - j. Which is bigger: x or r?
x
Suppose 2*j + 31*u - 30*u + 539 = 0, -6 = -2*u. Does -272 = j?
False
Suppose -12*u - 1815 = -u. Is u at least -166?
True
Let s = 15 - 15.32. Let f = -0.22 - s. Let r = 1.1 + -0.1. Which is smaller: r or f?
f
Suppose -333*h = -344*h + 33. Which is smaller: -25/6 or h?
-25/6
Let p be 1*(-10)/2*92/1610. Which is smaller: p or -74?
-74
Let b = -120199/100 - -1202. Is b greater than -1?
True
Let n be -10 + (395/75 - -4). Suppose 3*o = o. Is n greater than or equal to o?
False
Let t = -1306 + 1294. Is 40 less than t?
False
Suppose 5*k + p - 175 = 0, 2*k + 5*p = p + 88. Let c = -34 + k. Which is greater: 1/3 or c?
1/3
Let j = -1349 + 1329. Which is smaller: 1/2 or j?
j
Let p(j) be the second derivative of j**4/12 - j**3/6 + 3*j**2 - j. Let r be p(0). Suppose 5*l = -t + 14, 3*t = -2*l - l + r. Is -0.7 less than t?
False
Suppose -2*k = -k + 1, 0 = -5*u + 3*k + 18. Let w be u/1*30/(-405). Is -20 at most w?
True
Let u be (4/8 - 3)*-2. Suppose u*y = -1 + 11. Suppose f - 2*f + o + 1 = 0, -2*f - y*o - 18 = 0. Is -4 greater than or equal to f?
True
Suppose -8*x + 36 = x. Let w = 32 - 27. Is x bigger than w?
False
Suppose -2*j + 0*r - 23 = -5*r, -5*j + 5*r = 50. Let v = j - -11. Suppose -4*m - 2*o = -5*o + 3, -5*o + 31 = 2*m. Are v and m non-equal?
True
Let n be (-8)/((-5)/(45/6)). Suppose -3 = -3*k - 2*s, -s = -0*k + 5*k - n. Let p = -7 + k. Is p > -2?
False
Suppose -5*x + 2*f = -15 + 4, -4*x = 5*f - 22. Suppose -9 = -m + a - 4*a, -5*a + 29 = -x*m. Let g be (-15)/3*(-4)/(-10). Does m = g?
False
Let i = 59 + -15. Let r be i/375*(-15)/(-6). Let m = -1/25 - r. Which is smaller: 0.2 or m?
m
Let g = 0.8 + -1.8. Let w = -6 + g. Let j = w - -6.9. Which is smaller: -0.07 or j?
j
Let c = 14959/37 + -404. Let j = c + -1069/111. Which is smaller: -8 or j?
j
Let q = -1.3 - -0.3. Suppose -60 = -20600*j + 20588*j. Is j less than q?
False
Suppose 4*y - 2 = 3*y. Let g be y/10 + (-2)/(-10). Is -3 less than g?
True
Suppose 0 = -5*g - 98 - 42. Let v be 16/42 + (-8)/g. Suppose -5*r = -2*r. Is v less than r?
False
Suppose -4*r + 9 = -3*r. Let n(z) = z - 9. Let y be n(r). Is y equal to 2/43?
False
Let l(h) be the second derivative of -2*h**3/3 - 11*h**2/2 + 3*h. Let z be l(-11). Suppose -4*r = -3*t + 26, -4*r - r = -4*t + z. Are r and -11/3 non-equal?
True
Let d be (-3)/1164*56/14. Which is bigger: d or 1?
1
Let i = -20108355/511 - -39351. Let r = -27/365 - i. Is r < 1?
True
Let k = -1/7812 - -8261/3507588. Is k less than 0?
False
Let p(r)