2*w - a. Is 1/14 < m?
True
Suppose g = -4*g + 4*k + 8, 0 = 4*g + 4*k + 8. Suppose 1 = -4*m + p + 15, -4*m - p + 18 = g. Suppose -m*i = -i + 3. Which is greater: i or -5?
i
Let n = 17 + -18. Are -1 and n non-equal?
False
Let s = 27.41 - 27. Let y = s - -18.59. Is 0 less than or equal to y?
True
Let t(l) = 2*l + 19. Let i(k) = -k - 10. Let q be (-3)/6*(2 + -12). Let s(c) = q*i(c) + 3*t(c). Let n be s(-4). Which is bigger: 4 or n?
4
Let d(a) = a**3 - 2*a**2 - 3*a + 3. Let s be d(3). Suppose 0*z = 3*z - 2*o, o = -z. Is z at least as big as s?
False
Suppose 32*o - 37*o = -20. Which is greater: o or 32/7?
32/7
Let c(i) = -i + 2. Let v be c(-3). Suppose 30 = v*n - 2*n. Suppose n*p + 5 = 5*p. Is -1 equal to p?
True
Let q = 372/5 - 74. Which is smaller: q or 17?
q
Let a(l) = -l**3 - 3*l**2 - l. Let s be a(-3). Suppose -3*j - 3*w = -21 + 6, j + s*w - 11 = 0. Let r = j + 0. Which is smaller: 1 or r?
1
Suppose -7*s = 24 + 4. Let v be -3 - 6*2/s. Let j be (-4)/(-6) + 62/(-66). Is v <= j?
False
Suppose -5*f = -3*z - 20, -5*z - 20 = -4*z + 5*f. Let r = -8 - z. Let s be 25/(-30) - r/3. Which is smaller: -1 or s?
s
Suppose 5*k = 4*x - 6 - 11, -3*k - 2*x = 19. Which is smaller: k or -7?
-7
Let p be 12/15 - (-1)/5. Is p bigger than 2/21?
True
Let n be (4/(-5))/(6/30). Let q be (-6)/((-12)/n) + 0. Which is smaller: q or -3/4?
q
Suppose 4*f - 360 = -5*o, 5*o - 7*f + 3*f = 360. Suppose -o = 5*v - 17. Let i = -10 - v. Which is smaller: i or -2/7?
-2/7
Let i be (1 - 1)*(-2)/4. Let h = 5565/17 + -327. Is h equal to i?
False
Let t be (-1 + 74/70)*(-50 + -30). Which is bigger: 2 or t?
2
Suppose y = -3*y. Let p be (0/(-3) + y)/2. Let i(t) = -t**2 + 7*t - 5. Let r be i(6). Is p at most r?
True
Suppose -2*d = 5*k + 38, -2*k = -d - 0*k - 1. Does -9 = d?
True
Suppose y + 3*y = 4. Let q(r) = 4*r + 34. Let m be q(-8). Is y less than or equal to m?
True
Let j = -3.5 + 4.5. Is j > 10?
False
Let j(r) = 8*r + 21. Let o be j(-3). Which is bigger: 1.4 or o?
1.4
Let t be 8/6*(-27)/(-18). Suppose -20 = -2*w + 5*j, 5*j + 35 = 2*w + 3*w. Let q = w - 3. Are q and t unequal?
False
Suppose -y - 2 = -q + 19, 4*y + 4*q + 76 = 0. Which is smaller: -21 or y?
-21
Let n(t) = -t**3 - 2*t**2 + t + 4. Let y be n(-3). Do 10 and y have the same value?
True
Let b(t) = 5*t**3 + t - 1. Let l be b(1). Suppose -1 = z - l*h, 0 = 2*h - 0*h - 4. Which is smaller: 10 or z?
z
Let b = -177/2 + 91. Let q = b + -3. Which is greater: q or 0?
0
Let k be 89 + -8*1/((-4)/(-2)). Do 85 and k have different values?
False
Let s = 13 + -12.3. Let c = -0.3 + s. Do -1/4 and c have different values?
True
Let c(i) = i + 1. Let v be c(-3). Let r be -2 + v/(-3)*6. Let x = -11/6 - -7/3. Is x bigger than r?
False
Let i be ((-1428)/351)/(-4) + -1. Which is smaller: i or 1?
i
Let d be 2 - 5 - 17/(-5). Are d and 1/3 unequal?
True
Let z = 29 + -27. Is z != 5/6?
True
Let o = -15.14 + 15. Which is smaller: o or -0.1?
o
Suppose -4*u = 1 + 27. Let x be -2 - ((-22)/u)/(-2). Which is greater: 1 or x?
1
Suppose i - 1 - 1 = -3*u, -6 = -3*u + 3*i. Suppose 5*r - 10 = 3*r. Suppose -4*f + 5*y - 14 = 0, u + 0 = -r*f - 2*y. Is -4/3 at most as big as f?
True
Let c be (12/(-891))/(10/10815). Let q = c + 136/9. Which is greater: q or 1?
1
Suppose 0 = 2*a - 5*c + 11, -5*a + 2*c - 38 = -0*c. Let w = a + 10. Is w >= 6/7?
True
Let u(n) = -n**3 + 5*n**2. Let a be u(5). Suppose a = 4*d - 4*q + 4, -3*d + 2*d + 5 = -4*q. Let z be (-1 - -2)*3/d. Which is bigger: 3/7 or z?
3/7
Suppose 22*h = 21*h - 6. Which is smaller: h or -5?
h
Suppose -5*r = 6 + 4. Let z be 4 - 3*(r + 3). Is z greater than or equal to 2/5?
True
Let z = -23.8 - -23.7. Let t = -2 + 4. Let i = t - 3. Is z smaller than i?
False
Let z be (-2)/(-8) - 6/12. Let u = z + -1/4. Which is greater: 2/7 or u?
2/7
Let i be (-84)/(-15) - 4/(-10). Let j be 4*3/i*2. Suppose 0 = 3*d + 3*h - 3, -5 + 1 = -j*d - 5*h. Is d equal to 3/2?
False
Let s = 84626856571/21945 + -26994221/7. Let v = s + -2/627. Is 1/4 > v?
True
Let a be ((-16)/(-12))/((-4)/6). Is -3/5 at most a?
False
Suppose 2*p = 5*p - 6. Suppose p + 0 = 2*j. Is j >= 1/6?
True
Let g = -59 + 58. Let o be (-1)/2 + (-42)/(-78). Which is smaller: o or g?
g
Let i = 101 - 96.9. Let m = 0.9 + i. Let b = m - 4.7. Which is bigger: 0.1 or b?
b
Let u = 13 - 10. Let b be 1/u + 64/(-12). Which is greater: b or 1?
1
Suppose 4*c = 1 + 15. Let l(b) = b - 4. Let h be l(c). Let y be 44/540*3 - 1/(-5). Is y at most h?
False
Let w(s) = -s + 2. Let y be w(0). Suppose u = y + 1. Suppose 4*i = -c + 20 - 2, 0 = 4*i + 4*c - 24. Is i >= u?
True
Suppose 4*y + 3*g = 78, -y + 4 = 5*g - 7. Let w be (-6)/y - (-38)/(-14). Which is greater: -1 or w?
-1
Let p = -12 - -35. Is p smaller than 23?
False
Let r = 11 - 10.6. Is 5 equal to r?
False
Let f = -4.5 + 0.5. Let g = 3.9 + f. Which is greater: -1/6 or g?
g
Let t = 48748/17289 - -4/1017. Let f = 596/187 - t. Which is smaller: f or -1?
-1
Let m(y) = -y**3 + 3*y**2 + 6*y - 6. Let g be m(4). Suppose 2*r + g*r = 0. Let x = r - 2. Is x bigger than -2?
False
Suppose 2*v + 6 = v. Let j(w) = -6*w + 1. Let i be j(1). Which is greater: i or v?
i
Suppose -4*n = -78 + 18. Suppose -j = -0*j + n. Let b be (-1)/(-3) + (-25)/j. Is 1 greater than b?
False
Let g = 32 - 33.02. Let f = g + 0.02. Is 0.1 greater than or equal to f?
True
Suppose 0 = 5*c - 0*c + 10. Is -5 >= c?
False
Suppose 3*j + 2*j = 0, -4*b - j - 4 = 0. Let a be 2 + 2 + 14/(-2). Let c be (1 - b)/((-14)/a). Is 1 at most c?
False
Let l = -0.91 + -0.09. Does -0.04 = l?
False
Suppose -3*f + 9 = 2*s + s, 0 = -4*f + 4*s + 28. Let o be 2/8 - 2/8. Suppose o*g = -4*k + g + 14, -f*k + 11 = 2*g. Is k less than 3?
False
Let o = -26 + 26.55. Let u = o + -0.6. Let h = u - -0.15. Which is smaller: -4 or h?
-4
Let d = -858 + 28310/33. Do d and 0 have different values?
True
Let z = 1 - -1. Let o(w) = 4*w. Let m be o(z). Is m not equal to 8?
False
Let b(p) = p**2 - 5*p + 4. Let s(n) = -3*n - 3. Let h be s(-2). Let u be b(h). Suppose 4*o = -0*o + 4. Which is bigger: u or o?
o
Let l = -1 - -1. Let d = l + 0. Let y = 0.04 + 0.96. Is y at least as big as d?
True
Let r(d) = 2*d - 1. Let y be r(4). Suppose 1 = -v + l, -4*v + 5*v + y = -l. Do -4 and v have the same value?
True
Suppose 3*a - 5*f = -21 - 41, 0 = f - 4. Is a >= -41/3?
False
Let g = -1.2 - -2.2. Which is greater: g or -1/54?
g
Let y = -4 + -20. Let f be (y/(-40))/(2/(-10)). Let v be (-12)/7 - (-2)/(-7). Is v at most as big as f?
False
Suppose 3*a = 2*x - 19, -5*a = -2*x - 2*x + 35. Let s(w) = w**3 + 3*w**2 - 1. Let g be s(a). Do -1 and g have the same value?
True
Suppose 5*z = 4*z + 1. Let g = -3 + z. Is -1 < g?
False
Let o = -208603/110086 + 1/5794. Let d = 66/95 + o. Is -2 >= d?
False
Let g = 73 - 70. Let o(z) = z**2 + 6*z - 4. Let p be o(-4). Let n be ((-3)/4)/(3/p). Are g and n non-equal?
False
Let d be 2 + 273*(-2)/170. Let m = d + 24/17. Which is greater: -1 or m?
m
Let c = 1404 - 4264/3. Is -16 bigger than c?
True
Let v(z) = -z**2 + 8*z + 13. Let n be v(9). Suppose -n*w = 2*r + 4 + 4, w = -r + 1. Which is greater: r or 8?
8
Let s(c) = c**3 - 8*c**2 - 10*c + 8. Let g be s(9). Let a be g - 1/(-1) - 0. Suppose a*k + 3*k = 12. Which is smaller: k or 3?
3
Let r(k) = -5*k - 16. Let d(c) = -6*c - 17. Let h(i) = 6*d(i) - 7*r(i). Let u be 3 - 5 - 28/(-2). Let b be h(u). Which is smaller: b or 1?
b
Let p = 0.64 + -0.04. Let y = p + 0.1. Let w = y + -3.7. Is 0.2 >= w?
True
Let v(o) = o**3 + 6*o**2 + 5*o + 4. Let z be v(-5). Suppose -12 = z*l, -2*l - 24 = 3*k + l. Is -5 at least k?
True
Let h(c) = -c**3 - 11*c**2 + 23*c - 23. Let t be h(-13). Is t > 18?
False
Let w be 2/(2*1) - -12. Let q be w/(-5) - (-1 - 0). Let a(y) = -7*y + 144. Let h be a(21). Do h and q have the same value?
False
Let k = -2 + 5. Suppose i - 1 = -u, i - 3*u - 10 = 3. Is k smaller than i?
True
Let d = -51 + 155/3. Let n be 0*(1 + -3 - -1). Suppose 3*j + n = 3. Is j < d?
False
Let x = 0.03 + 0. Let b = 0.04 - x. Let u = b + -3.01. Which is smaller: 2 or u?
u
Let a = 177 + -3008/17. Let m = 29/85 + a. Is m greater than 0?
True
Let d = 38 + -27. Is d at most as big as 11?
True
Suppose -1 + 7 = 2*a - 2*i, a + i = -5. Let x be ((-8)/10)/((-2)/(-5)). Which is bigger: a or x?
a
Let x be (-1)/4 + (-14)/(-120). Suppose 7 = v - 4*l + 16, -5*v = -l - 31. Suppose -v*d + 2*d = -5. Which is sma