-28 + -16. Do -3 and g have the same value?
False
Suppose -47 = w - 13. Which is smaller: -36 or w?
-36
Let v = 4525/407 - 122/11. Let d = -5588 - -5589. Which is bigger: d or v?
d
Let i be 728/(-273)*3/(-20). Is 0.177 > i?
False
Let p(j) = -j**2 - j + 27. Let y be p(0). Suppose 2*q - 27 = -5*v + 56, -92 = -3*q - v. Which is greater: y or q?
q
Let w(x) = -x**3 - 6*x**2 - 8*x - 21. Let r be w(-6). Suppose -r - 3 = 6*s. Which is smaller: -7 or s?
-7
Suppose 5*r = 42 - 12. Suppose -274 = -r*y + 206. Do 81 and y have the same value?
False
Suppose 17 = -11*j + 6. Is j less than or equal to 6?
True
Let o be ((-5)/(-170))/(2/8). Let z = 79/51 + o. Let i = -24 - -25. Is i greater than z?
False
Let d(p) = -p**3 + 3*p**2 + 2*p - 6. Let k be d(3). Let s be 1/(-2) + (-119)/(-210). Which is greater: k or s?
s
Let o = 0.03 - -0.37. Let w = o - 0.4. Let a = -10.23 - -1.23. Which is smaller: a or w?
a
Suppose 5*y + 84 = 2*y. Let h be (172/y)/((-25)/(-2)). Let u = -2/25 + h. Is 1/2 > u?
True
Let q = 948 + -939. Which is greater: q or -10?
q
Suppose -4*c = 2*c - 18. Let z = 4.1 - -1.9. Are c and z unequal?
True
Suppose 4*h - 146 = -50. Let l = -23 + h. Is -31 < l?
True
Suppose 34*v = 28*v - 6. Let u be 2 - (1 - (-1 - -2)). Let f be (-57)/(-138) - 1/u. Is f not equal to v?
True
Let w = 62 - 34. Let g be 2/(-8) + (-105)/w. Which is greater: -13/4 or g?
-13/4
Let f(s) = -2*s - 14. Let w be f(-8). Suppose -t + w*t = 88. Suppose -3*o - t = o. Is -21 > o?
True
Suppose 14*w - 20*w - 12 = 0. Let l(o) = o**2 + 6*o + 7. Let d be l(-5). Suppose -5*q + 5*b - 35 = 0, -2*b = d*q - b + 2. Is w greater than q?
True
Let l = -14 - -13. Let j be 4/l + -8 + 16. Is 4 less than j?
False
Let b = 42 - -25. Let d = 32 - b. Is -34 != d?
True
Let u = 8/21 + 2/7. Let h = -2.85 - 0.15. Let y = 6 - h. Which is greater: y or u?
y
Let k = -1115 - -1114. Is 0.862 greater than or equal to k?
True
Suppose 0*g = -3*g + 3. Let i = -16353/4 + 4090. Is g smaller than i?
True
Let c = 4.1 - 0.1. Let s = c + -4.15. Let b = 0.07 + s. Which is greater: 1 or b?
1
Let j be 147/9 - (-2)/(-6). Which is smaller: 1/11 or j?
1/11
Let g = -26 + 24. Let w be (55056/750)/(g/(-10)). Let a = w + -367. Is 0 < a?
True
Let o = 390 + -388. Let f = -295 + 3251/11. Are f and o unequal?
True
Let d be 15870/(-90)*12/(-20). Which is smaller: d or 106?
d
Let w be 6*(3 + (-21)/6). Suppose -2*p - 3*p - 42 = 4*v, 3*p + 3*v = -27. Which is bigger: p or w?
w
Let d be (3/(-14))/(18/24*149). Which is smaller: d or -1?
-1
Let x(q) = q**3 + q + 1. Let a be (-23 + 7)/(-1*2). Let s be (-6)/a + (-4)/16. Let o be x(s). Is -0.3 > o?
True
Suppose 14*d - 10*d + 4 = 2*v, v - 3*d - 2 = 0. Suppose v*f + 60 = 12*f. Which is greater: 0 or f?
f
Let k = 397/258 + -16/43. Suppose 5*g - 3*g + 8*g = 0. Which is smaller: k or g?
g
Let f be (-77)/3 - (-4)/6. Let k be (f - 1)/(-2 - -4). Let g = k + 15. Which is bigger: 1 or g?
g
Let j(n) = -n**3 + 6*n**2 - n + 7. Let k be j(5). Suppose 3*d + 27 + k = 0. Let p be (-8)/d - (-12)/(-18). Which is bigger: p or 0?
0
Let i(p) = -2*p - 2. Let u be i(-3). Suppose -u*w + 5*r + 33 = 0, -3*r + 12 = w - 5*r. Let n(q) = 8*q + 53. Let o be n(-6). Is w != o?
True
Let c(m) = m**3 - 3*m**2 - 3*m + 7. Let r(p) = p**2 - 7*p + 3. Let f be r(7). Let n be c(f). Let h be (-5)/6*n*3. Is 4 <= h?
True
Let p = 59/32 + -515/32. Is p < -13?
True
Let f(h) = -142*h**2 + 11*h - 14. Let x be f(2). Is 1 at least x?
True
Let m be (17/4 - 5)/(18/4). Let s = 12 + -6. Let a = s + -6. Is m smaller than a?
True
Let t = 33/238 - 284813/1190. Let o = 240 + t. Which is smaller: o or 2?
o
Let a = 75.8 + -74. Let y = -1.82 + a. Which is greater: 0 or y?
0
Suppose -w + 11 = -5*m, 2*w - 5*m + m - 4 = 0. Let r be w/16*-38 + -2. Are 7 and r nonequal?
True
Let m(l) = -l**2 + 7*l - 7. Let o be m(5). Let t(f) = -4*f + o - f - 2*f**2 + 2*f**2 + f**2. Let q be t(4). Which is smaller: q or -4?
-4
Let b = 0.0591 + 0.0409. Which is smaller: b or -10.04?
-10.04
Let m = 987 + -496. Suppose 14*r = 755 + m. Which is bigger: r or 90?
90
Let a be 15/6 - (-4)/8. Suppose 3*o + 16 - 1 = 5*q, -a*o = 15. Suppose 4*r - 5*r - 6 = q. Which is smaller: -7 or r?
-7
Let c = 529 - 112. Is c less than or equal to 416?
False
Suppose 5*q + 165 = 4*f + 931, 0 = -4*q - 5*f + 580. Which is greater: 148 or q?
q
Let b be 0 - (-5 - (-4 + -2)). Is 2/873 at most as big as b?
False
Let r(p) = p + 2. Let y be r(10). Let b be ((-15)/30)/(1/y). Let u(v) = 2*v + 13. Let n be u(b). Is n greater than -1?
True
Let n be 3 - (1 - 5)*(-35)/(-4). Let p = n + -38. Is -3 at least as big as p?
False
Suppose 0 = -q - 2*m + 9 + 1, -q - m = -5. Suppose 5*l - s = 3 + 1, -16 = 2*l + 4*s. Let a be 1 + q/1 - l. Is 2/21 != a?
True
Let p be (-2)/(-8) - (-1)/(-4). Let o = -5 + p. Let m = -3 - o. Are m and 3 non-equal?
True
Suppose 132 + 1347 = 17*a. Which is smaller: a or -0.4?
-0.4
Suppose 0 = -2*w + 4, 4*w + 12 = 15*z - 17*z. Let k(h) = -h**2 - 2*h - 4. Let v be k(-3). Is v less than or equal to z?
False
Suppose 248*n - 291*n = -2838. Is 0.4 greater than or equal to n?
False
Suppose -11 = -5*s + 9. Suppose u = v - 4*u - 17, -16 = s*u. Are v and -9/4 non-equal?
True
Let a(y) = 5*y**2. Let i be a(-1). Let b(h) = -2*h**2 - 29*h + 15. Let t be b(-15). Suppose t*p - i*g = -2*p + 7, 0 = 2*g + 2. Which is smaller: 1/19 or p?
1/19
Suppose 0 = -5*f - 29 + 4, 0 = t + 2*f + 8. Let g be (-39)/(-12) - (2 + t + -1). Which is smaller: -6/7 or g?
-6/7
Let z = 54 + -21. Let x = z - 37. Let j(h) = -3*h**3 + h**2 - 2*h + 1. Let k be j(1). Do k and x have the same value?
False
Let t = -1 + 0. Let y = -6139 - -110509/18. Are t and y unequal?
True
Let h = -213 + 188. Are 2/9 and h non-equal?
True
Let a(z) = z**2 + 10*z + 1. Let c be a(-8). Let d = c - -18. Suppose d*b + 14 = 47. Is 12 greater than b?
True
Let u be 2/(-22) - (-4)/44. Is u > -13/19?
True
Let o(y) = -y**2 + 11*y - 10. Let g be o(8). Suppose 2*c + 0 = 10. Suppose 39 = c*h - 26. Which is smaller: h or g?
h
Let n = 1030.91 - 1031. Is n less than or equal to -17?
False
Suppose -w + 0*w - 74 = 0. Which is greater: w or -76?
w
Let h(l) = l**2 - 5*l. Let g be h(6). Suppose 26*u - 25 = 21*u. Which is smaller: u or g?
u
Let h = -2074/5 - -419. Are 3 and h non-equal?
True
Let r = -16/293 - 21213/3223. Which is greater: -6 or r?
-6
Let p = -6.1 + 4.6. Let i = -3 - -3. Is p >= i?
False
Let r(m) = -2*m**2 - 14*m - 17. Let f be r(-5). Suppose -2*o = 3*u + 86, -f*u = -0*u - 3*o + 81. Which is smaller: -29 or u?
-29
Suppose 8 = 3*s + s, 2*s = i + 7. Suppose 0 = 2*b - 2 - 34. Let l be 1/b*(-1 + 5). Is l < i?
False
Suppose -7*n = -2*n - 50. Suppose 4*a = -a + n. Let z be 30/(-66) - -1*1. Is a < z?
False
Let z = -44.5 - -44.6. Is -1478 > z?
False
Let m be ((-2)/(-4))/(3/(-786)). Let b = 1181/9 + m. Let n = 0.08 + 1.92. Is n equal to b?
False
Suppose 0 = 7*o - 4*o - 4*n - 375, 5*o - 5*n = 625. Is 125 at most as big as o?
True
Let p = 2 - 10. Let j be ((-36)/p)/9*12. Suppose 3 = -3*c - 0, -2*y = -4*c - j. Is y less than or equal to 2/23?
False
Suppose 2*l + 5*h = 0, 0*h - 6 = -3*h. Let c(f) = f**2 - 21*f + 24. Let q be c(20). Suppose -t - q*y - 19 = 0, -4*t + 9 = -5*y + 1. Is t at most l?
False
Let l = 23 - 17. Let s be ((-114)/(-4)*l)/4. Let j = s - 87/2. Is j not equal to -1?
True
Let q(z) = -z**3 + 4*z**2 + 4*z + 1. Suppose -3 = -i + 2*b, -2 = -b - 1. Let n be q(i). Suppose -2*s - 1 + 4 = 3*d, -5*d = 4*s - 7. Which is smaller: d or n?
n
Let j(r) = -3*r**3 + 3*r**2 - 6*r + 5. Let b be j(2). Let a(m) = m**2 + 20*m + 15. Let i be a(b). Which is smaller: i or -2?
i
Let s = -23 - -34. Suppose 3*j - 4*t = s, 4 = t - 3*t. Which is bigger: -1/65 or j?
j
Let z = 25 - 45. Which is smaller: z or -19?
z
Let y(a) = a**3 + 43*a**2 + 46*a + 98. Let g be y(-42). Which is smaller: g or -71?
-71
Let g be ((-16)/(-54))/(34/(-6)). Let i be (-3)/6*(-32)/272. Let o = i - g. Is 1 less than or equal to o?
False
Let g be 5/((-1035)/(-408)) + -2. Let c = 7/23 - g. Suppose -15 = -3*y, w + 3*y - 4*y = -5. Is w less than c?
True
Suppose 2580 = -57*c + 54*c. Is c bigger than -859?
False
Let y = -4054 - -1220253/301. Which is smaller: -1 or y?
-1
Suppose -4*g - 3*b + 30 = -b, -g = 3*b - 20. Suppose 28 - 3 = g*k. Suppose -1 = -k*u - 4*p - 2, -5*u = -p + 6. Which is smaller: u or -3?
-3
Suppose 8 = -75*z + 71*z. Wh