+ -2 + 4/2. Let i be u/(12/(-3))*l. Which is smaller: i or -2/15?
-2/15
Let t = -0.49 + 0.59. Which is greater: t or -23?
t
Let t be (-13)/(-5) - (-12)/(-20). Let x be 6*t/4 - 0. Is x equal to 1?
False
Let n(h) = -2*h. Let u be n(-1). Let c be (1 - -1 - 38) + u. Let x be (-2)/(-5) - c/(-10). Is -4 <= x?
True
Let z = -0.03 - -3.03. Let j = -3 + z. Which is bigger: j or 0.1?
0.1
Let q = 109 + -108.59. Are -0.1 and q equal?
False
Let x = -8 - -7. Let o be -4 - x - 5/5. Does -3 = o?
False
Let r = -920627/28 - -32875. Let a = r - -37/7. Which is greater: 2 or a?
2
Let d(t) = -t**2 + 11*t - 12. Let o be 16/((-6)/(-3)) - -2. Let i be d(o). Is i smaller than -4/5?
True
Let b be (-1)/40 - 4/(-10). Suppose -2 = -k - 3. Does k = b?
False
Let p = 50.92 + -51. Which is bigger: -3 or p?
p
Let j = -2 + 4. Suppose -13*f = -5*f - 56. Which is smaller: j or f?
j
Let d be 290/87*1/(-3). Which is smaller: -2 or d?
-2
Let u = 5/312 - 191/50856. Which is bigger: -1 or u?
u
Suppose 4*v + 34 = 2*u - 0*u, u = -4*v - 49. Is -8 greater than v?
True
Let m = -13/2 - -7. Let h = 1.7 + -1.7. Are m and h non-equal?
True
Let g = -0.013 - 4.887. Let x = g + -1.1. Let w = x + 5. Which is smaller: 0 or w?
w
Let z be (1 - 6/4)*-4. Let g be z + -4 + 3 + -4. Let p = -25 + 70/3. Is g > p?
False
Let a be 0 - (-3 + 0)/3. Let l be (-20)/6 - a/(-3). Is l equal to -2?
False
Suppose 3*j = -2*a + 9, 3*a - 3 = j - 2*j. Let d(p) be the second derivative of -p**3/6 + p**2 + 4*p. Let z be d(j). Which is bigger: z or -2/5?
-2/5
Let h = 2 - 9. Let p = -5 - h. Let b be 0*(5/p)/(-5). Is 4/7 bigger than b?
True
Suppose 7 = t + 3. Let p = -5 - -8. Suppose t*i = p*i. Is -2/9 at most i?
True
Let n(y) = y + 0*y**3 + y**3 - 4 + 4*y**2 + 2 + 0*y**3. Let i be n(-3). Let z(g) = g - 6. Let w be z(9). Which is bigger: i or w?
i
Let a = -57 + 59. Is a >= 2?
True
Suppose -3*j - 4*z = -5 + 7, 4*j = -3*z - 12. Let v = j - -4. Let w(q) = q**2 - 3*q - 2. Let a be w(3). Is a not equal to v?
False
Let w be (2 - -4) + (2 - -1). Let o be (-4)/8 - w/2. Is -5 at least as big as o?
True
Let s = -1343 + 6767/5. Is 11 smaller than s?
False
Suppose -32*j + 80 = -24*j. Is 12 >= j?
True
Let g be (-1)/(3 - (-18)/(-8)). Is 0.2 less than or equal to g?
False
Suppose -5*y = -3*y + 2. Is 2/31 greater than or equal to y?
True
Let a = 0.5 - 0.56. Let q = 0.6 - 1.6. Which is smaller: q or a?
q
Let q = -107 - -108. Let b = -3/8 - -1/24. Which is greater: q or b?
q
Suppose 0*j = 5*j + 5*p + 10, -4*j - 8 = p. Let l be 6/(-4) - 1/j. Let n be ((-4)/6)/(7/(-3)). Which is bigger: n or l?
n
Let t be 10/(-15) + 8/18. Suppose -2 = -2*s - 0. Which is greater: t or s?
s
Let v = 0.2 - 0.3. Let w = -0.1 - v. Is -1 less than or equal to w?
True
Let a be 1/(1 + (-9)/(-6)). Let k = -10 - -17. Suppose -2*q + k*q = -5. Are q and a unequal?
True
Let o = 5 - 4. Let s(y) = 5*y + 2. Let t be s(-2). Let z be (-2)/4*t/(-10). Which is smaller: z or o?
z
Suppose -5*z - 2 = 3. Let p be (z/(-2))/(2/(-4)). Let g be ((-9)/63)/((-1)/(-3)). Is p bigger than g?
False
Let s(p) = p. Let q(m) = 3*m. Let h(f) = -f**2 - 6*f - 2. Let o be h(-6). Let i(u) = o*q(u) + 4*s(u). Let k be i(2). Is -4 greater than or equal to k?
True
Suppose -4*l - 3*b - 1 = -0, 0 = -2*b + 10. Is l not equal to -3?
True
Let w(j) = j**3 + 4*j**2 - 5*j + 2. Let p be w(-5). Let z be 2/(-2) + -2 + 4 + 1. Is p <= z?
True
Let l be 1/5 - 44/(-80). Is 1 greater than or equal to l?
True
Let o be 3/(-3 - (-513)/(-6)). Which is smaller: -1 or o?
-1
Let c = -103/57 - -8/57. Is c < -3?
False
Let o = 4 - -1. Suppose 0 = -5*p + y - 5, 3*y - 15 = 3*p - o*p. Are 1 and p equal?
False
Let l = -0.5 + 1.4. Let x = 0.8 - -0.2. Let i = x - l. Is 3 at least i?
True
Let f be -4 - ((-6)/(-10))/(5/(-25)). Is f less than 2/147?
True
Let u be (7 - 2)/(-1 - -6). Let l = -52 - -419/8. Is u smaller than l?
False
Let d = -60 + 64. Which is smaller: -12 or d?
-12
Let y = 0 - 3. Let v be 34/(-12) - (0 + y). Let q = -2 - -3. Is q greater than v?
True
Suppose -f = 2*f - 12. Suppose f*r - 5*u = 16, -4*r - u + 20 = r. Suppose 4*x + 4 = -x - n, -3*x - r = n. Which is greater: x or 3/4?
3/4
Let v(k) = 5*k - 2. Let d be v(0). Are -7/11 and d equal?
False
Suppose -8 = -3*s - 0*f + f, -s - 4*f = 19. Let z = s + -3. Let k be (-2)/(-4) + z/(-4). Is 4/5 greater than k?
False
Let o be (-1)/3*(-3)/(-4). Let z = 4.02 - 4. Let g = -0.08 - z. Which is greater: o or g?
g
Let j = -78 + 61. Is -18 equal to j?
False
Suppose -4*x - 45 = 3*p, -2*x + 5*p = 39 + 16. Let l be (-4)/12 + (-17)/x. Is l < 1?
True
Let q = 1 - 2. Suppose 3*s - 61 = j - 15, j = -4*s + 66. Let d be 36/s - 2/1. Which is smaller: d or q?
q
Let i = 989/980 + -21/20. Is -1 <= i?
True
Suppose -i - 12 = -7*i. Let y(k) = -1 + 3*k + 2*k - k. Let u be y(1). Is i not equal to u?
True
Let s = -3919 + 203799/52. Let n = s - -1/26. Let o(u) = u. Let f be o(1). Which is smaller: f or n?
n
Let v(d) = d**3 - 8*d**2 + 3*d - 11. Let l be v(8). Let s = l - 14. Do s and 1 have the same value?
False
Let g = 46 + -139/3. Let c(y) = 5*y + 0*y - y - 10 - y. Let r be c(3). Which is smaller: r or g?
r
Suppose -74 = -2*a + 2*y, -4*a + 58 + 58 = 4*y. Which is greater: a or 34?
34
Let x be 2 + (-2 - -1) + -3. Do -1/2 and x have different values?
True
Let n = 3 - -2. Suppose -1 = -n*a - 21. Let j = 1 - 5. Is j greater than or equal to a?
True
Let r = 2/3 + -4/15. Which is smaller: r or 32?
r
Let u = 3891/3058 - -1/3058. Which is smaller: 0 or u?
0
Let i = 4/15 + -181/60. Which is bigger: -3 or i?
i
Let v be (-3)/((-6)/2)*0. Suppose -4*t = c + 9, -2*t - t = -c - 2. Is v at least as big as t?
True
Let f = -2678/3 + 885. Which is smaller: f or -9?
-9
Let t(p) = -p**3 - 9*p + 18*p - 8*p - 2. Let d be t(2). Which is bigger: -7 or d?
-7
Let g(z) = -2*z**2 - z + 3. Let t be g(0). Suppose -5*a = -3*f + 4, 0 = -f - t*a - 4 - 4. Let c be (-1 - 0)/(0 - -1). Does f = c?
False
Let f be 4/22 - 160/396. Is f less than or equal to -1?
False
Let f be -2*((-4)/8 + -1). Let u(b) = b**3 - 4*b**2 - b. Let t be u(f). Does -11 = t?
False
Let b be 0 - 1 - (-6)/5. Which is smaller: b or 0?
0
Let q = -132 + 159. Is 27 >= q?
True
Suppose 0 = -3*t + 3*d + 12, 3*t - d = -2*t + 36. Suppose 4*b = -t, 3*b = -k + 3*k - 6. Is -2/5 at most as big as k?
True
Suppose -4*g + 2*z + 4 + 2 = 0, g = -2*z + 4. Suppose 0 = -4*u - 4*v + 24, -5*u - 3*v + 16 + 6 = 0. Is g less than or equal to u?
True
Let r = -8 - -12. Suppose 0 = -3*c + r*c. Let n = 2.04 - 1.04. Is c less than n?
True
Let x = -21 + 21. Suppose -3*l - 6 = -3. Are l and x nonequal?
True
Let h(f) = -f. Let a(c) = -3*c - 1. Let r(p) = a(p) - 4*h(p). Let v be r(1). Is 1 equal to v?
False
Let n(h) = h - 3. Let c be n(4). Suppose j = -4*s - c, 5*j + 5 = 4*s - 7*s. Are 0 and j nonequal?
True
Suppose -4*v + 0*v = -20. Suppose 2*n - 13 = -v*j, 10 = 5*j + n + 1. Is 3/8 at most j?
True
Let g be (2 - (-9)/(-3))*3. Which is smaller: g or -9?
-9
Suppose -3*q - 76 = q + k, 3*q = k - 64. Let d = q + 14. Are d and -7 non-equal?
True
Let z be ((-2)/(-10) - -1)*5. Suppose z*t - 15 = t. Let k = -7 + 10. Is k at least as big as t?
True
Let g be 2 + ((-12)/(-9) - 7/3). Is g greater than or equal to 2/161?
True
Let d = -9 + 9. Which is smaller: d or 3?
d
Let x = 43.1 - 5.1. Is x smaller than 2/5?
False
Let w(l) = -l**2 - 8*l - 4. Let c be w(-6). Let x = 5 - c. Suppose 4*b - 5*b - 3 = 0. Is x <= b?
True
Let b be (30/14)/((-4)/(-42)). Is b not equal to 24?
True
Suppose -11*t = -14*t + 3. Is t equal to -1/14?
False
Suppose 0 = y - 3*y - 8. Let r be 52/(-20) - y/(-10). Let z be -1 + (-21)/12 + (-12)/(-16). Which is greater: z or r?
z
Let o = -110 - -112. Is o != 11/10?
True
Let c = 38.23 + -38. Let k = -0.03 + c. Which is smaller: 1/4 or k?
k
Let g = 0.057 - 0.157. Are g and -22/5 equal?
False
Let h be (4/10)/(20/25). Suppose 6 = -3*m + 15. Suppose 2 = 2*x - 5*q, -2*x - m*q = 3*x - 5. Is x smaller than h?
False
Let g be (-12)/(-42)*(-3)/(-3). Suppose 0*w = 3*w + 2*y - 5, 3*y = w + 13. Which is greater: g or w?
g
Suppose 4*k - 2*k - 8 = 0. Suppose 0 = -a - k*a + 5. Do a and 2 have the same value?
False
Let n = 7/6 - 5/3. Let g(w) = -3*w. Let a be g(1). Let o be (-8)/40*(-5)/a. Which is smaller: o or n?
n
Let i = -10 - -10. Is 0 <= i?
True
Let s(u) = -u**3 + 13*u**2 - 2*u + 19. Let w be s(13). Let o(f) = -f**2 - 6