325. Suppose -2*l + 56 = -4*h, -l = -2*h + 6*h + 56. Is v smaller than h?
False
Let p(z) be the second derivative of -z**5/20 + z**4/12 + 5*z**3/6 + 2*z**2 + 5*z. Let n be p(3). Is n less than 1/8?
False
Suppose -2*v + 1 - 25 = 0. Suppose 4*n + 44 = -2*u, 3*u + 0*u = -5*n - 53. Let l = n - v. Is 2/25 greater than or equal to l?
True
Let x be -12*(0 + (-4)/8). Let o = -2 + x. Suppose -4*k = -k - 12. Is k at most o?
True
Let c = -198 + 172. Let v = -81 - -55. Are c and v nonequal?
False
Let q(h) = -3*h**2 - 26*h - 15. Let d be q(-7). Is d less than or equal to 9?
False
Let m(i) = -i - 1. Let x be m(-4). Suppose r + 3*h - 1 = -5, 4*r = h - x. Which is bigger: 2 or r?
2
Let j be (-30)/2 + 7 + 10. Let c = -0.3 - -0.1. Let o = 0.8 - c. Which is smaller: j or o?
o
Let t = 5764/15705 - 4/349. Let o = t + -5/9. Let l = 7 - 3. Which is smaller: l or o?
o
Let l(q) = -q - 16. Let p be l(-13). Let m be ((-1 - -2)*p)/8. Which is smaller: m or 0?
m
Let k be -1 - 1 - (-39)/(-2). Suppose -52 = 16*b - 14*b - 5*p, b = 5*p - 31. Which is smaller: b or k?
k
Suppose 83*a + 1484 + 8974 = 0. Is -4/3 at most a?
False
Let c = 137 + -145. Let g = 27 + -17. Let l = g - 19. Is l bigger than c?
False
Let d = 53.03 + 0.97. Let s = 55 - d. Let j be (2/(-3))/((-8)/18). Which is greater: j or s?
j
Let s(q) = q**2 + q + 4. Let j be 4*2/4 + -2. Let m be s(j). Let w be 6/m*40/42. Is 0 at most as big as w?
True
Let v = -0.044 - 2.856. Let d = v - -2.86. Let p = 0.04 + d. Is -2.6 > p?
False
Let q = -25.78 + 26. Let i = 2.42 - q. Let a = -2 + i. Is a bigger than -0.5?
True
Let j be 6/(-14) + (-42880)/(-469). Which is bigger: 86 or j?
j
Let j = 22.947 + 0.053. Let k = j + -23.2. Which is greater: -3/13 or k?
k
Let s = -18 - -20. Let m be 3/(((-4)/(-10))/s). Is m >= 16?
False
Let b(n) = n**3 + 5*n**2 + 3. Let w be b(-5). Suppose -d - h = 32, -2*h + h + 28 = -d. Let l be (-95)/d - (-2)/(-3). Are l and w equal?
False
Let x be (18/24)/(22/8). Let p(c) = -c - 3. Let m be p(7). Let r = m + 9. Is r >= x?
False
Let r be -20 + (18 - 7) + -16. Let q = -75 + 50. Is q < r?
False
Let r = 26 + -18. Let s = 17 - r. Let q be (-2)/(-6) - 3/s. Which is smaller: 1/6 or q?
q
Let l = -198 - -198. Suppose -5*z - 4*a = -26, -4*a = z - 0*z - 2. Which is greater: l or z?
z
Let r be 64/(-12) + 4 + (0 - 4). Let b = -0.3 + -0.7. Let n = b + 1.1. Is r smaller than n?
True
Let o be -1 + -2 + 3 - 3. Let j(l) = -6*l + 1. Let t be j(1). Which is smaller: t or o?
t
Suppose 0 = -c + 27 + 1. Let y = 31 - c. Let d be (y/3)/(53/(-2)). Is -1 equal to d?
False
Suppose -3*j + 0 = 72. Let i = -30 - j. Which is greater: i or 0?
0
Let o be 3/(-6) - (-33)/2. Let y be (4/(-5))/(o/(-40)) - 2. Is y >= -6/5?
True
Suppose -2*p - 180 + 40 = 0. Are -67 and p unequal?
True
Let m(a) = -20*a - 4. Let d be m(-6). Suppose d = -8*x - 20. Which is greater: -16 or x?
-16
Let r be (-1)/(3/(-45)*-3). Let m(a) = -a**3 + 0*a**3 - 14*a**2 - 6 + 9*a + 21*a**2 - a. Let o be m(8). Which is greater: o or r?
r
Suppose -m - 443 = -2*a + 25, -2*a + 468 = m. Suppose -7*v = -v - a. Is v not equal to 38?
True
Let n be (-2 - -3 - -2)/(-1). Let g be 5 + 2*n/6. Suppose 57 = 19*c - 0*c. Is c greater than or equal to g?
False
Suppose 47*r - 425 = 42*r. Is 87 bigger than r?
True
Let c be 168/(-120) + 60/25. Which is smaller: 18/311 or c?
18/311
Let j = -1.578 + 0.178. Do j and 2/25 have the same value?
False
Let o(c) = 6*c - 708. Let h be o(21). Is -582 <= h?
True
Suppose -76*z + 71*z = 2035. Is z less than -406?
True
Suppose -3*w + w + 12 = 0. Suppose 5*m + w = 7*m. Let v be ((18/(-28))/m)/3. Is -1 at least as big as v?
False
Suppose -p = -b + 7, 27*p = 32*p + 5. Suppose 3*a + 0*k - 2*k - 27 = 0, 18 = 2*a - k. Suppose q = a - 1. Is b not equal to q?
True
Let t be 7/(12/(-4) + -26). Let g = -173963 + 30269459/174. Let z = t + g. Which is smaller: -1 or z?
-1
Let x = 814 + -8960/11. Let c(p) = p. Let r be c(5). Suppose 4*i = r*i. Which is smaller: x or i?
x
Let s(b) = -b + 6. Let f be s(16). Let u = -14 - f. Let p be (u/(-10))/((-3)/30). Which is smaller: p or -6?
-6
Let b(c) = -8*c**3 - 2*c + 1. Let t be b(1). Suppose 6 = -3*i + 12. Suppose -i = m - q, 0 = -3*m + 6*q - 4*q - 6. Which is greater: t or m?
m
Suppose 275 = 6*f + 1721. Which is bigger: -243 or f?
f
Let i(p) = -p**2 - 18*p - 13. Let g be i(-12). Let h = 83 - g. Let d be (h/126)/(30/7). Which is smaller: -1 or d?
-1
Let m be 0 - 4152/54 - 22/(-99). Is -77 != m?
True
Let o be -4 + (-1 - 2) + 0. Let v be 6/4 + o + -2 + 7. Is v at most 0.55?
True
Suppose f + 0 = 2. Suppose -s = f*s + 36. Let c be (-2)/s - 31/42. Is c at most as big as -2?
False
Let f = 2.4 - 9. Let j = f + 4.6. Let u = 0.1 - 0.3. Which is greater: u or j?
u
Let p = 6 + -4. Suppose -11*y + 8*y = -21. Suppose k + 4 = 2*i - i, 0 = 4*i - k - y. Which is greater: p or i?
p
Suppose -3*w = -8*w - 15, -5*t + 5440 = 5*w. Which is bigger: 1090 or t?
t
Let f(d) = 7*d**2 - 9*d - 2. Let g(n) = -4*n**2 + 4*n + 1. Let i(t) = -4*f(t) - 9*g(t). Let c be i(-2). Which is smaller: -1 or c?
-1
Let q = 1.14 + -1.14. Suppose 4*u = 3 + 5. Let m be (u/4)/(18/8). Which is smaller: m or q?
q
Suppose 5*j - 4*b + 21 = 0, -3*j + 6*j - 17 = -5*b. Let k = 1.2 - 2.4. Let a = k + 4.2. Which is bigger: j or a?
a
Let d be 5*1 + (2 - -1)*-1. Suppose -d*b - 2 = -16. Is b less than 9?
True
Suppose -129 - 339 = 3*o. Do o and -157 have the same value?
False
Suppose 4*i - 2*p - 3*p - 340 = 0, -5*i - 4*p = -425. Which is smaller: i or 92?
i
Let l = -1 - -5. Suppose 3*c - 8*c = 20, c + 8 = -b. Let f be ((-18)/b)/((-27)/(-36)). Which is smaller: l or f?
l
Let h(b) = b**2 - 12*b - 7. Let v be (-23 - 3)/(-1 - 1). Let t be h(v). Suppose -6*w = -w - 30. Is w < t?
False
Let d = 1033 - 1059. Which is smaller: d or -27?
-27
Suppose -2 + 2 = -7*o. Is o greater than -40/17?
True
Let q = 0.5 - -3.6. Let i = -0.1 + q. Let j = -1.35 + 1.55. Is i != j?
True
Suppose 0 = j + 10*j + 22. Which is bigger: 4.7 or j?
4.7
Suppose 17*d + 1680 = 35*d + 52*d. Suppose 92 = 3*o + o. Which is smaller: d or o?
o
Let n = 9.16 - 0.16. Let r = -3192 + 3191. Does n = r?
False
Let q = 113/3 + -38. Is 0.2 greater than q?
True
Let m = 13 - 14.9. Let t = m + -9.1. Let j = -13 - t. Is j < 5?
True
Let n(c) = 5*c - 25. Let z be n(8). Let s be 24/9*(z - 6). Which is smaller: 27 or s?
s
Let m be -4 - (-3 + 1) - 952/(-482). Are m and -1 non-equal?
True
Let h = -331 + 275. Is h smaller than -0.1?
True
Let o = 0.0047 + 0.6953. Is o smaller than 51?
True
Let q = 329 - 344. Which is bigger: 0.2 or q?
0.2
Let h be ((-7285)/(-810) + -9)/((-4)/(-3)). Which is bigger: 1 or h?
1
Let n be (3/3)/(7 + -11)*1. Is 17.8 not equal to n?
True
Let n = 13 - 40. Suppose 2*j = 3*l - 13, -4*j + 5 = -3*l + 22. Which is greater: j or n?
j
Let k be -3 + (3185/(-231))/(-5). Which is greater: k or -1?
k
Suppose -2*y - 6 + 12 = 0. Suppose 2*u - m = -y*u + 62, -u - 2*m = -19. Is 13 less than or equal to u?
True
Let r = -0.04 - 0.36. Let x = -2/2739 + 2743/5478. Which is smaller: x or r?
r
Let s be 4/(-8)*12/42. Is 0.4 less than s?
False
Let n = 120 + -110.7. Let m = -9 + n. Let h = 0.3 - m. Which is smaller: 2/7 or h?
h
Let b = -59/3 - -19. Suppose -2*c - 3*v + 11 = 0, -5*c + 3*v + 10 = 7*v. Is c smaller than b?
True
Let h be (-1)/2*-1*(11 + 1). Let o be (-5)/((-30)/4)*h/8. Which is smaller: o or 0?
0
Let b = 13 + -6. Suppose 0 = -45*g + 39*g + 36. Suppose -g = f + b. Is f less than -13?
False
Let x = 1.3 + 66.7. Let m = -73.5 + x. Which is smaller: m or 1/4?
m
Let i = -0.39 - -16.39. Let n = i - 13. Let l = n + -3.4. Are -1 and l equal?
False
Suppose -5*n - 51 = -3*y, -2*n - 43 = 3*n + y. Let f be (-1)/(-15) + 6/n. Are 0.06 and f non-equal?
True
Let j = -225 - -229. Let m = 10/21 - 4/21. Which is smaller: m or j?
m
Suppose 0 = 19*p - 222 + 2217. Is p at least as big as -106?
True
Let f = 2216 - 2216. Which is greater: f or 461?
461
Let p(g) = -3*g - 2 + 0 + g**3 - g**2 + 4. Let w be p(2). Is w greater than or equal to 1?
False
Let y = -0.165 + 0.465. Let m = -0.9 - -0.6. Is m equal to y?
False
Let p be ((-168)/2912 - 1/4)/(-6). Is p < -2?
False
Suppose 12 - 36 = -6*x. Suppose 2 + 10 = 3*m. Suppose -4*p - m - 12 = -5*o, -p - x = 0. Is o equal to 0?
True
Let b(f) = f**2 + 5*f - 1. Let x(y) = y**3 - 3*y**2 + 1. Let l be x(3). Let h be l + -8 - (-1 - 