9. Let u = 178/45 - p. Are 3 and u non-equal?
True
Let y be 1122/17 - -1*(2 - -2). Suppose y + 70 = -10*j. Which is smaller: j or -11?
j
Let t = -31 - -32. Let m be (1 - t) + 5/15. Which is smaller: 0.11 or m?
0.11
Suppose u = 7*u - 12. Suppose u*w + 2*j - 6 = 0, 3*w - 2*j = 4*w - 6. Let b be (-8)/86*4/8. Is w >= b?
True
Let k be (1 + -2)/((-6)/12). Let p be k/(-8) - (-55)/60. Let q(o) = o**2 + 2*o + 1. Let w be q(-2). Is p at most as big as w?
True
Let s be (-68)/70 - (-2)/5. Let n = -33297/2 + 16662. Are n and s nonequal?
True
Let b = -2 + 0. Let o = -79 + 78.67. Let j = 0.03 + o. Is b equal to j?
False
Let k(a) = -a - 3. Let h be k(-4). Let s be (h/1 - -1)/(-1). Let m = -242 - -239. Which is smaller: s or m?
m
Let i = -0.111 + -11.989. Let n = 12 + i. Do 40/3 and n have different values?
True
Let l = -2 - -19. Let i = 27 - l. Do i and -2 have the same value?
False
Suppose -3*f + 5 + 1 = 0. Suppose 8 = r - m, 0 = f*r + 2*m - m - 19. Which is bigger: 4 or r?
r
Let y = -24.2 - -24. Which is bigger: -51 or y?
y
Let g = -7 - -1. Let r be (-1)/(10/(-56)) - 6/(-15). Let t be (-9)/r*26/g. Is t less than 8?
True
Let z = 277 + -276. Which is greater: 3/65 or z?
z
Let o be (2/(-3))/((-6)/27). Let v be (-5073)/(-310) - (o - 2). Let i = -153/10 + v. Which is smaller: 0 or i?
0
Let v = 3 + 0. Let a = -0.68 - 2.12. Let z = a - -3. Which is smaller: v or z?
z
Let x = 129 - 158.6. Let u = x + 30. Let t = -6 + 4. Are t and u non-equal?
True
Suppose 4*g = -q + 16, -3*q - 2*g + 8 = -q. Suppose 3*w - 2*a - 2*a - 7 = q, 2*w = 2*a + 2. Do w and -7/3 have the same value?
False
Suppose 2*c - 4*p = 24, 4*c - 2*p + 0*p - 24 = 0. Let h be c/(-7) + 390/70. Suppose 3*y + 17 = -h*g, 0 = -y + 2*g + 9. Is 1/14 < y?
True
Let i = -1.515 + 0.915. Is -27 >= i?
False
Let f = 0.122 + -9.422. Which is bigger: -1 or f?
-1
Let c = 11 + -7. Suppose -19 = -2*u + 3*h, -2*u = -5*u - 4*h - 14. Suppose -3*a = -r + 7, 0 = 3*a + u*r - 1 - c. Do a and 2/17 have the same value?
False
Let m = 0.284 + -1.084. Let f = 2 - 0.8. Let c = m - f. Is c at most as big as -0.2?
True
Suppose -3*c - 94 = -4*s, -2 + 0 = -c. Let y = -39 + s. Which is greater: y or -16?
y
Suppose -21 = 4*i + 5*o, 0 = -3*i - 0*i - 4*o - 15. Is -2.7 smaller than i?
False
Let y = 52 - 54.7. Let b = -1.1 - y. Let s = b + -4.6. Do -1/3 and s have different values?
True
Suppose 7*j + 423 = -585. Let p be ((-135)/j)/((-3)/2). Suppose 3 = -2*o + 1. Which is smaller: o or p?
o
Suppose n = -4*n - 345. Are -73 and n nonequal?
True
Suppose -g = 4*g - 190. Suppose 6*x = 4*x + g. Suppose -5*h = -t + x, -3*h = -t + 1 + 8. Which is smaller: -5 or t?
t
Suppose -5*z = -7*z - 166. Which is smaller: z or -84?
-84
Let w = 3 - 8. Suppose -26 = u + 5*q, 1 = -u + 3*q + 15. Let o = 2 + u. Is o < w?
False
Let f(s) = s**2 - s - 2. Let m be f(2). Let h(j) = -j**2 - 3*j. Let b be h(-3). Suppose -5*k + k = b. Is k at most m?
True
Suppose -43*f + 46 = -556. Is 168/13 < f?
True
Let b(s) = s**2 - s + 1. Suppose f - 19 = 5*y, -4*y + 2*y - 9 = f. Let j be b(y). Is 21 at most as big as j?
True
Let q(u) = -24*u + 68. Let b be q(3). Which is smaller: b or -39/8?
-39/8
Let c(k) = -k**2 - 43*k + 78. Let r be c(-35). Is r less than or equal to 356?
False
Let k = -104/3 + 34. Let h be (-18)/(3/1) - -3. Let f be ((-3)/h)/(-3)*15. Which is greater: f or k?
k
Let v = 5.3 + -13.3. Suppose -3 = -8*x + 5*x + d, -x + d = 1. Is v >= x?
False
Let j be -4 - (-2 - (-2296)/(-1150)). Let x = -2282/5175 + j. Is 0 >= x?
True
Let b be ((-48)/2360)/(2/5). Which is smaller: 1 or b?
b
Let p = -1760.9298 - -1761. Which is greater: -2 or p?
p
Let p(j) = -6*j**2 + 7*j + 1. Let s(w) = 5*w**2 - 6*w - 1. Let h(o) = 4*p(o) + 5*s(o). Let d be h(3). Suppose 4*c - 26 + d = 0. Does 14/3 = c?
False
Let p be (12/(-18))/(10/(-4)). Is p less than or equal to 2?
True
Let v = -34.37 - -34.4. Which is smaller: 0 or v?
0
Let h = 232 + -232. Which is greater: h or 6/67?
6/67
Let q = -161965553/320 + 506143. Let k = q - 3/64. Which is bigger: 1 or k?
1
Let y be (62/21)/(0 + 2). Which is greater: y or 0?
y
Let j = -28.16 + 28. Let c = j - -0.36. Does c = 7?
False
Let z = 36 + -35. Let q be (10/4)/((-105)/10). Let t = -17/42 - q. Are t and z equal?
False
Let u = -1 - -10. Let c be 3/u - 276/(-9). Suppose r = 2*b + 28, c = -5*b + 2*r - 39. Is -14 at most as big as b?
True
Suppose -2*a = 2 - 6. Suppose 2*q + 0*l - a = -3*l, 4*q + 3*l - 4 = 0. Let o be (36/(-27))/(q*-2). Is 2 at least as big as o?
True
Let l be (-24)/(-50)*(-20)/(-9). Let u be (3/(-6))/(1/(-2)). Is l bigger than u?
True
Let k(c) = 9*c - 12 - 19*c + 6*c. Let o be k(-3). Is o >= 7/8?
False
Suppose 8*q + 15 = 5*q. Let y(g) = -4*g - 18. Let h be y(q). Which is smaller: h or -3?
-3
Let j = -216 - -321. Let f be (-6)/(-14) - ((-200)/j)/(-4). Which is greater: -2/5 or f?
f
Let t = 17.14 - 17. Let n = t - 0.24. Let d = -1.2 - 10.8. Which is smaller: d or n?
d
Let d = -1030/7 - -1203/7. Let o = -23 + d. Do 1 and o have the same value?
False
Let a = -0.26 - -0.35. Let q = -20 - -19. Is q bigger than a?
False
Let c(q) = 16*q - 64. Let g be c(11). Which is smaller: g or 110?
110
Let k be 4/14*(-1 + 2). Let n = -2.45 - 99.55. Let i = 92 + n. Which is smaller: i or k?
i
Let l = 1416 + -1437. Which is bigger: l or -20?
-20
Suppose -22660 = 62*t - 18*t. Which is smaller: -516 or t?
-516
Let b = 1 - 1. Let v be (b - 2)*(-7)/(-2). Let t = 130 - 130. Is t < v?
False
Let i = -43 - -95. Let a = i + -31. Which is bigger: 19 or a?
a
Let l(n) = n + 8. Let y be l(-8). Suppose 0 = -2*j - 4*i + i + 4, -3*i - 6 = y. Suppose 0 = -4*t + 4, j*v - 4*t = t + 25. Which is bigger: -1 or v?
v
Let l be (-52)/(-20) - 8/(-20). Suppose 0 = -x + l*x. Let d = -2440/54309 - 2/1263. Which is greater: d or x?
x
Let y(f) be the second derivative of f**4/12 - 8*f**3/3 + 5*f**2 - 13*f. Let m be y(16). Let s = -11 - -18. Which is greater: s or m?
m
Let m = 108.1 - 108. Let g = -0.08 - m. Is -0.2 smaller than g?
True
Let d(x) = x**3 + 6*x**2 - 6*x - 7. Suppose 0*m + 40 = -5*g - m, -g + 2*m = -3. Let q be d(g). Let i = -33 - q. Which is bigger: -20 or i?
i
Let z(a) = a + 9. Let p be z(-8). Let q = p - 4. Which is greater: -8 or q?
q
Let b(w) = w**2 - 7*w + 7. Let v be b(9). Suppose 21*u = v*u - 8. Let d be ((-16)/18)/(2/(-3)). Is u less than d?
False
Let f = 315/52 - 1174/13. Is f less than or equal to -85?
False
Let i = -40 - -44. Suppose 0 = -5*l - u - 60, 3*l - i*u = -84 + 25. Which is smaller: -1 or l?
l
Let i(c) = 29*c + 4. Let w be i(-2). Let b be 10*(4 + w/15). Suppose -2*q = -4*s + 4, 2*s - 4*q = b*s + 18. Which is smaller: -0.1 or s?
s
Let k = 0.9 + 66.1. Let n = 33.85 + -32.85. Which is smaller: k or n?
n
Let v = -4455 - -1688443/379. Are -1 and v equal?
False
Suppose 0 = 5*y - 4*u - 54, -y + u = -0*u - 11. Let q be (-3)/y - 6/4. Let l be (18/(-30))/(1/5). Which is greater: q or l?
q
Let w(u) = -u**2 - 6*u + 4. Let i = 5 + -9. Let q be w(i). Which is bigger: 10 or q?
q
Let i be 2/12 - 6/((-180)/2275). Is i at most 224/3?
False
Let p = 31/115 + 3/23. Let l = 146 - 153. Do l and p have the same value?
False
Let o = 19 + -11. Let a = o + -60. Let t be (a/(-16) + -3)*12. Is 3 less than t?
False
Let v = -0.01426 - -52.00426. Let r = 52 - v. Is r < -3?
False
Let y = 189 - 1325/7. Let i be ((-1)/(-5))/(1034/516 - 2). Let r = -52 + i. Is r > y?
False
Suppose 27 = r + 4*o, -2*r + 27 = -2*o - 47. Suppose -4*v = 3*f + 9 - r, 4*f - 28 = -4*v. Do f and -2 have the same value?
False
Let s be 4 + (-38)/(-4)*-2. Let q be s/10*24/(-9). Let i be (-3 + 6)*1 - q. Are i and 1/4 nonequal?
True
Let v = -751 + 230. Is -521 at most v?
True
Let h be -3 - 10/(-6 - -11). Let t be 16/(-2) + (-30)/(-10). Are h and t non-equal?
False
Let g be (15/(-24))/((-34)/816). Suppose -53 = -3*k + 5*l, -3*k - 2*l = 8 - 54. Which is smaller: k or g?
g
Let w be 46/(-16) - (-2)/(-16). Let x be ((-2)/(-5))/(2/(-10)). Let y be x/(-1)*3/(-6). Do y and w have the same value?
False
Let v = 5 + -5. Let h be -3 - 4/(v + -1). Let b be 2/(-8) - (-5)/4. Are b and h nonequal?
False
Suppose -514 = 8*s + 54. Which is bigger: s or -72?
s
Let r be ((-4)/(-6))/((-2)/6 + 0). Let h be ((-8)/654)/(16/(-12) - r). Is -1 smaller than h?
True
Suppose 0 = 3*a - 4*x + 195, -2*x = 5*a + x + 325. Is a equal to -67?
False
Suppose 0 = 29*j - 14*j + 8