*u - 10. Which is smaller: -19/4 or u?
u
Let q be (1 - 4 - -4)/(-1). Which is greater: q or -5/8?
-5/8
Let u = 6 - 6.05. Let j = u + -0.05. Is -2 greater than j?
False
Suppose 0 = -4*w - 5 - 3. Let z be ((-2)/6)/(4/(-132)). Suppose 0 = -4*l + l + v - z, -l + 3*v = 17. Is l at least as big as w?
True
Let x = -3.11 - -0.11. Is x bigger than -0.1?
False
Suppose 0 = f - d - 4, 3*f - 4*d - 8 = -3*d. Let b be 4/(-6)*(-3)/f. Is -1/6 at most b?
True
Suppose -3*l + 2*m - 12 - 2 = 0, 2*m + 2 = -l. Let w(i) = i**3 + 12*i**2 - i - 13. Let c be w(-12). Let p be 4/(3/(-4 - c)). Are p and l nonequal?
False
Let d = -25 + 49. Suppose -4*z + 0 = -d. Suppose 4*m - z*m = 2. Is -1 greater than m?
False
Suppose -3*j + 3 - 12 = 0. Is -8 not equal to j?
True
Let u be (-4 - -2)*11/(-22). Do u and 1 have different values?
False
Let d(y) = -y**3 + 6*y**2 - 4*y + 12. Let i be d(5). Which is smaller: i or 16?
16
Suppose 1 = 3*m + 4. Let h(u) = u**3 - 8*u**2 + 8*u - 8. Let o be h(7). Is o >= m?
True
Let u be ((-2)/(-8))/(2/8 + 0). Which is smaller: 3/28 or u?
3/28
Let w be (6/(-18))/((-10)/4). Which is greater: w or 1?
1
Let q(f) = f**3 + 8*f**2 - 9*f - 1. Let h be q(-9). Let l(k) = -3*k - 1. Let y be l(h). Suppose -y = -5*j + 7*j. Which is bigger: -2 or j?
j
Let f(z) = -z**3 + 2*z**2 + 2*z - 1. Let y be f(-2). Suppose -3*k + 6 = -9. Let j be 20/y - (k - 3). Is 0 bigger than j?
True
Let a = -41 - -40. Let r be (-1)/18*(-3)/11. Let m = -137/330 + r. Which is smaller: a or m?
a
Suppose -3*w = 3*u + 105, 0*u + 4*u + 138 = -2*w. Let x be u/(-6) + (-8)/12. Suppose 0*q = x*q. Which is bigger: -2 or q?
q
Let x = -0.47 - -0.3. Let m = x + -1.83. Is -1.4 at least m?
True
Let p(v) = -v**2 - v + 1. Let x be p(-2). Let h be 1*(1 - 2*2). Let f = h - x. Which is bigger: f or -0.1?
-0.1
Let b be (-4)/(-18)*3/(-3). Let o be (-3)/(21/(-6) - -2). Let l = -3 + o. Is l at most b?
True
Let t = -0.01 - 1.99. Let w = -0.3 + 0.2. Let f = w + 0.2. Which is greater: t or f?
f
Let f(m) = m**2 - 4*m + 6. Suppose o + 7 = 5*h, 4*h = 7*o - 3*o - 4. Let k be f(o). Suppose -2*s - 3*g - g = 16, -5*s = -g - 4. Is s greater than or equal to k?
False
Suppose 4*q = 1 + 11. Which is bigger: q or 1?
q
Let w = 0.06 + -0.28. Do -0.2 and w have different values?
True
Let r = -5 + 7. Let z(m) = -m**2 + 2*m + 2. Let l be z(r). Let x = 2 - l. Is x <= 2/9?
True
Let o(t) = -t - 1. Suppose -6*r + 2*r = -5*l + 15, -5*l = -r. Let v be o(l). Which is greater: v or -1?
v
Let i = -1.65 + 1.55. Which is greater: i or -36?
i
Let y = 11 - 5. Suppose 5*b - 4*p = -0*p, b + 11 = 3*p. Is y smaller than b?
False
Suppose 23 = -v - 4*b, -2*v + 4*b - 43 = 3*v. Let q = v - -18. Is q greater than or equal to 5?
True
Let v = -85 - -63. Do v and -22 have different values?
False
Let l(r) = -r + 17. Let u be l(12). Suppose -u*q + 1 + 4 = 0. Let w be q - 2/(-37) - 1. Is w greater than 0?
True
Suppose -2*v - 2*a = 0, 5*v - 3*v = -a - 2. Let x = 3 + v. Let g be 1 - x - (5 + -7). Which is smaller: 4/5 or g?
4/5
Let l be (2/6)/((-4)/12). Let y(a) = a**3 - a**2. Let t(q) = -4*q**3 + q**2 + 3*q + 2. Let u(s) = l*t(s) - 5*y(s). Let i be u(3). Which is bigger: -4/7 or i?
-4/7
Suppose -4 = -4*z, 2*z + 1 = 2*i - 9. Let l(a) = -a**2 + 5*a + 6. Let w be l(i). Suppose y = 2*k - 6, 5*k = -w*y + 4*y + 15. Which is smaller: 1 or y?
y
Let v be 1*6/(1 + -4). Let k be (v/10)/(16/20). Is 1 bigger than k?
True
Let u = -484/655 + -8/131. Suppose -3*h + 0*g - 3 = -3*g, 0 = 2*h - 4*g + 12. Suppose 2 = -t, h*q + 8 = 5*q - 4*t. Is q less than u?
False
Let x = -4 - -4. Let l be 2 + 48/(-22) + 0. Do l and x have different values?
True
Let v be (142/(-153) - 3) + 3. Let r = v + 12/17. Is 1/2 > r?
True
Let k be (-3 - (0 + -2))/1. Which is greater: k or 37?
37
Let f(y) = y - 5. Let c be f(5). Suppose -3*h + 0 + 3 = c. Let i(q) = q - 5. Let a be i(4). Is a at most as big as h?
True
Let z be 34/10 + 6/(-15). Let n = z - 4. Are n and -1 nonequal?
False
Let o = -0.9 - -1. Let p = 1.9 + o. Do p and 1 have the same value?
False
Let n = 4 + -4. Suppose n = 4*f - 5*l, 3*l = -f - 4*f - 37. Do -5 and f have the same value?
True
Let j be (-24)/(-15) - (0 + 2). Let a(v) = 4*v**2 + v + 1. Let f be a(-1). Let c = f - 3. Which is bigger: j or c?
c
Let x = 23.9 + -23. Let r = x + -5.9. Which is smaller: r or 1/4?
r
Suppose 4 = -7*c + 6*c. Which is greater: c or -3?
-3
Suppose 29*o - 24*o + 105 = 0. Which is bigger: o or -61/3?
-61/3
Suppose 0 = 4*v + 3*x - 8, -2*v + 4*x = -0 - 4. Which is smaller: v or 0?
0
Let j(m) = m - 19. Let c be j(20). Which is smaller: c or 1/40?
1/40
Let v be (-36)/63*1/2. Let z = 0 + 0. Is z at least v?
True
Let f = -0.18 + -0.82. Is f at least -1/6?
False
Let x = -18 + 22. Which is bigger: 3 or x?
x
Suppose 0 = 3*z - k - 5, -k - 10 + 5 = 3*z. Suppose 2*q + 2*p + 1 + 3 = z, p = q - 2. Is -3/5 greater than or equal to q?
False
Suppose 3*x = -x. Suppose -3*c - 16 = 4*w - x, -5*w - c - 9 = 0. Which is smaller: -2 or w?
-2
Let j(u) = u**3 + 6*u**2 + 7*u + 7. Let c be j(-5). Let v be c/6 - (-2)/(-12). Suppose -2*a + 7*a = 0. Which is bigger: v or a?
a
Let r = -139 + 203. Is 63 bigger than r?
False
Suppose -4*a + 22 = -34. Which is bigger: a or 12?
a
Let t = 0.01 - -0.39. Let c = -6 - -6.5. Let i = t - c. Which is smaller: 2/3 or i?
i
Let h be (-1)/(-5) + 174/30. Do h and 6 have the same value?
True
Let t be ((-2 - -3) + 1)/(-58). Is -1 greater than or equal to t?
False
Suppose 2 + 4 = i. Suppose -3*n + 10 = 2*x - i*n, x - 14 = -3*n. Are 9 and x nonequal?
True
Suppose -5*p - 9 - 11 = 0. Let u = p + 9/2. Let d = 0.6 + 6.4. Is u less than or equal to d?
True
Suppose -6 = -s - 7. Let r be s - 1 - (-2 - -1). Is r at most as big as -5/4?
False
Suppose -3*k + 4*a = -27, -5*k + 9 = -2*a - 36. Is k greater than 8?
True
Let t = -6 - -6. Suppose t = -z - 2*z. Suppose -2*r - 14 = 4*f, -r + 5*f + 14 = -z*r. Do r and -3 have the same value?
False
Suppose -2*r + 10 - 71 = -g, -4*g = 3*r + 64. Let i = r + 57/2. Which is smaller: -1/4 or i?
-1/4
Let o be (3 - -1)*6/(-8). Suppose 0 = 4*g + g. Is g bigger than o?
True
Suppose 0 = -4*j + 3*s - 5 - 2, 5*j + 4 = -s. Let t = 6 + -7. Is t greater than j?
False
Let r = 20696 - 82131/4. Let h = 164 - r. Are h and 2 nonequal?
True
Let d(q) = q**3 + 4*q**2 - 4*q - 3. Let w be d(-5). Let g be 4/44*(2 + w). Which is greater: 0 or g?
0
Let t = 2/167 + -356/1837. Let w be 1*(92/(-28) + 3). Do w and t have different values?
True
Let j = 0.006 - 0.236. Is 0.1 != j?
True
Let i be (12/(-48))/((-5)/(-12)). Is 0 equal to i?
False
Let p = 1.04 + 0.88. Let f = -0.08 - p. Let o(i) = -i - 5. Let a be o(-6). Are a and f nonequal?
True
Let y be (-1 - 0)*1*5. Let q be 0 + 1 - y/(-4). Which is bigger: -1 or q?
q
Let t = -47 - -42. Is 1 greater than or equal to t?
True
Let i(t) = -3*t + 21. Let r be i(7). Is r at least as big as 1/34?
False
Suppose 2*p + 4*z = z + 2, -2*z = 5*p - 16. Suppose r + 3 = 0, -3*g + r = p*r. Suppose g*j = -2*l + 2*j - 1, 0 = l - 5*j + 6. Which is bigger: -2 or l?
l
Let i = 73 + -48. Are i and 0.1 non-equal?
True
Let d = 26 - 32.7. Let b = -7 - -14. Let g = d + b. Which is smaller: -1 or g?
-1
Let r be (-2)/(-5) - 69/135. Is r greater than or equal to 0?
False
Suppose -4*f + 5*f = -76. Let r be 6/14 - f/(-112). Which is bigger: 0 or r?
0
Suppose 0 = 5*w - 5*x + 90, 5*x = -5*w - 48 - 22. Is -1 less than w?
False
Let k be (-4)/6 + -19 + 19. Which is smaller: -1 or k?
-1
Suppose -2*i = 1 + 11. Let d be (4/i)/((-6)/(-27)). Let o be (-6)/(-21) + (-46)/14. Is d greater than o?
False
Suppose 10 = 2*n + 2*t + t, 10 = 5*t. Let d(w) = 8*w - 1. Let s be d(n). Let j be (-2 - -1)*s/5. Is j <= -5?
False
Let u be 0*(-1)/(-3)*-1. Suppose -3*s - 6 = -u. Is s > -2?
False
Let p be (3 - 2)/(-1*(-1)/22). Is p at most 22?
True
Suppose 4 = -5*w + 3*h - 1, -h = 2*w - 9. Suppose 2*y + 5 = 1. Let x = y + w. Is x not equal to -0.2?
True
Let d be (-2 + (9 - -4))*(-2)/28. Which is smaller: 0 or d?
d
Let m = 46.8 - 47. Let y be (2/(-6))/((-20)/(-6)). Which is greater: y or m?
y
Let f be (0 + -2)/(15/((-225)/48)). Which is bigger: 1 or f?
1
Let p = 612688/100995 - -1/6733. Let o = -27/5 + p. Which is greater: o or 1?
1
Let p be -12 - (8/(-40) + (-42)/(-10)). Is p greater than or equal to -49/3?
True
Let y(w) be the third derivative of w**5/60 - w**4/4 - w**3/3 - 3*