9 = 3*s. Let g be s/(-9) + (-285)/2079. Is p <= g?
False
Suppose -2*w + 2*r + 44 = -0*w, 2*w + 5*r = 58. Let z be (-2)/14*(-84)/w*0. Suppose 0 = -z*n + 6*n. Which is bigger: 1/8 or n?
1/8
Let z = -3347 - -4174. Is z <= -4?
False
Suppose 4*c + 15 = -41. Let l(h) = -h**3 - 15*h**2 - 15*h - 17. Let y be l(c). Do y and 32 have the same value?
False
Let o(b) = 8*b**2 + 102*b - 25. Let y be o(-13). Do y and -2/2263 have different values?
True
Let v be ((-28)/6)/((-6)/(-792)). Let p = -52977/86 - v. Which is smaller: 0 or p?
p
Let b be (-2)/5*-49*5. Suppose 5*u = -x + 481, 19728*u - 19731*u + 285 = x. Is b at most as big as u?
True
Let s = -16.75 + -0.25. Let r = 19.45 + -36.4. Let g = r - s. Which is smaller: 5 or g?
g
Let w be 0*2/(-2) - (-1 - 2). Suppose -2*x - 11 = o + 9, o - w*x = -40. Let s = o - -17. Does 3/4 = s?
False
Suppose 16 + 14 = 6*p. Let y be 3*p/(-60) - 73/(-4). Let n = y - 19. Which is smaller: n or 3/25?
n
Let y = 482 + -467. Let n = y - 8. Let p(u) = u**2 - 5*u - 2. Let v be p(6). Is n not equal to v?
True
Let x(t) = -2*t**3 + 227*t**2 - 541*t - 194. Let y be x(111). Are y and 2 nonequal?
True
Suppose 267 = 65*w - 318. Let y(o) = o**3 - 10*o**2 - 11*o + 3. Let g be y(w). Is g bigger than -177?
False
Let a be ((-60)/(-50))/((-3)/(-5)). Let j = -2/637 + 12109/1911. Which is smaller: a or j?
a
Suppose -1599*g + 1931*g = -7636. Suppose -4*b + 343 + 57 = -4*t, -t = -4. Suppose 4*f - 16 = -b. Which is smaller: f or g?
g
Let k = -6598 + 92301/14. Which is smaller: k or -6?
-6
Let p = -124.85 - -130.85. Which is smaller: -3.05 or p?
-3.05
Let k = 16220 - 16420. Is k < 13?
True
Let p = -187 + 186.824. Let o = 0.144 - 0.12. Let f = p - o. Which is greater: 0.3 or f?
0.3
Let i(s) = s**2 - 6*s + 1. Let j(t) = 3*t**2 + t - 4. Let y be j(-2). Let x be i(y). Let v = 310/253 - 24/23. Do v and x have the same value?
False
Let t = 6935 + -6971. Let g(z) = 3*z - 34. Let h be g(0). Which is smaller: t or h?
t
Suppose -34*y = -28*y - 218120 + 66200. Is y > 25319?
True
Let s = -5/4 - -7/4. Suppose 5070 = -740*v + 1130*v. Which is bigger: v or s?
v
Let b be ((-93795)/26)/(-37)*(-4)/(-47). Is 7 bigger than b?
False
Let g(q) = -1356*q + 9204. Let b be g(-20). Which is smaller: 36323 or b?
36323
Suppose -5*b = -3*j - b - 19, -2*j + 2*b = 12. Let t = -160613/340 - 463/68. Let o = 474 + t. Which is smaller: j or o?
o
Let w be (-4 - -114)/(8/60) - -4. Suppose w*c - 210 = 832*c. Do -75 and c have the same value?
False
Let k = -16/713 + -2/31. Let v be (1/3 - 1)*-3. Let u = -2 + v. Are k and u equal?
False
Let j(r) = -7*r**2 + 118*r + 120. Let f be j(-1). Which is bigger: -37 or f?
f
Let b = 2749 - 2783. Is b not equal to -13?
True
Let i = -2.37 + 3.74. Let v = 15.23 + -14.9. Let k = i + v. Is k at most -0.2?
False
Let x be 467/10 + (-165)/(-550). Which is bigger: x or -0.17?
x
Let r be 20/60 + (-7)/3. Suppose -3*f + 12*f + 648 = 0. Let t be 82/f + (-1)/(-4). Is r greater than t?
False
Let f(x) be the first derivative of -x**2/2 + 22. Suppose -2*v - 4*w = -5*v - 29, 3*w = 2*v + 20. Let b be f(v). Are 9 and b unequal?
True
Let a(c) = -3*c**2 + 5*c + 51. Let q be a(6). Is q less than -29?
False
Let i = -1 - -1.1. Let g(d) = 35*d**2 + 122*d - 2. Let v be g(-4). Which is greater: i or v?
v
Let c = 78997/87 + -908. Let s(r) = -r**2 - 12*r - 33. Let u be s(-8). Is u smaller than c?
True
Let k(h) = -7*h - 3. Let w be k(-1). Let l be 4*(-3)/(-4)*18. Suppose w*m = l + 10. Which is smaller: m or 17?
m
Let o(m) = m**3 + 2*m**2 - 10*m - 6. Let l be o(-4). Let a be -1*l + 15/1. Let q(v) = v - 21. Let c be q(a). Which is smaller: c or -6?
c
Let z be 35096/(-4 - -8) - -4. Let r be ((-2)/(-4))/((-57)/z). Is -381/5 at least as big as r?
True
Let x = 5837 + -577855/99. Let j = -1148/495 - x. Suppose -4 = 3*w - w. Which is bigger: w or j?
w
Let h be (-4)/(-16) + ((-7)/(-1))/((-404)/303). Let r = 0 - 1. Do h and r have the same value?
False
Let r = 1.442 - 1.382. Let q = -19.26 - -19. Let x = q + r. Are x and 1/10 equal?
False
Let f(b) = b**3 + 6*b**2 + 16*b + 23. Let r be f(9). Do r and 1383 have the same value?
False
Suppose 32*m - u = 37*m + 2, -2*m - 4*u = -10. Do 5/44 and m have different values?
True
Suppose 0 = -4*y + 5*y - 19. Let q = -3 - y. Let r = -591 - -568. Which is bigger: r or q?
q
Let u = -9395/3 + 3136. Is 5/2 > u?
False
Suppose 0 = p + o - 3*o - 8, 5*o = 3*p - 29. Let q be (20/3)/(p/(-189)). Let y = q - -289/4. Which is greater: 2 or y?
y
Suppose 12 = -4*y + 24, -y = -3*c + 6. Suppose 4*k - 5*k = 5*q - 7, -3*k + 3*q = -c. Are 19/11 and k nonequal?
True
Suppose -17 - 83 = -63*x + 13*x. Is 831 equal to x?
False
Suppose -10 = 2*i - 3*o, 0 = -2*o + o. Suppose -2*h - 2 = -3*h, 2 = 4*n - h. Let k be (-5 + -2 + 3)/(n + 0). Is k greater than or equal to i?
True
Let y be (-21)/(-30) - (-7 + (-252)/(-35)). Is 2052 not equal to y?
True
Let q be ((-45)/(-20))/(12/208). Suppose q = -24*c - 225. Which is bigger: -13 or c?
c
Suppose -15*n + 3077 = -11*n + 5*x, 0 = 3*n + 4*x - 2307. Let z = n - 766. Are 17 and z non-equal?
True
Let w = -538 - -548. Let r be (-3 + (14 - 6))*(-24)/w. Let z(i) = i**2 + 5*i - 7. Let v be z(-5). Which is smaller: r or v?
r
Suppose s - 39 = -q, 8*q - 6*q = 6. Is s smaller than 77?
True
Suppose -3*w - 89 = -2*u, 2*w = -3*w - u - 144. Let a = 35 + w. Let y be (0 + (-2)/4)/(a/(-44)). Which is greater: 3 or y?
y
Let i = 207 + -213. Let p be (-1)/i - 7/(-42). Are -204 and p nonequal?
True
Let y(q) = 9*q**2 + 123*q - 96. Let j be y(-17). Which is greater: j or 416?
416
Let n = -32.5 + 60.4. Is 2 not equal to n?
True
Let k = -131.989 + 132. Let q = -79.989 - k. Let y = 55 + q. Do -2/7 and y have the same value?
False
Let l = 22 + -21.92. Let v be 2/((-126)/14*4/2). Which is smaller: v or l?
v
Let j be (38/6 + -5)*26/(-52). Which is bigger: j or -297?
j
Suppose 29 = -15*x + 104. Suppose -3*p = x*m - 6, -4*m - 12 = -0*m. Which is smaller: p or 5?
5
Suppose -g - 2 = -5*j, 12 = -g - 2*j - 4. Let r be g/36 + (-320)/12. Is 1 smaller than r?
False
Suppose -3*q - 3 + 549 = 0. Suppose 0 = 4*g + o + 86 + q, -3*g - 5*o = 218. Suppose -3*j = -0*j + 195. Is j at least as big as g?
True
Suppose -260*n = 36*n + 888. Suppose -z = 3*o - 23 - 26, 62 = 4*o + 3*z. Suppose 3*a + 4*d = -23, 6*d + o = -3*a + 5*d. Is n less than a?
False
Suppose 5258*z - 5280*z + 115170 = 0. Which is smaller: z or 5236?
z
Let v = -0.05 + 0.09. Let g = 44668 - 44668.7. Which is bigger: v or g?
v
Let j = -10.231 - -38.231. Let u = -2/189 - -8/27. Are u and j nonequal?
True
Let y be (-4)/14 + (-94)/14. Suppose -6*p + 17*p = 528. Suppose 37*f - p = 43*f. Is y < f?
False
Suppose -5*m + 3*j = -166, -4*m + 91 = j - 52. Suppose m*z - 2 = 37*z. Do z and 6/19 have different values?
True
Let w(z) = z**2 + 33*z + 177. Let n be w(-7). Let s = -0.025 + 0.425. Which is bigger: n or s?
s
Let z(w) = w**3 - 5*w**2 + 3*w - 11. Let v(t) = -t - 1. Suppose -2*j = 3*g + 12 + 15, 5*g + 13 = 2*j. Let a be v(j). Let s be z(a). Is 4 > s?
False
Let z be ((-3)/(-541)*1/6)/((-6)/240). Which is smaller: z or 0?
z
Let u = -4 - -3. Let l = 943.195 - 941. Let r = 0.195 - l. Which is smaller: r or u?
r
Let h = -109 - -194. Let b = 79 - h. Let p be -12*((-2)/2)/(b/(-2)). Do 4 and p have different values?
False
Let v = -2055 - -884. Let g = -635 - v. Does g = 0?
False
Let j(t) = t**2 + 11*t - 14. Let i be j(-13). Suppose 3*p + 3*g = i, p + 3*p + 24 = 4*g. Let k = -2/1151 - -4634/17265. Which is greater: p or k?
k
Suppose -2*c + 4*t = 8, c = 4*t - 7 - 3. Let f = 268 + -268. Suppose -2*d - 66 = -3*y - f*d, -44 = -2*y + 4*d. Is y greater than c?
True
Let j = 161332/23 - 7024. Which is greater: -11 or j?
j
Let p be (-4 - -3 - (-1)/(-2))/((-65165199)/748). Which is smaller: 1 or p?
p
Let u = -19 + 19.41. Let i be (-1)/((-12 - -20)/(-56)*-7). Which is smaller: u or i?
i
Let x = 45619 - 29481. Is 16138 != x?
False
Let o = -9 + 6. Suppose 0 = -23*b + 4*b. Suppose b = -h - 337 + 339. Which is smaller: h or o?
o
Let t be 877496/(-1932) - -3*(-6)/27. Which is bigger: t or -1?
-1
Let q = -305 - -89. Let d be q/(-12447)*2/8. Is 0 greater than d?
False
Let b = -4930738/11 + 449132. Let x = 884 - b. Let s = -7/45 + 5/9. Which is greater: s or x?
x
Let l = 26 + 25. Let x = l + -30. Let a = x + -20.8. Is 1.1 smaller than a?
False
Let v = 49883/8