: d or v?
v
Suppose p = -4*p + 4*q + 17, 0 = -4*p + 5*q + 10. Suppose -p*l + 5 + 0 = 0. Are l and 3/4 unequal?
True
Let l = 151/2289 - 2/109. Let p be ((-60)/(-4))/(-5) + 3. Is l < p?
False
Let q(k) be the third derivative of -k**6/120 + 3*k**5/20 - k**4/3 - 19*k**3/3 + 52*k**2. Let i be q(8). Is -39 at least i?
False
Let d = 8 - 13. Let k be (-6)/9 - (-22)/(-6). Is k > d?
True
Let j = 0.44 + -0.55. Let w = 0.18 + -0.07. Let g = j + w. Is 2 <= g?
False
Let v = 11018/15 - 734. Which is bigger: v or 2?
2
Let b = -1056119 - -7368425/7. Let p = 3555 + b. Let y = -68 + p. Which is smaller: y or 0.3?
y
Let k be 2/(-3) - 590/(-120). Which is smaller: k or 5?
k
Suppose -3*k + 8 = -k. Let j(q) = 1 + 0*q + 2*q - 4 - 4. Let y be j(5). Which is smaller: k or y?
y
Let d = 199 + -641. Let k be ((-4)/22)/(2/(-4859)). Let l = d + k. Are -1 and l non-equal?
True
Let d be (-8 + 4 - -2)*-14. Let f be 1 + 2/((-64)/d). Which is greater: -1 or f?
f
Let p = 37.6 - 37.5. Which is smaller: p or -660?
-660
Suppose -3*w + 46 = 1. Suppose j - 7 = 8. Is j not equal to w?
False
Suppose -8*r + 13*r - 145 = 0. Let h = 30 - r. Which is greater: 3/25 or h?
h
Suppose 0 = 6*j - 9*j + 285. Let r = 1333/14 - j. Is 0 less than r?
True
Let k be (7 - 25)/2 + 10. Is 16/73 greater than k?
False
Suppose 180 = 2*y - 6*y. Let n be (-6)/1*228/y. Let r = n - 149/5. Which is greater: r or -1?
r
Let d(l) be the second derivative of l**5/20 - 11*l**4/12 + l**3/3 - 4*l**2 - 3*l. Let h be d(10). Let t be (-16)/h + (-94)/154. Is t >= 0.1?
False
Let a be 1*-2 + 30580/(-22). Let h be a/330 + (-2)/(-5). Are h and -3 non-equal?
True
Let m = -19985/1135342 + -1/6718. Let r = m - -1252/3887. Is r greater than or equal to 0?
True
Let k = 52.3 + -54. Let f = 1.9 + k. Which is greater: 1 or f?
1
Let b(s) = -18*s - 4*s**2 + 16*s + 6*s**2. Let n be b(0). Is n at least -3/10?
True
Let k = 12 - 13. Let a = 0.1 + k. Let h = -1.1 - a. Which is smaller: h or 0?
h
Let t = 0.0782 - 1.2782. Is t at most as big as -15?
False
Let c = 3/25 + 101/200. Let b(q) = -q - 5. Let j be b(-5). Which is smaller: j or c?
j
Let v = -6708 - -6706. Let z = 0.4 + -0.36. Let u = z - 0.44. Is u at least v?
True
Let u(y) = y**3 + 7*y**2 - 14*y - 11. Let k be u(-9). Let b = -43 - k. Which is smaller: 9 or b?
b
Let q = 236 + -234. Let k(a) = a**3 - 7*a**2 + 8. Let l be k(7). Let n = -5 + l. Is n smaller than q?
False
Suppose -5*f + 1812 = 3*x, -f = 3*f. Let c = 22350/37 - x. Let h = 5 - 4. Is h less than or equal to c?
False
Let v = -2056 + 2060. Is 111/22 bigger than v?
True
Let t = -0.802 + 0.502. Is t not equal to 39?
True
Suppose 0 = 3*p - 12. Suppose 15*v - p = 19*v. Does -0.2 = v?
False
Let y = 5.57 - 5.4. Let t = y + -0.38. Is t < 2?
True
Suppose -235 - 145 = -5*k. Let t = 77 - k. Which is smaller: 3 or t?
t
Let k = -1.56 + 7.93. Let v = 0.17 - k. Let u = v - -6. Are 2 and u equal?
False
Suppose -5*c + k + 245 = -0*k, -2*k + 38 = c. Suppose -152*x + 1925 = -1830 - 3541. Is c at least as big as x?
True
Let j = 2.8 - 7.8. Suppose 5*i = -4*l + 69, 5*l - 24 - 11 = 4*i. Is l equal to j?
False
Suppose -5*j + 2 = 42. Let m(g) = -g - 10. Let d be m(j). Is -1/2 smaller than d?
False
Let c be 18/4 + (-111340)/152. Are -728 and c equal?
True
Let l = 30 + -16. Let v be 7/6*(-9)/l. Let t be ((-6)/4)/(78/(-12) - -4). Are v and t nonequal?
True
Let w = -227.61 + 227.7. Let x = -2 - -5. Is w equal to x?
False
Let k be (3/(-132))/(735/(-369) - -2). Let g = 28/11 + k. Which is smaller: g or 9?
g
Let w be (0 - -2)/(4/6). Suppose -w*x - 5*x - 16 = 0. Is x smaller than -4?
False
Let c = 0.12 + -4.12. Let s = 3 + c. Let b = 9 - s. Do b and 1/2 have the same value?
False
Let d(u) = u**3 - 7*u**2 - u + 6. Suppose 0 = 4*m + m - 10. Suppose 4*f + 5*q - 28 = 0, 0 = -m*q + 3*q. Let r be d(f). Is -6/13 smaller than r?
False
Let n be (3 + -6 - 3)*1. Let b = -3 - n. Suppose 0*x - 4 = -x - 2*f, -b*f = -5*x + 20. Which is bigger: x or 1?
x
Let a be -5 + 2 - 35/(-11). Let i = 60 - 59.4. Is a <= i?
True
Let y = -2257 - -2330.2. Is y at most as big as -2/7?
False
Let x(j) = -j**3 - 15*j**2 - 12*j + 8. Let v(y) = -y**2 + 7*y - 6. Let q be v(8). Let r be x(q). Is -21 >= r?
False
Let i = 6 + -8. Which is bigger: -258 or i?
i
Suppose -8*a + 128 = -4*a. Let m be 4*26/a + -3. Do m and 9/11 have the same value?
False
Suppose 0 = -4*w + 23 + 1. Suppose 0 = -3*b - 3*t + 6 + 6, 3*b + 2*t = 12. Which is smaller: w or b?
b
Let p = -0.3 + -6.2. Let v = -769 + 768. Is p at most as big as v?
True
Let g be (4/38 - (-12)/(-114)) + 0. Which is greater: 24/131 or g?
24/131
Let l be (2/74)/((-35)/(-140)). Is l bigger than 0?
True
Let l be 9/(-6)*6/(-9). Let z = l - 4. Let i = 200 + -206. Which is bigger: z or i?
z
Let h be 2/((-78)/1473)*-10. Let x = -378 + h. Suppose -4*l + 71 - 71 = 0. Which is bigger: x or l?
l
Let o = -0.3627 + 0.1627. Which is bigger: -496 or o?
o
Let c = 437 + -438. Let u(b) = -b - 2. Let w be u(-3). Let p = -5 + w. Which is smaller: p or c?
p
Let x = -21.55 + 24. Let t = -0.56 + x. Let c = t - -0.11. Is -0.02 equal to c?
False
Let c = 314.9 + -297. Let k = 18 - c. Which is smaller: k or 0.4?
k
Let b be 52/6*-24 + 5. Is b smaller than -203?
False
Let l(k) = -k**2 + 15*k - 50. Let m be l(11). Let n = -12 + 13. Which is greater: m or n?
n
Let n = 110.7 + -110.645. Is -0.4 at most n?
True
Let p = -152/7 - -22. Suppose -5*i + g + 449 = 0, i + 5*g - 77 = 18. Is p at most as big as i?
True
Let c be 1320/80 - (-5)/(-2). Is c bigger than 19?
False
Suppose 10 = -2*s, -35 = -2*r + 7*r + 5*s. Suppose 0 = 11*b - 9*b. Suppose b = 8*n - 13*n + 25. Is n greater than r?
True
Let n be 4 + ((-16764)/(-204))/(-11). Which is greater: -3 or n?
-3
Suppose g + 3*n + 6 = 0, -3*g - 4*n = -g + 6. Suppose -g*y = -3*j + y + 17, 4*y = -4*j - 24. Is j greater than 8?
False
Let s(k) = k**3 + 2*k**2 - 3*k. Let c be s(-3). Suppose 3*a + 12 = c, 4 = 4*d - 3*a + 5*a. Suppose 16 = d*x + x, 4*m = -4*x. Is -4 greater than m?
False
Suppose 4*a + 7*c = 2*c - 102, 38 = -2*a + 4*c. Let o be (-504)/(-6) - 2/1. Suppose -z + 2*p - 17 - 1 = 0, -4*z + 3*p = o. Which is smaller: z or a?
a
Suppose 5*b = -2*q + 2184, 0 = 4*q + 98*b - 96*b - 4400. Are 1101 and q unequal?
True
Let j = 29/132 - 1/4. Is j at least 0?
False
Let j be 492*7/28*-4. Is j greater than -495?
True
Let n = 64261/135 + -476. Which is greater: 1 or n?
1
Let a(s) be the second derivative of s**4/12 + s**3/3 + 7*s. Let c be a(0). Is -1/22 at most c?
True
Let y = -3.0513 - -0.0513. Are -9 and y equal?
False
Suppose 0 = -j - j. Suppose -7*a + 477 = 1. Suppose -67 = -d - a. Is j at most d?
False
Let d(h) = -2*h**3 + 2*h**2 + 6*h + 1. Let a be d(5). Is -169 less than a?
False
Let p = -0.36 - 42.64. Let i = p - -31. Let z = i - -11. Which is smaller: -0.16 or z?
z
Let r = 316/3 - 12938/123. Are 0 and r unequal?
True
Let p be (10/(-35) - (-3246)/(-546)) + (8 - 2). Let d(r) = -2*r - 1. Let n(l) = l. Let s(h) = -4*d(h) - 9*n(h). Let x be s(4). Which is bigger: x or p?
x
Let k = -15/16 + 77/48. Let t be (10/15)/((-4)/6). Is k less than t?
False
Let p = -3411 - -3411. Let l = -8 + 4. Let x = l - -7. Is x >= p?
True
Let h be 248/(-66) - -2*5/110. Suppose 14*j = 9*j - 15. Are h and j unequal?
True
Suppose 0 = -3*p - 12, -x = -49*p + 54*p + 7. Are 86/7 and x non-equal?
True
Let m be -2 - ((-270)/64 + 2). Let u be (-65)/32 + (1 - -1). Let k = m - u. Which is greater: k or 1?
1
Let g be (-24)/(-8) + 1*6. Let x(h) = h**2 - 10*h + 6. Let t be x(g). Let b be 1 + t*(-22)/(-54). Which is bigger: b or -1?
b
Let z(f) = -f**2 - 10*f + 6. Let u be z(-10). Suppose -u*k = -2*k - 12. Let a = k + -4. Which is smaller: a or 1/4?
a
Let g = 1494 - 1493.9. Which is greater: 12.8 or g?
12.8
Let l(i) = 2*i**2 + 2*i - 4. Let k be l(4). Let r be k/306 + (-563)/17. Let g = r - -25. Which is smaller: g or -9?
-9
Let k = -547 + 549. Let a = -15355/11 - -1397. Is k greater than a?
True
Let l = -667 + 758. Which is greater: l or -0.6?
l
Let a(y) = -y**3 - 8*y**2 - 9*y - 10. Let i be a(-7). Suppose 2 = 2*g - g, i*m - 4*g + 32 = 0. Let q be ((-12)/(-3))/((-4)/m). Which is smaller: 5 or q?
5
Let l be (-5*(-18)/(-3660))/((-3)/(-4)). Is l at least -1?
True
Let s(r) = 5*r**2 - 2*r + 1. Suppose -6*a = 2*m - 2*a + 2, -1 = -5*m - 4*a. Let b be s(m). Let f = 143 - 143.3. Which is smaller: f