0 = -0*n + 5*n + 5*c - 5. Suppose 25 - 9 = n*p. Which is smaller: p or 3?
3
Suppose 3*w = -5*v + 6 + 4, 0 = 2*v + 2*w - 8. Let h be 0/((v - 0) + 2). Are 4 and h nonequal?
True
Let d be 1*-1*(3 - -1). Let c be 16/(-12)*1/d. Let l(i) = i - 5. Let m be l(5). Which is smaller: m or c?
m
Let w = 30 - 17. Let y = -6 + w. Is y > 0?
True
Let j = 4 + -5. Is -1 greater than j?
False
Let z = 36 - 22. Let h = 15 - z. Is 2/7 greater than h?
False
Suppose r = -0*r + 6. Suppose -3 = -3*k - r, 0 = 4*i - 4*k - 12. Suppose 15 = 3*x + i*x. Is x less than 4?
True
Let j = 18.7 - 14.74. Let y = j + -4. Let i = -1.96 + y. Which is smaller: i or -1?
i
Suppose 8*p = 3*p. Suppose -6 = 2*w + 4*m, 0 = 2*w - p*m - 5*m - 12. Let h = -211/45 + 24/5. Is h smaller than w?
True
Let b = -134/3 + 44. Let p = 1 - -2. Let z = 2.5 - p. Does z = b?
False
Let g = -0.1 - -0.7. Which is greater: -3/2 or g?
g
Suppose 3*q - d + 129 = -4*d, 0 = -2*q - d - 83. Let y be (-2)/8 + (-26)/q. Is y >= 0?
True
Suppose 5*g + 80 = -0*n - 5*n, -2*n + 2*g = 32. Let b be ((-8)/n)/((-4)/(-6)). Which is smaller: b or 1?
b
Suppose i - 4*p + 2 = 1, -2*i - 20 = -2*p. Let f(u) = -u**3 - 2*u**2 + 2*u - 12. Let m be f(0). Is m at most as big as i?
False
Let w(r) be the first derivative of -r**2/2 + 4*r + 1. Let s = -6 - -11. Let a be w(s). Which is smaller: a or 1/4?
a
Let i = -0.117 + 0.347. Which is bigger: 0.1 or i?
i
Let u be (-13)/(-4) - 4/16. Which is greater: u or 5?
5
Suppose 5*f + 5*w = 5, f - 4*f - 4*w = -5. Which is smaller: -3/4 or f?
f
Suppose -c + 2 = -4. Let i = c - 8. Which is smaller: -3 or i?
-3
Let l be 9/(-6)*28/6*-1. Does 7 = l?
True
Let d be 1/(-5) - (-62)/10. Is d != 0?
True
Let l be (1 + 2/(-4))*-2. Let q = 3 + l. Let u be -3 + 3/1 - -2. Is u < q?
False
Let f(s) = 7*s**2 - 3*s. Let g be f(-5). Let k = -1328/7 + g. Which is smaller: k or 0?
0
Suppose 3 = 2*w - 3. Let o be -1*0/(w/1). Suppose 3*n = -o*n - 9. Which is smaller: n or -2?
n
Let y = 203 - 2643/13. Let d = 3/52 + y. Is d greater than or equal to 0?
False
Let i be (-82)/(-4) - (-1)/(-2). Suppose l + i = -l. Let r be 1*1/l*-1. Which is smaller: 1 or r?
r
Suppose -10*y + 2*y = 320. Which is smaller: -39 or y?
y
Let y be 2/(-6) - (-2)/(-3). Let h = 37 - 40. Is y greater than or equal to h?
True
Let t = -13 - -5. Let a be (-6)/(-2)*(-96)/36. Do a and t have the same value?
True
Let v = -62 - -41. Let z = v - -21.4. Which is bigger: 1/3 or z?
z
Suppose 7*w - 32 = 3*w. Let t = 24 - 15. Which is greater: w or t?
t
Let u be 0 - ((-2)/(-6) - 1). Let c = 75.11 - 75. Is u at most c?
False
Let l be 0/(-3 + 7 - 3). Which is smaller: 2/23 or l?
l
Let j = 2/59 - 191/413. Suppose -4 - 12 = -4*x. Suppose -4*g - 5 = -3*v + 1, 8 = 3*g + x*v. Which is greater: j or g?
g
Let n(v) = 2*v**2 - 2*v + 1. Let u be n(1). Let z = 5 - 6. Is z >= u?
False
Let s = 99/7 - 14. Let k = -103 - -102. Is s greater than k?
True
Let u be 6/(-15) - (-7)/5. Let s be (0/((-2)/u))/2. Let j(d) = 2*d + 9. Let c be j(-4). Which is smaller: s or c?
s
Suppose 3*l - 4*h = -h + 21, -3*h = -l + 11. Suppose -4*i = i - l. Which is smaller: -1/4 or i?
-1/4
Let b = 0.07 + 0.05. Let w = -1.84 + 1.74. Which is greater: b or w?
b
Let p = -6 - -3. Let v = p - -9. Let r = 4 - v. Which is bigger: -0.1 or r?
-0.1
Let a be (-21)/(-18) + 8/(-12). Let p = 21 - 62/3. Is p bigger than a?
False
Let i = -210 + 1677/8. Which is bigger: i or 0.3?
0.3
Let f be ((-68)/12)/(2/6). Let z be f/8 - (2 + -4). Which is bigger: z or 1?
1
Let k = -8 - -17. Let i = -6 + k. Which is smaller: i or -1?
-1
Let m = -4.9 - -0.7. Let w = m - -2. Let x = w + 2. Is x less than or equal to 2/7?
True
Let u = -0.5 + 1.5. Let v = u - 10. Let a = v - -8.6. Which is bigger: 1 or a?
1
Let i = 4 + 1. Let q = i - 4. Let x be 3/3 - q/1. Is -5/4 at least x?
False
Let d = 54 - 71. Is -33/2 less than or equal to d?
False
Suppose -4*r + 11 = 5*b, -3 = 5*b + 2. Suppose 4*q = -m + 4 - 5, 5*q + r = -4*m. Which is smaller: m or 2/7?
m
Suppose 0 = -27*f + 32*f + 10. Is 0 >= f?
True
Suppose 0 = -8*c + 7*c + 3. Let h be 3*2/(-3)*-1. Which is smaller: c or h?
h
Let a be (-6 - -4) + 3 + 13. Is 14 greater than or equal to a?
True
Let g be (-3 + 11)*(-2)/(-8). Let p(n) = 4*n - 1. Let l(m) = -m - 1. Let b(i) = -3*l(i) - p(i). Let s be b(4). Is s equal to g?
False
Suppose -2*z = -0*z + 12. Is -5 bigger than z?
True
Let b(s) = s**3 + s + 1. Let y = -3 + 12. Let j(o) = o**3 - 10*o**2 + 8*o + 9. Let m be j(y). Let p be b(m). Is p less than 1?
False
Suppose 0 = 3*p + 5*w + 9, -6*p - 5*w = -p + 5. Suppose -2*j - p = -2*b, b - 2*j = -7*j - 23. Let g be 24/(-10) - (b + 1). Is -2 < g?
True
Let v = 18 - 16. Let u be 5/3 - 2/3. Is u less than or equal to v?
True
Let h be (3 - -1)/(66/24). Let s = 113/55 - h. Is 0 at least as big as s?
False
Let m = 3 + -8. Let t be (-1)/1 - (m - 0). Suppose -4*g - 11 = 5*i - 8*i, 0 = t*i + 3*g - 23. Which is greater: 4 or i?
i
Let w be 5/12 - (-4)/(-6). Let h be (6/(-9))/(1/12). Let x = -9 - h. Which is greater: w or x?
w
Let s be 0 + -1 - (-10)/(-4). Is s equal to 0.1?
False
Suppose 0 = -d + 5*d. Suppose d = l - 0*l. Which is greater: l or -4/7?
l
Suppose -2*z - 19 = 5*j, -5*z = 2*j - 0 - 5. Let q be (j/(-20))/((-33)/36). Is 0 less than q?
False
Let h = 117.7 + -110. Let w = -8 + h. Which is smaller: 0 or w?
w
Let p(o) = o + 9. Let w be p(-10). Let l be -3 - (3/w + -1). Does l = 1/4?
False
Let c = 15 - 11. Let v be c/(-7)*(-7)/2. Is 3 >= v?
True
Let g = 0.42 - 0.02. Let z = -0.3 + g. Suppose 13 = -c + 3*b, c - b - 9 = 4*c. Which is greater: z or c?
z
Let z = 312 + -665/2. Suppose 5 - 47 = -2*x. Let c = z + x. Is -0.2 > c?
False
Let q = -9 - -54. Suppose -6*p - 15 = q. Is p at least -10?
True
Let v be (-3)/2*(-7 + 3). Let x be (-3)/v + (-18)/(-4). Let i be 1/(10/x)*-1. Do 0 and i have the same value?
False
Let i be (1 + 1)/((-3)/(-1)). Let k(c) = -c + 8. Let l = 22 + -16. Let v be k(l). Which is greater: v or i?
v
Let z be (1*-7)/((-4)/(-212)). Let b = z + 2577/7. Let x = 246/91 + b. Do 0.1 and x have the same value?
False
Let x = -5 + 7. Suppose x*y - 14 = -2*f, 27 + 5 = 5*f + 4*y. Let w(u) = u**3 - 6*u**2 + 2*u - 9. Let m be w(6). Is m <= f?
True
Let x = 2 + -1. Let q = -5 + 8. Suppose -1 - q = -4*j. Is j <= x?
True
Let k = -31 + 31. Let m = 4 - 2. Suppose 5*w = -m*t + 27, 2*t = -0*t + 5*w - 23. Is k at most t?
True
Let v(k) = -k**2 + 11*k - 10. Let h be v(9). Let g = 51 + -44. Is g <= h?
True
Let i = 40/11 - 10/33. Is -1 greater than or equal to i?
False
Let b = 0.37 - 0.07. Let f = 0.4 - b. Let v = -7.2 - -7. Is f > v?
True
Let a be (-18)/(-52)*6 + -2. Is a at least as big as 1?
False
Let b be 1 + 25/(-8) + 2. Which is smaller: -1 or b?
-1
Let m = 5067/13 + -390. Which is bigger: m or -2/9?
-2/9
Let i = -19 - -11. Which is bigger: i or -9?
i
Let v = 35 - 25. Suppose -5*w - 4*t = -38, w + 4*t + v = 4*w. Suppose y + z = 0, -2*y - 3*z - 2*z = w. Are 1 and y nonequal?
True
Let o = 7 - 7. Let j = 37 - 42. Is j at least o?
False
Let w = 0 - -1. Let s(j) = -9*j**2 - j. Let y be s(-1). Let p(q) = -q**2 - 9*q - 7. Let i be p(y). Is w less than i?
False
Let x be 14/(-4)*(-7 + 14 + -9). Is 5 <= x?
True
Let l be 143/(-39)*(-3)/(-4). Are -3 and l non-equal?
True
Let k = 0 - -2. Let v = 11 - 3. Let g = 7.7 - v. Which is smaller: k or g?
g
Suppose 25 - 2 = 4*r + 5*c, r + 5*c - 17 = 0. Let l be r - 2 - -2 - 2. Suppose l = 4*x - x. Which is smaller: -1 or x?
-1
Let b be ((-14)/(-4))/((-21)/(-210)). Is 35 at most b?
True
Suppose 0 = 49*p - 47*p - 64. Is 33 at most as big as p?
False
Let w = 1 + -0.96. Is 0.2 > w?
True
Let w be -4 - (70 + 0 + (-2 - 1)). Is -72 less than or equal to w?
True
Suppose 4*p - 14 + 2 = 0. Let q = -2 + p. Which is smaller: q or 2/5?
2/5
Let p(v) = -2*v - 10. Let w be p(-5). Which is bigger: w or -1/3?
w
Let k = -158/63 + 1/126. Let p = 102 - 103. Which is smaller: p or k?
k
Let p = 5 - 6. Let u = p + 0.4. Which is smaller: u or -2/3?
-2/3
Suppose 19 = 4*g + 3. Which is bigger: 7 or g?
7
Suppose -13 - 7 = 5*b. Let w be (b - -3 - 3) + -4. Does -8 = w?
True
Let r be (-16)/(-28) + (-324)/(-21). Is r != 0.1?
True
Suppose -5*g = -56 + 21. Let o(y) = y**3 - 2*y**3 - g*y**3 + 7*y**3. Let h be o(1). Is 0 < h?
False
Let u = -2 - -4. Let z be u/40*(-1105)/(-6). Let a = 63/8 - z. Which is greater: -1 or a?
-1
Suppose 0