- 290. Let b be q(-38). Is b greater than -1051?
True
Suppose -50 + 54 = -2*t. Suppose 0 = -r + 2*r + 16. Let d be 2 + 0 - r/(-6). Which is smaller: d or t?
t
Let j be (-4)/(-26) - (-742)/(-91). Let i be ((-1)/4)/(1/j). Let d be (-1 - 3) + 0/i. Is d greater than or equal to -4?
True
Let h be (-915)/1650 + (-3)/(-5). Let s(b) = -b**2 + b + 3. Let l be s(2). Is h less than l?
True
Let n = 103 - 103. Let y be (-56)/(-21)*(-6)/(-188). Which is greater: y or n?
y
Let a = 0.157 + 0.043. Suppose -3*x - x - 4 = 0. Which is smaller: x or a?
x
Suppose 0 = 3*l - 4*q + 33 - 346, -4*l + q = -439. Let d = l + -151. Is -41 > d?
False
Let g be (-3 + 3 - 0)/(-2). Suppose m - 3*p = g, 2*m = p - 3*p. Which is greater: -2/3 or m?
m
Let l = 68 - 57. Suppose 3*t + t - 12 = 0. Suppose t = r - 9. Is r not equal to l?
True
Let k = -80.31 + -1.69. Is k less than -1?
True
Let c be 2/(-48)*4/6. Let t = -953 - -953. Is t less than c?
False
Suppose 2*m + 3*n = -8618, -2*m - 5*n - 8618 = -3*n. Let i = -55975/13 - m. Is i <= 4?
True
Suppose -157 = -3*r - 2*j, -216 = -r - 3*r + 4*j. Suppose r*c - 6 = 56*c. Is -3 greater than or equal to c?
False
Let o be 1 + 0 + (7 - 5). Suppose -o*j + 6 = -51. Let d = j - 13. Is d greater than or equal to 0.2?
True
Let h(j) = -5*j**2 - 6*j + 18. Let l be h(4). Which is smaller: l or -84?
l
Let c(o) = 2*o**2 + 6*o - 6. Let f be c(-6). Suppose -h + f = 2*h. Let b be 8/14*(27 - 13). Is b at most as big as h?
True
Let h be -3*5/3 + (-2486)/(-473). Is -1 < h?
True
Let x(h) = h**3 - 4*h**2 - 14*h - 2. Let j be x(6). Let p = 9 + j. Is p equal to -4?
False
Let j(k) = -k**2 - 4*k - 4. Suppose -o = 3*f + 22, 0 = 4*f - 5*f - 3*o - 2. Let m = f + 3. Let i be j(m). Which is smaller: i or -10?
-10
Let q = -74 - -84. Is 168/17 >= q?
False
Let a(c) = -c - 20. Let s be a(-15). Let l = -3 - s. Suppose 2*w + 3*f + 9 = l*f, -15 = -5*w + 5*f. Are -6/7 and w unequal?
True
Let h = -9765335/1571 - -6216. Is h at most as big as 0?
False
Let f be -1 - (-1 + (-6)/(-129)). Suppose -229*b = -213*b. Is b < f?
False
Let b = -34077/2 + 16418. Which is smaller: b or -620?
b
Let w = 29.5 - 25.5. Let p be 8/(-24) - (-10)/(-6). Is p not equal to w?
True
Let h = -177 - -120. Suppose -144 = 4*z + 84. Is z smaller than h?
False
Let m = -1345 - -1141. Is m >= -1019/5?
False
Suppose p + 1 = 38. Suppose 2*j + p - 11 = -4*s, -3*s - 2*j = 21. Is -4 less than or equal to s?
False
Let l be (-8 - (-304)/32)/(6/64). Which is greater: l or 154/9?
154/9
Let c = -1367 - -129867/95. Which is smaller: c or -1?
-1
Let b(i) = -i**3 + 2*i**2 - 39. Let h be b(0). Let r be h/2*(-36)/(-54). Which is bigger: -12 or r?
-12
Let s be (2/7)/((-68)/119). Is s >= -50?
True
Suppose 53*u - 57*u + 5*j - 65 = 0, -j - 15 = 2*u. Is u smaller than -0.21?
True
Suppose 2*x = -8, -w = -0*x + 2*x - 12. Let g = w + -3. Let u = g + -19. Is u <= 4?
True
Suppose -3*y + 3 = -3*k + y, 2*k + 9 = 5*y. Let o = 3 - k. Let g be (13/117)/((-1)/(-3)). Do g and o have different values?
True
Suppose 2*t = -5*d + 7, t + 0*d + 1 = 2*d. Is 25.7 at most as big as t?
False
Let c(k) = 3*k + 7. Suppose -3*h - 4*a = -7, 7 - 3 = -2*a. Suppose 5*v + 4*d + 45 = 0, -4 = h*d + 21. Let s be c(v). Is -9 > s?
False
Let l be 2/(-8 + 12 - 52/14). Suppose 29 = -l*k + 491. Does 0 = k?
False
Let y be -3 - 1/(2/(-10)). Let u be (-14)/(-119) + 50/153. Which is smaller: u or y?
u
Suppose 2 = -5*h + 2*b + 4, 5*h - 4*b + 6 = 0. Suppose -2*n = h - 26. Let y be (-4)/n*0 + 11. Which is smaller: y or 1?
1
Let u(d) = -2*d - 14. Let a be u(-7). Let o = a - 8. Is -7 != o?
True
Suppose m + 2 - 7 = 0. Suppose 4*x - 75 = m. Let d be ((-5)/(-6))/((-15)/x). Which is smaller: d or 0?
d
Let k = -276 + 727. Is 2/5 < k?
True
Let m = 19 + -18.7. Let o = m + -0.2. Is 16 not equal to o?
True
Suppose -y - 4*o = -18, -5*o = 4*y - 5*y - 27. Let z be 28/(-42) + ((-10)/6 - y). Is z greater than or equal to 0.12?
False
Let l = 27 - -7. Let b(y) = -y**2 - y - 15. Let z be b(0). Let i be l/90 - z/(-25). Which is smaller: 1 or i?
i
Let q = -0.281 + 0.481. Suppose -4*g + 4*z - 16 = 0, 2 = -2*z - 2. Is q less than or equal to g?
False
Let r be (132/(-8))/((-2)/(-4)). Let z = 53 + r. Is z greater than 20?
False
Let u be (116/18)/(-2) - (-9)/3. Let j = 0.23 - 0.18. Do u and j have the same value?
False
Let t be 1506/(-789) - (-48)/24. Which is smaller: t or 0?
0
Suppose 84*l = 94*l - 10. Which is smaller: l or 1/176?
1/176
Let f be 2 + -8 - (-5 + 1). Let s be ((8/114)/2)/(f/6). Is 1 > s?
True
Let y be 3*12/9 - 0. Suppose -10*t + 22 + 18 = 0. Is y greater than t?
False
Let k(h) = h**3 - 6*h**2 + 3*h - 5. Let r be k(5). Let u be 1 - (r + (-1 - -1)). Suppose 3*d = 7*d - u. Is 3 less than d?
True
Let d(t) = 3*t - 14. Suppose -4*q + 370 = -2*l - 9*q, 4*q = -5*l - 908. Let b be (1/(-3))/(10/l). Let x be d(b). Is x at least as big as 4?
True
Suppose d + 8 = -x, 4*d - 11 = 5*d + 4*x. Let j be (-6 - d)*1/3. Is j not equal to 62?
True
Suppose -c = 15 - 18. Let j be 3*10/(-405)*c. Is 0 < j?
False
Suppose 2*a - 11 = -7. Suppose 0 = a*k + 24 - 26. Is k equal to 4?
False
Let z be 2/6*9/(-15). Suppose 0 = -3*t - 3, 4*t = -4*n + 2 + 14. Is n less than z?
False
Let k(s) = s**3 + 4*s**2 + 2*s + 2. Let w be k(-4). Let b be ((-6)/9)/(w/9). Suppose 2*c + b = c. Is 2/15 at most c?
False
Let w be ((-3200)/45)/10 - -4. Which is smaller: w or -3?
w
Let c = 4 + 0. Suppose 2*z = -c*u + 8, 0 = -3*u - 2*u - 5*z + 15. Let n be 1/u + (-22)/18. Which is bigger: n or 0?
0
Let t = 10.5 + -10. Let s = 22 + -27.5. Let g = t + s. Is g at least -2/3?
False
Let b(j) = -j**3 - 7*j**2 + j + 7. Let x be b(-7). Let z = 0 - x. Let o be (-3)/2 + 11/10. Is z at most o?
False
Suppose 2*q + 3*q - 5*x = 15, 2*x = -2*q - 6. Let f be (-18)/16 - 3/(-9)*q. Is -2 bigger than f?
False
Let o = 328 + -333. Let f(i) = -9*i**3 + i**2 - i. Let l be f(1). Is l at least o?
False
Suppose 0 = -3*t + 47 + 34. Let a be -4 - ((-210)/t - 2). Which is smaller: 7 or a?
a
Let b(i) = -i**3 + 2*i**2 - 2*i + 3. Let h be b(2). Which is greater: h or 34?
34
Let q = -193 + 174. Which is greater: q or 0.5?
0.5
Suppose 4*x - 5*t = -18, -3*t + 1 = 2*x - 1. Let b(r) = r**2 - 3*r - 3. Let v be b(x). Let p be (-21)/2*(-3)/v. Is 4 greater than or equal to p?
False
Suppose 5*b = -7 + 17. Suppose -b*z - 6 = 2. Let h = -4 + z. Is h not equal to -8?
False
Let n(d) = 3*d**2 + 4*d. Let z be n(-1). Which is smaller: 2/31 or z?
z
Let u = 6991/5 - 1339. Let x = 59 - u. Suppose -7*n - 4 = -3*n. Is x less than n?
False
Suppose 17*p = 13*p + 16. Suppose -2*v - d = -v + p, -3*v - 4*d = 17. Let t = 60270/61 - 988. Is t < v?
True
Let k = 93 + -90. Let d = k + -16. Do d and -5 have the same value?
False
Let j = 4.3 - -0.7. Let a = 26.1 + -26.3. Which is smaller: j or a?
a
Let b = -21759/130 - -168931/2145. Let s be (-1062)/12 - 2/12. Let p = s - b. Is 1 not equal to p?
True
Suppose 5*v + 3*p = 2*v + 27, 0 = -3*v + 5*p + 43. Which is greater: 45/4 or v?
45/4
Let a = -1/299 - 1177/5681. Which is bigger: 0 or a?
0
Let t = 2 + -4. Let v = 1777/7 + -254. Which is greater: v or t?
v
Let g = -53 - 2. Let o = g - -44. Which is smaller: o or -7?
o
Suppose 3*v - 6*v - 63 = 0. Let b be v/(-35)*2/(-6). Are 3/8 and b unequal?
True
Let o = -1196 + 3472/3. Is o greater than -38?
False
Let g be (21/14)/((-171)/(-4))*-30. Which is bigger: -1 or g?
-1
Let v = 7 - 3. Suppose 10 = -v*i + 2*c, 3*c + 1 = -5*i + 5. Let t = -81/28 + 37/14. Is i at least as big as t?
False
Let t = -363 - -363. Is 7/136 less than or equal to t?
False
Let y = 32 - 51. Which is smaller: y or -21?
-21
Suppose 29*b + 14 = 14. Which is bigger: b or 198?
198
Let t be (-2)/17 + (10080/5967)/10. Which is smaller: t or -3?
-3
Suppose 248 = 13*j + 53. Is j < 19?
True
Let h = 29 + -4. Let u = h + -31. Let a = -1 + 1. Is u greater than a?
False
Let k = 330 + -271. Which is smaller: k or 53?
53
Let l(v) = 8*v**3 - 2*v**2 + 6*v. Let t be l(2). Is t > 71?
False
Let i = -5/34 - 6/17. Is -63/13 greater than i?
False
Let r = 82 - 82. Which is greater: -1/99 or r?
r
Let b be (4*-1 + 3)*9. Let z(i) = -i**2 - 8*i - 13. Let s be z(b). Let r be (-1)/(-3 + s/(-8)). Which is smaller: r or 5?
r
Let w(y) = -2*y - 40. Let u be w(0). Let l be 17/4 - u/(-32). Does 11/6 = l?
False
Let v(m) = -m**2 - 10*m - 21. Let u be v(-9). Let i be 53/(-10) - 6/u. Whi