 equal to n?
False
Let g(u) = -4*u**2 - 3*u - 1. Let h be g(-2). Let t = h - -12. Is t equal to -3/7?
False
Let s be (-2 - -1)/1*-5. Suppose -5*u - 4*m - 4 = -8, -s*u + m - 1 = 0. Let q = 4 + -6. Are u and q nonequal?
True
Suppose l = -2*b - 31, 6*b - 3*b = -l - 33. Are l and -27 unequal?
False
Let y(n) = 2*n**2 + 4*n + 2. Let r be y(-2). Let g = -3 - -10. Let u be 2/g - 32/63. Which is smaller: u or r?
u
Let t = -6/289 + -675/9248. Do 0 and t have the same value?
False
Let b = -42 - -6. Let x be (2/(-8))/(27/b). Let a be 1*(-1 + 3)/2. Which is greater: x or a?
a
Let h(b) = -b**3 + 4*b**2 + 15*b - 1. Let q be h(6). Is q less than 15?
False
Let f = 3.53 - 5.6. Let x = -0.07 - f. Is -1 not equal to x?
True
Let w(r) = -r + 1. Let s = -4 - -3. Let k be w(s). Which is greater: k or 5/2?
5/2
Let l be (1/(-2))/((-1)/2). Let r = 7 + -5. Suppose -t + r*p = -3*p + 4, -5*t + 7 = 2*p. Is l at most as big as t?
True
Let p be (-2)/4*1*(-5)/(-2). Which is bigger: p or -2?
p
Let b = 61 - 69.2. Let d = -12 + 20. Let v = b + d. Is v less than or equal to 0.2?
True
Let l(b) = -3*b - 5 - b - 2 + b**2. Let k(p) = p**3 + 7*p**2 + 3*p - 13. Let r be k(-6). Let x be l(r). Is x < -1/2?
True
Suppose 11*y = -2 + 24. Is 20 less than or equal to y?
False
Let d = -2.9 - 0.1. Let a = 2.96 + d. Is a <= 0.2?
True
Let q(x) = x**3 - 3*x**2 + 2. Let u be q(2). Let p be 16/6*(-3)/u. Suppose -7*g + 30 = -g. Which is smaller: p or g?
p
Let u be ((-9)/(-8) - 0) + (9 - 10). Which is smaller: u or 0?
0
Let j = -112 + 111. Is -2.9 at most j?
True
Let n = -0.6 + 0.5. Let t = 0.5 - n. Which is greater: -2/7 or t?
t
Let f = 11 - 3. Let p = 1.4 + 6.7. Let a = p - f. Which is greater: a or -0.1?
a
Let j = -0.25 + 0.35. Is 24 smaller than j?
False
Let g be (15/(-6) - -1)*2. Let m(x) = x - 2. Let a be m(1). Let o = a - g. Which is greater: 1 or o?
o
Let t = -3 - -9. Suppose -3*i = 3*o + t, 0 = -0*i + 2*i - 4*o + 16. Are i and -4 nonequal?
False
Let f be 6/(-4)*6/18. Which is smaller: f or -1?
-1
Suppose 0 = 10*f - 10. Is f != -4/57?
True
Let u be 96/10 + 4/10. Suppose -s - 2*w = w + 12, 3*s + u = 4*w. Which is smaller: s or -5?
s
Let t(b) = -b**2 + 6*b - 6. Let k be t(4). Suppose 0 = -4*g, -3*s + 0*g - 15 = k*g. Is -3 > s?
True
Let x(h) = -h + 2. Let o be x(3). Let s(m) = -m - 3. Let v be s(11). Let g be (12/v)/3 - 0. Is g > o?
True
Let b = -6463/7 - -420382/455. Let v = 3/13 - b. Which is smaller: 1 or v?
v
Let n(m) = m**3 - 5*m**2 - 8*m + 9. Let u be n(6). Suppose 2*q = 3*x + 20, 3*x - 2*q + 24 = q. Does u = x?
False
Let m = 0.06 + -0.46. Let p = m + 2.4. Let s = 0.04 - -1.96. Is s less than or equal to p?
True
Let m = -29 - -23. Which is smaller: m or -3?
m
Suppose -5*y - 5*n = 20, 0 = -6*y + 4*y + 5*n + 13. Is y less than or equal to -14/13?
False
Let u = -0.18 - -0.28. Let f = 0 + u. Which is bigger: 0.01 or f?
f
Let v = 24 + -25. Which is smaller: 1/7 or v?
v
Suppose -2*q - 2*q - 12 = 0. Is q bigger than -2?
False
Let j = -3923 + 43122/11. Let b = j + -28/33. Which is greater: -5 or b?
b
Let m(s) = -2*s**2 + 4*s - 1. Let x be m(3). Let z = -6 - -1. Let r = z - x. Which is bigger: r or 1?
r
Let t = -1 + 2. Let p be 0 + 2/(-4) + 9/36. Is p at least t?
False
Let h = 1.4 + -2.6. Let c = h + 1. Is c less than or equal to -2?
False
Suppose -f = -0 - 2. Suppose -3*d + 26 = -5*t, 3*d + 2*t + 0*t + f = 0. Is 1 > d?
False
Let p = 17 + -17. Let v be (-1 - p - 0)/(-1). Suppose 0 = -5*j - 5*d, 0 = 4*j + 2*d - 4 - 0. Which is bigger: j or v?
j
Suppose 11*n + 8 = 9*n. Is n greater than -3?
False
Let z(p) = p**3 + p**2 - 2. Let i be z(-2). Let g be (i/12)/((-2)/(-4)). Which is greater: -3 or g?
g
Suppose 5*l + 2*m - 35 = 0, 0 = 3*l + 4*m - 20 - 15. Suppose -25 = 2*x - 7*x. Let u = x - l. Is 2/11 > u?
True
Let q(m) = -2*m**2 - m**2 - m + 0*m**2 + 4*m**2. Let k be q(1). Is k at least -1/2?
True
Let z = -1.9 + 2. Let l be (6/16)/(-2 - -3). Which is bigger: l or z?
l
Let o be 0 - 0 - (65/15 + -5). Is o at least as big as 1?
False
Let d = 25/148 + 3/37. Let v be 3*-1 - 117/(-27). Is d >= v?
False
Let v = 2 - 4. Let z(g) = g + 11. Let l(b) = -b**2 - 3*b + 6. Let h be l(3). Let t be z(h). Which is bigger: v or t?
t
Let o(i) = -i**3 + 9*i**2 - 10*i - 15. Let s be o(8). Which is smaller: s or -30?
s
Let b be 2/(1*(-1 + -6)). Is b equal to 1?
False
Let f(s) = s**2 + 13*s + 17. Let y be f(-12). Suppose 8 = 2*n, -2*h + y*n = -6*h + 16. Let c be (2/(-3))/((-1)/(-3)). Which is greater: h or c?
h
Let j(a) = -2 + 7*a - 4*a - 2*a + 9. Let d be j(-7). Suppose 0*l = -3*l + s + 10, l = s + 6. Is l > d?
True
Let c be (-1)/2 - (-44)/8. Let s be (c/3)/(-5) + 1. Is 1 less than or equal to s?
False
Let j be (-1)/(1/2*-17). Let w = 19 - 6. Suppose -10*b + w*b = 0. Which is bigger: j or b?
j
Let y = -9 + 5. Let v be (2/(-3))/(3/(-18)). Suppose 15*k = 16*k + v. Is k smaller than y?
False
Suppose -5*q - 4 = s - 3*s, 2*s = -2*q + 4. Which is greater: -4 or q?
q
Let b be (-5)/((-5)/(-2))*-12. Let x be (8/b)/(2/6). Which is bigger: 2/3 or x?
x
Let c be 1*1/(-4) + 0. Suppose 3*p = -0*p + 51. Suppose -4*z - 18 = -2*t, -2*z = -t + 2*z + p. Are t and c equal?
False
Let t = -23 - -22. Is -10 not equal to t?
True
Let b(f) be the third derivative of f**6/120 - f**5/30 - f**4/24 - f**3/2 + f**2. Let x be b(3). Let i be (x + -2)/(3 - -1). Are i and -0.3 equal?
False
Let d = -4 - -4. Suppose 0 = 2*l - d*l + 6. Which is smaller: -2 or l?
l
Let f = 7 + -4. Suppose h + f*b + 15 = 0, -4*b = h - 1 + 21. Suppose 3*c + 2*c = h. Is c at most -1?
False
Let i(h) = h**3 - 6*h**2 - 1. Let x be i(6). Let q = -6 - -7. Which is smaller: x or q?
x
Let a(c) = c**2 + 3*c - 2. Let y be a(-4). Which is greater: y or 3?
3
Let d be 4/(-14) - (-3 - (-748)/28). Is d at least as big as -23?
False
Let u = -24 + 26. Let l = -0.04 - 2.96. Let t = -5 - l. Are u and t non-equal?
True
Let d(r) = 2*r**2 + 9*r - 10. Let g be d(-7). Suppose g = 5*y - 0. Suppose -l + 8 = y*p, -3*p - 2*l + 3*l = 0. Which is smaller: 0 or p?
0
Let h = 6 + -2. Is -1 greater than h?
False
Let o be (0 - 1)*(-27)/(-3). Is -11 less than o?
True
Let h = 24 - 70/3. Suppose -5*r + 4 = -r. Which is smaller: r or h?
h
Let n = -4.5 + -27.5. Which is smaller: n or -0.1?
n
Let a be (10/(-50))/(-3 - -2). Does -9 = a?
False
Let r be (-4)/6 + ((-20)/(-12))/(-5). Which is greater: r or -1/130?
-1/130
Let r be 5 + -1 + -1 + 0. Suppose -k - 2*f - 2*f - 26 = 0, 5*k + 15 = r*f. Let p be -2*(3/k - -1). Which is bigger: -1/5 or p?
-1/5
Let p(m) = -m**3 + 4*m**2 - 4*m + 4. Let r be p(3). Let v be (-6 - 420)*(-2)/(-15). Let b = -57 - v. Which is smaller: r or b?
b
Let m(w) = -w**2 + 1. Let n be m(-1). Suppose n*o - 2*o = -6. Which is greater: 1 or o?
o
Suppose u - 324 = -2*u. Suppose 2*d - u = -d. Suppose -2*h + 10 = 0, -4*l + 0*l - 4*h = -d. Is 1 greater than l?
False
Let s(y) = y**3 + 8*y**2 + 8*y + 7. Let t be s(-7). Suppose 0 = -3*z + 3*p, -5*z + p = -t*p + 4. Let m be 0/(-1*(-2 - -4)). Which is greater: z or m?
m
Let q = 11 + -38. Is -27 greater than or equal to q?
True
Suppose 2*w - 1 = 11. Let x be (-14)/w + (-2)/(-1). Let i(n) = n - 6. Let f be i(6). Is x equal to f?
False
Let j be 0/(((-11 + 3)/2)/(-2)). Which is bigger: j or 1/34?
1/34
Let u(t) = -t**2 + 7*t + 2. Let a be u(8). Let z = -3 - a. Suppose z*o = 2*o. Is 1 equal to o?
False
Let d be ((-14)/10 + 1)*5. Suppose -5*q - v + 19 = -29, 3*v - 24 = -3*q. Let o be ((-3)/4)/(15/q). Is o at most d?
False
Suppose 5*q - 5*c - 13 = 2, 2*q + 2*c + 6 = 0. Is 2/11 greater than or equal to q?
True
Let r = -27/5 - -5. Let u = -4/35 - r. Is u bigger than -1/2?
True
Let h(g) = -g**2 - 3*g + 3. Let a be h(-4). Let f = -30/20149 + -35401523/181341. Let y = f - -195. Is a less than y?
True
Suppose 0 = -7*b + 4*b - 3*j - 3, 2*j + 2 = b. Which is smaller: 2/61 or b?
b
Let z = 0.24 - 0.14. Let n = -3 - -3.2. Is n equal to z?
False
Suppose 0 = z + f, 4*f + 4 = 2*z - 4*z. Suppose z*x = -h + 43, 9 = -5*x + h + 106. Is 19 bigger than x?
False
Let m = -31/3 + 11. Which is greater: m or -1?
m
Let r be (-8)/(-30)*(-9)/24. Which is smaller: 0 or r?
r
Let q(a) = a + 7. Let t be q(-8). Let m be (-6)/8 - t/(-4). Is -2 bigger than m?
False
Let c = 2 - 2. Is -1/3 less than c?
True
Let d be 68/7 - (-18)/3. Does d = 15?
False
Let u = 8 + -1. Suppose -2*r + 3*r + 5*w + u = 0, 2*r + 4 = -5