is bigger: r or -33/7?
r
Let n be 94/10 - (-4)/(-10). Let p = n + -6. Suppose -p*w + 2*w + 1 = 0. Is 2/3 < w?
True
Let u = -7 - -10. Suppose 2*h - 28 = -2*h. Suppose -h*f + 18 = 5*l - 3*f, 0 = 5*l + 2*f - 14. Is u != l?
True
Let m be 1 + 6/21 + 73/(-56). Which is bigger: 1 or m?
1
Suppose 0*x = -3*x + d - 16, -2*x - 4*d + 8 = 0. Is x equal to 0?
False
Let q(x) = -x**2 + 2*x - 1. Let d be q(2). Let f = -2/3 + 1/6. Which is smaller: d or f?
d
Let g = 0.15 + -0.05. Does 0.02 = g?
False
Suppose a = -4*a - 2*l + 33, l + 16 = 4*a. Do 4 and a have different values?
True
Let j = 18 - 30. Let q be (-1)/5 - j/10. Is q at least 1/5?
True
Let a(m) = -m + 14. Let f be a(10). Which is greater: 2 or f?
f
Suppose u = -u - 2*o + 4, -u + 5*o - 10 = 0. Let v = -1 - u. Let k = -4 - v. Is -3 at least as big as k?
True
Suppose 0 = -4*q + q - 3*s - 18, 3*q + 2*s = -14. Let w be (3/6)/(q/(-4)). Which is greater: w or 4?
4
Let b = -95/6 + 59/3. Which is smaller: 4 or b?
b
Let r = 18 - 17. Let i be ((-2)/(-4))/(6/15). Are r and i unequal?
True
Let h = 5139/175 - 205/7. Is 2/3 > h?
True
Let l be (0/(-2))/(-1 + 3). Suppose 0 = -3*s + 3*y - 12, 2*s - y + 2*y + 14 = l. Let t be (s/4)/(-1 - 5). Is t <= 3?
True
Let m = -12 - -15. Let y = m - 3. Which is greater: y or -5/6?
y
Let o(t) = t**3 + 2*t**2 - 6*t - 6. Let c be o(-3). Is c < 11/6?
False
Suppose 25 = -v + 5*f, -f - 3 + 8 = 0. Suppose 3*o = 3*n - 51, -4*o + 28 + 30 = 3*n. Let s be 3/2 - n/20. Is v less than s?
True
Let x = -305619/40 + 7641. Let a = x + -1/8. Which is smaller: -1 or a?
-1
Suppose -2*p + 7*p = 95. Let q be (p/21 - -1) + -2. Is 1 < q?
False
Let u be 5/(-10)*-6*7. Let g = u - 59. Let t be g/(-8) + (-2)/(-8). Do t and 6 have the same value?
False
Suppose -3*y + 32 = y. Suppose -2*z + 4*r + 26 = 0, -z + y = -0*z + 3*r. Which is smaller: z or 12?
z
Let s be 4/((-5)/1 + -33). Let b(r) = r - 7. Let h = 22 + -16. Let m be b(h). Which is greater: m or s?
s
Let r(g) = g**3 + 0*g**3 - 4*g**2 - 2 - g**2. Let m be r(5). Let z = -23/38 + 2/19. Which is smaller: m or z?
m
Let w = 34183/43 - 795. Let h = 76/215 - w. Which is smaller: 2 or h?
h
Let s(i) = 2*i - 2*i**2 - 2 + 0*i - i**3 - 3 + 8. Let w be s(-2). Which is greater: 0 or w?
0
Let u = 7.053 - 0.053. Suppose 0 = -z - 5*i - 13 - 2, 2*z - i - 3 = 0. Which is smaller: z or u?
z
Let f(i) be the first derivative of -i**6/360 - 7*i**5/120 - i**4/12 - i**3/3 + 3. Let j(u) be the third derivative of f(u). Let r be j(-7). Is -2 != r?
False
Let z be (-2)/(0/(-4) - 1). Let t be ((-1)/z)/((-7)/14). Which is smaller: t or -1/30?
-1/30
Suppose -4*l - 8 = 5*w, w - 4*l - 10 = l. Is w at most as big as 7?
True
Let u = -0.08 + -16.92. Is 5 bigger than u?
True
Suppose 3 = 4*t - 5. Let r be t/6*(-36)/8. Which is smaller: -3 or r?
-3
Suppose -4*y - 19 = 3*v + 2*v, 5*v = -2*y + 3. Let x = -10 - y. Is -2/13 less than or equal to x?
True
Let c = -2/15 - 11/30. Which is smaller: c or 18?
c
Let r = -155/3 + 52. Is r less than -3?
False
Let d = 239/7 - 34. Is -1 at least d?
False
Let x = 0.03 + 10.97. Which is greater: x or 1/3?
x
Let m = 6 - 6. Let i be 2*((-220)/(-74) - 3). Which is greater: i or m?
m
Let y(r) = r - 1. Let u(z) = -z - 24. Let t(p) = -u(p) - 2*y(p). Let x be t(11). Is 16 at least as big as x?
True
Let d(a) = -a**3 - 4*a**2 + 3*a - 7. Let o be d(-5). Is 4 at least o?
True
Let n be 0/2 + 0/2. Suppose 5*i - 3*g + 18 = 0, -7*i - 3*g - 36 = -3*i. Let x(q) = -q**2 - 5*q + 5. Let o be x(i). Which is smaller: o or n?
o
Suppose 5*g + 14 = -16. Let p be (-86)/20*45/g. Let b = p + -32. Which is bigger: b or 0?
b
Let u = -0.02 + 0.02. Let a = u - -0.6. Let z = a + -2.6. Which is smaller: z or 2?
z
Let f = -6 + 6.1. Let u = -0.1 + f. Which is smaller: u or -0.3?
-0.3
Let l = 0 + -0.5. Let t = 0.1 + l. Let u = -0.5 - t. Which is smaller: u or 0?
u
Suppose -4*g - g + 18 = -m, -18 = -m - 4*g. Which is greater: m or 1?
m
Suppose 4*y - 6*w + 2*w - 8 = 0, 0 = -3*y - w - 2. Suppose -11*p + 10*p - 2 = y. Does p = -2?
True
Let l = -0.26 - -13.26. Let c = 12.99 - l. Is -2/3 greater than or equal to c?
False
Let g = -27 + -5. Is g equal to -32?
True
Let z be ((-4)/6)/((-32)/(-6) - 6). Is z < 4/3?
True
Let c(f) = f - 3. Let v be c(0). Let w(q) = q**3 + 5*q**2 + q - 1. Let o be w(-5). Let d = -10 - o. Which is bigger: d or v?
v
Suppose 6*a - 2*a = 0. Let i = -2816/21 + 134. Which is smaller: i or a?
i
Suppose 0 = -3*u - v - 0 - 2, 5*u + 26 = 4*v. Let f be 1/2*(0 + u). Let y = 2/811 + 1588/13787. Which is smaller: f or y?
f
Let y = -30 - -59/2. Let r be 0/(-1 + (0 - -3)). Suppose r = -5*p + 3*p. Are y and p unequal?
True
Let i be -6*1*1/(-2). Let t(l) = -l**2 - 9*l - 15. Let a be t(-5). Is a greater than i?
True
Let a(i) = i. Let s be a(7). Which is bigger: -2/3 or s?
s
Let y = 9 + -7. Is y greater than or equal to 4?
False
Let b = -0.6 - 7.4. Let j = -7.8 - b. Which is smaller: -0.3 or j?
-0.3
Suppose 0 = 3*d + 3*u + 33, 0 = -d + 4*u - u - 7. Is d not equal to -9?
True
Let b = 20 + -15. Is 1/3 < b?
True
Let c = 1 + 0. Let i = -6 - -10. Let s = i - 5. Which is greater: s or c?
c
Let u be (-8)/70 + 4/10. Let o(k) = -k**3 + 7*k**2 - 7*k + 4. Let a be o(6). Let j = a - -2. Is u > j?
True
Let y be (-34)/((-12)/(-4) - 1). Is -16 at least y?
True
Let u be -2 - -1 - 90/(-87). Let y be 0/(6/9*-3). Which is greater: u or y?
u
Let q = -8 - -4. Let v = q + 3.9. Is v at most 1?
True
Let s(f) = f**3 - f**2 - 3*f**2 - 3*f + 7*f - 2 - f. Let t be s(3). Let u(g) = g - 10. Let c be u(7). Are c and t equal?
False
Let r be (-4)/42*15/10. Which is smaller: 1/3 or r?
r
Let c be 168/16*1/6. Let d = c - 13/12. Are d and -1/2 unequal?
True
Let f = -171/2 - -87. Which is smaller: -8 or f?
-8
Let a(z) be the first derivative of z**5/120 + z**4/24 + z**3/3 - 2. Let w(x) be the third derivative of a(x). Let c be w(3). Is c at most as big as 4?
True
Suppose 3 = -4*c + c. Is -5 less than or equal to c?
True
Let w be 43468*-2*(-12)/(-105). Let c = w - -9940. Let d = c - 27/7. Is 2 equal to d?
False
Let i(n) = 4*n**2 + 2*n + 1 - 2 - 7*n**2 + n**3. Let j be i(3). Let x = 5 - j. Is x smaller than 1?
True
Suppose 34*z = 31*z - 48. Is -15 bigger than z?
True
Let l = -1490/7 + 213. Which is greater: l or 1?
1
Let f be ((-207)/(-201) + -1)/(2 + -1). Is -1 at least as big as f?
False
Suppose 0 = -5*c + z - 4*z, 0 = 5*c + 2*z + 5. Is c > -2.2?
False
Let c = 1.1 - -2.9. Let x = c + -4. Is x at most -1/6?
False
Suppose -4*m - k = -62, -8 = 4*k - 0. Is 16 != m?
False
Suppose 3*a + 3*x = -9, 2*a + 5*x = -0*x - 12. Which is smaller: a or -4?
-4
Suppose -l = -3*l - 2. Let y = 32/13 + -238/65. Is y bigger than l?
False
Let q be (-3 - -4)*-1*0. Let b(n) = n**3 - n**2. Let m be b(1). Suppose m*c + 2 = 2*c. Which is bigger: q or c?
c
Let i be (-6)/2 + (-1 - 0). Let u(n) = 2*n**3 - 2*n**2 - 2*n. Let r = -4 - -3. Let h be u(r). Which is smaller: i or h?
i
Let f = 11 + -11.04. Is -1 at most as big as f?
True
Let m be -5 - 2*(-4)/(-8). Is -7 not equal to m?
True
Let g(l) = -l - 9. Let f be g(-15). Let r = 6 - f. Does r = 0?
True
Let o = 135 - 943/7. Let r = 3 + -4. Is o bigger than r?
True
Let p = 6/43 - 128/301. Let y = 0.9 - 1. Let o = 1.9 - y. Is p greater than o?
False
Let f = -1 - 4.8. Let y = -6 - f. Is y smaller than -0.2?
False
Let f = 1640/3 - 547. Let g(x) = x**3 + 3*x**2 + 2*x - 1. Let y be g(-2). Which is smaller: f or y?
y
Let k(r) = r**3 + 7*r**2 + 7*r + 6. Let n be k(-6). Let p be (n + 1)/(-3)*9. Let h be (-4)/((p - -1) + 3). Is h smaller than -5?
False
Let i(u) = u - 3. Let j be i(4). Let g be 6/30 - 36/(-70). Is g >= j?
False
Let a(y) = -y**3 + 4*y**2 + 7*y - 11. Let r be a(5). Is -1/3 > r?
True
Suppose -3*k = 2*u - 3, 5*k - 4*u - 3 = 2*k. Let y be 0/k - 12/8. Let o = -7 - -5. Which is smaller: y or o?
o
Let s be 1/(-36) - 2/(-8). Let k(x) = -x + 5. Suppose g + 2*h + 10 = 2*g, -g = -4*h - 16. Let a be k(g). Is a at most as big as s?
False
Let y be 2 + -1 + -4 + 8. Is y less than 6?
True
Let n(q) = -q + 2. Let l be n(5). Let c = 1 - l. Suppose c*m - 4 = -0. Which is smaller: -1 or m?
-1
Let l = 551/935 - 13/55. Is -1 at least as big as l?
False
Let g = 5.5 + -6. Let s = 2.5 - g. Is 1/4 <= s?
True
Let d be 22/5 - (-2)/(-5). Suppose 4*s = -d*x + 32, 3*x - s = 2*x - 2. Suppose 0*v - 3*v = -x. Which is bigger: 1/5 or v?
v
Let u = -0