2*n + 3*n - 60 = 0. Suppose 0 = -j + 4*j + n. Let o(g) = g**2 + 5*g - 2. Let w be o(-5). Is w less than or equal to j?
False
Suppose -4*r - 24 = -60. Suppose -i = -3*s - r, i = 5*s - 4*i + 15. Let u(h) = h**2 - 6*h + 2. Let y be u(5). Is s greater than y?
False
Let z = -15/26 - -49/78. Are 0 and z unequal?
True
Let r = 4 + -8. Let g = r + 5. Is 1.2 at least g?
True
Let a = 0.3 + -0.2. Let q = 0.1 + a. Which is smaller: q or 2?
q
Let x = 9.3 - -4.7. Do -1/2 and x have the same value?
False
Let h = 83/3 - 28. Let b(k) = 0*k - 5 + 3*k**2 - k + 2 + 2*k - k**3. Let t be b(3). Are t and h equal?
False
Let i = -796/19 + 42. Are -4 and i non-equal?
True
Suppose -22*f + 26*f = -60. Is -15 not equal to f?
False
Let a be ((-2)/6)/(4/24). Let r(y) = y**2 + 2*y + 2. Let v be r(-2). Let s be a/(-4) - 1/v. Is 1 > s?
True
Suppose -b + 11 = b + 5*x, 5*b = -2*x + 17. Suppose -b*l = -l. Suppose l = 4*a - a + 3. Which is bigger: a or -2/7?
-2/7
Let u = 15 - 15. Suppose y - 2*y = u. Let z be (-9)/7 - 2/(-7). Is y >= z?
True
Let y = -50 - -58. Suppose -2*c - 1 - 1 = 0. Which is smaller: y or c?
c
Let m = 16 - 10. Let t = m - 8. Which is greater: t or 0?
0
Suppose -6*r = -8 - 10. Which is smaller: -2 or r?
-2
Let b be ((-1)/76)/((-2)/8718). Let d = b + -229/4. Is -1 != d?
True
Let m be 1/4 + 15/4. Let h be m/(-12) + (-1)/3. Let x = -6 - -4. Which is smaller: h or x?
x
Let z be (-23)/7 + (-2)/(-7). Let h be (z/(18/(-8)))/6. Is 0.1 smaller than h?
True
Suppose 6*f - 2053 = 539. Let p be 2/(-9) - (-69)/f. Which is bigger: 1 or p?
1
Let i be 2 + ((-2)/(-2))/(-1). Let b = 109/3 + -36. Which is greater: b or i?
i
Let s = -621 + 32916/53. Which is greater: -1 or s?
s
Let h(a) = a**2 - 5*a + 3. Let s be h(5). Suppose -32 = 2*f + 5*w, f + 24 = -f - s*w. Which is bigger: -7 or f?
f
Let u = 46 + -45. Is -1/14 at least as big as u?
False
Let t(d) = -d. Suppose f + 5*j - 32 = 5*f, 4*j - 13 = -f. Let y = f + 3. Let r be t(y). Which is smaller: r or -2/5?
-2/5
Let b be (-2)/5 + (-1320)/(-3550). Let w = b + -116/923. Let r = -2 - -3. Which is greater: w or r?
r
Let y = 5 - 1. Suppose 0 = -3*r - y*c + 2, -3*r + c + 3 + 4 = 0. Let o = 9 + -7. Are o and r unequal?
False
Let f = 16 + -30. Let c be (-8)/f - (-2)/(-7). Let n = -44 - -44.4. Which is smaller: c or n?
c
Let m = 5 - 6. Let k = 1.3 + -0.3. Let j = m + k. Is j at most 0?
True
Suppose 0 = -3*j - 3 - 0. Which is greater: j or 21?
21
Let z(l) = -l**3 + 6*l**2 + l - 3. Let d be z(6). Suppose -2*n + p = -n + 6, -d*p = 2*n - 8. Is 0 at least n?
True
Suppose 8*y + 196 = 12*y. Which is smaller: y or 51?
y
Let c(f) = -f**2 + 7*f - 22. Let w be c(8). Is -31 greater than w?
False
Let y be (2/3)/((-2)/6). Suppose -5*l = 5*g + 40, -l - 3 - 2 = 0. Which is greater: g or y?
y
Let v(u) = 5*u**2 - u. Let d be v(1). Suppose -4*p = 5*i - 28 + 1, 4*p = -2*i + 18. Which is smaller: d or i?
i
Let g be (3 - (2 - 1))/(-2). Does 0.6 = g?
False
Let j = 91 + -63. Let p be (-8)/j + (-44)/(-7). Suppose -3*a = -p*a + 6. Is 2/3 at least as big as a?
False
Let r(x) = x**2 + 4*x - 6. Let t be r(-5). Let a be (-20)/35 - (-4)/6. Is t less than a?
True
Let r = 113 + -91. Is 22 bigger than r?
False
Suppose -5*m = -3*c + 13, 26 = -5*c + c - 2*m. Let p = 0.39 + -0.19. Is c greater than or equal to p?
False
Let r(t) = 1 + t**2 - 5 - 1 - t. Let w be r(4). Let g be ((-1)/w)/(6/7). Do g and 0 have the same value?
False
Let h be 12/18 + (-4)/(-3). Let c(w) = -w**3 + 8*w**2 + 5. Let g be c(8). Suppose k - h = v - 0*k, -v + 10 = g*k. Which is bigger: v or 1/4?
1/4
Suppose 0 = -i - j, 4*j - 2*j = 0. Is 7/5 less than i?
False
Suppose -2*f - 5*i = -17, 4*i - 8*i + 20 = 0. Let w = -4 + 1. Is w > f?
True
Let o = 785991/28844 + 2/7211. Let g = 27 - o. Is g less than or equal to 2?
True
Suppose m - 29 = -4*m + 3*c, 4*c = m + 1. Suppose -m + 3 = z. Let i be (1/(-5))/(z/10). Is 1 smaller than i?
False
Let n = -5 - -4. Let d(j) = j**2 - 2*j + 2. Let h be d(2). Which is bigger: n or h?
h
Let r = -237/4 + 59. Are r and 0 non-equal?
True
Let z = 8 - -1. Is z greater than 9?
False
Suppose 0*y - y = 42. Let r be (-8)/(-24) - 1114/y. Let b = r - 27. Which is greater: -1 or b?
b
Suppose -d - 2*d + 4*f = -109, 0 = -2*d - 4*f + 66. Let m be 30/7 - 10/d. Suppose -t + s + m = -5*t, 5*t + 5*s - 10 = 0. Are -2 and t non-equal?
False
Suppose o + 3*i = -1, 0*o + 3*o + 3 = 3*i. Suppose s = -3*q + q - 5, 0 = -4*q - 8. Let n be (4/(-2))/((-2)/s). Is n greater than o?
False
Let g = 2 - -1. Suppose -s = g*s. Which is bigger: s or -2?
s
Let s be 5 - 3/24*214. Which is smaller: s or -22?
-22
Let v = -30 + 2. Let n = v + 25.3. Let f = n + -0.3. Is f > 2?
False
Suppose 9 = 2*p + s - 1, -3*p + 13 = s. Suppose 3*n + p = -3*t, -5 = 2*n + t - 2. Is n > -2?
False
Let i = 11 - 12. Which is smaller: i or 0?
i
Suppose i - 13 = -3*d, 0*i + 5 = i + d. Is -2/5 <= i?
True
Let t = -5 - -5.16. Let j = -0.06 + t. Which is bigger: 1 or j?
1
Suppose -4*a = -4*l + 16, 4*l + 7*a - 4*a = -19. Let x be -3*l/6*-2. Is x not equal to -3?
True
Let n = -0.053 - -4.553. Which is bigger: n or -2?
n
Suppose 0*b + 7 = b - 3*t, -t = 5. Let i = -20 - -12. Are i and b non-equal?
False
Suppose 0*d = -2*d - 4. Is d at least as big as -2?
True
Let x = 159 - 2068/13. Is x < -1?
False
Let p = 38/3 - 14. Let q be (-2)/(-5) - (-2)/(-5). Which is greater: p or q?
q
Suppose -j + 0*j = -2, -3*b + 4*j = 8. Let l = b + -1. Is l less than -3?
False
Let q = -164/3 + 54. Which is smaller: 0.8 or q?
q
Let f = -30.1 - -30. Which is smaller: f or -2/19?
-2/19
Suppose -5*x + 0*x + 3*l + 17 = 0, 0 = l - 1. Suppose 4*g - 6*g - 36 = x*p, 4*p - 12 = 0. Let a be 1*((-51)/g + -2). Is 0 <= a?
True
Suppose 0 = 4*g + 29 - 93. Suppose 9 + g = 5*p, -4*x + 36 = 4*p. Let l be (1/(-2))/((-2)/x). Is -2/5 < l?
True
Let n be (9/((-3)/60*-6))/1. Is 30 <= n?
True
Let v = 40520/11 - 7091759/1925. Let t = v + -8/25. Suppose -2*m - m + 8 = -4*r, 5*r + 4*m + 10 = 0. Which is bigger: t or r?
t
Let g(d) = 4*d**2 - d + 2. Let z be g(-2). Is 19 less than z?
True
Let n be 27/5 - 6/15. Suppose -n*o = -3*o - 2. Which is bigger: o or -1/10?
o
Let o(s) = -5*s + 54. Let u be o(11). Suppose 0 = -5*w + 3*w. Is u at most as big as w?
True
Let j be ((-2 - -7) + -5)/1. Which is greater: j or -6/35?
j
Let i = -3 + 10. Is i at most -2/5?
False
Let l = -188900 - -4340811/23. Let m = 169 + l. Let g be 0/((2*2)/2). Is m < g?
True
Suppose f - 2 + 16 = 0. Let w be 1/3*12/f. Which is greater: w or -2?
w
Let k be (11 - 15) + (-58)/164*-12. Which is smaller: k or -1?
-1
Suppose -3*w + 6 = -5*w. Let i be 2/10 + (-1492)/(-40). Let t = i - 39. Is t <= w?
False
Let a be (-6)/32*8/(-2). Let x be -12*((-45)/12)/5. Let n be (12/x)/(-2)*-3. Which is bigger: a or n?
n
Suppose 3*a = -a + 2*o + 14, -3*o = -4*a + 11. Suppose -a*w - 69 = -3*f + 5*f, 0 = -2*w - 10. Does -21 = f?
False
Suppose -3*a + 1 + 77 = 0. Which is smaller: 24 or a?
24
Let u be 4*(3 + 1 + 0). Is u greater than or equal to 16?
True
Suppose 4*d - 4 - 8 = 0. Let p be (-1 - -16)*2/d. Let t be (-8)/16*(-12)/p. Which is smaller: t or 0?
0
Suppose 4*a - 3 - 13 = 0. Suppose a*k + 9 = 1. Is k greater than -2?
False
Let k = 1 - 3. Let g be (k/(-3))/(4/18). Suppose -5 = -2*l - g*l. Which is smaller: -1 or l?
-1
Let p be (16/18)/((-10)/15). Let k be (1 - 2)/(1 + 0). Which is smaller: p or k?
p
Let n be ((-1)/3)/((-4)/(-5637)). Let u = n + 472. Are u and 1 nonequal?
True
Let s(b) = -b + 1. Let p be s(4). Let g be 1/(8/p)*4. Suppose 0*z - 13 = -2*m + 3*z, 0 = -5*z - 25. Which is greater: g or m?
m
Let q be ((-3)/40)/((-4)/48). Let h = q - 43/70. Is 0.4 less than or equal to h?
False
Let q be (-1)/3 + (-212)/(-24). Let m = q + -47/6. Which is bigger: m or 1?
1
Suppose 0 = 3*d - 6 - 0. Let m be (0 - -2) + 1 + -1. Let y be m/7 - (-6)/28. Which is smaller: d or y?
y
Let u be (0 + 1/2)*0. Suppose 0 = -d - u*d + 1. Let f = 1 + -1. Which is smaller: d or f?
f
Suppose -7*m - 6*m = -52. Is m != 33/7?
True
Let h = 1 - 1. Suppose h = 4*s - 9*s + 10. Are 6/7 and s nonequal?
True
Let b(y) = y**3 - 25*y**2 - 3*y + 87. Let p be b(25). Which is bigger: p or 7?
p
Suppose 4*g + o + 7 = -0*g, 0 = 2*g - 3*o + 7. Let v be (-4 - 2)*g/12. Are v and 5/3 equal?
False
Let j(h) = -12*h - 2. Let n be j(-1). Suppose -5*q + 20 = 0, 3*q - n = 3*y - 1. Is y at least 2/3?
True
Suppose 0