Suppose -9 = 4*q + 3*t, 3*t - 9 = l*q + 3. Let c = q - -1. Which is greater: c or -3/4?
-3/4
Let j = 2599 - 2791. Is -197 <= j?
True
Let h be -5*(-2 + (-224)/(-10)). Let s be (h/(-21) + 0)/(-2) - -3. Are s and 17 equal?
False
Let i(m) = -m**3 - 11*m**2 + 10*m - 14. Let p be i(-12). Let d(k) = -k**3 + 9*k**2 + 11*k - 3. Let q be d(p). Suppose -2*f + 11 = -5. Which is greater: f or q?
f
Let b = 810 + -802. Which is greater: b or 13?
13
Let z = -635 + 635. Is z >= -17/14?
True
Let f = -8.102 + -0.098. Let c = 9.3 + f. Let v = 0 + -1/3. Does v = c?
False
Let p = 2 - 1. Let f be (11 + -6)*p/(-5). Do f and -5/16 have the same value?
False
Let f = 0.32 - 0.3. Let d = 1.07 - 1.09. Let s = f + d. Do s and 6 have different values?
True
Let t = 732 + -732. Which is bigger: t or 7/31?
7/31
Let t = 220 - 240. Are t and -19 non-equal?
True
Let i = 39 + 11. Suppose t = k - 5*k - 42, -4*k = 5*t + i. Let v = 2 + k. Is v less than or equal to -9?
False
Let u be 52/168 + 2/(-3). Let x = 9660949/5950 - 27598/17. Let z = u + x. Is z greater than -1?
True
Let y = -0.3 - -1.3. Let o be 0 + ((-123)/3 + -4 - -1). Let l be o/12 + (-5)/(-1). Which is smaller: y or l?
y
Let d be ((-6 - -14) + -6)/2. Let g = -483/65 + 36/5. Which is smaller: d or g?
g
Let v = -456 - -455. Is v at least -14/9?
True
Let o = 2.2 - 3.2. Let d = -2.9 + o. Let s = -4 - d. Which is smaller: -11 or s?
-11
Let a(g) = 19*g - 1. Let x be a(-1). Let w be ((-40)/18)/(70/(-315)). Let b be ((-34)/(-85) + (-9)/w)*38. Which is smaller: b or x?
x
Let m = 4/115 + -258/805. Let v = 38.88 - 39. Which is bigger: v or m?
v
Suppose -48 = 22*q - 28*q. Is 13 < q?
False
Let s(j) be the first derivative of 3*j**4/4 - 2*j**3/3 + j**2 - j + 4. Let m be s(1). Suppose 0*t + 12 = m*t. Which is greater: t or 0.2?
t
Let a be 4 - 1 - 1 - -26. Suppose -3*j + 5*r - a = 0, -r - 3*r = -j - 21. Is j at most as big as 0?
True
Let l be -1*3/(-1) + 72/(-26). Suppose 18*w - 15 = 3. Which is greater: l or w?
w
Suppose -5*f = 4*x + 12, -4*f + 5*x + 15 = -2*f. Let c = 19126 + -860671/45. Which is smaller: c or f?
c
Let k(p) = -p**3 - 6*p**2 - 5*p. Suppose 0 = -4*n + 4*x - 24 - 12, 0 = x - 4. Let j be k(n). Let v = -1 + j. Which is smaller: 2/7 or v?
v
Let s(a) = a**2 - 6*a + 7. Let h be s(5). Let r be h/5*(-5)/(-4). Let n be (5/(-8))/(230/(-92)). Is r at most n?
False
Suppose -2*t = -h + 3*h - 4, -5*h + t + 10 = 0. Suppose 5*n + 15 = -h*u, -3*u = n + 14 + 15. Is u bigger than -10?
False
Let c(q) = -3*q**2 - 14*q + 4. Let o be c(-5). Is o smaller than -2/109?
True
Let k be 8 + (12/54 - (-4191)/(-513)). Let r = 6 + -8. Let o = r - -2. Which is bigger: o or k?
k
Let h be (-2)/(-4)*((-96)/1680)/(6/5). Suppose 7*c - 3*c = 16. Suppose -i + c*i = 0. Which is smaller: h or i?
h
Let m be ((-32)/280)/((-8)/(-20)). Which is smaller: m or -75?
-75
Let u = -17390 + 17391. Let i be 31/(-25) + 1/1. Is i not equal to u?
True
Let s = -2.412 - 47.328. Let d = 0.26 - s. Are d and 1 equal?
False
Suppose c + c - 10 = 0. Suppose 0 = -11*i + c*i. Which is greater: i or -23?
i
Let u = 487/966 - 2/483. Let o = 0.62 - 0.04. Are o and u non-equal?
True
Let a = 267/5 + -266/5. Is -0.205 not equal to a?
True
Suppose -1245 = 3*o - 2*g, 4*g - 9*g - 849 = 2*o. Is -416 at most as big as o?
False
Let n be 0*(-1)/3 - -2. Let x be (2 + -2 + n)/46. Let r = 27/92 - x. Which is smaller: 4/7 or r?
r
Let f be (-24)/(-6)*(-1)/(-2). Suppose -2 = -f*x + 8. Suppose 2*w - x = 4*i - 3*w, -2*i + 4*w + 2 = 0. Are i and -5 equal?
True
Suppose 2*r = -0*r - 78. Let g(x) = -32*x**2 - 150*x + 12. Let z be g(-5). Which is smaller: z or r?
r
Let l be (-2)/10*(18106/(-1133) + 16). Which is greater: 1 or l?
1
Let w = 29 + -23. Suppose b = w - 3. Suppose -9*s = -6*s - b. Which is smaller: s or -1/14?
-1/14
Let k = 9.9 - 21.2. Let s = -11.3 - k. Which is smaller: -0.043 or s?
-0.043
Suppose -13 = -v - 4*y - 56, 2*y + 79 = -3*v. Are -35 and v equal?
False
Suppose u - 5*w + 12 = 0, 2*u - 3*w + 44 = 6*u. Suppose -2*j = -2*l + u, 5*l + 2*j = -0*j + 27. Suppose l*h = -6 - 4. Which is smaller: -12/13 or h?
h
Let o = 68 + -56. Let f = 12 - o. Is f at least as big as -0.15?
True
Let s = -20 + 37. Let c = 16.9 - s. Which is greater: -0.02 or c?
-0.02
Suppose 0 = -2*i + 4*i. Suppose i = 3*l + 4*j - 3, 2*j = 4*l + 5*j - 4. Are l and 2/9 non-equal?
True
Let m = 47 + -49. Let b be 2/(-4) + m/(-8). Is b greater than or equal to -0.17?
False
Let z(n) = -n**2 - 16*n + 28. Let o be z(-18). Let q(p) = p**2 + 6*p + 6. Let r be q(-4). Let w be ((-3)/r)/((-3)/16). Is w greater than o?
False
Suppose 4*u + t = -151, 3*u = -2*t - 110 - 2. Is u at least 0.1?
False
Let g be 1/(5 + -6)*(8 - -3). Which is smaller: g or -73/6?
-73/6
Suppose 4*z = -16, p + 0*z = -z - 1. Suppose -p*i = 4*a, a + 4*i + 10 = -a. Let v be (-6)/a - 24/(-15). Is v less than or equal to 4?
True
Let n be (-126)/(-119) - (1 + -3 + 4). Let x = n + 123/221. Is 1 less than or equal to x?
False
Let l = -6 + 4. Suppose -y + 96 = 7*y. Suppose 3*k - 2*z + 12 = -0*z, 3*k + 3*z + y = 0. Is k greater than or equal to l?
False
Suppose 0 = -3*j - 2*j - 5. Let z be (-3 + 1)*80/(-12960). Is z not equal to j?
True
Let y be (-2024)/96 - 2/8. Suppose 0 = 5*a - 2*x + 114, -3*a = a + 2*x + 84. Are a and y non-equal?
True
Suppose -46*u + 8 = -44*u. Which is smaller: -63 or u?
-63
Let y(m) = m**2 - 9*m - 1. Let o(n) = 2*n**2 - 3*n - 1. Let q be o(3). Let a be y(q). Suppose 4*d = -12 - 24. Is d smaller than a?
False
Let y = 211832/2793 + -1440/19. Which is greater: y or -1?
y
Suppose -12*z + 14*z = -70. Let d be (-410)/z - 2/(-7). Suppose -3*g = 6, -o + 16 = -3*g - 1. Which is bigger: o or d?
d
Suppose -152 = 55*u + 21*u. Is u < -2?
False
Let l be 8 - (-24)/(-16)*-2. Is 9 bigger than l?
False
Suppose 8 = 3*b + 26. Suppose 5*x - 5*w + 25 = 0, -6*x + w + 19 = -8*x. Is x less than b?
True
Let o(q) = -q**2 + 8*q + 72. Let s be o(-5). Does 7 = s?
True
Let s = -13236/41 - -323. Is -1 greater than s?
False
Suppose 151 = 9*l - 227. Are l and 45 equal?
False
Suppose -119 - 61 = -9*a. Is a < -3?
False
Let p be 5*(98/(-5))/7. Which is bigger: -16 or p?
p
Suppose 5*r + 87 = -d + 24, d + 48 = -2*r. Let n = -38 - d. Which is smaller: 1/31 or n?
n
Let g(u) = 28*u + 3. Let j be g(2). Let w = -59 + j. Let x = -5/9 - -1/3. Do x and w have the same value?
False
Let z = 14.1 + -16. Let r = -1.3 - z. Let x = -10.4 - r. Which is smaller: 0 or x?
x
Let o be (-3)/4 - (3 + 6748/(-1808)). Which is smaller: o or -1?
-1
Let r be (-24 - 3)/(-9) - 1. Which is smaller: 0.112 or r?
0.112
Let w be -3*(-69)/63 - (-8)/(-2). Let d(p) be the third derivative of -p**6/120 + p**5/15 + p**4/4 - 7*p**3/6 - 2*p**2. Let l be d(5). Which is greater: l or w?
w
Let c be (17/2)/(9 + (-95)/10). Is c less than -67/4?
True
Let p(a) be the first derivative of a**2/2 - 3*a - 5. Let n be p(5). Let i = 3 - 3. Which is smaller: n or i?
i
Let d be 720/153 + 4/6*-9. Which is bigger: -1 or d?
-1
Let s(y) = 18*y. Let i be s(-5). Which is bigger: -97 or i?
i
Let t = 44 - 46. Let p be t/((-8)/(-6))*(-62)/(-93). Is p equal to 1/21?
False
Let y be 16 + -28 + 54/(-5). Do -24 and y have different values?
True
Suppose 6 = 3*a - 3. Let f be (8/4 - a)*0. Which is bigger: f or -6/29?
f
Let y = -104.114 - -104. Let t = y - -0.154. Which is smaller: 5/4 or t?
t
Let w = 2417 - 16969/7. Which is smaller: -7 or w?
w
Let u(x) = -x**2 + 7*x - 10. Let d be u(5). Suppose 0 = -4*c - d*c + 5*r + 9, 3*c + 5*r + 37 = 0. Let h be -4*c/16 - 9. Which is greater: h or -7?
-7
Let s be 3/(-33) + 4844/2464. Let b = 0 - -1. Which is bigger: s or b?
s
Let q(j) = -2*j + 6. Let a be q(4). Let b be (a/(-30) + 0)*-1. Let w(n) = n**2 + 14*n - 32. Let z be w(-16). Which is greater: z or b?
z
Let k = 0.016 - -0.284. Which is greater: k or 0.035?
k
Let n = -68 - -92. Let v = n + -18. Is 9 less than v?
False
Let j = 3 + -11/3. Let c = 383 - 382.1. Is j less than c?
True
Let p be 0/((-2)/2 + 3). Suppose -c = -p - 2. Suppose -c*x = -3*z - 7, 3*z + z = 5*x - 14. Is -1 less than x?
True
Let w(d) = -65*d**2 + 22*d - 50. Let b be w(2). Which is smaller: -265 or b?
b
Let q = -5 - -7. Suppose 0 = 3*x - 0*x + 12, -q*x = 2*g + 80. Let s = -37 - g. Is s at most as big as 2/43?
True
Let p be (59 - -31)/((-3)/(-2)). Let r be (-18 - -77)/(1/1). Is p <= r?
False
Suppose -3*u = -3