-150)/35. Suppose 2*c - 8 = 5*c + q*y, -3*c = -2*y - 4. Is -3 at least as big as c?
False
Suppose -10*l + 15*l = -2*k, -4 = 2*l. Let n = -10 + 0. Let x be (k/n)/(1/4). Which is bigger: x or 1?
1
Let b(q) = -q**2 - 12*q - 10. Let w be b(-10). Suppose -a + w = 4*a - 5*g, 0 = -4*a + 2*g + 2. Let d = 95/2 - 193/4. Does d = a?
False
Let h = -2.7 + 3. Let f = 7.839 - 6.839. Which is smaller: f or h?
h
Let y be (36/(-42))/(3/(-14)). Suppose y*c - 28 = -4*s, 4*c = -2*s + 6*s - 12. Suppose -6*f + f = -s. Which is greater: f or -2/7?
f
Let z = -16 + 20. Suppose -58 = z*c - 6*c. Which is bigger: 30 or c?
30
Let h(g) = -8*g + 20. Let x be h(5). Let d be (-75)/(-10)*24/x. Is 0 smaller than d?
False
Let i(k) = -k**3 - 11*k**2 - 9*k + 7. Let h be i(-10). Let v(c) = c**2 - c. Let j be v(h). Suppose 0 = 8*o - 4*o + j. Is -0.1 bigger than o?
True
Let l = 8/21 - 382/1113. Let j(i) be the third derivative of i**6/120 - i**5/10 + i**4/4 - 5*i**3/6 + 7*i**2. Let m be j(5). Which is greater: m or l?
l
Let s = -3.53 - -3.52. Which is bigger: 3 or s?
3
Let j be 58/120 + 103/(-309). Suppose 0 = -5*q + 4*r - 20, -4*r = -5*q + 2*q - 20. Is j smaller than q?
False
Let n = 40 + -23. Let v be 4440/252 + (-6)/21. Is n at most as big as v?
True
Let s be (3 - 0)*(868/(-21) - -3). Let h be s/(-55) - (-6)/(-3). Suppose 5*y - 2*y = 4*p - 3, 0 = -5*y - 2*p - 5. Is h < y?
False
Let d(z) = -11*z + 1. Let p(x) = -43*x + 5. Let m(b) = -18*d(b) + 4*p(b). Let a be m(-1). Let u = 24 + a. Which is bigger: u or 1?
1
Let d(t) = -7*t + 2*t**2 + 2 + 0*t**2 + 9*t. Let n be d(-2). Is 6 smaller than n?
False
Suppose 0 = 2*m + 4 - 56. Let x = m - 15. Is 10 < x?
True
Let a = -14 + 4. Let d(m) = -m**2 + 5*m - 2. Let z be d(a). Let u be (-1)/(-3) + z/168. Is u at most 0.1?
True
Suppose -1596*n + 195 = -1609*n. Which is smaller: n or -9?
n
Let j be (-36)/48 + 3/4. Is 19/17 at least j?
True
Let q(t) be the second derivative of -7*t**3/6 + t**2/2 + 11*t. Let a be q(-2). Let f = a + -5. Do f and 10 have different values?
False
Let a = -21980/29 + 758. Let r be -5*1 - (3 - 4). Let n be r - (-3 + 5 - 5). Which is smaller: a or n?
n
Let d(q) = q**3 - 8*q**2 + 10*q - 7. Let u be d(7). Let g be 1/(9/16) - (-14)/63. Let a be u/(-4) + g + -2. Is 1 equal to a?
False
Suppose 3*a - f - 3 = -4*f, 2*a - 3*f - 7 = 0. Suppose 0 = -b + a*b + 6. Let w = 3 - b. Is 9 <= w?
True
Let f = 1811/2274 + 14/379. Let c = 1.5 - 7.5. Which is greater: f or c?
f
Let p(d) = d**2 - 2*d + 1. Let u be p(1). Suppose -8*z + 12*z - 32 = u. Suppose 0 = -2*a + 6 + z. Is 5 greater than or equal to a?
False
Let t be (6/4)/(51/(-6) - 4). Let z be (-6)/(-12) + (-12)/8. Does z = t?
False
Suppose -4*c = -3*c - m + 3, -m = -3. Let v = -91 + 100.6. Let x = v - 9. Which is greater: c or x?
x
Let t = -0.384 + -15.616. Let n = 15.774 + -0.074. Let l = t + n. Which is smaller: -0.07 or l?
l
Let s(l) = -2*l - 5. Let w(x) = -4*x**3 + x**2 - 2*x + 1. Let p be w(1). Let f be s(p). Suppose 0 = -f*v - 0*v. Is v not equal to 0?
False
Let m = 47/4 - 12. Let r = 8 - 7.87. Let f = -0.1 + r. Which is greater: m or f?
f
Suppose 0 = -4*x + 2*y + 14 + 14, 5*x = -4*y + 61. Suppose 0 = 5*w - 81 - 4. Suppose -w*j - 80 = -216. Which is smaller: j or x?
j
Let x be 262/6 + (-3)/(-9). Let a = 0.0221 - -0.0779. Which is smaller: a or x?
a
Suppose 0 = -4*n + 3*x - 96 - 9, -n - x - 28 = 0. Let t be n/(-5) + 2/(-5). Suppose 7*z - 5*z - 22 = -2*q, 2 = 2*z - 2*q. Which is smaller: z or t?
t
Let b = -73147862/2349 - -31140. Is -1 equal to b?
False
Let r be 12/(-20) - (-2 + (-404)/(-360)). Is 0.3 at most r?
False
Let o = -3.83 - 0.07. Let u be ((-2)/6)/(-4 + 0 - -3). Is u < o?
False
Let a be 2200/374 + -9 + (-1 - -4). Is a < 1?
True
Let x = 1905 + -1903.7. Which is bigger: x or 4?
4
Suppose 4*j - 20*l + 19*l + 62 = 0, -2*j = -3*l + 26. Is -28 at most as big as j?
True
Let b = 23.8996 - -0.0004. Which is smaller: b or 0.1?
0.1
Suppose 0 = 2*y - 4*b - 2, 5*y - 13 = -0*y + 2*b. Suppose y*q - 2*q + 6 = 0. Suppose p = -3 - 1. Which is smaller: p or q?
q
Let w = 0 - 1. Let u(z) be the third derivative of -z**4/24 + 4*z**3/3 + 6*z**2. Let c be u(10). Is w not equal to c?
True
Let k be 7 + -8 + (2 - -1) + -1. Let b = -153.86 - -153. Which is smaller: k or b?
b
Let i be -8 + 0 + 6984/882. Are i and -1 nonequal?
True
Suppose -q = 3*t - 4*q - 93, t - 2*q = 35. Let h be 2/(-3)*t/(-18). Suppose -4*v + h + 46 = -3*x, -v = -3*x - 23. Is v >= 8?
True
Let v = -0.18 + 0.7. Let k = -0.46 + v. Which is smaller: 2/3 or k?
k
Suppose 2 + 0 = i. Let k be ((-322)/(-184))/((0 - i)/8). Let u(r) = r**2. Let g be u(-1). Which is greater: g or k?
g
Let g be 7/(-5) + 2/5. Let h = -416/21 + 56/3. Is g at least as big as h?
True
Suppose -83*i - 192 = -84*i. Are i and 192 unequal?
False
Suppose -b = -3*x - 2, 2*x + 5*b - 4*b = 7. Let o(d) = -11*d**2 + 7*d - 6. Let t be o(x). Which is smaller: -0.3 or t?
t
Let t = -1308 + 2615/2. Which is smaller: -120 or t?
-120
Let d = 445 + -429. Which is greater: d or 15?
d
Let g = 8.4 - -0.85. Let n = -9 + g. Which is smaller: n or 0.2?
0.2
Let x = -518 - -1367. Let b be (3 - x/297)*(-60)/(-35). Are 0 and b non-equal?
True
Let z = 535905/23 + -414599151938/17793789. Let x = 1084415/5931263 - z. Let l = x + -2/69. Is 4 equal to l?
False
Let p(q) = -73*q**2 + 1. Let t be p(1). Let z = 359/5 + t. Which is smaller: 0.2 or z?
z
Let i = 1.99 - -0.01. Let t be (-2)/8 - (-73)/4. Which is greater: i or t?
t
Let c be ((-8)/(-18))/(20 + -2). Let u = 22218 + -22218. Is c <= u?
False
Let u = 42 + -66. Let c be (9/18)/(2 + 49/u). Which is smaller: c or -13?
-13
Let r = 41516/4329 - -34/333. Is r at least as big as 10?
False
Let a = 118 + -220. Is a at least -103?
True
Let i(k) = -k - 2. Let m be i(0). Let h = -3.5 + 3.18. Let v = h + 0.42. Which is smaller: v or m?
m
Suppose 0 = -3*u + a + 6 - 3, 0 = -3*u + 2*a. Let g be u/7 + (-85)/(-119). Which is smaller: g or -0.01?
-0.01
Suppose 4*u - 6*u + 8 = 0, -3*a = 2*u - 521. Is 170 less than or equal to a?
True
Suppose 0 = 3*y - 3*v - 21, 4*y + 0*y - 1 = -5*v. Let t be (y/5)/((-10)/(-25)). Suppose t*b - 5*b - 18 = 3*p, b + 4 = p. Which is smaller: 2/23 or p?
p
Let x = 216 - 216. Is x less than or equal to -14/23?
False
Let p be 1*-3 + (-11 + 14 - 2). Which is smaller: p or -10/7?
p
Suppose -17 = 5*b + 3, -3*w + 14 = 4*b. Let l be ((-8)/10)/((-1)/w). Suppose -5 = -l*o + 13*o. Are o and 2 non-equal?
True
Let y be 3 + (-3963)/1092 + 1. Let o = -805/4 + 2617/13. Let a = y + o. Is -0.2 smaller than a?
True
Let n be 6/(-33) - (-167)/11. Is 1 greater than or equal to n?
False
Let v(t) = t**2 + 7*t - 1. Let d be v(-7). Let y = -30 + 17. Let i be y/(-13) + 11/(-4). Which is smaller: d or i?
i
Suppose 0 = v - 3*s - 7, 0*s = s. Let t = -34 + 48. Suppose 4*r - 6 = t. Which is greater: v or r?
v
Let b = -1.47 + 0.67. Let p = 0.7 + b. Which is smaller: p or 16?
p
Let b be (-40)/(-25) + 4/10. Is b equal to 67/29?
False
Let p(m) = m**2 - 17*m + 4. Suppose u = -3, -3*b - 2*u = -3*u - 54. Let k be p(b). Is k greater than -1/3?
True
Suppose -f = 4*f. Suppose f*g = -2*g + 10. Let n be (-36)/(-30)*g*-1. Is -34/7 <= n?
False
Let a = 243 - 243. Is a less than -34?
False
Let u(a) = a**2 + a + 1. Let b be u(5). Let n be 2/(-3)*(-1023)/22. Are n and b equal?
True
Let x(i) = -i**2 + i - 8. Let f be x(-3). Let q = f - 20. Is q equal to -39?
False
Suppose 3*w - 148 = -5*a, 16*w - 12*w + 144 = 4*a. Which is greater: 31 or a?
a
Let z = 24.64 - 0.64. Let u = -30 + z. Is 1 != u?
True
Let w = -416 - -438. Is -3 != w?
True
Let q = 70/11 - 954/143. Suppose 0*m + 4 = -2*m - a, -m = -3*a - 12. Is m smaller than q?
False
Let m = 14 - 13.972. Let c = m + -0.128. Which is bigger: c or 3/8?
3/8
Let c be 0 + -2 - (11 - 18) - 45. Which is greater: c or -38?
-38
Suppose 0 = -3*d - 0*o - 3*o - 369, 4*d + 483 = -o. Which is smaller: -124 or d?
-124
Let u be (-15)/(-45) - 118/(-6). Let a be u/84*(684 + 1). Let t = a + -163. Is t <= 0?
False
Let x be (-5 - (-9)/3)/((-6)/(-9)). Which is smaller: -28/13 or x?
x
Let a(s) = 2*s + 4. Let u be a(-4). Let f = -62 + 50. Which is greater: u or f?
u
Suppose 0*t - 4*t = 32. Let o be -1 + -4 - (4 - -6). Let k = o - t. Is k > -1?
False
Let t be (-2 + 3)*((-2415)/(-616) - 4). Is t smaller than -0.1?
False
Let c = 861/25 + -439/25. Let y = c + -84/5. Su