-5*y = k + 18, 2*y - 5*k - 10 = 7*y. Let a be n(y). Let s be 1*-1*(-1 - -1). Which is smaller: s or a?
s
Let n = 10.84 + 0.16. Let u = n + -8. Are u and 0 nonequal?
True
Let w(m) = -m - 1. Let r be w(-2). Let f = r - 3/2. Let c(y) = y**2 - 12*y - 29. Let n be c(14). Which is bigger: f or n?
f
Let i be 149/(-20) - 4/(-20). Let s be (-6)/5*20/(-3). Let b = i + s. Are b and -2/5 equal?
False
Let a = -6 + 5.7. Suppose 4*u - 6 = -s, 4*u - 4 = -0. Which is greater: a or s?
s
Suppose -r + 2*r = -4*f - 15, 0 = 2*r + 3*f + 10. Which is smaller: r or 14/11?
r
Let c(i) = -i + 3. Let a be c(6). Suppose -5*z = -6 + 1. Let w be z - 3 - (-1 - -2). Does a = w?
True
Suppose 5*x - 7*x + 2 = 0. Does -1 = x?
False
Let b = -4 - -6. Which is bigger: b or 0.04?
b
Suppose 3*r + 9 = 0, g - 10 = 2*g + 5*r. Suppose g*l - 24 = 1. Suppose -5*i = x + 3*x - 24, -5*i = -l*x - 15. Which is smaller: 2 or i?
2
Let t be 20/(-70) - 2/(-7). Let i = 0 - -3. Are i and t unequal?
True
Let u = -16 - -14. Which is bigger: -5 or u?
u
Suppose -2*s = -s + 2. Let r(c) = c**2 - c - 2. Let k be r(s). Suppose -2 + k = -f. Is -2 at least as big as f?
True
Let l(n) = -n**2 - n + 2. Let q be l(0). Suppose -3*v + 0*u = 3*u + 27, q*v + 6 = u. Let i(c) = c**2 + 4*c - 1. Let h be i(v). Is 3 at least as big as h?
False
Let p be (-2)/(-8) - 2/8. Let n = 47 + -47. Is n bigger than p?
False
Let q be 6 - 0*(-3)/6. Let x be 3/(-2)*4/q. Let l be x + 1/(0 - 3). Which is smaller: l or -1?
l
Let o be 37/(-4) - (-2)/8. Let q be (-2)/o + (-21)/(-27). Which is greater: -1/9 or q?
q
Let k = 0.12 + -0.12. Which is smaller: -10 or k?
-10
Let o be ((-2)/(-6))/((-10)/(-150)). Which is smaller: 7 or o?
o
Let l = -5 - -6. Let n be (1/1 - l)*-1. Which is bigger: n or 1/2?
1/2
Let c = -0.02 + -1.98. Let w = 2.4 + c. Let t = w + -0.4. Is -0.2 greater than t?
False
Let q = -0.3 + 0.2. Let g = -25 - -23. Which is smaller: q or g?
g
Let h be ((-3)/(-3) + 0)/1. Let k = 29 - 18. Is k greater than or equal to h?
True
Let u be (0 + -1)*(-14)/(-10). Suppose 0 = 3*k - 0*k + 6. Is k > u?
False
Let u be -2 + 3 - (-45)/(-55). Is u not equal to -0.3?
True
Let f = 47734 + -572461/12. Let v = 121/4 - f. Let h be (-2)/3 - (-4)/6. Is v greater than h?
True
Let o = -1.948 + 1.9. Which is bigger: 2/7 or o?
2/7
Let s be 2/6*15/(-20). Suppose -6*b = -3*b - 21. Suppose -3*y = 4*j - b*y, -4*y = -2*j + 2. Which is smaller: j or s?
j
Let d be 0 - 2 - (-7)/5. Is d greater than or equal to 5?
False
Let d = -97 - -18. Is -1/3 bigger than d?
True
Let b be 92/24*(-3)/(-9). Let j = -16/9 + b. Which is bigger: j or 1?
1
Let j(t) = -4*t. Let a be j(-1). Let c(i) = i**2 - 8*i - 12. Let b be c(10). Suppose -b + a = 4*z. Is 1/5 at least z?
True
Let h be ((-186)/84 + 2)*5/(-3). Which is bigger: h or 1?
1
Let s = -88 + 87. Is s greater than -16?
True
Let d = -0.22 + -0.78. Which is smaller: 1/8 or d?
d
Let u = 34 + -16. Let w = u + -13. Is 6 at most as big as w?
False
Let c = -0.3 + -0.7. Let l = 269.8 + -270. Is c < l?
True
Suppose -25 + 85 = -5*n. Do -12 and n have the same value?
True
Let q = 18.07 - 18. Is q smaller than 1/3?
True
Let f = 6.2 - -1.8. Let n = 8.95 - f. Let w = 0.05 + n. Are w and -1 non-equal?
True
Let s(y) = -y**3 + 11*y**2 - 2*y + 14. Let k be s(11). Are -9 and k unequal?
True
Let v(x) = x**3 - x**2 + 2. Let k(c) = 3*c**3 - 3*c**2 + 5. Let l(a) = -2*k(a) + 5*v(a). Let w = 3 - 3. Let n be l(w). Is n > 1?
False
Let v = 62/5 - 221/15. Is v bigger than 0.2?
False
Let p(f) = 2*f**2 + 7*f + 3. Let j be p(-4). Is 6 less than or equal to j?
True
Let f = 63 - 70.2. Let g = f + 7. Let c be 2*(-1)/2*-1. Is g >= c?
False
Suppose a = 3*a + 2. Let j be (-2)/(-12)*12/21. Which is smaller: a or j?
a
Let r(n) = 6*n**2 - 3*n - 10. Let w(f) = f**2 + f. Let l(v) = r(v) - 5*w(v). Let o be l(9). Let q be 44/20 + 1*o. Is 1 < q?
True
Let m(y) = y**2 + 5*y. Let r be m(-5). Suppose -3*p = -2*g + 6*g - 6, r = -2*g - p + 2. Which is smaller: g or -1/12?
-1/12
Let p = 10 + 8. Is p less than 19?
True
Suppose 5 = -4*h - 3. Which is greater: 65 or h?
65
Let y(k) = k - 8. Let s be y(7). Let m(b) = 7*b**2 - 5*b + 8. Let i(l) = -8*l**2 + 5*l - 9. Let w(t) = 6*i(t) + 7*m(t). Let q be w(4). Is s bigger than q?
True
Suppose b + 9 = 12. Is 1/3 < b?
True
Suppose 4*u + 10 - 2 = 0. Let v be -4*(110/56 + 2/(-1)). Is v greater than or equal to u?
True
Suppose -10*y = -5*y + 45. Is y at most -9?
True
Let k be 1/(-2) + 68/8. Is k at most 6?
False
Let x = 511 + -6640/13. Does x = -1?
False
Suppose p - s + 1 = 0, -p - 4*s = -4*p. Let v = 6 + p. Do v and 2 have the same value?
True
Let g = 17 + -35. Let v be (g/45)/(9/(-5)). Suppose 5*k = -2 + 7. Which is bigger: k or v?
k
Let i be (-25)/2 - 7/(-14). Which is greater: -10 or i?
-10
Let y = -3.1 + -3.9. Let m = 0.07 - -2.93. Let d = m + y. Is d at most as big as -1/2?
True
Let p(i) = -i - i + 6 + 3*i. Let u be p(-6). Which is greater: u or -2?
u
Let w be -5*(2 - (-8)/(-6)). Is -2/7 smaller than w?
False
Let b be 1*(14/(-6) + 3). Let f = b - 1. Is f at least as big as -1?
True
Let w = 91.2 - 91. Let x = 0.38 + -0.08. Is w > x?
False
Let r = 12/13 - 49/39. Which is smaller: -1.8 or r?
-1.8
Suppose -1 = 3*b + 5. Let i = 0.04 + -0.04. Which is greater: i or b?
i
Suppose -4*u = -2*t + 123 + 163, -3*t = -9. Let s be 204/u - (-10)/(-35). Is s < -3?
True
Let j be (11 - 9)*1/2. Are j and 0 equal?
False
Suppose 4 + 0 = -j. Let p = 31/8 + j. Which is bigger: p or 1?
1
Let p = -721/3 - -238. Let f be (2/4)/(3/(-18)). Which is smaller: f or p?
f
Let u be -2 + (240/21)/5. Let z = -0.5 + 0.52. Let i = z + 0. Which is smaller: i or u?
i
Let v(c) = -8*c**3 + 0 + 3*c - 5*c**2 + 9*c**3 - 1. Let a be v(4). Let u(p) = p - 1. Let w be u(a). Is w bigger than -7?
True
Let t(c) = 2*c - 1. Let a be t(0). Which is smaller: a or 0?
a
Suppose -2*m = v - 0*v - 6, -5*m = -4*v + 11. Is m greater than -8?
True
Suppose -2*k = -5*k + 75. Which is bigger: 26 or k?
26
Let b be (-480)/(-756) - 4/(-18). Do b and 0 have different values?
True
Suppose -2*o + 3*o - 1 = 0. Let b = 548/5 - 109. Is b at least o?
False
Let q = -2 - -7. Suppose q*a + 6 = 1. Let i = 2561/14 - 183. Is i equal to a?
False
Let z = -48 - -434/9. Is z > 1?
False
Suppose 3*n = -0 - 12. Are n and -5 unequal?
True
Let o = 1.079 + -0.099. Let w = -0.02 - o. Is -1 <= w?
True
Suppose -i + 4*i - 2*x - 2 = 0, -i - 3*x - 3 = 0. Is i less than or equal to 1?
True
Let l be (-2)/(-1 - 1) - 2. Let t(d) = -7*d**2 + 8*d - 1. Let v(j) = 4*j**2 - 4*j. Let a(i) = 3*t(i) + 5*v(i). Let g be a(3). Which is smaller: l or g?
l
Suppose l + 17 = 4*l + 2*w, w = 1. Let v be -1*(0 - -2) + l. Which is bigger: 0.4 or v?
v
Suppose x = 3*x - 2. Let w(b) = b**2 + 9*b + 19. Let i be w(-6). Is i >= x?
True
Let s(q) = -q**3 + 9*q**2 - 3*q - 14. Let p be s(7). Which is bigger: p or 64?
64
Suppose -4*f + 212 = -14*t + 10*t, -4*f = -t - 44. Are -55 and t non-equal?
True
Let v be (-4 - -1)/6*-8. Suppose -2*y - 3*t = -21, y = 5*y - v*t + 8. Let h = 0.931 - -0.069. Which is bigger: h or y?
y
Let y(l) = l**3 + 4*l**2 + 5*l + 3. Suppose 5*o + 20 = -r + 6*r, -4*r = 4*o. Suppose -9 = 5*k - r*k. Let j be y(k). Which is smaller: j or -1?
j
Let a be 4/(-18) + (-564)/(-108). Let v be 0/(4/(-3 + a)). Is v at most 2?
True
Let l = 9.9 + 0.1. Let q = -10.2 + l. Let j = 46/3 - 15. Is j not equal to q?
True
Suppose 0 = -2*o + 2, z + 2*o + 1 = -3*o. Is -5 at most z?
False
Let j be 2 + (-34)/(4 - 2). Is j greater than or equal to -16?
True
Suppose -21 = -4*j + n, 3*j - 5*n = 14 + 6. Suppose -i - 8 + j = 0. Let s be 5 + 2 + (-3 - i). Is 7 equal to s?
True
Let a be (-2)/(-2 + (-3)/(-2)). Suppose -4*r + 9*j + 9 = 4*j, -1 = -a*r - 3*j. Let o = 79/3 - 105/4. Are r and o nonequal?
True
Let g = -7 - -11. Suppose -o = g*p + 2 - 1, -o = -3. Let i be p/(-4) + (-3)/(-4). Which is greater: 3/5 or i?
i
Suppose -3*u = -2*u + 2*u. Which is bigger: 6/19 or u?
6/19
Let s = 1.3 - 1.25. Which is greater: -1 or s?
s
Let a(z) = z + 2. Let l be a(-6). Let u = l - -3. Let f be (1/(-3))/((-11)/(-33)). Are u and f equal?
True
Let o = -19287/35 + 551. Which is smaller: o or 0?
o
Suppose -2*c - 1 = -3*c. Is c >= -4?
True
Suppose -4*h = -3 + 11. Let c be (2 + 33/(-9))*-3. Suppose 25 = -c*k - 0*k. Which is bigger: h or k?
h
Let f be ((-3)/9)/((-1)/9). Suppose -r - 13 = -f*o - 6, 0 = 2*