ppose -2*q + 6*q = k. Let f(w) = -w + 1. Let s be f(q). Which is greater: s or 2?
2
Let o = 12 + -5. Suppose 2 = -3*x - 3*g + 14, -47 = -5*x + 4*g. Do x and o have different values?
False
Let x = -13 + 15. Is 19/6 smaller than x?
False
Let r = 9.8 - -0.2. Let f = -16 + r. Let z = f + 8. Is z less than 0.1?
False
Let z be (-6)/(-2) + (-261)/(-27). Is 14 equal to z?
False
Let m(h) = 4*h**2 + 14*h + 24. Let c(r) = 3*r**2 + 9*r + 16. Let q(p) = -7*c(p) + 5*m(p). Let o be q(8). Let f be (-12)/(-5) + (-2)/5. Is f greater than o?
True
Let j(n) = 3*n**3 - 8*n**2 - 5*n + 1. Let o(t) = -4*t**3 + 9*t**2 + 6*t - 2. Let q(v) = -5*j(v) - 4*o(v). Let a be q(-4). Is -2/29 bigger than a?
True
Let f = 0.5 + -0.6. Which is greater: f or 2/5?
2/5
Let p be 2/21*(3 + 0). Suppose 3*u = 3*o, 7 - 1 = u + 5*o. Let i = -6/7 + u. Is i bigger than p?
False
Let c be (1/(-3))/(3/(-45)). Suppose j - 2*w - 15 + 1 = 0, 47 = 4*j - c*w. Let m be (-3 + 1)*j/(-96). Which is bigger: 1 or m?
1
Let a be (-1)/5 + (-31)/(-5). Let p(x) = x**2 - 7*x + 5. Let i be p(a). Which is smaller: i or -2?
-2
Let p = 6 - 6. Let c(i) = -i + 7. Let s be c(p). Let v(d) = d - 7. Let l be v(s). Which is smaller: l or 2/9?
l
Let p = -0.18 + -10.82. Let a = p - -9. Is -3 greater than a?
False
Let s be ((-2)/8)/((-11)/(-44)). Which is smaller: s or -1/14?
s
Let x(r) = r**2 - 3*r + 6. Let q be x(6). Suppose 0 = -3*p + 3, 5*p + 33 + 8 = 2*j. Which is smaller: j or q?
j
Let d = 55 + -34. Which is greater: 20 or d?
d
Suppose -p = -2*u - 2*p + 2, 0 = -u + 2*p - 4. Let o = u + 6. Is o bigger than 7?
False
Let w = -176 + 176.1. Which is smaller: w or 90?
w
Let n be (-8)/(-10)*70/28. Which is smaller: 10/9 or n?
10/9
Let w be 1 - 0*3/(-9). Suppose -5*t + 2*t = -9. Let a be w/(-2*t/(-12)). Which is smaller: a or 3?
a
Let k be -8 + 8/2 - -2. Which is bigger: k or -7/9?
-7/9
Let w = 4 + -3. Let d(x) = x**2 - 5*x - 4. Let z be d(6). Let f be (z - 1)*(w + 0). Is -2/15 > f?
False
Let f(n) = n**3 + n**2 + 2*n + 2. Let m be f(-1). Which is greater: m or 1?
1
Let m = 12 + -7. Suppose m + 0 = -v. Which is greater: -4 or v?
-4
Let j(o) = -o**3 - 5*o**2 - 2*o. Let r be j(-3). Let y = 227 - 479/2. Let p = y - r. Is -0.05 less than p?
False
Let d(t) = 4*t + 1. Let a be d(1). Let n be 0/(4/(-4)) - a. Is n > -1?
False
Suppose -2*u + 3*l + 21 = 0, u - 28 = -0*u + 5*l. Suppose -u*y = y + 8. Let n(g) = g**3 - g**2. Let d be n(-1). Are y and d unequal?
False
Let i = 5.9 + 1.1. Let g = 6 - i. Let a = 0 - g. Is a smaller than -1?
False
Suppose 0 = -4*k - k + 10. Let n be (-34)/(-56) - 1/k. Let d = -1/7 - n. Is d < 3?
True
Let v be 2/4 + 13/(-2). Let u = -9 - v. Let x be u - (-42)/(-27)*-3. Is x not equal to -0.2?
True
Let s = 18286/21 - 871. Let t = 3/7 - s. Let f be (-3)/1 - 2*-2. Is f < t?
False
Suppose -6*l + l = -25. Which is greater: l or 3?
l
Let j = 3/4 + -25/44. Which is smaller: -3 or j?
-3
Let i = 141 - 707/5. Do -5/3 and i have different values?
True
Suppose -25 = -5*g - 5*o, -2*o = g + o + 3. Suppose -2*w + 3*s = g, 2*w + 0*s - s + 7 = 0. Let c(b) = -b - 9. Let d be c(-7). Which is smaller: d or w?
w
Let s be (-10 - -5) + 1*3. Is s at least as big as 4?
False
Suppose 0*t = -2*t - 32. Let u = 15 + t. Are 0 and u equal?
False
Let u(h) = 45*h - 2. Let v be u(3). Let n be 14/v*(-3 + 2). Which is greater: n or 1?
1
Suppose 5*i = -2*g - 12, -3*g - 7 = -3*i - 31. Is i < -2?
True
Let n = 0.02 - -0.08. Is -3 bigger than n?
False
Let w = -20.9 - -20. Let z = -1.1 + 0.1. Let f = w - z. Is f smaller than -1/2?
False
Let c be (-393)/(-540) + -1 - (-2)/9. Do 0.1 and c have the same value?
False
Let a = 13/4 - 73/20. Is -1 != a?
True
Let k = 0.3 - 0.4. Suppose 0 = -3*j - j - j. Which is greater: j or k?
j
Suppose 0*k - 1 = -k. Let o = 272 - 176. Let c be ((-8)/o)/((-9)/12). Is c at most as big as k?
True
Let n = -11 + 12. Let i be (-9)/(((-3)/(-2))/n). Are i and -4 non-equal?
True
Let z be ((-9)/(-6))/(2/(-4)). Suppose 5*n + 4 = -4*u, -5*n + u - 3*u - 2 = 0. Let m(v) = v - 4. Let r be m(n). Is z > r?
True
Let h = -9 - -9. Let k be 0 + (-2 - 5)/1. Which is smaller: h or k?
k
Let z = 5/8 - 23/24. Which is smaller: -1 or z?
-1
Let h be (-20)/82*27/(-135). Is h bigger than 0?
True
Let l(r) = -r**3 - 1. Let f(n) = 3*n**3 - n**2 - n + 1. Let w(d) = f(d) + 2*l(d). Let k be w(0). Which is greater: 0 or k?
0
Let t be (5 - -1)*1/1. Let v be 2/(-6) + t/45. Let o = -1/20 + v. Is 1 <= o?
False
Let u be (-5 + 0)*6/10. Let z be ((-4)/16)/(2 + u). Which is smaller: 1/8 or z?
1/8
Suppose -2*q - 6 = -q. Let j be (4/(-5))/((-4)/30). Let d be 4/(-6) - 26/j. Which is smaller: q or d?
q
Let w be 8/30 + (-4)/6. Let p(n) = -n**3 - n**2 + n + 1. Let y be p(-1). Which is smaller: w or y?
w
Suppose -2*i + 4*k = -i - 15, 2*i = -k + 3. Suppose 3*p - 5*p = -4. Is p > i?
False
Let n = 62 - 61.6. Is 2/5 >= n?
True
Suppose 0 = -4*a - 0*a - 8. Let o be (((-2)/2)/a)/2. Is -1 not equal to o?
True
Let p be 0 - (1 - -1) - (9 + 4). Which is bigger: -2 or p?
-2
Let k = 37 + -28. Is 11 smaller than k?
False
Let c be (-4)/1 + 1 + -6. Let l be (32/c)/(1/6). Let w = l - -21. Is -0.1 less than w?
False
Let s be (-3)/2 + 3/6. Let n be ((-12)/16)/(s/(-4)). Let f be n/(-2)*(-2)/(-3). Is 1 > f?
False
Suppose 0 = 3*x - 6, -6*l + 3*l + x + 1 = 0. Is -1/125 > l?
False
Let z be 28/(-76) - 2/(-6). Which is bigger: 1 or z?
1
Let x = -14 - -23. Let b be (2 + (-21)/x)/1. Which is greater: b or -1?
b
Let x be (-40)/(-16)*28/5. Suppose -z = z - x. Let u = 16 - 9. Is u >= z?
True
Suppose -5*l + i = -0*l - 23, -l + 5*i + 19 = 0. Suppose -l*g = -g - 3. Are g and 1/7 equal?
False
Let a be (-2 - -4)*6/(-4). Let k = a + 4. Let i be 6/3 + -1 - k. Is i >= -1/3?
True
Suppose -1 = -s - 3*a - 4, -2*s + a - 34 = 0. Is -14 not equal to s?
True
Let s be (-7)/12*2114/(-245). Let x = s + -21/5. Let n be ((-1)/(-2))/((-2)/(-8)). Is n smaller than x?
False
Let t = 16 - 10. Let s = 17 - 13. Suppose 3*r - 12 - s = 2*z, r + z - 7 = 0. Is t less than r?
False
Let v = 12 - 6. Let d = -10 + v. Suppose -29*x + 32*x = -12. Is d at most as big as x?
True
Let u be 8/(3 + -1 + 0). Suppose 5*b = 4*t - 2, -2*t = -2*b - 3*b + u. Let j be (42/49)/((-16)/(-14)). Which is bigger: j or b?
b
Let q(z) = z**3 - 11*z**2 - 12*z + 3. Let n be q(12). Are 13/4 and n nonequal?
True
Let h be -2*(1 - 10/4). Suppose -p - h*r = -6*r + 3, 3*p = 5*r - 9. Is -2 < p?
False
Let u(y) = -y**3 - 2. Let i be u(0). Which is bigger: -25 or i?
i
Let k(a) = -2*a**2 + a + 9. Let x be k(0). Is 4 not equal to x?
True
Suppose 5*l = 6 - 1. Let z(h) = h + 1. Let d be z(0). Let v = l - d. Does v = 0?
True
Let d be (2/(-6))/(2/20). Suppose -6 = 10*c - 8*c. Which is smaller: c or d?
d
Let c = 14 - 17. Is -5/3 < c?
False
Let q be 8/2*10/4. Which is greater: 11 or q?
11
Let o be 1 - 7/((-308)/(-32)). Does 1 = o?
False
Let h(r) = -r. Let m be h(3). Suppose -d = 2*d + 12. Which is greater: m or d?
m
Suppose 2*l = -3*l + 15. Let f(y) = y - 6. Let z be f(8). Is z > l?
False
Let i be ((-9)/(-12))/((-2)/(-312)). Let t = 465/4 - i. Let y be (-1 - -2)*(-6 + 6). Which is greater: t or y?
y
Let t = -1 - -0.9. Let k = 57 + -24. Let f = k - 32.4. Does t = f?
False
Let f be (-4)/1*(-2)/4. Suppose 13 = -f*p + p. Do -14 and p have the same value?
False
Let z be (-1 - -2) + 1 - -2. Suppose d + z = 22. Let f be d/136 - (-4)/(-16). Which is smaller: 0 or f?
f
Let b = 2 + -1.97. Let r = 0 + 0.1. Is r greater than or equal to b?
True
Suppose 4*u = -3*g + 31, -2*g - 32 = -3*u - 6*g. Let d be (-3 - -3)*(-2)/u. Let x = 18 + -18. Does x = d?
True
Let v = -1/7 + -1/42. Let l(s) = s**3 - 5*s**2 + 3*s + 5. Let d be (-12)/9*(0 - 3). Let z be l(d). Is v >= z?
False
Let h(a) = -a**3 + 6*a**2 - a + 4. Let l be h(6). Let u be 1/((2/2)/8). Suppose 0 = -2*p + 5*z + 11, -p - p + 4*z + u = 0. Do p and l have the same value?
True
Let n(u) = -u + 12. Let d be n(11). Let m be d - 2/(-1 - 1). Let b = 0.1 + 0.9. Which is smaller: m or b?
b
Let p be ((3 - 2) + -2 - -1) + 0. Which is bigger: p or 1/2?
1/2
Suppose z + 5 = 2*z. Suppose -z*t = -2*d, 8 = -t + 4*d - 2*d. Suppose o = -t*o + 3. Are o and 2 equal?
False
Suppose 0 = 5*j - 6*x + x + 5, -3*x - 11 = 4*j. Are 4 and j equal?
False
Let b(s) = s + 1. Let p be b(-1). Let g(t) = -2*t**2 + 5*t - 3. Let z be g(2). Which is smaller: p or z?
z
Suppose 5*k - 22