 0, -9*n - d - 57 = -13*n. Are n and s non-equal?
True
Let u be -1 + (32/(-24) - (-129)/9). Let t = 4 + -2. Suppose t*p = 3*p - 12. Is u greater than or equal to p?
True
Suppose 63 - 80 = -u + 5*y, -y - 30 = -4*u. Is 10 smaller than u?
False
Let q(l) = -5 + 4*l**2 - 2*l**2 - 3*l - l**2. Let x be (-1)/((-2)/6) - (-1 - 0). Let w be q(x). Do w and 0 have different values?
True
Suppose -12*r - 2659 + 223 = 0. Do r and -198 have different values?
True
Suppose 84*n - 21*n + 2268 = 0. Which is smaller: n or -30?
n
Suppose 5*v - 2*n - 8 = 0, 0 = 5*v - 2*n + 5*n - 13. Let i(r) = 2*r**3 + 2*r**2 - 2*r + 1. Let u = -2 + 3. Let x be i(u). Which is smaller: x or v?
v
Let c = -45 + 1. Let g(f) = f**2 + 17*f - 799. Let j be g(-38). Which is smaller: j or c?
c
Let c = 0.241 + -22.241. Is c greater than or equal to -1?
False
Let f be -4 - ((-9)/(-6))/((-3)/96). Let q be 4/(-10) + (-444)/(-10). Is f >= q?
True
Let z(h) = -47*h + 411. Let a be z(21). Is a <= -574?
True
Let m(d) = -4*d. Let p = 20 + -20. Let u be m(p). Is u bigger than 0?
False
Let m = 3 + -2. Let x = 134.295 + -2.995. Let v = x - 131. Are v and m nonequal?
True
Let l(b) = 9*b + 21. Let j be l(9). Suppose 0 = -2*x - 18 + j. Let m be (-90)/x + 1/7. Which is greater: m or -5/6?
-5/6
Let q(x) be the first derivative of -2*x**3/3 - 47*x**2/2 + 25*x - 25. Let w be q(-24). Which is bigger: -2/85 or w?
w
Suppose 6 = i + 3*d + 21, -5*i = -5*d + 75. Let b be (54/i)/6*-30. Which is bigger: 17 or b?
b
Let f(i) = -i**2 - 9*i + 4. Let r be f(-7). Suppose -3*m = -3 + r. Let h(s) = 20*s + 34. Let n be h(-2). Is m at most as big as n?
False
Suppose -2*j = -j. Suppose 3*o + t - 82 - 62 = 0, 43 = o + 2*t. Let n = 51 - o. Which is bigger: n or j?
n
Let i = -1066/45 + 224/9. Let q = 9 + -9. Is i less than q?
False
Let u(i) = -i + 3. Let k be u(4). Suppose -4*b - s - 7 = 0, -2*s - 2*s = -4*b - 32. Let z be b*(-2 + (-5)/(-3)). Which is bigger: k or z?
z
Suppose -14*z = -13*z. Let l be 6 + (-2079)/318 + (-1)/(-2). Is z < l?
False
Let a be -4 + 1 - (3 - 4). Suppose -4*m = j - 3 + 2, -4*j + 4 = -4*m. Is j >= a?
True
Let i(l) = -l**2 - 8*l - 7. Let j be i(-7). Suppose 0 = 2*o - 2 - j. Let r be 1/51*-3*2. Is r greater than o?
False
Let z be (-2 - -55)/((-7)/(11 - 4)). Is z bigger than -54?
True
Let p = -423117/157 + 2695. Is p < 1?
True
Let g = -407/28 + 57/4. Suppose 5*j - 6 = -2*b, 4*j - 3*b - 8 = 3*j. Let t = j - 24/11. Which is greater: g or t?
t
Let l(w) be the third derivative of w**4/6 + 29*w**3/6 - 13*w**2. Let u be l(-5). Which is smaller: 10 or u?
u
Let x be 0/(10/(0 - -5)). Is x at most as big as -3/239?
False
Let y = 294 + -97. Let c be y/1050 - 16/56. Let w = 2/75 + c. Is w != 0?
True
Let s = 1545433633/1164 - 1327692. Let r = s + -4/97. Is 1 not equal to r?
True
Let q be -2 + (-2)/96*-95. Let s(r) = -312*r - 9985. Let h be s(-32). Which is smaller: h or q?
h
Let n(q) = 13*q**2 + q. Let j(k) = -k**2. Let d(u) = 5*j(u) + n(u). Let h be (-9 - 0)/3 + 2. Let s be d(h). Is s less than 8?
True
Let d be (1/(-2) + 1)/(-1). Let f = -43.97 - -0.97. Is d at least f?
True
Let j = 56 + -57. Let m = -943 - -34889/37. Is j < m?
True
Let f = -131.4 - -131.3. Which is smaller: f or 2/1225?
f
Let u = -7 - -7. Suppose u = 2*s + s + 30. Let m be 4/(-3)*15/s. Is 1/2 at least m?
False
Let t = -1033/3 - -344. Which is smaller: -159 or t?
-159
Let f = 0.0061 + 0.0939. Let l be 1/(-4) + (-14)/8. Which is bigger: f or l?
f
Suppose 0 = -15*i + 4*i - 55. Let c(g) = -2*g**2 - 7*g - 7. Let z be c(i). Let k = -31 + 9. Are z and k non-equal?
False
Let q(p) = -p**2 - 11*p - 12. Let k be q(-9). Suppose 4*a + k = 7*a. Are 13/4 and a unequal?
True
Suppose 4*n + n - 2 = 3*j, -4*n + 6 = 2*j. Suppose -5*v + 2*f - 15 = 7*f, 3*v + 9 = 5*f. Let r be (-144)/(-56) + 1*v. Is n > r?
True
Let m = -66 + 50. Let z(h) = h**2 + 16*h + 4. Let v be z(m). Is v greater than 4?
False
Let p be 0*((-14)/(-8) - 2). Let b be (p - 52) + (-18)/9. Let d = b + 38. Is d less than or equal to 0.1?
True
Suppose -5*n + 51 = -54. Let m = 16 - n. Which is bigger: m or -4?
-4
Let h(y) = -y**2 + 38. Let u be h(9). Is -42 less than or equal to u?
False
Suppose -2*k - 13 = 1. Let m be (28/16)/k*4. Is -1 greater than m?
False
Let h be (-424)/(-1914) - 0 - (-38)/(-171). Which is smaller: 0 or h?
h
Suppose -5*d + 56 = -299. Let z = 72 - d. Do z and -2/107 have the same value?
False
Let q be -1 - 4*5/(-10). Suppose -w = -3*b + w + 1, 3*w = 3*b + 3. Let h be (1/9)/(b/9). Which is greater: q or h?
q
Let x(o) = 16*o + 39. Let t be x(-6). Let w = t - -74. Is w less than or equal to 16?
False
Let i = -1415 - -2069. Which is greater: i or 656?
656
Let o be 130*((3/2 - -2) + -3). Let d = -35 + o. Is d greater than or equal to 31?
False
Let g(o) = o + 3. Let s be g(6). Suppose h = -4*b - s, 0 = -2*b - 4*h - h + 9. Let n be (-1)/(2/(6/b)). Is -1/9 less than n?
True
Let k be ((-63)/(-15))/(9/(-6)). Let j(q) = -q - 2 + 0*q + 6 + 3. Let s be j(9). Which is greater: s or k?
s
Suppose 2*b - 21*y + 18*y = 0, 5*b - y = 0. Is 1/949 != b?
True
Let g = 1738.1 + -1738. Let o = 0.6 - 0.4. Let h = -0.8 - o. Which is bigger: h or g?
g
Let i = 1.0224 - 0.0224. Which is smaller: i or 19?
i
Let i be 30/4 + 14/28 + -4. Which is greater: 25 or i?
25
Let s(t) = 4*t**2 - 3*t + 2. Let b = -14 + 15. Let p be s(b). Suppose -3*r + 4*h = -38, -r + 5*h - 10 = -p*r. Is r at least 11?
False
Let y = 1119 + -1087. Which is smaller: y or 482/15?
y
Suppose 2*a = 2*g + 2, 0 = -2*g - g - 2*a - 13. Let l be (-8)/g*45/20. Is 6 less than l?
False
Let z be (-3)/90*76/4. Let f = 1/6 - z. Which is smaller: 1 or f?
f
Suppose -3*k + 0*n + 172 = 2*n, 0 = k - n - 49. Suppose -2*b = 3*f + 3*b - 25, 4*b = 5*f - k. Is f smaller than 8?
False
Let q be ((-4)/(-6))/(7/(-1428)). Is -136 bigger than q?
False
Let u = 3/4 - 5/4. Let n = u + 7/22. Let i = -75/352 - n. Which is greater: i or 0?
0
Let s be (-3)/((-28)/16 + 1). Let l be 242/(-715) + (-1)/(-3). Let q = 2141/780 - l. Is s <= q?
False
Let m = 13 - 10.4. Let d = m + -2.6. Is -15/2 < d?
True
Let d = 1374 - 1350. Which is smaller: -30 or d?
-30
Suppose -50*o - 9 = -59*o. Is 6/719 < o?
True
Let p(j) = -j**2 + 4*j + 22. Let a be p(5). Let b = 18 - a. Which is smaller: 1/4 or b?
1/4
Let n = -169 - -218. Is 50 smaller than n?
False
Let a be 2 - (36/13 + -1). Let q(j) = j - 4. Let v be q(7). Suppose 2*h = -5*o - 11, 0*h - 9 = v*h. Which is greater: a or o?
a
Let d = -80/11 + 7371/1012. Is 0 at least as big as d?
False
Suppose 0 = -l + 5 + 9. Let t = 0 + l. Suppose 3*q = q + t. Is 0.1 equal to q?
False
Let w = 32 + -58. Let f = -40 - w. Let a = -223/3 + 75. Is f greater than or equal to a?
False
Suppose -50*n + 53*n = 9. Is 0.17 greater than n?
False
Suppose 2*k + 2*k + 232 = 0. Suppose 11643 = -273*q - 4464. Is q bigger than k?
False
Let w be -2*10/(-25)*1/(-2). Which is greater: 0.088 or w?
0.088
Suppose -10*d + 12 + 8 = 0. Let w be ((-18)/24)/(5/d - 1). Is w smaller than -24?
False
Let d = -1/68 - -30/17. Let p be 6/(-4)*(-6)/9. Which is bigger: d or p?
d
Let a be 16 + 3/9*0. Suppose -4 - a = -u - 4*l, -u - 2*l = -12. Suppose 4*j - z + u = -4, 5*j - 11 = -4*z. Is 1/8 at least as big as j?
True
Suppose 4*w - 22 = -30. Let q = -1 + 1. Let o = q - 1. Which is smaller: o or w?
w
Suppose -2*o + 4*u - 14 = 0, -2*o - 5*u = 1 - 14. Is o equal to 1/41?
False
Let o(x) = x + 5. Let t be o(-3). Let k be 126/70 + t/10. Suppose 0*v = -k*v + 26. Which is bigger: v or 11?
v
Let b = 17 - 22. Let s be b/(-7)*(-12)/(-30). Let m = -6 + 3. Do s and m have the same value?
False
Let u = 1029 - 991. Which is smaller: u or 37?
37
Suppose -5*f - 3*x - 14 + 43 = 0, 17 = 3*f + 2*x. Suppose 0 = 5*h + f - 27. Let v be h/(-30) - 8/(-10). Which is greater: -2/5 or v?
v
Suppose 2*u + 3*u + 5 = 0. Let h = -104436/101 + 1034. Is u at most h?
True
Let w(f) be the third derivative of f**5/60 + 5*f**4/24 + 5*f**3/6 + 15*f**2. Let u be w(-2). Is -2/61 less than or equal to u?
False
Let m = -272 - -272.1. Which is smaller: 61 or m?
m
Let q be (-50)/(-3) + (-1)/(-3). Let z = q - 13. Suppose 2*w - 2 = -z*t, 2*w - 5*w - 5*t = -4. Is w at least 4?
False
Let g = -725/7 - -104. Let i(k) = -k**3 - 7*k**2 - 9*k - 4. Let h be i(-6). Let s be (-6)/(-8) + h/(-8). Which is bigger: s or g?
g
Suppose -18*b + 23*b - 145 = 0. Let t be b/4 + (1*-