985/4 + 491. Which is bigger: -6 or q?
q
Suppose 0 = -o + 4*o. Let b be 3 - o - 3/1. Suppose 2*k + 8 = 2*x, 3*k = -b + 3. Is x at most 4?
False
Suppose 3*x - 5*q = -58 + 15, -5*x - 89 = -4*q. Which is smaller: -17 or x?
x
Let r(g) = -17*g - 201. Let h be r(-11). Which is smaller: h or -16?
-16
Suppose 0 = 3*y + y - 1752. Is 438 greater than y?
False
Let n = 21 - 13. Let o(t) = -t**3 + 9*t**2 - 14*t - 2. Let u be o(3). Is u not equal to n?
True
Let f = -1.84 - 3.88. Let l = f + -0.28. Is 2 <= l?
False
Suppose 0 = -5*x + 9*k - 6*k - 2, 0 = -5*k - 5. Is x equal to -28/65?
False
Let t = -61.8 - -86.8. Let f = -8.2 + 8. Which is bigger: t or f?
t
Let g be (7 - 1)/(1 + 0). Let p = -79 - -79. Suppose p = 7*b - g*b + 1. Which is bigger: b or 1/11?
1/11
Let v = 160 + -148. Suppose 3*p - v = 5*f, -8*p + 10*p = f + 8. Which is smaller: -2/129 or f?
-2/129
Let g be -5*2*(-279)/(-62). Is -4 != g?
True
Let d be 171/(-270) + ((-75)/18 - -4). Which is smaller: -6.8 or d?
-6.8
Suppose -5*t - 4*c = -2 - 14, 0 = 3*c + 3. Let g be (-1)/(36/t)*-2. Which is smaller: g or 11/2?
g
Suppose g + 1 = 10. Suppose -5*o = -g*o + 5*z - 37, 12 = -4*z. Is o less than -12?
True
Let v(c) = -c**3 + 3*c**2 + 4*c + 3. Let o be v(4). Suppose 112 = y - h - 4*h, -o*y - 5*h + 256 = 0. Let j be y/(-420) + 4/14. Which is bigger: -1 or j?
j
Suppose 3*w - 9 = -3*h + 12, 5*h = 4*w - 19. Let i = w - 0. Are i and 5 equal?
False
Let f be (0 - (-16)/18)*(-929)/(-132). Let w = f + -110/27. Suppose -3*x - x + 12 = 0. Are x and w non-equal?
True
Let y = -59 + 58.99. Which is bigger: 0.03 or y?
0.03
Let j = 67 + -231. Let a be j/42 - 72/756. Which is smaller: a or -3?
a
Let l = 73 + -88. Is l equal to -2?
False
Let r(d) = d**3 + 7*d**2 - 3. Let b be r(-7). Let x(k) = k**3 + 3*k**2 - 5*k - 2. Let a be x(b). Suppose 2*t + 2*z - z = -a, -z = -3*t - 17. Is -6 equal to t?
True
Suppose -25*f + 144 = -21*f + 4*b, 0 = 4*f - b - 154. Which is smaller: 260/7 or f?
260/7
Let m = -874 + 811. Which is smaller: -64 or m?
-64
Let b(d) = -d**3 + 16*d**2 + 80*d. Let q be b(20). Is 323 greater than or equal to q?
True
Suppose -2*w - 82 = -74. Let g(i) = 1 - 4 - i - 1. Let b be g(w). Is b < 2/97?
True
Suppose -7*t + 10 = -6*t - 5*m, -10 = -5*t + 5*m. Which is greater: t or -1/542?
t
Let t = 8 - 11. Let w be 30/(-4)*2/t. Suppose 9 = -3*x + 3*o - 6, -3*x - w*o = 7. Is -4 >= x?
True
Let w be (0/3 + -3)*595/(-21). Let s = -95 + w. Which is smaller: s or -11?
-11
Let n = 0.37 - -0.03. Let r = 0.089 + -36.089. Let s = -38 - r. Which is smaller: s or n?
s
Let m(i) be the second derivative of -i**3/6 + 211*i. Suppose k - 2 = -1. Let v be m(k). Which is greater: -3 or v?
v
Let h be (3 - 66/21) + 375/(-21). Is h <= -18?
True
Let v be ((8/(-26))/1)/(-101 + 107). Is -1 smaller than v?
True
Let a(u) = -u - 15. Let x be a(0). Let o be (-144)/x + 2/5. Suppose 28*s + 410 = -18*s + 87*s. Are o and s unequal?
False
Let m(z) be the first derivative of z**2/2 - 16*z + 11. Let c be m(10). Which is smaller: c or -5?
c
Suppose -4*n = -37 - 51. Let c = -20 + n. Suppose 0 = -c*l - 3*l + 5. Which is greater: 2/39 or l?
l
Let v(o) = o**3 - 4*o**2 - 10*o - 4. Let p be v(6). Which is greater: p or 90/11?
90/11
Let k(y) = -y - 4. Let g be k(-4). Suppose 0 = z - g*z + 5. Which is smaller: z or -3?
z
Let s be (1/2 - 0)*(4 + 0). Suppose -3*m = -2*m + 3. Let o be 16/6 + 2/m. Is s at least as big as o?
True
Suppose 5 = 10*d + 15. Let n be ((-4)/(-8))/(1/(-19)). Is n greater than or equal to d?
False
Let r be (-150)/90 - (-1)/(-3)*-2. Is -4/117 bigger than r?
True
Suppose x - 3*i + 13 = 0, 0 = 2*x + i + i - 6. Let k = -351 + 364. Is x > k?
False
Let j(h) = -3*h + 2. Let l be j(-3). Let s be (-1 - 6/3) + l. Suppose 4*c - 2*z + s = 0, 4*c + 0*c = z - 6. Which is smaller: c or -4?
-4
Suppose 7 = -5*s + 4*v, -2*v = 3*s - 6*v + 9. Do 2/951 and s have the same value?
False
Let t(a) = a**3 - 10*a**2 + 10*a - 3. Let x be t(9). Suppose 7*r + x = -8. Which is smaller: r or 2?
r
Suppose -4*f = 349*d - 353*d + 52, -3*d + 4*f + 44 = 0. Which is smaller: d or 41?
d
Let v = -6 + -30. Let p = v - -15. Is -0.1 less than or equal to p?
False
Let g be 11/4 - (-1)/(-4). Let b = 257/996 + -2/249. Is g > b?
True
Let t = 1.817 + 0.183. Are 1.5 and t non-equal?
True
Suppose 11 + 9 = 4*w. Suppose 25 = w*i - 0*i. Suppose -3*b + 5*n = 2*n + 27, -20 = -i*n. Is -3 equal to b?
False
Let o = -2/11 + 0. Let w be 1*-5 + ((-3)/(-1))/1. Let k be (0*1/w - -1)*2. Are o and k equal?
False
Let g = 49 + -35. Let u = -19.3 + 0.3. Let c = g + u. Which is greater: c or 3?
3
Let t = 2600/3 + -866. Let b(c) = -4*c**2 + c - 1. Let n be b(1). Do t and n have the same value?
False
Let c be (-110)/30 + (-2)/6. Let k(l) = l**2 + 7*l - 4. Let n be k(c). Which is greater: n or -15?
-15
Let k be (-2)/(6/(-19)) + 47/(-141). Let y(l) = 10*l - 4. Let j be y(k). Is j greater than or equal to 57?
False
Let b(n) = -18516*n - 3. Let m be b(-2). Let q = 5221039/141 - m. Let g = -1/47 - q. Is g greater than or equal to 0?
True
Let v = -0.053 + -1.827. Let q = -1.8 - v. Let d = -0.12 - q. Is d equal to 0.7?
False
Let j(t) = -2*t**3 + 69*t**2 + 35*t + 353. Let o be j(35). Which is bigger: 355 or o?
355
Let x = -501 + 501. Which is bigger: x or 39?
39
Suppose u + 15*b - 13*b + 388 = 0, 0 = u + 5*b + 394. Is -383 at least u?
True
Suppose 2*u = 5*u - 9. Let f(g) = -2*g - 7. Let w be f(-5). Suppose 2*r - r - w = 0. Are u and r non-equal?
False
Suppose 2*x - 28 + 32 = -2*y, x + 2 = 2*y. Suppose -5*i = 2*m - 40, i - 54 = -5*m - 0*i. Let d be (2/5)/((-58)/m). Is d greater than or equal to y?
False
Let o = 71 - 71. Which is smaller: o or -9/86?
-9/86
Let a = -1407533/1532 + 3675/4. Is -1 greater than or equal to a?
False
Let h = 1653/5761 - -10397171/2534840. Let f = h - 48/11. Let o(p) = p**3 + 8*p**2 - 30*p - 99. Let i be o(-10). Which is greater: i or f?
i
Let i be (-1 + 16)*1/(-3). Let k be (4 + (1 - 1))/(2/(-3)). Let j be k + (0/2 - -1). Are j and i nonequal?
False
Let w be 1483/138 - (-18)/207. Are 10 and w non-equal?
True
Suppose 4*y = 0, -2*o + 3*y + 24 = -16. Suppose 25*s - 10 = o*s. Let p be (-10 - -11)/(11/s). Is p at most as big as 1?
True
Let b(y) = -8*y + 80. Let v be b(9). Is v at most 100?
True
Let i(s) = s**3 - 3*s**2 - 3*s + 6. Let x be i(4). Suppose x = -y - 4. Let l be (1/(-7))/(6/y). Which is smaller: 4 or l?
l
Let p(g) = g + 23. Let f be p(15). Suppose k = -0*k - 4*i + 33, 2*k + 3*i - 71 = 0. Is k > f?
False
Suppose 0*m - 2 = -m. Let i = m - 3. Let g = -102 - -103. Is i at most g?
True
Let m = -10/19 - -59/76. Let l = -888/149 + -6235/3129. Let b = -23/3 - l. Which is smaller: m or b?
m
Let k be 3*85/(-25) + 11. Suppose -2*y - 2 = 6. Is y <= k?
True
Suppose -2*t - 7*n + 22 = -10*n, -n - 4 = 0. Let c(g) = -g + 1. Let u be c(2). Which is bigger: t or u?
t
Let g(t) = -t - 7. Let z be g(-9). Suppose 3*c = z*c. Let b = -1 - c. Which is bigger: b or 2/11?
2/11
Let a = 42 - 47. Let x(c) = 7*c + 11. Let w be x(a). Which is smaller: w or -25?
-25
Let j = -6/7 - -61/63. Suppose 4*c = -2*f + 16, -4*c - 4*f + 7*f = -26. Suppose -5 = c*g + 2*t + 2, 2 = -g - t. Is g greater than or equal to j?
False
Suppose 6 = 6*v - 6. Suppose 4*n + n = 0. Suppose 0 = 3*b - u - 2, u + 2 + n = 0. Which is bigger: b or v?
v
Let a = 53 + -58. Which is smaller: a or 1?
a
Suppose -4 = 523*v - 519*v. Let b(u) = u. Let a be b(4). Suppose -a*w + w = 0. Which is smaller: v or w?
v
Suppose 122 = -5*g + 352. Which is bigger: g or 47?
47
Let z be 218 + (3 - 80/8). Is z != 213?
True
Let s be 5 + 183/(-15) + 7. Which is bigger: s or -17?
s
Let j(o) = -960*o - 11. Let v be j(-4). Let g = v + -57457/15. Which is smaller: g or -1?
g
Suppose 0 = -25*x + 39*x - 210. Does 27 = x?
False
Let f = 123.071 + -123. Let w = f + -0.051. Is w greater than or equal to -0.4?
True
Suppose 8*x = 12*x - 116. Which is smaller: 40 or x?
x
Suppose 15*c + s = 13*c + 26, -5*s + 42 = 2*c. Let t(u) = -u**3 + 10*u**2 - 7*u - 6. Let r be t(9). Are c and r nonequal?
True
Let p(w) be the first derivative of 17*w**3/3 + w**2/2 - w + 5. Let r be p(1). Let a = r + -16. Is a >= 2?
False
Let g = 8 + -6. Let u be (6/114)/(g/12). Which is bigger: 1 or u?
1
Let a = -22 + -17. Let r = 38.8 + a. Which is smaller: 13 or r?
r
Let d be -10 + (-1 + -2 - 0). Let z be (2 - (-6)/(-2))*d