56)/10. Let x be (-9)/6 - (-3)/s. Which is smaller: q or x?
x
Suppose -5*q - 5 = 5*p, 5*p - 8 = 4*p - 4*q. Let r be (-10)/4*p/35. Let t(y) = -y**3 + 3*y**2 - 2*y + 1. Let h be t(2). Is h smaller than r?
False
Let l = 0 + -2. Suppose -4*w = f + 18, 3*w = -2*f + 7*w + 12. Let i = f + 1. Is l at most i?
True
Let m = -5 - -4. Let z = 20.9 + -22. Let o = m - z. Which is bigger: 0 or o?
o
Let b = 212 - 210. Let a = -1242/35 - -261/7. Which is greater: a or b?
b
Let n(a) = 3*a - 4. Let f(c) = -c**2 + 6*c - 9. Let z(r) = -2*f(r) + 5*n(r). Let i be z(1). Let h(k) = -k**2 - 4*k + 3. Let o be h(-4). Is o <= i?
True
Let p = 2 + 0. Let n be 24/18*2/4. Are p and n unequal?
True
Suppose -6 = -2*y + c, -4*y + 5*c = -2*y - 22. Let a be (3 - -6)*y/1. Let g be 26/(-30) - (-6)/a. Is 1 > g?
True
Let b = -2.3 - -2.4. Which is smaller: 0.05 or b?
0.05
Let r(x) = 2*x - x**2 + 11 - 3*x - 1. Let a be r(0). Let k be (-3)/a*10/(-12). Which is smaller: k or -1?
-1
Let g(v) = v**2 + 12*v - 1. Let i = -12 - -4. Let n = -4 + i. Let r be g(n). Is -2/21 at most as big as r?
False
Let f = 674 - 34372/51. Which is bigger: 1 or f?
1
Let t be ((-208)/(-36))/(2/(-3)). Let q = 8 + t. Is q less than -2?
False
Let u = -3 - -2.9. Let y = 4 + -1. Let g = 3.2 - y. Is u at most as big as g?
True
Let u = 26 + -25. Suppose -4*h = -2*h. Suppose h = 5*b - 0 - 5. Are b and u non-equal?
False
Let s = -15 - -8. Which is smaller: -2/3 or s?
s
Let m = -10146/17 - -597. Let t = m + -29/357. Suppose 6 = -4*x - k, 2*k = 3*x - x - 2. Which is smaller: t or x?
x
Let l = -0.14 - -0.093. Do 2/3 and l have the same value?
False
Let w = -3 - -7. Let k = w - 4. Which is smaller: -1 or k?
-1
Let k be 4/(-10) + 44/10. Suppose -4*t + 9 = -5*r, 2*r + 9 = 4*t + 3. Let s = k - t. Is 2 smaller than s?
True
Let h = 1.2 + -0.3. Let y = -2.7 + h. Let d = -0.2 + y. Is 0 smaller than d?
False
Let q = 0.1 + 4.9. Let x = q + -8. Let w = -11 - -12. Which is greater: x or w?
w
Let t = 16 - 15.6. Which is smaller: t or 0.3?
0.3
Let r = -63 + 63. Suppose p + 8 = 2*p + m, -4*m + 24 = 2*p. Let h be p/(-9) - 0/2. Which is bigger: h or r?
r
Let i be 3 - 5 - (3 + -6). Let x be ((-12)/(-8))/(6/20). Let r be 1 - x/(-7) - 2. Is i >= r?
True
Let r = -70 - -352/5. Which is smaller: r or 38?
r
Suppose -3*n - 5 - 19 = 0. Let m(f) = f**3 + 9*f**2 + 10*f + 9. Let a be m(n). Which is bigger: -3 or a?
-3
Suppose 0 = -9*d + 5*d + 8. Suppose d*v = -v. Is -9 < v?
True
Let z = 40.17 - 40. Let a = -0.83 - z. Is a at least as big as -1?
True
Let m(k) = -k**3 - 7*k**2 - 1. Let g be m(-7). Let h = 1 + g. Which is smaller: h or 4/3?
h
Let f = 8.9 - 9. Is f > 3/2?
False
Let g(z) = -z + 1. Let d be g(3). Do -3/4 and d have the same value?
False
Let p = -50 + 51. Which is smaller: p or -2/25?
-2/25
Let g(s) = -s**2 + 12*s - 15. Suppose 30 = 2*l + l. Let z be g(l). Suppose -4*u = u + z. Is -2 > u?
False
Let m be (-7)/(-21) + (-6)/(-9). Which is greater: m or 2/35?
m
Let o = -1/18 - 4/9. Let z(g) be the first derivative of -g**2/2 - 8*g + 7. Let h be z(-8). Which is greater: o or h?
h
Let o be -9*10/(-24) - 4. Suppose 3*n - 5*f - 14 = 12, 0 = -4*n + 2*f + 16. Suppose -n*w - 1 = -w. Which is smaller: w or o?
w
Let k = 4 - 7. Suppose 2*p + 2 = -4*y, -4*y - 48 = -4*p - 16. Is k at least as big as y?
True
Let x = 2539/5610 + 1/510. Is -1 > x?
False
Let u = -1.1 - -2. Let v = -1 + u. Let l be 6 + -3 - 2 - 3. Which is greater: v or l?
v
Let c = 3567245/37 + -449468867/4662. Let l = c - 1/666. Is 1 > l?
True
Let j = -153 + 153. Is j smaller than 1/87?
True
Let x = 8 + -6. Let u be 2*2/4 + x. Let l = 1 - u. Is l greater than -4/7?
False
Suppose -2*n = n + 12. Suppose -3*m - 3*a = -m - 87, 0 = -2*m - 4*a + 88. Let s be n/m*3 + 0. Is 0 at most as big as s?
False
Let v = -1.12 - -1. Let t = v + -2.88. Which is smaller: t or 0?
t
Suppose 2 - 4 = -p. Let b(g) = g - 2. Let h be b(p). Let l be (12/(-18))/((-12)/(-18)). Which is bigger: h or l?
h
Let x(k) = 13*k**3 - 8*k**3 - 1 + k**2 + k - 4*k**3. Let f be x(-2). Is f bigger than -6?
False
Suppose 21*b - 27*b = 0. Let z = -16/85 + 10/17. Which is smaller: z or b?
b
Let i be (-2)/(-11) - 0 - (-1260)/(-33). Which is smaller: 1/4 or i?
i
Suppose -4 + 0 = 4*i. Let g be i/(-2 + 2 + 4). Suppose -6*k + b - 4 = -2*k, 4*b = -2*k + 16. Which is greater: g or k?
k
Let q be (-164)/(-80) + (-2)/8. Let r(h) = 2*h - 38. Let z be r(20). Is q less than z?
True
Let f = 32 - 24. Do 8 and f have the same value?
True
Let t be (-4)/36*(1 + 1). Is t smaller than 16?
True
Let h be (-2)/(-7) + (-38)/(-14). Let o be (h - 2/2) + 0. Is o < 2?
False
Let c = 125837/193 - 652. Is -1/3 not equal to c?
True
Let s = 17 + -12. Does 0.1 = s?
False
Let g(p) = -p**2 - p + 3. Let z be g(0). Let q = -14 - -8. Let l = 8 + q. Which is bigger: l or z?
z
Let g(u) = 4*u + 2. Let t be g(-1). Is t less than -2?
False
Let b = 52 + -52. Which is smaller: 4/31 or b?
b
Suppose -5*g = -2*z - 3*z - 15, 5*z + 5*g = -35. Suppose -5*f - 5 + 20 = 0. Let t = -7 + f. Which is smaller: t or z?
z
Let k be ((-3)/52)/((-9)/8). Is k less than 1?
True
Let n be (-3)/(-10)*28/63. Which is smaller: 0 or n?
0
Let y = 12 + -11.8. Which is bigger: -0.07 or y?
y
Let t(j) be the first derivative of 1 - 5*j - 1/4*j**4 - 7/3*j**3 - 1/2*j**2. Let g be t(-7). Which is bigger: 4 or g?
4
Let a = -0.27 + 0.22. Is a smaller than -1/3?
False
Let a be 1*10/(-4) + 4. Which is bigger: 2 or a?
2
Let i = -24 + 31. Is i > 2/3?
True
Suppose -4*y - 3*f = f, 8 = 3*y - f. Suppose 3*n - y = 1. Let u = 29 + -263/9. Which is smaller: u or n?
u
Suppose -3*l + 5*q + 16 = 0, 3*l = -q + 4 - 0. Suppose -4*v + 4*a - 2*a = -36, 3*v - 25 = a. Do l and v have the same value?
False
Let i(z) = -6*z**3 + 2*z**2 + 2. Let s be i(-2). Which is smaller: s or 57?
57
Suppose -5*s - 10 = k, k = 4*k + s - 12. Suppose 5 + 0 = k*h. Let r = 8/7 - 58/63. Which is bigger: r or h?
h
Let l(q) = 3*q + 1. Let x be l(-1). Let w(t) = -2*t**2 - 3*t. Let b be w(x). Which is bigger: b or 0?
0
Suppose -2*o = -11 + 1. Suppose -6*g = -5*g - o*v + 1, -5 = 5*g + 3*v. Let j be (-6)/(-2)*6/63. Which is bigger: g or j?
j
Let y = 1 + 1. Let w(l) = -y*l**3 + 4 - 5 + l + 0 - l**2. Let i be w(1). Which is smaller: i or -4?
-4
Let m be 2/(-14) + 1840/(-56) + -1. Is m < 0.1?
True
Let a be (-10)/(-16)*(-10)/25. Which is greater: 2 or a?
2
Let b(y) = -y**2 + 5*y - 4. Let i be b(3). Let d(z) = 2*z - 6. Let u be d(4). Suppose -2*t + 4*k - i = u, -2 = t + 5*k. Does -2 = t?
True
Let w(q) = q**2 - 2*q - 7. Let m be w(4). Let g = -1171/7 - -167. Is m <= g?
False
Let n(t) = -t**3 + 5*t**2 + 2*t + 5. Let c be n(6). Is -17 > c?
True
Suppose 75 = 4*g - g. Which is greater: g or 26?
26
Let l = 5/6 - 1/2. Let s(r) = -6*r + 11. Let w(h) = 2*h - 4. Let k(p) = -2*s(p) - 7*w(p). Let o be k(4). Is l at least o?
True
Suppose 3*q - 6 = 3*k, k - 4*q = 4*k - 15. Let g be (k - 8/6)*-9. Suppose -5*l = 0, g*l = -p + 4*l. Is p smaller than 3/4?
True
Let g = 0.5 - 0.4. Let r = g + -0.3. Let s = 11/2 + -6. Is s at least r?
False
Let a be ((-36)/(-39)*-1)/(-2). Which is smaller: -1 or a?
-1
Let a be (((-10)/4)/(-1))/2. Let k be (-3)/6*0 + -8. Let y be (-2)/5 - k/20. Which is bigger: y or a?
a
Let c(d) be the second derivative of -d**3/3 - 3*d**2/2 + 4*d. Let a be c(-3). Suppose 2*j + n = -10, j - n = -a + 4. Is -2 greater than j?
True
Let o be (-4 - 1)*(-6)/15. Suppose 0 = o*r + 5 - 3. Is r <= -1?
True
Let u = -305/6 + 8857/174. Which is smaller: 1 or u?
u
Suppose -3*k - 100 = -7*k. Is 24 >= k?
False
Suppose -5*j = 2*w - 3, 5*w - 13 - 10 = 3*j. Let q be -3 - 1/(-5)*17. Is j bigger than q?
False
Suppose -c - 21 = 3*s, -6*s + 5*c - 14 = -4*s. Let y = -7 - s. Is y at most -1/5?
False
Let m = 68852/51 - 1350. Is m greater than 0?
True
Let j(p) = p**3 - p**2 - p + 3. Let l be j(0). Suppose -l*o + 6*o - 24 = 0. Let q be 12/o*2/3. Is q at most as big as 2?
True
Suppose 5*w + 3 = -h + 2, -4*h + w = 4. Let i(z) = -7*z + 48. Let n be i(7). Is n bigger than h?
False
Let i = 32 - 35. Let n(q) = q**3 - 9*q**2 + 9*q - 9. Let d be n(8). Which is greater: d or i?
d
Let w = 145967/54 - 2703. Let g = w + 2/27. Is g smaller than 0?
False
Let l = 12 + -12.6. Let w = l - 1.4. Which is smaller: w or 0.5?
w
Let a = 5 - 7. Is -2 at least as big as a?
True
Let j be (-20)/40*3/(-5)*16. Which is smaller: j or 