 - s + 1. Suppose 2*d + 7 = -j. Which is smaller: u or d?
d
Suppose -2*p = -43 - 51. Suppose -3*y - k + 149 = 0, 0 = 3*k - 8*k + 25. Which is greater: p or y?
y
Let y(w) = w**3 - 3*w**2 + 3*w - 6. Let x be y(3). Which is smaller: x or 28/9?
x
Suppose -4 = 5*b - 49. Suppose 12*g - 10 - 98 = 0. Is g >= b?
True
Let d(g) = g**2 - 8*g - 1. Let i be d(6). Suppose 379*m - 369*m = 10. Are m and i nonequal?
True
Let l = 244 - 265. Are l and 1/4 non-equal?
True
Let h = -355 + 497. Is h not equal to 134?
True
Suppose -s - 14 = -6*c + 4*c, 5*s + 62 = 2*c. Suppose 0*g = 2*g + 8. Let i be 70/(-6) + g/(-6). Which is greater: s or i?
i
Let c = 29 - 22. Let g = -6 + c. Let x be -2 + 2 + (-4)/(-30). Are x and g equal?
False
Suppose 3*c = z + 2, 2*c - 3*z - 2 + 3 = 0. Let t = 154 - 148. Let w be t/(-21) - (-136)/84. Is c bigger than w?
False
Let q = -86 + 83. Is 2 != q?
True
Let s = 7 - 3. Suppose 9*l = s*l + z + 6, 2*l - 1 = -z. Which is smaller: l or 1/6?
1/6
Suppose -4*q = 4*s - 252, s + 184 + 107 = 5*q. Suppose -5*n + 155 = 5*m, -5*n = -3*n - m - q. Is 29 at least as big as n?
False
Let k(h) = -9*h**2 + 40*h - 13. Let l be k(5). Do l and -8 have the same value?
False
Let f = 290/3 + -7256/75. Which is smaller: 6/11 or f?
f
Let n = -209.73 - -210. Which is greater: 2 or n?
2
Let a(h) = -206*h + 1019. Let b be a(6). Is b < -218?
False
Let t = 1 + 0. Suppose 4*y + 4*x - 28 - 32 = 0, 3*y - 3*x - 63 = 0. Let f be (-2)/10 - y/(-390). Is f greater than t?
False
Suppose -20*s = 10*s. Which is smaller: -2/1197 or s?
-2/1197
Let r = 0.13 + -0.1. Let x = r - 0.15. Let h = x - -6.12. Which is smaller: -2 or h?
-2
Let n = -10.8 + 10.2. Which is greater: -52 or n?
n
Let b = 64 + -137. Let q = b - -105. Suppose 4*s = -q - 12. Is s > -10?
False
Let d = 230 - 228. Which is smaller: d or -27/7?
-27/7
Let d be ((-3)/(-15))/((-8)/60). Suppose -5*k - 5*h = 25 + 50, -2*k - 5*h - 39 = 0. Let m = -15 - k. Is d at most as big as m?
False
Let c = 445 - 554. Which is smaller: -107 or c?
c
Let k be -9*(28/4)/140. Which is greater: k or -1?
k
Let h = -49 + -12. Let y = h + 62. Which is smaller: y or -7/4?
-7/4
Let z be (-112)/52 - ((-112)/52 + 2). Which is greater: 15 or z?
15
Suppose -4*i + 19 = -1. Suppose 2*r - 8*r + 24 = 0. Do r and i have the same value?
False
Suppose -4*v + 199 = -7*j + 12*j, 3*v + 36 = j. Does 193/5 = j?
False
Let o be ((-9)/156)/(9/(-36))*2. Which is greater: -18 or o?
o
Let g = -127.07 + 127. Does g = -22?
False
Let u = -0.042 + 41.042. Let c = -23 + u. Let g = -10 + c. Is 1 bigger than g?
False
Let j(o) = -2*o**3 - o. Let n be j(1). Let x be n + 0 + (-79)/(-28). Let g = x + -1/14. Which is bigger: g or -0.05?
-0.05
Suppose 0 = -5*y + 4*w - 2*w - 35, 2*y - w = -14. Let b = y - -22. Is b greater than or equal to 14?
True
Let y = 546 - 521. Let d(p) be the first derivative of -p**4/4 - 7*p**3/3 - 2*p**2 - 3*p + 2. Let i be d(-7). Is i != y?
False
Suppose -19*l + 16*l = 0. Let d be 1/(-2)*(-10)/1395*-9. Is d greater than or equal to l?
False
Suppose -r - 4 = -3*v - 2, 4*r + 8 = -4*v. Let y = 9 + -3. Let w be (-14)/(-4)*2/y. Is v <= w?
True
Suppose 1 + 5 = -5*r + 2*b, 0 = b - 3. Let q be 0/(2/(2 + r)). Let j be -3 + 1 + 0 + 0. Is q <= j?
False
Suppose 708 = -3*q + 3*r, -8 = 4*r - 2*r. Which is smaller: -239 or q?
q
Let z = 29 + -29.2. Let h = -1.8 - 14.2. Are z and h equal?
False
Let u be (-4)/(-7) + (-744)/(-217). Suppose -32 = 3*h + u. Which is smaller: h or -11?
h
Let u be (-233)/3 - (-1 - -7 - 2). Is -83 bigger than u?
False
Let p(q) be the first derivative of -q**2 - 4*q + 1. Let i be p(-8). Let n = -11 + i. Which is smaller: 0.4 or n?
0.4
Let q be (0 + -3)*((-363)/22)/(-33). Which is greater: -130/9 or q?
q
Let z = -187.78 + 186. Is z not equal to 0?
True
Let u = -6239 + 6252. Suppose 0 = 8*f - 3*f - 55. Which is smaller: u or f?
f
Let l = 3.1 + -3. Let m = l - 0.2. Let f = 0.1 + m. Is -10 at least as big as f?
False
Suppose 0*a = 5*a - 215. Suppose a - 46 = -3*t. Let i be 4/(-2) + (-184)/(-104). Is i less than or equal to t?
True
Let x be ((-6)/4)/(-3)*-4. Let f be x + 82*27/858. Let v = -5/143 + f. Which is greater: 2 or v?
2
Let c be (1 + -4)/(-3) + 5838/(-5845). Which is bigger: c or -1?
c
Let q be ((-84)/2622)/7*-1. Is q > -1?
True
Suppose 3*k + 948 = -k. Let g = -648263213/69 + 9395356. Let y = k + g. Is 1 greater than or equal to y?
True
Let q = 25 + -26. Is q > -12/113?
False
Let i = -4 + 16. Let z be i/(-2)*12/(-9). Let s be (-2)/(-9) - 52/(-9). Is z less than or equal to s?
False
Let b(x) = x + 6. Let d be b(0). Let i be 3 - ((6 - 2) + d). Is i greater than or equal to -7?
True
Let j = 4.68 - 7.68. Do 62 and j have the same value?
False
Let m(p) = p**3 - 6*p**2 + 8*p - 10. Let s be m(5). Let g be 5/7*(-7 + s/1). Is -2 greater than or equal to g?
False
Let n(c) = -c**3 - 4*c**2. Let d be n(-4). Suppose 3*p + d*w - 3*w + 21 = 0, -5*p = 4*w + 8. Let b(a) = -a**3 - 4*a**2 - 3*a - 1. Let o be b(p). Is o < 11?
False
Let y = 19 + -39. Let g = 20.9 + y. Let s = 41/2 - 21. Which is smaller: s or g?
s
Let c = -234.9 - -235. Which is smaller: c or 17/8?
c
Let y be (-742)/(-159)*(-6)/63. Is y <= 0.61?
True
Let g(m) = -m. Let u be g(-4). Suppose u = -4*k - 0. Is k greater than or equal to 0?
False
Let g(t) = -t**2 + 72*t + 213. Let r be g(39). Is r equal to 1499?
False
Let r(c) = 5*c - 5. Let a(d) = -4*d + 4. Let m(s) = -6*a(s) - 5*r(s). Let n be m(0). Let o = -1/376 + -1483/7896. Which is greater: n or o?
n
Let x(o) = -3*o. Let b be x(-15). Suppose -5*l + 7 + 18 = 0. Suppose -5*j + b + l = 0. Is j <= 11?
True
Suppose 0 = 3*a + 21 - 108. Suppose -3 = 4*t + a. Suppose 0*j = -j - 7. Are j and t equal?
False
Let l = -94 + 179. Which is greater: 84 or l?
l
Suppose -2372 = 80*u + 988. Is u < -40?
True
Let d(g) = g**2 + 2*g + 0*g + 1 - 5 + 0*g. Let q be d(-4). Let m be 7 + -3 + 12/q. Are 7 and m equal?
True
Suppose -u - 3*b = -8, -u + 2*b + 3 = -0*u. Suppose 4*w + 98 = u*k + w, -4*w - 4 = 0. Is 19 greater than k?
False
Let b = -28 + 51. Suppose 0 = -j - 3*c + b, 0*j - 4*c = 4*j - 52. Suppose j = -2*u - 6*g + 2*g, 8 = -5*u - 4*g. Which is smaller: -4/7 or u?
-4/7
Let y = 0.06 + -0.26. Suppose -m = -0 - 10. Is y less than m?
True
Suppose 4*u + 5*a - 17 = -0*u, -5*u - 2*a = 0. Are u and -10/19 equal?
False
Let d be (-2)/6*7*-9. Let b be (84/10)/((-54)/(-135)). Suppose -4*w + b = -63. Is d less than w?
False
Let o = -503 + 1508/3. Which is smaller: o or -27/13?
-27/13
Suppose 2*p + 2 = 0, 5*r + 16*p + 373 = 18*p. Do -73 and r have different values?
True
Let i be (2 + 4)/(26/(494/(-57))). Let a = 4 + -7. Is i at least as big as a?
True
Let j(k) = -24*k - 75. Let u be j(-4). Which is bigger: u or 137/7?
u
Let n be -3 + (-7)/(-2)*8/7. Let p be (-4)/4 - (-11)/13. Which is bigger: n or p?
n
Suppose 35*g = 2690 + 12010. Is 420 >= g?
True
Let n be 9/54 + (-1)/6. Suppose p - 6*p = n. Suppose -4*j = -p*j. Which is smaller: j or -1?
-1
Let x = 538.14 + -538. Does x = 1/2?
False
Let y be -1 + (-8)/(-10) + (-844)/1055. Do -1/11 and y have different values?
True
Let x be 51/7 + 2/(-7). Suppose y - 3 = h, h - 17 = 4*y - x*y. Suppose 2*l + 18 = 4*w - 16, -h*l - 4*w = -6. Is l smaller than -7?
False
Suppose -w + 9 - 2 = 3*b, -3*w = -3. Let x be 5*2/(0 - b). Let n = 2 + -1. Which is smaller: x or n?
x
Let r be ((-9)/6 + 3)*6/(-1). Is r bigger than -11?
True
Let f = 2 + -3. Let b = 149/51622 + -6/487. Is b < f?
False
Let f(k) be the second derivative of 0 + 4*k + 1/20*k**5 - 1/6*k**3 - 2*k**2 + 1/4*k**4. Let w be f(-3). Is w less than or equal to 2?
True
Suppose -4*l + 4*n - 104 = 0, -40 - 3 = 2*l - 5*n. Are -28 and l equal?
False
Suppose 0 = -3*w + 5*u + 139, -5*u + 174 = 4*w - 6*u. Let b = 303/7 - w. Is b not equal to 3?
True
Let a = 6.88 + -7. Let x = 1.08 - a. Let p = x - 1.2. Are p and 10 equal?
False
Let n(b) = 2*b**2 + 13*b + 13. Let l be n(-8). Suppose 0 = f + l - 36. Do f and -5/24 have the same value?
False
Suppose 0 = 10*s - 13*s + 4*n - 132, 2*s - 5*n = -88. Are s and -223/5 non-equal?
True
Let u(c) = -c**3 + 7*c**2 + 18*c + 6. Let n be u(9). Let w be (n/405)/((-27)/45). Which is greater: w or -1?
w
Let c = -354 - -345. Which is bigger: c or -1?
-1
Suppose -18 = -4*p + l + 2*l, -2 = l. Let z = -1 - -1. Which is smaller: z or p?
z
Suppose -4*m - 151 = -3*t, -2*m - 83 = -0*m