6)/(-9) + 2/9. Suppose -3*q + 0 + h = 0. Let c = -1/2052 - -1411/513. Are c and q non-equal?
True
Let i = 127 + -80. Suppose 36 - i = -11*l. Suppose -5*a = w - 13, -4*a - 3*w = -0*w - 6. Is l greater than or equal to a?
False
Let f(t) be the third derivative of -1/60*t**5 + 0 - 5/3*t**3 + 0*t - 11/24*t**4 + 6*t**2. Let m be f(-10). Is -2 less than or equal to m?
True
Suppose -19*o + 7511 - 1317 = 0. Is o >= 325?
True
Let y = 16.3 + -78.3. Let i = 69 + y. Is i >= -1?
True
Let w be -6 - 2 - (3 - 0). Let b(g) = -2*g + 3. Let l be b(-4). Let s = w + l. Which is bigger: -3/11 or s?
s
Let f = -441 + 7499/17. Suppose 4*b + 0*r - 26 = 3*r, -4*b + 30 = -r. Suppose 0*s = 8*s - b. Is s bigger than f?
True
Let i be (-4)/(-25)*(17 + 48976/(-2880)). Do 1 and i have different values?
True
Let h(m) = -m + 10*m + 6*m + 3. Let j be h(1). Are 17 and j unequal?
True
Let r be 10/(-25) + (-66)/35. Is r less than or equal to 2/5?
True
Let f(t) = -3*t**2 + 4*t - 3. Let v be f(3). Let p = 33 + v. Let g be (24/p - 2)*2. Which is bigger: g or 0?
0
Let c be (-50)/180 + 1/(-9)*2. Which is bigger: 8.9 or c?
8.9
Let u be 2 - -3 - (16 - 13). Which is smaller: u or -1.121?
-1.121
Suppose -3*l + 3 + 6 = 0. Let u be (20/(-440))/(0 + (-2)/96). Is l greater than or equal to u?
True
Let t = -4 + 0. Let q(f) = 5*f**2 - 16*f - 11. Let m(s) = s**2 - s - 1. Let x(w) = t*m(w) + q(w). Let o be x(12). Is -7 bigger than o?
False
Let y = -19 + 22. Suppose 0 = y*b + 157 + 143. Is b bigger than -100?
False
Let x = 80 + -82. Which is bigger: -7/10 or x?
-7/10
Let j be 3 + (54/(-351) - (-5768)/(-26)). Which is smaller: -218 or j?
j
Let x = -309 - -143. Which is smaller: -165 or x?
x
Suppose y - 5 = -0*y. Let f be 0 + (y - 3) - -1. Is 5 less than f?
False
Let n be ((-8)/(-4) - (4 - 2))/2. Which is smaller: -72 or n?
-72
Let i(a) = -51*a - 111. Let n be i(-18). Which is smaller: n or 0.1?
0.1
Let j be -42 + (4 - (-6 + -3)). Which is bigger: 4 or j?
4
Suppose -7 = 4*k + 1. Let c(v) = -4*v - 4. Let y be c(k). Suppose 6 - y = 2*m. Is m less than 2?
True
Suppose f = 7*u - 9*u + 4, -3*u + 3 = 0. Is 13 at least as big as f?
True
Suppose -2*n + 13 = y, -4*y + 11 = n - 2*y. Let u = 11 + n. Suppose -u*o = -11*o. Is 1 at most o?
False
Suppose -191 - 277 = -3*z. Suppose k + 3*q + 68 = 0, -z = 3*k - q - 2*q. Is -55 > k?
True
Let f = -1291.9 - -1308. Which is bigger: 0 or f?
f
Let u = 27.85 + -19.7. Let g = -531 + 523. Let d = g + u. Is 1 equal to d?
False
Suppose 2*n + 55 = 7*n. Let o(l) = l**2 + 6*l - 4. Let u be o(2). Which is greater: u or n?
u
Let j = -9 - -5. Let z(k) = k**3 + 4*k**2 - 3*k - 4. Let i be z(j). Let n be (-7)/(14/i) - -3. Which is smaller: n or -2/49?
n
Let f(q) = -q**2 - 2*q - 7. Let d be f(6). Let n be (-3003)/d + 0/2. Let x = n + -55. Is 0 less than or equal to x?
False
Suppose -3*t = -4*u + 54, 2*u - 15*t = -10*t + 20. Is 5 equal to u?
False
Let f(v) = 19*v + 5. Let s be f(1). Suppose -72*z = -68*z - s. Suppose 2*k = 3*k - 5. Is k at least as big as z?
False
Let a = -6254/3 + 2087. Is a less than 1?
False
Let p be (-8)/((-10)/(-35) + 162/(-28)). Which is bigger: 0 or p?
p
Suppose 1687*a - 1670*a = 578. Let v = 39 - 5. Do v and a have the same value?
True
Let h be (-2)/(-36)*39 + (-5)/(-20). Which is smaller: h or 3?
h
Let l = 1.06 + -0.86. Which is smaller: 5.6 or l?
l
Let d = 0.1345 - -13.8655. Which is greater: 1/34 or d?
d
Suppose 8*o = 6*o - 78. Let j = 40 + o. Is 6/25 greater than or equal to j?
False
Suppose -30 = -5*u + 60. Suppose 3*k = i - 29, -5*k = -4*i + u + 42. Let c be k/(-4)*2/(-20). Is c at most -1?
False
Let v(l) = -l + 3. Let z be v(3). Let j = z - 2. Let b(d) = -d**2 - 11*d - 4. Let n be b(0). Which is greater: n or j?
j
Let o(i) = -i + 16. Let y be o(11). Let h be y/2 - (-400)/(-224). Is 1 < h?
False
Let q = 0 + 0.6. Let k = 345 - 347.6. Let t = q + k. Is t less than or equal to 2?
True
Let b(p) = p + 1. Let c(x) = -3*x - 6. Let z be c(-3). Let m be b(z). Suppose -m*k = 5 - 1. Which is bigger: 2 or k?
2
Let q(x) = -x**3 - 13*x**2 + x + 15. Let t be q(-13). Let m be (3 - 3)/t + -2. Let k be -1 + 1 + -1 + 1. Is k < m?
False
Let t = 0.0263 - -0.1737. Suppose q + q = -3*j + 2, -3*q = -3*j - 3. Suppose 0*a + 5*a = j. Is a > t?
False
Let t(x) = 2 - 3*x + 4*x**2 + 2 - 3*x**2. Let d be t(2). Suppose -d = -3*y - 5. Which is smaller: y or -2?
-2
Suppose 3*j - 5*a + 170 = -2*j, -3 = -3*a. Let x = 31 + j. Which is greater: x or -22?
x
Suppose -l + 5*i + 115 = 0, -3*l = -3*i - 79 - 254. Which is smaller: 112 or l?
l
Let a be 0 - (13 - (1 - 9)). Is a equal to -22?
False
Suppose 0 = -11*t + 2*t + 270. Let h = -77 - -108. Which is greater: t or h?
h
Let v be 8/(16/(-105)) - (-48)/(-32). Do -54 and v have the same value?
True
Suppose 46*q - 160 = 30*q. Which is smaller: q or 132/13?
q
Let l(a) = 15*a**2 - 579*a - 15. Let b be l(40). Is b at least as big as 824?
True
Let y be 8/(-12) - (-33)/9. Let z(f) = f**3 + 7*f**2 + 5*f - 9. Let p(i) = -i**3 - 7*i**2 - 5*i + 10. Let r(g) = y*z(g) + 2*p(g). Let s be r(-6). Does 2 = s?
False
Suppose 0 = -0*l + 3*l - 9. Suppose -2*w = -2*d + 2, -w - 4 = -4*d + l. Is 13 greater than w?
True
Let m be 172/14 + 2/(-7). Let o = -805 - -818. Is o equal to m?
False
Let u(n) = -4*n**2 - 9*n + 1. Let y be u(2). Which is smaller: y or -2/25?
y
Let c = 0.0753 - -3.9247. Is c less than 5.4?
True
Let j = -46014.973 + 45991. Let z = j + -0.027. Which is smaller: z or -1/4?
z
Let g(d) = 3 - 6*d + 12 + 10 - 1. Let n be g(4). Which is smaller: n or 0.23?
n
Let b(w) = -w**2 - 4*w + 7. Let o be b(-5). Let r be (o/(-3))/((-4)/12). Which is smaller: 1 or r?
1
Let k(a) = -2*a**3 + a**2 - 4*a + 5. Let r be k(2). Let w be (-6)/r*(-4 + 2). Is -1 greater than or equal to w?
False
Suppose 0*r = 4*l - 3*r - 14, -6 = -3*r. Suppose 0 = d + d + 5*h + 4, -l*h - 10 = 5*d. Let q be (8/(-6))/(d/(-6)). Which is greater: -5 or q?
q
Let d(q) = 95*q**2 + q. Let c be d(-1). Let o = -189/2 + c. Is 77 at least as big as o?
True
Let c be (12/18)/(-6 + (-23856)/(-3978)). Which is smaller: c or -222?
-222
Let d be (-16 + 11)/(3/2 + -1). Is d greater than or equal to -81/8?
True
Let r = -21 + -83. Let o = 100 + r. Is o greater than or equal to 7/6?
False
Suppose 4*f + 3*n = -12, -n - 1 = f + 3. Suppose 5*k + 1 = w, w = 2*k - 2 - f. Which is smaller: w or -21/4?
-21/4
Let v be (14/(-63))/((-22)/(-6) - 4). Which is smaller: -7/19 or v?
-7/19
Let t = 153/2650 - 1/50. Suppose -142 + 22 = 5*w. Let k be 4/10*(-20)/w*-3. Which is smaller: t or k?
k
Let t(f) = -7*f - 2. Let s be t(1). Which is smaller: s or -5?
s
Let i = -5518/3 + 1839. Are 0.1 and i unequal?
True
Suppose -9*s + 6*s = -72. Let m = -25 + s. Let n be m/(56/18 - 3). Which is greater: -8 or n?
-8
Let o = 6 + -4. Let f = 0 - o. Is f greater than or equal to -0.2?
False
Let h(z) be the first derivative of z**3/3 - z**2 - 2*z - 2. Suppose g + 4 = -w - 1, -4*g - 13 = -3*w. Let x be h(w). Which is bigger: 6 or x?
6
Let h = -19.4 + -3.6. Let x = h - -23. Which is bigger: 1 or x?
1
Let m = 318 - 218. Let u = -102 + m. Which is smaller: 0.38 or u?
u
Let c = 238/25 - 47789/75. Let v = 9082/15 + c. Let z = v + 107/5. Are z and -1 unequal?
True
Suppose -5*v - 4*z = 10, 3*v + 1 = z + 12. Suppose 0 = 3*y - 5*m - 12, -2*y + 4*m + 15 = 7. Are v and y nonequal?
True
Suppose -44*v = 787 + 1677. Which is smaller: v or -624/11?
-624/11
Let k = -3.18 - -0.18. Let f be (-6)/(-3) + -1 - -2. Let u be (-46)/14 + f/1. Is k equal to u?
False
Suppose -5*v + 3*q - 1416 = 0, q + 646 = -2*v + 84. Are v and -279 non-equal?
True
Let k = 46895/29 + -1617. Suppose -3*w + 0 = -2*h + 3, -2*w + 4*h - 10 = 0. Do k and w have the same value?
False
Let l = -25 + -80. Is -106 at most as big as l?
True
Let q be 462*(-7 - 39/(-6)). Is -231 <= q?
True
Suppose 7*s + 2 = 6*s. Let t = 9 + s. Let n be (4/8)/((-2)/(-28)). Is n greater than or equal to t?
True
Let q(z) = -z**3 + 21*z**2 + 17*z + 33. Let j be q(22). Which is bigger: -78 or j?
j
Let u = 53 + -52.8. Is -1/18 != u?
True
Let d = 14 + -27. Suppose 9*b - 1619 = -1610. Which is bigger: b or d?
b
Suppose 0 = -3*u + 4*f + 608, 0 = 5*u + f + 3*f - 1056. Let a be 3*(u/(-12))/(-4). Suppose -3*o + a = -5*g - 0*o, -2*g - o - 14 = 0. Does -6 = g?
False
Let p = 8/9705 - 1333483/19410. Let u = p + 135/2. Suppose 2*r = -3*r + g - 4, 