+ 32. Let u be c(-6). Which is greater: u or 9?
9
Suppose -63*l - 93*l + 1030 = 50*l. Suppose 0*t + 15 = t. Is t > l?
True
Let m be (6/(-188))/((-27)/12). Let o = m - -419/282. Which is greater: o or 1?
o
Let o = 4/851 - 3648/51911. Is 1 smaller than o?
False
Let m be 3*(-6)/(-108)*6*48. Which is greater: m or 50?
50
Suppose -4*v + 2*y - 2 = 3*y, -4*y + 9 = -v. Suppose 0 = 2*s, -4*h + 9*h + 2*s = 30. Let m be v/(-2) - 5/h. Is -1 < m?
True
Let p(o) = -18*o + 187. Let z be p(10). Do -7 and z have the same value?
False
Let m = -286/3 + 7168/75. Which is bigger: m or -1?
m
Let c = 1.35 - 0.15. Let o = c + -1. Let t(s) = s**3 + 27*s**2 - 55*s + 75. Let b be t(-29). Is b greater than o?
False
Suppose -25 - 25 = 5*n. Let y(q) be the second derivative of q**3/6 + q**2 + 2*q. Let s be y(-12). Is n at most s?
True
Suppose 0 = -4*k - 3 + 91. Suppose 2*l = 5*l + 4*p - 46, -k = -l - 3*p. Let u = l - 18. Is u less than or equal to -7?
True
Let c = 824 - 825. Which is greater: c or -1/10?
-1/10
Suppose 77 = -3*o - 55. Is -44 at most as big as o?
True
Let x be (-20)/(-50)*5*1. Suppose 8 = 6*i - x*i. Suppose -5*r + 3*m - 6*m = -14, i*m = r + 5. Which is smaller: r or 5?
r
Let p be (-1)/(-3) - (-2)/(-6). Let b be -87*(-2)/664 - (-3)/(-12). Let h = b - -71/996. Which is greater: h or p?
h
Let r = -15 + 20. Suppose r = 3*d + 8. Which is bigger: d or 17?
17
Let r = 10 - 15. Let p be (-1)/r + 16/20. Let b be 2/(3 + (0 - p)). Which is greater: b or 0.1?
b
Suppose -4*a - 4 = -0*a, -4*z - 2*a = -26. Suppose 5*j = z*j + 9*j. Let s be -1 + 4/(-74) - -1. Which is smaller: j or s?
s
Let r be (5/20)/((-4)/(-48)). Suppose l - r = 0, -c + 0 = 3*l + 1. Which is smaller: c or -7?
c
Suppose -7*b - 10*b = 1615. Which is smaller: -93 or b?
b
Let i be (49 + -47)*(-1)/(-2). Which is greater: i or 24/11?
24/11
Suppose 1110 + 2250 = -5*k. Is -672 bigger than k?
False
Suppose -4*u + 3 = w, u + 4 = 3*u - 2*w. Is u less than -1/343?
False
Let o = -21 - 2. Let x = -33 - o. Let q = 11 + x. Is q not equal to 1?
False
Suppose -5*m = 3*p - 19, -5*m + 8 = -2. Let n be p - ((-1368)/10)/(-4). Let o = -31 - n. Do o and 0 have the same value?
False
Let a(h) be the second derivative of 5*h**3/6 + 7*h**2/2 + h. Let m be a(-3). Let o = -6 - m. Which is greater: o or 0?
o
Let u = -6/431 + 2772/13361. Let p = -32/155 - u. Let a = 2 - 1. Is a bigger than p?
True
Let a = -1/10877 - -22207/4927281. Are a and 1 equal?
False
Let o(r) = 32*r**2 - 5*r + 8. Let a be o(2). Let g be -7*(4/6)/(a/(-27)). Let d be 1/(-1)*2/(-2). Is d less than g?
False
Suppose 0 = 3*t - 4*j - 0*j + 39, 2*t = j - 26. Let i = t - -18. Suppose -4*f - 9 = -w - 3, 3*f - 7 = -i*w. Which is bigger: 0 or w?
w
Suppose -2*y + 7*y - 191 = 4*n, 2*y = -2*n - 82. Let z = n - -43. Is z bigger than 2/137?
False
Let l = -6 - -5. Let i = 1129/9 + -125. Let p = i + -23/72. Does l = p?
False
Let o = -39 - -38.4. Which is smaller: -2.7 or o?
-2.7
Let j = 1.354 - 1.425. Are j and -0.2 non-equal?
True
Let h = -2826 + 443680/157. Which is smaller: 0 or h?
h
Suppose -3*m + 20 = -16. Let x be ((-12)/(-9))/(40/m). Which is smaller: x or -12?
-12
Suppose -2*i = x + 3*i - 14, 12 = 3*i. Let q(r) = -r**3 - 2*r**2 + 7*r + 7. Let o be -2 - ((-15)/5 + 4). Let f be q(o). Is x smaller than f?
True
Let r = 359 - 332. Which is smaller: r or -2/7?
-2/7
Suppose -153*g + 181*g = -56. Let z = -1179 + 12959/11. Which is smaller: g or z?
g
Let y be 4/(-12)*0 + (-14992)/98. Let m = y - -153. Is m at least as big as 1?
False
Suppose 0*h = -h - 1. Let u = 683/12 + -173/3. Is u less than h?
False
Let s = -46.012 + 46. Let f = -2.012 - s. Which is smaller: -1.8 or f?
f
Suppose -3*o = 3 - 24. Suppose -5*s = -o - 3. Let r be (-2)/13 + 1818/1170. Which is smaller: s or r?
r
Let s = -260 + 244. Which is bigger: s or -18?
s
Let s = 11/42 - 1/84. Let k = -1/2 + s. Which is bigger: -24 or k?
k
Let z = 201 + -129. Which is bigger: 0.1 or z?
z
Let c = 6.1 - 6.2. Let v(b) = 5*b**3 - b**2 - 2*b + 3. Let a be v(2). Is c at least a?
False
Let y be 6/2 + 31 + 13. Is 49 not equal to y?
True
Suppose -2*w = -i - 4, 0*w = -w + 5*i - 16. Suppose -h - 13 = 4*o, w*h = 4*o + o + 11. Let d = 177 + -1237/7. Is d at most as big as h?
False
Let z = -1.8 + 0.8. Let m = -1.3 - -0.3. Let s = z - m. Which is smaller: s or -0.2?
-0.2
Let u be ((-2)/(-7))/(12/21). Is u bigger than 1/6?
True
Let w = -735 + 802. Do w and 73 have the same value?
False
Let x be 15/12 + (-1)/1. Is x at most as big as -43?
False
Suppose 0 = 2*p + 5*p + 224. Let s = p - -39. Is 5 smaller than s?
True
Let q(h) = 3*h + 2. Let b be q(-4). Let y(m) be the third derivative of m**4/12 + 7*m**3/2 + 22*m**2. Let v be y(b). Is v >= 3?
False
Let u = -115 - -119.7. Let s = -8.7 + u. Which is greater: 1.3 or s?
1.3
Let j be (-5 - (-138)/24) + 657/(-60). Which is smaller: j or -9?
j
Let g = 43 + -22. Let z be 3/9 - 22/g. Let i be ((-64)/(-12) + -4)/((-12)/18). Is z <= i?
False
Let z = -534 + 535. Which is bigger: z or 10?
10
Let f be (-78)/(-273) + (-23)/7. Let z be (4 - 3)*(-2 + (-3)/f). Are z and -2/37 non-equal?
True
Suppose -453 + 448 = c. Is -40/9 less than c?
False
Suppose v - 465 = 5*o, 0 = -5*o - 0*v + 4*v - 450. Are -92 and o unequal?
True
Suppose 5*p + j + 0 = -8, -5*j - 20 = 5*p. Suppose 0 = -2*x - 2*a + 18, 3*x - a = -2*a + 25. Is x > p?
True
Suppose 0 = -m + n + n + 31, -n - 118 = -3*m. Let t = -153 + m. Which is smaller: t or -113?
-113
Let v be 3*(-148)/(-12) - 3. Suppose 0 = 4*t - v - 226. Let i = t + -1039/16. Is i equal to 1?
False
Let l(z) = -z**3 - z**2 - z + 4. Let s be l(0). Let r be (s/2 - -2) + -4. Which is bigger: -1/7 or r?
r
Suppose 6*x = 4*k + 3*x - 107, 3*k + 2*x - 76 = 0. Let u = -55 - -79. Is k at most u?
False
Let m be 0 + 4/((-20)/15). Let s be 5*m/((-15)/5). Does 0 = s?
False
Let o be ((-5)/(-10))/((-1)/10). Let w = o - -10. Suppose 0 = c - w*c - 28. Which is smaller: -6 or c?
c
Let v = -191 + 243. Which is greater: 1 or v?
v
Let d = 1834/69973 - 16/419. Is d not equal to -1?
True
Let b = 11.3 - 11.6. Let o(i) = 11*i. Let w be o(1). Suppose f + w = 3*u, -4*u + 5 + 13 = 2*f. Which is greater: b or f?
f
Let w = -1.44 - -0.7. Let v = -0.74 - w. Which is greater: v or 1/2?
1/2
Let i(a) = a**2 + 9*a + 2. Let f be i(-9). Let y be (6 - 203/42) + f/(-12). Which is bigger: 8 or y?
8
Suppose 0*b - r = b - 13, 3*b + 5*r = 49. Suppose 3*x = -x - b. Is 3 less than x?
False
Suppose 52 = o - 2*x - 3*x, 5*o + 5*x = 320. Suppose 57*q = o*q - 10. Is 10/7 >= q?
False
Let r = -24 + 24. Suppose 3*i + j = -1, -2*i - 3*j + 1 + 3 = r. Is -2/11 > i?
True
Let s(o) = -o**3 - 10*o**2 + o. Let f be s(-10). Let u be (-15)/f - 6/2. Which is smaller: -1 or u?
u
Let h = -11.48 - 2.52. Is -6 at least h?
True
Let m(l) = -l**3 - 14*l**2 - 15*l + 3. Let c be m(-13). Which is smaller: 31 or c?
c
Let h be (10*5/(-20))/((-9)/(-18)). Is -36 at least as big as h?
False
Suppose -6*v = -8*v. Suppose -2*u = 0, s + 3*u = -v*u - 6. Let w be -2 + 2 + s/(-10). Is w less than -0.1?
False
Let c(h) = h**2 - 3*h. Let f be c(3). Let v be ((-7734)/22040)/((-4)/(-16)). Let w = -2/551 - v. Is w at least f?
True
Suppose -8 = 2*r - 60. Suppose r + 5 = x - 2*v, 5*x + 5*v - 185 = 0. Let j be 5/(-2)*(-7)/x. Is -18 at least j?
False
Let c = 0.001 + -0.271. Let v = -0.07 - c. Which is greater: v or -0.23?
v
Let c = -3 - -3.1. Let r = -15.6 + -35.4. Let i = 50.99 + r. Is i greater than c?
False
Let o be 0 + (-4)/(-6) - (-48)/9. Suppose 2*a - o = -2*k, 0 = -5*k - 0*k + 3*a - 9. Is -2/97 equal to k?
False
Suppose 0 = -3*u + 504 - 507. Which is smaller: u or 0?
u
Let t = 77 + -77. Which is smaller: t or 13/9?
t
Let f = -3705/2 + 1898. Let l = -46 + f. Which is bigger: l or 7/5?
7/5
Suppose 0 = -8*d - d + 18. Suppose 2*v + 10 = w, -4*v + 20 = 3*w - 5*v. Let k = d + w. Do k and 8 have different values?
False
Let i be 252/(-56) + 59/2. Which is smaller: 238/9 or i?
i
Let d = -37 + 37. Suppose 7*r - 15 + 1 = d. Is 0.3 != r?
True
Let k(r) = -r**3 - 13*r**2 + 17*r + 8. Let z be k(-14). Is z >= -2?
False
Let r(z) = 3*z**2 + 4*z - 12. Let k be r(2). Which is smaller: 10 or k?
k
Suppose 6*r + 12 = -6. Let q = 11215/7 - 1607. Let j = 47/14 + q. Do r and j have the same value?
False
Let b be (-151455)/(-13680) + -11 + (-1)/16. Which is bigger: 0 or b?
b
Let p = -455/2 - -236. Let g be 