 + k, 5*z + 15 = -3*p. Let f be -1 + (-1 - (-10)/4). Which is bigger: f or z?
f
Suppose -g - 4*q = 0, 2*q + 3 = -7. Let o be g/105*1*3. Which is bigger: o or 2?
2
Let t(u) = 2*u + 7. Let w be t(-7). Let x(h) = -h**2 - h + 1. Let j be x(0). Let s be 1*-3*(j + 1). Which is smaller: w or s?
w
Let b = 0.1042 - 59.0042. Let g = -55 - b. Let p = 4 - g. Is -0.3 >= p?
False
Let b be (-4 - 2) + 3 + 3. Which is greater: -5 or b?
b
Suppose 0 = -a + 5*g - 24, -3*a - g = 3 + 5. Let m(h) = -h - 2. Let i be m(a). Which is greater: i or -1?
i
Suppose 0 = -0*d + 3*d. Is d bigger than 18?
False
Let f(d) = -d**2 - 6*d + 1. Let i be f(-7). Is i less than or equal to -6?
True
Let z = 3/5 - 29/15. Let w be 26 - 2/(0 - -1). Let j be -5*(w/(-15))/(-4). Is z >= j?
True
Let c = 3.2 - 3.1. Which is greater: c or -15?
c
Let m be (-18)/(-30) - (-57)/5. Let v be (-3)/m*(-16)/(-7). Which is smaller: v or 0?
v
Let m be (-12)/(-6)*(-8 - 2). Let q be 1/(-5) - (-36)/m. Which is smaller: 1 or q?
q
Suppose -5*a + 85 = 90. Let q = -3887/15 + 259. Is q at least as big as a?
True
Let l(t) = t + 1. Let m be 2/7 + 32/(-14). Let i be l(m). Is -1/12 at most as big as i?
False
Let d(g) = g**3 + 8*g**2 + 9*g + 8. Let c be 2 - 5 - (0 - -4). Let o be d(c). Which is smaller: o or -5?
o
Let n = 0.05 - -2.95. Let s(k) = -k**2 - 2*k - 3. Let w be s(-2). Let t be (-1 + 0 - -3) + w. Which is greater: t or n?
n
Let j = 508 + -52829/104. Which is bigger: 1/3 or j?
1/3
Let u = -5/39 - -113/273. Is u smaller than -2?
False
Let d = 9.5 - 10. Which is greater: d or 0.1?
0.1
Suppose -2*i + 298 = -186. Let g = i - 755/3. Let u = g + 9. Which is greater: 1 or u?
1
Let g be (-1)/3 - (-4)/(-6). Let q = 70 + -74. Is q less than or equal to g?
True
Let s be (-2 + 3 + -1)/1. Is s smaller than -1/17?
False
Let w(l) be the third derivative of -l**4/12 - 7*l**3/6 + 5*l**2. Let j be w(-3). Let i = 197 - 1771/9. Do j and i have the same value?
False
Let w(z) = -5*z**3 + 4*z**2 - 8*z + 5. Let d(r) = r**3 - r**2 + r - 1. Let h(a) = 6*d(a) + w(a). Let n be h(3). Is -1 at most as big as n?
True
Let u be 20/(-15) - 1/(-3). Let l = u + 0. Which is smaller: l or 1/3?
l
Let s(a) = -a**3 + 8*a**2 + 5*a + 13. Let c be s(9). Is c greater than -22?
False
Suppose 2*s = 5*h + 1 - 6, 0 = 5*s - 2*h + 2. Suppose -4 = -s*b + 4*b. Which is smaller: 1/3 or b?
b
Let j be (-3)/(4*(-2)/(-12)). Which is smaller: j or -6?
-6
Let p be (5 - (-3 + 6))/(1/(-1)). Let s be (0 - 0 - -3)/1. Let f(w) = w**2 - 4*w. Let z be f(s). Is z bigger than p?
False
Suppose -5*h = -2*b, -h - 3*b = 4*h. Let v = h + -1. Which is smaller: 0 or v?
v
Let n be -2*(-1)/(-3)*(2 + -10). Is n not equal to 5?
True
Suppose -2*d - 3*m = -5, -d + 2*m = -5*d + 6. Is -1/38 equal to d?
False
Let f be 2067/2838 - (-1)/(-2). Let i = -2/43 + f. Is i > 1?
False
Let t be ((-19)/2)/(12/(-16)*6). Is 3 > t?
True
Suppose -2*j + 2*n + 23 = -n, 5*n = 3*j - 37. Let d be ((-12)/(-8))/((-21)/j). Do -1.1 and d have the same value?
False
Let b = 0.26 - 0.06. Is b <= 4?
True
Let f = -45 - -63. Let m be (-4)/(-144) + 4/f. Let l = -3 + 4. Which is greater: m or l?
l
Let y = 11 - 57/5. Let c = 4819/16 + -301. Let l = 7/16 - c. Is l < y?
False
Suppose -3 = -2*g + 13. Suppose 20 = -g*p + 3*p. Let w be (-2)/p*(-2 - -2). Is w smaller than 2/5?
True
Let t be (-2)/4*(-4)/(-10). Let o = -0.1 - -0.2. Let v = o + -0.1. Which is greater: v or t?
v
Let b = -1.9 + 2. Let t be 6*4/(-8)*2. Is t < b?
True
Let l = 20 + -20. Which is smaller: -5 or l?
-5
Let d = 0 + -0.1. Let n(c) = -c**3 - 3*c**2 - 3*c - 4. Let h be n(-3). Is d smaller than h?
True
Let f = -25 - -14. Which is bigger: -12 or f?
f
Let p(t) = t - 1. Let q be p(-1). Suppose -2*g = -4*g. Suppose 5 = 5*h, -2*b - 2*h + 2 - 6 = g. Which is smaller: q or b?
b
Let n(r) = 5*r + 13. Let z be n(-5). Is -11 equal to z?
False
Suppose -2*z + 5*z + 6 = 0. Let v(a) = a**3 + 5*a**2 + 6*a + 6. Let o(j) = -2*j**2 + 2*j. Let b be o(2). Let s be v(b). Are z and s equal?
True
Let i be (9 - 5)/(2/1). Suppose 4*y - 4*q = q + 25, -4*y - i*q - 10 = 0. Which is greater: y or 4/7?
4/7
Let w = 5 - 8. Let b(f) be the third derivative of -f**4/24 - f**3/2 - f**2. Let z be b(w). Which is bigger: z or -0.3?
z
Let x be 2*(9/(-5) - -2). Suppose -5*h + 2*h = -15. Suppose 0 = 2*s - 4*g - 13 - 7, -s + h = -g. Is x less than or equal to s?
False
Let d = 29 - 24. Which is smaller: 1 or d?
1
Suppose 85 = 5*d - 5*l, -2*l + 25 = -3*d + 71. Suppose -d = 4*m - m. Which is smaller: m or -3?
m
Let m(p) = p**3 + 3*p**2 + 2*p. Let x be m(-2). Suppose x = -6*a + 4*a. Suppose a*c + c = 0. Is c < 2?
True
Let t(f) be the second derivative of f**3/6 + 9*f**2/2 + 3*f. Let m be t(-4). Is m at most as big as 5?
True
Let c = 19 - 18. Which is bigger: c or 0?
c
Let o be (2/(-5))/(1/(-10)). Suppose o*m + w = 1, -3 = -3*w - 0. Is 1/15 > m?
True
Let b = 1/2 + -17/10. Let v(z) = z + 8. Let u(p) = p**3 + 9*p**2 + 10*p + 8. Let t be u(-8). Let a be v(t). Is a < b?
False
Let b = -52 + 54. Suppose -4*s = -k - 20, -k + 5*s + 7 - 32 = 0. Let l be 0 - k - 2/(-3). Which is smaller: l or b?
l
Suppose 0 = -2*z - 2. Which is smaller: 0.5 or z?
z
Let v = -1/26 - -10/91. Which is smaller: 1 or v?
v
Let h be (25/(-20))/((-3)/12). Let b = -143 - -445/3. Which is smaller: h or b?
h
Suppose -6*w = -5*w - 4*t + 8, -3*w + 10 = 5*t. Is -6/17 != w?
True
Suppose -9 + 29 = 5*a. Suppose -5*i + a - 9 = 0. Which is bigger: i or -6/11?
-6/11
Let s(c) = -c**3 - c**2 + c + 1. Let t(y) = -7*y**3 + y**2 + 13*y + 15. Let b(x) = -6*s(x) + t(x). Let k be b(8). Does k = -2/23?
False
Let o(r) be the second derivative of r**3/6 - 2*r**2 + 3*r. Let s be o(6). Let m be 3 - 2*(-1)/(-2). Is s > m?
False
Let r = 1035 - 2263. Let c = 1223.07 + r. Let z = 0.07 - c. Is 0 < z?
True
Let g be 2*-4 - (1 - -2). Which is smaller: g or -13?
-13
Let a be 2*(4 + -1)/(-6). Which is smaller: a or 1/29?
a
Let f be 288/(-135) - (-2)/(-6). Let y = f - -14/5. Which is greater: -1 or y?
y
Let k(q) = -12*q**2 + 6*q - 7. Let r be k(6). Let i = 4439/11 + r. Suppose -13 + 33 = -5*f + 5*h, -4*f = 5*h - 20. Is f less than or equal to i?
True
Suppose -3 - 12 = 3*v. Suppose 22 = -8*r - 10. Does r = v?
False
Let g(d) = d**3 + 6*d**2 + 3*d + 8. Let y be g(-7). Let r be y/(-104) + (-9)/12. Is -0.1 equal to r?
False
Let a = -10 - -16. Suppose 12 = -3*x + a*x. Let u = x - 2. Do u and 3 have the same value?
False
Let y be (-6)/9 + 2/3. Let q be 2 + -2 + 16/(-44). Is q > y?
False
Let j be ((-1)/3)/((-4)/6). Is j greater than 1?
False
Let q = 0.26 + 1.74. Which is bigger: 0 or q?
q
Let t = -37 - -221/6. Which is greater: -1/3 or t?
t
Let i = -3 - -17/5. Let l(y) = y + 8. Let f be l(-5). Suppose t + 5*s = -16, -4*t + 4*s + f = -5. Do i and t have the same value?
False
Let q be (12/(-7))/((-16)/56). Is q >= 3?
True
Let k = 2.7 - -0.3. Suppose 5*m - f = -7, f + 3 + 0 = -5*m. Which is smaller: m or k?
m
Let h be (0 + -4)/((-12)/9). Is h at most as big as 0.3?
False
Suppose 0 = -6*b + 3*b + 9. Suppose -4 - 2 = -b*o. Do -4 and o have different values?
True
Let f(l) = 12*l**2 + 6*l. Let s be f(-4). Which is bigger: 169 or s?
169
Suppose 3*t - 6 = -24. Suppose -2*f + p = -3*p + 20, 5*p = 4*f + 25. Which is smaller: f or t?
t
Let v = -24 - -17. Let j = v + 6. Let d be ((-2)/8)/((-105)/(-28)). Which is bigger: j or d?
d
Suppose -3*i - 4*w - 163 = 0, 2*i = 3*i - 3*w + 63. Let o = i - -398/7. Suppose -6 + 1 = 5*h. Which is smaller: o or h?
h
Let u = -0.3 - 3.1. Let f = -1.4 - u. Is 0.08 bigger than f?
False
Let s be (5 - 23/5) + 41/10. Is s at most as big as 5?
True
Suppose -o = -5*o + 28. Suppose -3*y - 10 = q, -3*y = -3*q - 1 + o. Suppose -p = -5*p. Which is bigger: p or q?
p
Suppose 0 = 4*i - 31 - 17. Let w be (16/i)/(4/18). Let a be (3/w)/(1/2). Which is bigger: -1/15 or a?
a
Let v(g) = -g - 1. Let k(l) = -3*l - 2. Let c(d) = -4*k(d) + 14*v(d). Let u be c(-5). Is u >= 4?
True
Let l = -14249/637 + 290/13. Let x = -171/392 - l. Let z(a) = -a**3 + 5*a**2. Let w be z(5). Is x greater than w?
False
Suppose 2*j + 3*j = -5*n - 90, -30 = 2*j + 5*n. Let h = j + 12. Let p be (-2)/h - (-4)/48. Are p and -1/5 nonequal?
True
Let h(t) = t**3 - 8*t**2 - 8*t - 7. Let p be h(9). Suppose f + p - 3 = 0. Let x be 1 + -1 + 3 - f. Are 1 and x equal?
False
Let t be 4/(-16) + (-1)/4. Is t >= 53?
False
Let p = 1