o**2. Let j be p(-2). Are j and -2 unequal?
False
Suppose 3*g = -4*t - 164, -4*t - 91 - 57 = -g. Is -39 <= t?
True
Let y = 4 - 4. Suppose y*f = 4*f + 12. Which is greater: -2 or f?
-2
Let g(v) = v + 11. Let r(u) = u**2 + 8*u + 4. Let c be r(-3). Let i be g(c). Let s be (2 + 2/(-2))*-1. Which is bigger: s or i?
i
Let x be 10*((-7)/(-2) - 3). Let a(g) = g**2 - 6*g + 5. Let h be a(x). Let t = 1/36 - -2/9. Which is smaller: t or h?
h
Suppose 4 = -g + 5. Suppose -k - g - 1 = 5*p, -4*k - 8 = 2*p. Suppose -3*j + p*w - 10 = -w, -4*j - 5*w = 7. Is j smaller than -3/2?
True
Let h = 26 + -25. Which is bigger: h or -2?
h
Let h be (-23)/28 + (-20)/(-35). Does -12 = h?
False
Let l(b) = 2*b**2 - 4*b + 1. Let t be l(3). Let p(x) = -5*x + 3 - 4*x + t*x + 6*x**2 - x**3. Let a be p(6). Which is bigger: a or -8?
-8
Let n be 1008/(-351) - (-6)/2. Is 1 equal to n?
False
Let b = 78 - 76. Does -0.6 = b?
False
Let r(f) = -2*f - 7. Let q be r(0). Which is smaller: 0 or q?
q
Let k = 2.8 - -0.2. Let l = -3.3 + k. Let w = 131 - 657/5. Which is smaller: w or l?
w
Let i be (-1)/(-5) - (-18)/10. Suppose -4*n + u + 0*u = 13, -4*n = i*u + 22. Let k be n/2 - 5/(-5). Is 1/2 less than k?
False
Let j = -1 - -3. Suppose 0 = 4*x + b - 20 - 1, -5*b = 5*x - 45. Suppose -2*h - h + 16 = 4*a, -12 = -x*a - j*h. Which is greater: -1/2 or a?
a
Suppose 0 = -2*q - 4, -3*q = g - 286. Suppose -n - g = 214. Let t = n + 10624/21. Is -1 greater than or equal to t?
False
Let r(j) = j**3 - 8*j**2 - 10*j + 11. Let m be r(9). Suppose 3 = -5*v + m*v. Which is smaller: v or 1/6?
v
Let b(j) = -j**3 + 2*j**2 - j + 2. Let l be 6/(-1)*(-1)/3. Let m be b(l). Which is smaller: -1 or m?
-1
Let j = 197/45 - 23/5. Which is greater: j or 0?
0
Let i be (8 + (-10)/5)/5. Which is greater: i or 0?
i
Let d = 12 + -6. Let z = d - 2. Let o = -4 + z. Which is bigger: o or -1/7?
o
Let u = -180307/4 + 7482873/166. Let h = u - 4/83. Is 0 greater than or equal to h?
False
Let j(l) = -l - 1. Let c be (4/10)/((-4)/20). Let i be j(c). Let w = 61/30 - 8/15. Which is bigger: i or w?
w
Let g(l) = l**3 - 11*l**2 - 17. Let j be g(11). Does j = -18?
False
Suppose -3*n + 12 = 9. Let b be n - (0 - -8) - 2. Which is greater: -3 or b?
-3
Let h(y) = -y**2 - 2*y. Let c be h(-3). Is c less than -0.01?
True
Let c = 1.983 - -0.017. Is -12 smaller than c?
True
Suppose 0 = -6*j - 14 - 16. Let r = -2 - 1. Does r = j?
False
Let y = -85 + 68. Which is bigger: y or -50/3?
-50/3
Let j = 29439/115 + -256. Which is bigger: j or -1?
j
Suppose 5*p = -2*l + 290, 3*l + 173 = 3*p + 20. Which is bigger: p or 57?
57
Let s = -36 + 18. Which is bigger: 1 or s?
1
Suppose -b - 24 = -3*b. Is b not equal to 11?
True
Let i be 2/(12/15)*-2. Suppose 4*w + 5*g + 65 = 0, 2*w - g + 5*g = -40. Let r = -16 - w. Is r not equal to i?
True
Suppose 0 = d - 5. Let t = d - 8. Is t not equal to -4?
True
Suppose 4*n - 2*t + 0 - 10 = 0, -4*t = 4*n + 8. Let l(o) = o + 5. Let v be l(0). Let d be ((-8)/110)/((-2)/v). Do n and d have the same value?
False
Let f = -5/2 - -2. Is -4/5 > f?
False
Suppose 0 = -u + 2*o + 1, 3*o - 2 = -2*u - 0. Is 3/10 at least u?
False
Suppose 5 = 3*c - 1. Let n = 0 + -1. Let g = c + n. Are g and 1 unequal?
False
Let d = -56 - -26. Let p be 4 + -1 + 88/d. Is 1 bigger than p?
True
Let s(z) = -z**3 + 13*z**2 - 11*z - 14. Let q be s(12). Let u be (3 - 9/3)/q. Which is greater: u or 1/10?
1/10
Let h = 32 + -18. Suppose h - 3 = o - z, 0 = 5*o + z - 37. Is 8 >= o?
True
Let q be (-2)/10 + 79/(-5). Let w be q/8 + -2*1. Is w less than -4?
False
Let g = -0.3 - 0.2. Let y = g - -0.47. Is y bigger than 1?
False
Let s(n) = -n - 5. Let k(v) = -1. Let t(l) = -4*k(l) + s(l). Let a be t(-2). Which is smaller: -2/7 or a?
-2/7
Suppose 0 = w - 4*a - 46, -3*w + 110 = -a - 50. Suppose u - 24 = -5*i, w = 5*u + i + 2*i. Do 8 and u have the same value?
False
Suppose 0 = 3*a - 4*a + 2. Let p be -3 + 4 - (-1 + 1). Are a and p unequal?
True
Let n = 20 + -46. Let l = n + 235/9. Let a = 3 - 2. Which is smaller: a or l?
l
Let a = -13572/7 + 1935. Which is bigger: a or -3?
-3
Let a be 0/3 - (0 + -1). Let x = -11 + 26. Let d be (-9)/(-10)*25/x. Is a > d?
False
Let x be ((-2)/(-7))/(54/14). Let q(n) = -n**3 + 5*n**2 - 5*n + 4. Let b be ((-2)/(-4))/((-1)/(-8)). Let f be q(b). Is x greater than or equal to f?
True
Let v(t) = -1 - 9*t**2 - 5 - 5*t**3 + 6*t**3. Let m be v(9). Let b be 0*(-2 - 15/m). Which is smaller: b or 1?
b
Suppose 2*o + 2*q = -212, -q - q - 2 = 0. Let x be (14/o)/((-2)/(-3)). Is 1 at most x?
False
Suppose -2*y = 2*a - 4*a + 72, -2*y = 2*a - 52. Let j be a/11 - 8/(-44). Which is greater: 4 or j?
4
Suppose 5*a = -91 + 6. Let s = a + 6. Which is smaller: s or -10?
s
Let w = 6 + -4. Suppose 10 = 2*p + w. Suppose 5*o + 0*x = 2*x + 21, -2 = -x. Which is bigger: p or o?
o
Let q = -110 - -106. Which is greater: q or -34/9?
-34/9
Let j = -57 + 58. Let w = -699 - -11889/17. Which is smaller: j or w?
w
Suppose -f - 43 = -46. Let z be 9/4 + 1/(-4). Which is smaller: z or f?
z
Let y be (-5)/(-3)*3532/30. Let r = 196 - y. Is r bigger than 1?
False
Suppose -h - 8 = 3*t - 0, 2*t = 2*h - 8. Is t not equal to -13?
True
Let o be ((-1)/12)/(1/854). Suppose m - 284 = -3*m. Let q = o + m. Which is bigger: q or 1?
1
Let h(n) = 4*n**2 - 2 - 2*n - 2*n**2 + 10*n - 3*n**2. Let f be h(8). Is f at most -3?
False
Let z be 0 + (-1)/((-3)/6). Suppose -h - 14 = -5*m, 5*h = 3*h + 5*m - 18. Let n be (z/4*h)/(-6). Which is smaller: -1 or n?
-1
Let x be 2 + (-14 - (-1 - -2)). Is x less than or equal to -13?
True
Suppose 0 = -z + 5*z - 16. Suppose -j - z = -3*j. Suppose j*i + 10 = -2*i + 3*b, 5*i = -2*b - 1. Is i at most as big as -1?
True
Let o be ((-3)/7)/(16/(-14)). Is o < -1?
False
Suppose 0 = -3*u + 2*l + 76, u - 2*u - 2*l + 36 = 0. Let j = 28 - u. Are j and 1/4 non-equal?
True
Let i = -388.33 - -390. Let t = i - 0.07. Let g = -0.6 + t. Which is smaller: g or 0.4?
0.4
Suppose 7*i - 8*i + 4*s - 17 = 0, 5*i = -5*s + 15. Is 5/4 bigger than i?
True
Let f = -215.7 - -216. Is f >= -13?
True
Let b(p) be the second derivative of p**4/12 + 5*p**3/6 + p**2/2 - 3*p. Let u be b(-5). Is 2 != u?
True
Let j = 29 - 144/5. Let t = -5 - -1. Let p be (-1 - -3) + (t - -1). Is j smaller than p?
False
Suppose 4*o = 30 - 6. Let k(g) = g. Let f be k(-2). Let a be -1 + (f - o/(-2)). Is -1 > a?
False
Let v(g) = -g**3 + 9*g**2 + g + 9. Let y be v(9). Let m = 15 + -15. Which is greater: y or m?
y
Let p = 1688/627 + -50/19. Which is greater: -1 or p?
p
Suppose -2*j + 2*k + 24 = 4*k, -3*k + 12 = 0. Is j equal to 15/2?
False
Let t = 23.157 + -1.132. Let k = t + -0.025. Which is bigger: 0.1 or k?
k
Let j = -40 - -34. Let y be 3/(-8 + -1)*2. Which is bigger: j or y?
y
Let q = 16 - 22. Let z = -3 - q. Suppose -5 = n, i = -z*i + 3*n + 11. Which is greater: -2 or i?
i
Let c = -25 + 24. Is c greater than or equal to -1?
True
Let s = -13746/3997 + 6/571. Which is smaller: 1 or s?
s
Let n = -19 - -16. Let m(h) = -h**2 + 8*h - 8. Let c be m(6). Let u be (4/(-3))/c*3. Which is greater: n or u?
u
Suppose -s - 166 = -5*f, 3*s = 3*f + 2*s - 100. Is f at least as big as 33?
True
Let b be 3 + 0 + (-2 - -4). Suppose -i - 4*i - 20 = 0. Let o = i + b. Is o != -2/9?
True
Suppose -g + 13 = -5*o, -3*o - g - 12 = -3*g. Suppose -3*x + 8 = -2*x. Let v be (x/10)/(1/(-5)). Is o less than v?
False
Let k be 2 + 20/(-11) + 9304/(-352). Suppose v + 4*w = -46, -5*v = -3*w + 13 + 102. Let x = v - k. Which is bigger: 0.2 or x?
x
Suppose -4*k - 5*t - 25 = -2*k, 5*k + 94 = -2*t. Let o be (k/8)/((-1)/(-2)). Let w(b) = b + 1. Let q be w(o). Which is smaller: -3 or q?
q
Let u(s) be the second derivative of s**3/6 + 5*s**2/2 + s. Let j be u(-4). Do j and 1 have the same value?
True
Suppose 2*j - 7 + 23 = 0. Let q be (-47)/7 - j/(-28). Which is smaller: q or -3?
q
Let h be 28/8 + -2 + 130/(-84). Which is greater: h or -0.1?
h
Suppose -4*p + 2*p - 5*t = 8, -t = -p + 3. Which is smaller: -1/18 or p?
-1/18
Suppose -s = -4*j - 4, -s + 2*j + 46 = -6*s. Is s > -8?
False
Let v = 119 - 71. Let u be 394*(-2)/v*1. Let l = u - -63/4. Which is smaller: 0.01 or l?
l
Let y be (-8)/(-90)*20/8. Let u = y - 25/72. Suppose -5*o - 2*i + 3 = -0, -4 = -5*o - i. Which is bigger: o or u?
o
Let k = -16 + 0. Which is greater: k or -17?
k
Let y be (-66)/(-10) + -3 + -4. Which is smaller: 0 or y?
