6 + 0.216. Which is bigger: -3 or w?
-3
Let g = -26 + 26. Suppose -a - 2*p - 15 = 2*p, g = 4*a + 2*p + 4. Suppose -s + 5 = a. Is 2 <= s?
True
Let f = 198 + -201. Suppose 5*n = -4*z - 20 - 0, 3*n - z + 12 = 0. Is n equal to f?
False
Let y be (-84)/(-10)*(-520)/78. Do 9 and y have the same value?
False
Let k(t) = 10*t**2 - 33*t + 175. Let u be k(8). Are u and 551 unequal?
False
Let o(g) = g**3 + 7*g**2 - 11*g - 4. Let w be o(-8). Let y = w + -15. Which is smaller: 4 or y?
4
Let n(j) = j**2 + 2*j + 36. Let v be n(0). Suppose x + 8*x = -v. Which is smaller: -9 or x?
-9
Let t(s) = -s**3 + s**2 + 6*s + 1. Let m be t(3). Let f(y) = 389*y**2 + 3*y - 2. Let o be f(1). Let l be 10/65 + (-112)/o. Is l less than m?
True
Let r(d) = d**2 - 2*d - 6. Let g be r(4). Suppose -3*p = 2*l - 30, -g*p + 3*p + 5*l - 10 = 0. Suppose 5*n - p = -20. Is n less than -2/3?
True
Let h(v) = -73*v + 729. Let k be h(10). Which is smaller: -1/117 or k?
k
Let j = 106732/9457 + -552/49. Which is smaller: 1 or j?
j
Let o(b) = -b**2 + 42*b - 359. Let s be o(12). Let j = 28.56 - 0.56. Let h = -41 + j. Which is smaller: h or s?
h
Let w be -1 - (2 - (-6)/(-2)). Suppose -1 = -2*k + 4*d + 1, -4*k - 2*d + 24 = w. Let c be 1/4 - 41/(-12). Is c not equal to k?
True
Suppose 6*r - 194 = -1898. Which is bigger: -851/3 or r?
-851/3
Let g be -9 - 9/(-6)*2. Let u = g + -6. Is -12 at least as big as u?
True
Let u = 103 + -103. Is 6/317 bigger than u?
True
Suppose -5*t - 12 = -u, 0*u + u - 6 = 2*t. Let c(o) = o**3 - 6*o**2 + 7*o - 8. Let w be c(u). Do -10 and w have the same value?
True
Let m(w) = w - 8. Let g be m(6). Let v = -32/45 - -1/9. Which is greater: v or g?
v
Let y(j) = -j**2 + 4*j + 1. Let s be y(3). Suppose -4*c + 15 = c, 3*c = s*w - 31. Let x be 6*(w/(-6))/5. Which is greater: x or 0?
0
Let h(g) = -g**2 + 33*g - 224. Let c be h(14). Is 51 at most c?
False
Let y = -5 + -3. Let i = -7.6 - y. Which is smaller: i or 1/11?
1/11
Let z = -26 - -34. Suppose 4*a - 3*w - z = 0, -a = -0*a - w - 3. Is a at least as big as 5/11?
False
Let i be (-28755)/(-27) - -2*4. Which is greater: i or 1074?
1074
Let i(s) = 3*s - 10. Let p(v) = -3*v + 11. Let b(k) = 4*i(k) + 3*p(k). Suppose -4*t + 25 = t. Let m be b(t). Which is greater: m or 9?
9
Let o(b) = -b**3 - 16*b**2 - 23*b + 69. Let l be o(-14). Let y = -53.05 + 50. Let h = y - -3. Are h and l unequal?
True
Suppose -97 = 7*t + 449. Which is greater: -81 or t?
t
Let u = -4.4 - -48.4. Let t = -45.8 + u. Is t at least as big as 2/7?
False
Let g = -3 - -1. Suppose -20 = q - 5*q. Suppose q*a = -5*i - 30, -4*a = -i + 15 - 6. Is g not equal to i?
True
Let x(y) = -4*y + 2. Let m be x(-1). Let r be ((-3)/m)/(2/(-12)). Let c(o) = 2*o - 4. Let l be c(r). Which is greater: -1 or l?
l
Suppose -3*n - 220 = -187. Which is greater: n or -25?
n
Suppose -5*w + 64 = -26. Suppose -34 = -4*o + p - 4*p, 4*p + w = o. Let d be (-52)/60 + 2/o. Is d >= 0?
False
Let f be (1 + (-9)/7)*-7. Let p be (-12)/(-18)*(2 - -1). Suppose p*y + f*j = -0*y - 14, 0 = -2*j - 6. Is -4 at least as big as y?
True
Let c = 59320473/69502 + -993/2242. Let z = 853 - c. Which is smaller: z or 1?
z
Let p be ((-11)/3)/(1/9). Let y(c) = c - 27. Let t be y(-7). Which is greater: p or t?
p
Let o(x) = -x**2 - 42*x - 216. Let g be o(-36). Is g less than -20/19?
False
Let q = 188 + -270. Which is smaller: -79 or q?
q
Let q be -1 - -3*(-14)/(-3). Let k(a) = a**3 + 19*a**2 + a + 24. Let y be k(-19). Suppose -2*t + y*t = 39. Are q and t equal?
True
Suppose 5 = -3*x - 3*c + 8*c, -x - 4 = -4*c. Suppose x = -2*k - 3 + 17. Let q be (2/(-3))/(6/(-63)). Is k <= q?
True
Let l = -68 - -56. Let a = 13 + l. Which is greater: a or -4?
a
Let t = -65 - -38. Let c = -24 - t. Is 8 > c?
True
Suppose j + 4*z - 50 = -4*j, -2*j - z + 20 = 0. Let s be (-34 + 6)*(-1)/(-2) - 1. Let w = -6 - s. Is j > w?
True
Let u(c) be the second derivative of -c**4/12 - 3*c**3/2 - 11*c**2/2 - 3*c. Let z be u(-7). Suppose -50 = z*f - 8*f. Is f >= 11?
False
Suppose s - 3*s = -2*b + 138, 4*b + 5*s - 240 = 0. Which is smaller: b or -4?
-4
Let a(v) = 2*v**2 + 34*v + 36. Let h be a(-16). Let g(q) = q**2 + 2*q + 2. Let z be g(-3). Which is smaller: z or h?
h
Let d = 14 + -3. Let s be (d/(132/18))/(90/8). Let m = -0.1 - -0.1. Do m and s have the same value?
False
Let l = -11.38 + 13.9. Let b = -2.2 + l. Which is greater: b or 1?
1
Let i be 2/(-8) + 6 + (-459)/84. Is 48/19 not equal to i?
True
Suppose -n = -2*l + 6, -4*n = -n + 4*l + 28. Let d be (-3)/12 + (-18)/n. Suppose -d*k - 5*u - 34 + 1 = 0, -5*k + u - 42 = 0. Which is smaller: -10 or k?
-10
Let i = 29 + 271. Let c = i + -5098/17. Which is smaller: c or 6?
c
Suppose 20 = -4*h + 6*l - 9*l, 0 = 3*l + 12. Is -25/3 less than or equal to h?
True
Let k(g) = -2*g + 1. Let v be k(6). Let t = -12 - v. Let j be (21/6)/(t/2). Are -6 and j unequal?
True
Suppose 102 - 3 = 3*v. Let p = v + -11. Suppose 2*g + 5*q = 2 + 1, p = 3*g + 4*q. Do g and 15 have different values?
True
Suppose 3*f = f + 34. Let h = 26 - f. Suppose 3*c = -c - j + h, -j + 3 = -2*c. Is c greater than or equal to -1/3?
True
Let m = 775 - 774. Is m at most as big as 8/237?
False
Let w be 5/(4/(-36)*3). Let m = -24 - -15. Let c = m - w. Is c greater than 6?
False
Let x be ((-56)/10)/(10/(-25)). Let m = -9 + x. Suppose 1 = m*z - 4. Which is greater: z or 5?
5
Let n(w) = 4*w - 123. Let r be n(31). Let j be 1 + 1 - (-9)/(-5). Is j greater than r?
False
Let a = -20 + 19. Let g be a - ((0 - 0) + -3). Let q be (3/g)/((-63)/12). Is -2 smaller than q?
True
Let r = -37 + 56. Let f = r + -19. Let o be 4/(-6)*(-39)/2. Which is smaller: f or o?
f
Let y be 29/9 + 18/(-81). Suppose -5*r + g = 55, y*r + 3*g + 55 = -2*r. Is r at most -13?
False
Let y be 9/3 - (6 + 5). Let i = y - -11. Is 5/2 > i?
False
Let i = -89 - -57. Which is smaller: -30 or i?
i
Suppose 4*l + 2*v - 110 = -0*l, 0 = -3*l + v + 75. Let g be (-1 - 0)/(2/l). Which is bigger: -3 or g?
-3
Let d = -0.1037 + 0.0937. Let k = 4 - 6. Which is smaller: k or d?
k
Let i be ((-11)/(-33))/(1/(-21)). Let m be 2/i*-1*(-6)/(-24). Is m smaller than 1?
True
Let t = 1.93 + 0.07. Let m = 0.163 - 0.123. Which is smaller: t or m?
m
Let c be ((-5640)/21)/(-5) - 4/(-14). Let d = c + -52. Does d = 4/3?
False
Suppose -2*l - o + 12 = -3*o, l = -3*o - 10. Let g = -2 - l. Let r = 3417 + -3422. Which is bigger: g or r?
g
Let y = 138 + -93. Suppose 63 = 6*s - y. Suppose 3*x = 5*t - 96, 2*t - 5 - 35 = 2*x. Is s > t?
False
Suppose 0 = 4*n + 8, -2*s - 2756 = 2*s - 2*n. Does -689 = s?
False
Let k = 160 - 166. Let o(j) = -2*j**3 + 4*j**2 + 3*j**3 - 7 + 3*j**2 + 5*j. Let u be o(k). Which is bigger: u or -3/4?
-3/4
Suppose -2*b - 3*y + 19 = 0, 5*b + 4*y - 27 - 3 = 0. Suppose -b = -h - 0. Suppose h = -0*w + 2*w. Which is bigger: w or 2/51?
w
Let d = -74 - -35. Let k = -38 - d. Which is greater: 12/11 or k?
12/11
Let w = 9 + -3. Suppose w*o - 4*o = 4. Suppose o*h + 13 = 4*h - 5*u, -11 = h + u. Which is smaller: h or 2/3?
h
Let s be ((-4)/2 - -1)/1. Let h = -13315/7 + 1902. Which is bigger: h or s?
h
Let w(l) = -10*l + 21. Let c be w(2). Is 16/37 smaller than c?
True
Let w = -28 + 35. Let k be (-38)/(-14) - (-2)/w. Which is smaller: 4 or k?
k
Let v = 353 + -337. Is -0.03 >= v?
False
Suppose -w - 4*w - 70 = 0. Let c be (-1*10/15)/((-3)/261). Suppose -q + 0*j - 2 = 4*j, -4*j - c = 5*q. Is w smaller than q?
False
Let j = -737.5 + 737. Does -92 = j?
False
Let q(i) = 3*i - 2. Let r be q(2). Suppose -5*g + r = -3*g. Suppose g*s = -0*s. Is s less than -0.1?
False
Let d = 0.185 + 0.121. Let o = d - 2.136. Let f = -0.17 + o. Which is smaller: f or -1.2?
f
Let f be ((-2)/(-5))/((432/40)/(-27)). Which is smaller: f or 2/383?
f
Let m = 244 - 230. Which is smaller: m or 8?
8
Suppose 2*t + 146 = 2*v, -358 = -5*v - t - t. Let p be 2 - (v/4 - 1). Is -16 less than or equal to p?
True
Suppose 0 = -8*b + 9*b - 2. Suppose 16 = -4*i + 4*d - 7*d, -14 = b*i + 3*d. Which is smaller: i or -1/38?
i
Let q = -2393 + 9699/4. Which is bigger: 33 or q?
33
Let l = -20 - -20. Let a be (3/(-4))/(1/(-4)). Suppose 0*g - a*g + 3 = 0. Is l < g?
True
Suppose 3*v = -0*r - 4*r - 38, -r - 22 = 2*v. Let n(c) = 7*c**2 + c - 3. Let b be n(-3). Let y be 6/15 - b/5. Which is smaller: v or y?
y
Let v be (-288)/(-112)*(-56)/(-6). Let c(o) = o**3 - 5*o**2 - 5*o - 4. Let f be c(6). S