reater than or equal to n?
True
Suppose -o = -5*o + 256. Suppose o + 64 = -4*q. Let i be (-4)/(-22) + q/(-308). Which is greater: i or 0?
i
Let p be 16/(-2)*(-36)/48. Suppose -60 = p*d - 2*d. Let w = 58 + -74. Which is smaller: d or w?
w
Let b = -1/4 + 1/36. Let i be 1 + -3 + (-15)/(-5). Is i not equal to b?
True
Let r be (2/6)/(1/12). Suppose s = r*w - 25 - 25, 18 = w - 3*s. Let a = w - 12. Is -2 greater than or equal to a?
False
Let r = 39 + -4. Suppose 14*v - 11*v = 105. Is v at least as big as r?
True
Suppose 3*w - 20 = 19. Suppose 0 = -g - 2, -4*z + g + 40 = -22. Is z bigger than w?
True
Let a be (-3 - -2)*(-3 + 9). Let j = -7 - a. Let u be -1*(-2 + 2)*j. Is 2/17 <= u?
False
Suppose j - 3 = 25. Suppose -10*s = -42 - j. Which is smaller: 8 or s?
s
Let t = -49 + -6. Let q = 57 + t. Let v = 274 - 815/3. Which is greater: v or q?
v
Let n = -12 - -12. Suppose -5*c + 5*q = -2*c - 28, 2*c - q - 28 = n. Which is greater: c or 18?
18
Let d = 1.55 - 1.4. Let f = 9.25 + -9. Let r = f - d. Does 0 = r?
False
Let h(p) = -p**3 + 12*p**2 + 5*p - 60. Let n be h(12). Which is smaller: -2/8361 or n?
-2/8361
Suppose -4*r + 5 = -15. Let d be r/35 + 3/(-7). Let a = -125/6 - -62/3. Is d not equal to a?
True
Suppose 2*b = -5*t - 0*b - 645, b - 376 = 3*t. Which is bigger: -125 or t?
-125
Let u = 1140 + -1137.23. Which is bigger: u or 3?
3
Let s = -21 + 13. Let l = 1 - s. Suppose -3*y + l = -6. Which is smaller: 6 or y?
y
Let a be (-8 - (-91)/14)*-2*1. Is a > 47/14?
False
Let l(g) = -g**3 + 8*g**2 - 13*g + 6. Let n be l(6). Let s = 10 + -6. Is s less than n?
False
Let q be (-2)/(-3 - -1) + -1. Suppose -m = 1 - q. Let k be m + 2 + 4 + -4. Which is smaller: k or -6/13?
-6/13
Let p be 3/((-1185)/775) - (-5 + 3). Is -1 bigger than p?
False
Let q = 13 - 8. Suppose c - 19 = 5*u, u = q*c - 0*c - 23. Let z be 1*(c/(-2) - 5). Which is smaller: z or -6?
z
Suppose 3*t - 5*w - 10 = 0, 99*t = 96*t + 3*w + 18. Let b(d) = -d - 5. Let h be b(-6). Does t = h?
False
Let l be 0 + ((-96)/30)/8. Let b(r) = r - 2. Let g be b(5). Suppose -g*d + 32 = d. Is d != l?
True
Suppose 45*r = 38*r - 602. Which is smaller: r or -90?
-90
Let o be (-2)/(-7)*14/16380. Is o > -1?
True
Let o = 608/21 - 29. Are -2.6 and o unequal?
True
Let b be 6/8 + (16764/2096)/(-11). Which is bigger: 1 or b?
1
Let h = 161 - 160. Let j be ((-119)/119)/(h*-1 - -2). Let b(u) = -u**3 + 3*u**2 - 3*u + 3. Let y be b(2). Are j and y equal?
False
Let t = -5 + 5. Let m = 273 + -2997/11. Which is smaller: m or t?
t
Let r(n) = -11*n - 277. Let b be r(-25). Is b at most as big as -26/9?
False
Let c = -2974 + 2974.1. Let l = -0.5 - -0.54. Let k = l + -0.1. Which is greater: k or c?
c
Let k(z) = 11*z + 53. Let u be k(-10). Suppose 53 = -f - 4*i, 3*f - 2*i = -6*i - 167. Is u at most as big as f?
True
Let h = 0.07 + -0.07. Let x = -0.4 + 0.6. Let g = x + h. Which is smaller: g or -5?
-5
Suppose 2174 = 11*l + 612. Let o be -14 + 18 + l/(-8). Is o less than -14?
False
Let w be -11 - ((-13)/65 + 28/(-10)). Which is greater: w or -2?
-2
Let j = -2330/13 - -179. Let k(m) = 5*m**3 + m**2 - m - 1. Let a be k(-1). Let r = -4 - a. Is j at least r?
False
Suppose 4*h + m = -0*m - 13, 3*h + 4*m + 13 = 0. Let t be (-2)/(h + (-15)/(-6)). Suppose c + t*c = 10. Is c smaller than 3?
True
Let v be -30*(14/(-6) - -2). Let k be 165/(-121)*(-56)/v. Which is smaller: 8 or k?
k
Suppose 0 = 4*o + 3*n - n - 974, -1204 = -5*o + 2*n. Does o = 1?
False
Let h(a) = -a**3 + 20*a**2 - 23*a + 10. Let f be h(19). Which is greater: f or -65?
-65
Let p = 4/2463 + 184693/19704. Are 8 and p equal?
False
Let d = -34.63 - 0.37. Let x = d - -35.4. Which is greater: x or -0.05?
x
Let u = 7 - 3. Let k be -4 + (-20)/(2 - u). Suppose -k*z + z - 29 = 3*y, -4*z - 16 = 0. Which is smaller: -3/2 or y?
y
Suppose -3*r + 1 = -8, -3*o + r = -12. Suppose -g + o*g - 30 = -5*n, -2*n + 19 = 3*g. Does 5 = g?
True
Let u(c) be the second derivative of c**5/20 + 11*c**4/6 + 7*c**3/2 + 8*c**2 - 3*c. Let h be u(-21). Suppose 12 = 5*l - 63. Which is bigger: h or l?
h
Suppose 4*f - 32 = -5*t, -4*f + 48 = 4*t + 16. Suppose 2*u + 5*n = f, -4*n = -0*n. Suppose -u*b + b + 40 = -2*a, -2*b = 2*a - 30. Which is smaller: 25/2 or b?
25/2
Suppose 0 = -11060*n + 11059*n + 325. Is n less than or equal to 321?
False
Let a be -6 - ((-9)/9 + -24). Are 17 and a unequal?
True
Let r = 1894.17 + -4.17. Which is smaller: -1/3 or r?
-1/3
Suppose 5*d = d + 4. Let z be (-12)/(-36) - (-740)/(-6). Let r = 3569/29 + z. Is r not equal to d?
True
Let j(y) = 2*y**3 + 70*y**2 - 17. Let b be j(-35). Which is smaller: b or -21?
-21
Let j(g) = -g + 3. Let l be j(3). Let t be (l + 9)*(12 - 13). Is t < -7?
True
Let x = -796 - -774. Which is smaller: x or -208/9?
-208/9
Let n(t) = 32*t**2 + 5*t - 21. Let q be n(6). Let z = 20911/18 - q. Is 1 <= z?
False
Let r = 18 + -12. Suppose 4*o + r = -62. Let n be (-4)/(-16) + o/100. Which is smaller: -1 or n?
-1
Let a(r) = r**2 - 16*r + 3. Let z be a(16). Suppose -z*f + 5*i - 13 = -86, -5*i + 20 = 0. Which is bigger: -1 or f?
f
Let h = -4 - -12. Let r = h + -8.2. Let w = 0.1 + r. Is -0.04 <= w?
False
Let z be 91/52 + (-1)/(-4). Suppose -z*f = -3*a + 5, 6*f + 18 = 2*a + f. Which is bigger: -6 or a?
a
Let v(n) = 2*n**3 + 15*n**2 - 15*n - 33. Let r be v(-8). Is 95/4 at most as big as r?
False
Let w = -86 - -44. Let y be (-15)/(-10) + w/32. Is 0 greater than y?
False
Let j be 1/(-4)*0*-1. Let n be j/3 + (-2)/129. Which is smaller: 0 or n?
n
Suppose -p = -0*p - 7. Let y = p - 15. Let n = 3 + -12. Is y at most as big as n?
False
Let d be ((-6)/(-444))/((-29)/2). Which is smaller: d or -1?
-1
Let d be (2 - 1)/((-2)/(-1966)). Let j = d + -42271/43. Which is greater: j or 0?
0
Let i = 10 + -7. Suppose o = i - 1. Suppose -2*f = -0*f - o. Which is smaller: -1/3 or f?
-1/3
Let i be (-10)/(-660) + (-1)/(-6). Which is smaller: i or 4?
i
Let p = 21.051 + -0.051. Let r = 19 - p. Let s = 2 + r. Is 0.1 >= s?
True
Suppose 17 = 5*y - 33. Let o(x) be the second derivative of x**4/12 - 2*x**3 + 19*x**2/2 + 3*x. Let t be o(y). Which is bigger: -2/71 or t?
-2/71
Suppose 7*k = 3*k - 8. Let b be k - ((-4)/(-7) - 1). Let s = -1 - b. Does 0 = s?
False
Let t = 1.16 + -1.3. Let k = 0.76 - t. Let h = -0.9 + k. Is h <= -1?
False
Let s = 71.2 + -76. Let j = 1.2 - s. Which is greater: j or 9?
9
Let y be -3 + 25/9 - 14/(-63). Is -17 smaller than y?
True
Let g = -949/12 + 265/4. Suppose -10*v - 13 = -9*v. Let j = g - v. Is 0 != j?
True
Let n(b) = -b**3 - 24*b**2 - 63*b - 1. Let g be n(-21). Is g <= 10/579?
True
Let l be (-4)/18 + 222/27. Let p = l + -14. Let w(s) = -2*s**2 - 5*s - 4. Let h be w(-3). Which is greater: h or p?
p
Let s = 519.765 - 522. Is 1 at most as big as s?
False
Let y = 1334.059 + -1334. Is 1.5 > y?
True
Let x(t) = 14*t - 4*t - 6*t + 6 + t**2. Let p be x(-4). Suppose p*b + b = 14. Do 4/7 and b have different values?
True
Suppose -15 = -3*o - 3*z, -3*o + 2*z + 8 = -2*o. Suppose o*p - p = 25. Suppose -p*i = -1 - 4. Is i > -16?
True
Let t = 2 - 5. Suppose 5*r - 1810 = -1820. Let f be 0/(-3 - (r + t)). Do f and 0 have different values?
False
Let t = -15 - -21. Suppose 138*d = 136*d + 6. Suppose -d - t = c. Is -9 <= c?
True
Let j be ((-5)/(10/4))/133. Let d = 0.0568 - 0.1568. Which is smaller: d or j?
d
Let c = 806/17 - 20152/425. Which is greater: 1/4 or c?
1/4
Suppose 3*d - 3 = 2*d. Suppose d*r - 10 = -2*r. Is r less than -3?
False
Let r = -1133 - -1133. Is r less than 40/31?
True
Let x(l) = -2*l**2 - 5*l + 7. Let m be x(-5). Let n(c) = -c**3 - 7*c**2 + c - 2. Let q be n(-7). Let w be ((-18)/4)/q*0. Is w bigger than m?
True
Suppose -5*k - 2*j = -17, -7*k + 4*j - 13 = -10*k. Which is smaller: k or -4/5?
-4/5
Let v = 3 + -15. Let z be ((-2)/(-21))/(v/(-9)). Let y = 31/42 - z. Which is smaller: 0.1 or y?
0.1
Let h(x) = 14*x - 48. Let d(y) = 5*y - 16. Let s(g) = 8*d(g) - 3*h(g). Let b be s(10). Suppose 4*u + 23 - 3 = 0. Which is bigger: b or u?
b
Let x(i) = i**2 + 3*i + 1. Let g be x(-3). Suppose 8*o - 172 = 51*o. Are g and o nonequal?
True
Let z = 20 + -18. Suppose z*u + 7 = w, -2*u - 2*u = -4*w + 36. Suppose o - 11 = -3*h + 4*h, 5*o - 48 = -2*h. Do w and o have the same value?
False
Let x(c) = -c**3 + 21*c**2 + 21*c + 22. Let r be x(22). Suppose r = -27*j + 32*j + 5. Which is smaller: j or 2/25?
j
Let n = 449