(h) = -5*h. Let z(j) = -6*u(j) - w(j). Let p be z(-1). Which is smaller: p or q?
p
Let m = -187 + 176. Does -3 = m?
False
Let m = 15392 + -107062/7. Let j = -97 + m. Let g be 2/(-6) + 16/12. Which is smaller: j or g?
j
Suppose 1230 = -4*d + 5*m + 369, 5*d = -4*m - 1066. Let f = d + 1066/5. Which is greater: -2 or f?
f
Let v = -60 - -30. Which is smaller: -1 or v?
v
Suppose -2*o = 5*y, 0 = 2*y + 3*o - 0*o - 11. Let p be y - (1 - (-22)/(-8)). Is 0.1 >= p?
True
Suppose -s = -4*f - 3*s + 16, f = 3*s - 10. Let m be f + 68/(-6)*-3. Suppose -4*a - m = -4*t, t = -5*a - t - 38. Is -7 < a?
False
Suppose 3 - 10 = -y. Let q = 6 - y. Do -1 and q have different values?
False
Let r be 2 + 24/(-14) + 0. Let k = -4 - -3.9. Which is smaller: k or r?
k
Suppose -2 = -r - 1. Suppose 0*p = 3*p - 195. Let f be (-2)/4*26/p. Is f > r?
False
Let f = -10 + 14. Suppose 7 = f*c - 9. Which is smaller: c or 0?
0
Suppose 5*k + 4*o = 70, -2*o - 41 - 23 = -3*k. Let l be (-50)/k - (-2)/(-9). Which is smaller: l or -4?
-4
Let g = -51 - -50.9. Is g at most as big as -3/5?
False
Let x = 407 - 259. Let y = 1334/9 - x. Which is bigger: 0.3 or y?
0.3
Let u = -4 - -9. Suppose 1 + u = -3*i. Is i not equal to -2?
False
Let h(q) = -q**3 - 13*q**2 - 11*q + 7. Let m be h(-12). Is m at least -6?
True
Let v(r) = -r**2 - 5*r - 2. Suppose 3*w - 4*w = 4, 3*a + 20 = -2*w. Let j be v(a). Which is bigger: j or 0?
j
Let u = -373/28 + 60/7. Let p be (-2)/(-8)*2 - (-1970)/(-360). Let t = u - p. Which is greater: 1 or t?
1
Let n(w) = -2*w**3 - 3*w**2 + 2*w - 4. Let u be n(-3). Let t = u + -21. Is t at least as big as -0.1?
False
Let f = 19 + -16. Suppose 4 + 0 = 2*l. Which is smaller: l or f?
l
Let f = -4.83 + -0.17. Are -0.1 and f equal?
False
Let q = -25 - -26. Is q greater than 0?
True
Let g = -4 + 2. Let k(l) = -l**2 - 3*l + 2. Let c be k(g). Suppose -4*w + 7 = -5. Which is bigger: w or c?
c
Let m = 16 - 8. Let u = m + -7. Which is smaller: -2/7 or u?
-2/7
Let i = 0 + 0.2. Let z be 3*7/(21/(-10)). Let g be (5/(-25))/(8/z). Are i and g non-equal?
True
Let g be -3 - ((-4738)/3024 - 1). Let t be -1 + (-4)/(2592/(-645)). Let p = g - t. Does 0 = p?
False
Suppose -3*i = -5*j + 29, -j = -4*i - 5 - 11. Is 0.1 at least as big as j?
False
Let j(d) = -d - 13. Let k be j(-7). Let g = -3 - k. Suppose -g*f = -0*f - 6. Are f and 2 equal?
True
Let o = -4 - -7. Let x(t) = 2*t - 3. Let z be x(3). Is z > o?
False
Let m be (-78)/90 - (-4)/20. Which is smaller: m or -1?
-1
Let x = -0.01 - -0.21. Let g be 5/3 + -2 - -1. Is g equal to x?
False
Let s(v) = v**3 - 8*v**2 - 4. Let h be s(8). Let c = -5 - h. Which is greater: 2/21 or c?
2/21
Let c = 9 - 10. Which is bigger: -2/7 or c?
-2/7
Let i be 12/(-20) + (-8)/(-30). Which is smaller: -2/7 or i?
i
Let o(n) = -n**2 + 14*n + 15. Let v = 10 - -4. Let i be o(v). Which is smaller: i or 16?
i
Let b(h) = h**3 + 5*h**2 - 7*h - 6. Let u be (-4 + 5)/((-1)/6). Let z be b(u). Let k = 2 - 1. Is k equal to z?
False
Let f = -16 - -31/2. Let b = 1 - f. Let w(i) = -2*i - 2. Let h be w(-2). Does b = h?
False
Let t = 3/7 + -40/77. Let p(o) = -o - 3. Let h be p(0). Let r = 3 + h. Which is smaller: t or r?
t
Let z = -15 - -9. Which is smaller: -2/3 or z?
z
Let k = 0 + -3. Let u be k - (230/(-16))/5. Is -1 at most u?
True
Let h = 181 + -187. Does h = 0.05?
False
Let k be (-1)/7 + (-3)/(-21). Suppose k = -d + 3*r + 13, 5*r = 4*d + 3*r - 2. Which is bigger: -3 or d?
d
Let m = -5.3 - -5. Let r = -0.26 + -1.04. Let c = m - r. Is c less than -1?
False
Let d be (0 - 1) + (-30996)/(-31003). Let h = d + -154877/611202. Let s = 25/23 + h. Which is bigger: s or 0?
s
Let x be (-10)/65 + 127/65. Is 3 < x?
False
Let y = -116 + 352/3. Let p = 0.1 + 0. Are p and y non-equal?
True
Let r be 1/4*(-3)/(-15). Let c = r - -9/20. Which is smaller: c or 1?
c
Let v = 55 - 37. Let m(y) = 24*y**2 - 1. Let o be m(-1). Let d be (-4)/v - o/18. Is -1 bigger than d?
True
Let y = -18 + 30. Let i be (6 + -5)/(2/y). Suppose -i*k = -k. Is 0.3 less than k?
False
Let j = -2 + -3. Let a = 3 + j. Let w = -0.18 + -0.02. Is w at most a?
False
Let t(d) = d**3 - 7*d**2 - 4. Let w be t(7). Which is bigger: w or -5?
w
Let j be -2 + -1 + 0/(-2). Let z = 6 + j. Suppose -u = -z*u. Are u and -2/17 equal?
False
Let t = -40 + 43.2. Let y = t - 0.2. Let z = -3 + y. Is 0.2 smaller than z?
False
Let r = -10.31 - -10. Which is greater: r or 0.1?
0.1
Let g = 90 - 73. Which is greater: 18 or g?
18
Let z be 2/(-6)*(1 - -49). Which is smaller: z or -1/3?
z
Let f = -194 + 194. Which is bigger: f or -16?
f
Suppose 0 = -3*s - 0*s - 24. Let k be ((-2)/5)/(s/10). Which is smaller: k or 0?
0
Suppose 0 = g - 39 + 58. Is g greater than -21?
True
Let p = -275/4 - -133/2. Which is smaller: p or -1/3?
p
Let m = -7 - -5. Let g = 13 + -7. Let x be g/(-15) + 22/30. Which is greater: m or x?
x
Let n = -4 - -5. Let m = n + -0.9. Let k be (3 - 4)*(-2)/4. Which is bigger: m or k?
k
Let w(z) be the first derivative of z**4/4 - z**3/3 - z**2/2 - 3. Let f be w(-1). Are f and -1/3 equal?
False
Suppose 0 = d + 4*b + 2, -4*d + 2*b + 0*b + 10 = 0. Let o be (5/(-20))/(d/(-8)). Are o and -2/65 equal?
False
Let x = -2 - 0. Let i = 5.95 - 6. Let r = i + -0.45. Which is smaller: r or x?
x
Let u = -3 + 0. Do 5 and u have different values?
True
Suppose 3*x = 44 + 52. Let s = x + -47. Which is greater: s or -14?
-14
Let x = 1802 - 7313/4. Which is smaller: x or -27?
-27
Suppose -10 = -3*j + 8. Let u(a) = -a**3 + 6*a**2 - 1. Let r be u(j). Which is bigger: 0 or r?
0
Let k = -21 - -20. Let n = 85048/81 - 1050. Which is smaller: k or n?
k
Let h = 1.03 - 0.03. Let t = -1 - -1. Let p = h + t. Is p > -2?
True
Suppose 7*c = 3*c + 16. Suppose c*h - 2*h = 4. Let o be h + 1 + -1 + -2. Is -1 <= o?
True
Suppose -z = -5*u - 20, 5*u + 20 = -2*z - 3*z. Let n = 16 - 26. Let f = -9 - n. Is f < z?
False
Let a = 0.07 - 0.07. Let c = -3 + 6. Let k = 6 - c. Do k and a have the same value?
False
Let k be (-859)/(-3)*5/(-425). Let r = k - -3/85. Suppose 0*n - 4*n + 2*a = 24, 3*a = 3*n + 24. Is n at least r?
False
Let c = -0.445 - 2.625. Let r = c - -0.07. Is r at least 2/9?
False
Suppose 3*h + 5 = 4*h. Suppose v - h*v = 0. Let o = 1 - v. Which is smaller: o or -2/17?
-2/17
Let u(v) = -v**3 + 2*v**3 - 3 - 5*v**2 - 2*v**2 + 7*v. Let j be u(6). Let l(d) = -2*d**3 - d - 1. Let q be l(-1). Is q > j?
False
Let u be ((-15)/30)/(3/(-4)). Which is smaller: 0 or u?
0
Let r = 227/36 + -27/4. Are 2 and r equal?
False
Suppose -5*q - 92 = -3*q - 5*j, 3*q + 138 = -j. Let r be -2*(3 + q/15). Is 1 greater than or equal to r?
True
Let g = 8.8 - 31.8. Which is bigger: 1 or g?
1
Suppose -6*n + 5*h + 35 = -n, 4*h = 0. Let v = n + -7. Let g = 53 + -266/5. Is g > v?
False
Let g = 72 - 218/3. Do g and 6 have the same value?
False
Suppose 4 + 2 = 3*u. Suppose -u = a - 0. Let m = -5 - a. Is m greater than or equal to -2?
False
Let a be (1 - -2)*(-3)/(-7). Is 0 not equal to a?
True
Let b be (-1 + -2 - -3) + 4. Is 5 smaller than b?
False
Let w be (-18)/15 - 1/(-5). Let f = 233/42 + -11/2. Is w not equal to f?
True
Let w = -4 + 8. Let m be ((-18)/w)/(-2 + 6). Does 0 = m?
False
Let q(w) = 6*w**3 - w - 1. Let d be q(-1). Let y be 1*-1 + (-6 - d). Let h be y/(-2) + (-3)/(-2). Are h and 1 non-equal?
True
Let y = 5764/338435 + 2/2995. Which is bigger: -1 or y?
y
Let u(y) = -y**2 + y - 3. Let z be u(0). Is z at least as big as -4?
True
Let l be (27/12)/3*-4. Let z be (-1 + 2)*(l - 0). Let u be (2/z)/(9/6). Which is bigger: 1 or u?
1
Let t(q) = -q**3 - 8*q**2 + 10*q - 21. Let w be t(-9). Is w bigger than -30?
False
Let z be 10*6/(-45)*-3. Suppose -k = -a - 1 - 2, z*k = -4*a + 4. Suppose 2 = 5*u - 3. Is k < u?
False
Suppose a = -2*l, -2 - 6 = -4*l + 2*a. Let s = l + 7. Which is smaller: s or 7?
7
Let y = 0.24 - 0.14. Let l = -1.1 + y. Do -9/2 and l have different values?
True
Let g be 15/(-50) - 1/5. Let b(k) = -k**2 - k + 1. Let w be b(-2). Which is bigger: g or w?
g
Suppose -y + 12 = 2*y + 2*t, 3*y - 4*t + 6 = 0. Suppose -y*h - 5*l + 1 = -24, -4*h - 25 = -5*l. Which is greater: h or 6/7?
6/7
Let b = 13 + -167/13. Suppose 9 = -4*o - 0*o - 3*i, 5*o - 2*i - 6 = 0. Is o bigger than b?
False
Suppose 4*r + 5 = 3*u, 2*r + 1 = -5*u + 4*r. Suppose 20 = 2*c - 4*c + 4*p, 0 = 3*c - 2*p + 18. Which is smaller: c or u?
c
Let m = 1 - 0. Let q = -152