3*c - 42, 2*d + 3*c + 2 = -c. Let u = d - 18. Let b be 490/4*(64/(-160))/(-4 - -10). Is u < b?
True
Let t = -52.8 - -40.72. Let u = -0.02 + 0.1. Let o = u + t. Which is bigger: o or -1?
-1
Let u = 106 - 98. Suppose -5*h = 2*y - 8, 4*y = 6*h - 4*h - u. Let s = 3 + -2. Which is smaller: s or y?
y
Let l = -163 - -178. Suppose 10*d + l = 85. Which is bigger: d or 5?
d
Let a be (-111)/(-320)*1650/1320. Which is bigger: -1 or a?
a
Let c = 131 + -125. Let w be 0/((c/4)/((-6)/8)). Suppose w = -5*s - 112 - 178. Is s less than or equal to 0?
True
Let t(x) be the second derivative of -x**5/20 - 3*x**4/4 - x**3 + 5*x**2/2 - 6*x - 8. Let h be t(-5). Which is greater: h or -64?
-64
Let m = -13570 - -94768/7. Is m less than or equal to -33?
False
Let i = -1207.908 + 1208.5. Is i at most 0.12?
False
Let r be 3*(-28)/105*5/(-2) + 6637. Is 6638 smaller than r?
True
Let j = -52 + -3. Let m = 65 + j. Suppose 4*t - 6 = m*t. Is t smaller than -1/25?
True
Let b(c) = 4*c**2 + c - 1. Let y be b(-3). Let h be 12/(-14) + 5/(-30)*(-954)/(-1113). Is y not equal to h?
True
Let i(j) be the second derivative of j**5/10 - 3*j**4/4 + 5*j**3/6 - 2*j**2 - 35*j. Let m be i(4). Are 1/263 and m non-equal?
True
Let w = -5284 - -2522. Which is bigger: w or -2764?
w
Let q = -3.9 + 3.79. Let l = q + -23.89. Let z = l + 23. Is 1 != z?
True
Let s = 5/127192094 + 3805232713729729/2671033974. Let c = -1424137 + s. Let j = 492 - c. Is j at most as big as -1?
False
Let n be 4/6*243/18. Let t = n + -7. Let o be ((-2)/(-2) + -1)/(-4 - -2). Which is bigger: t or o?
t
Let v be (-31)/((-8463)/104)*(-387)/(-20) + -6. Which is bigger: 1 or v?
v
Let k(w) = -w**3 + 3*w**2 + 3*w - 4. Let r be k(3). Suppose -a + 6*a - r = 0. Do a and 2 have the same value?
False
Let d = 83 + 101. Suppose -5*k = -44 + d. Is -30 at least as big as k?
False
Let n = 3 + 1. Suppose -y = n*u + 7, -u + 2*u = 2*y - 4. Let z = -3152/7859 - -90/271. Do y and z have different values?
True
Let w = -2/13525 - -135312/419275. Let c = 7 - 13/2. Is w smaller than c?
True
Let n(a) be the first derivative of -a**2/2 - 25*a - 177. Let t be (-11 + 10)/(1/9). Let q be n(t). Do -17 and q have different values?
True
Let y be -9 - ((4 - 3) + -6 + -3). Which is bigger: 1/12389 or y?
1/12389
Let z be ((-23)/(-46))/(2/(-5968)). Let p = z - -1494. Let c be -30*(-4)/130*1. Is c <= p?
True
Let j(w) = -2*w**3 - 12*w**2 + 9*w - 11. Let y be j(-11). Suppose -2*c = 0, 5*c - y = 5*r + 3*c. Is -219 smaller than r?
False
Let g be 1*(-14 + 22) - (-4196)/14. Which is smaller: 307 or g?
307
Let n = 1106 - 3284/3. Is -2/7 less than or equal to n?
True
Suppose -2*x = 4*g + 38, 3*g + 4*x - 9*x + 9 = 0. Are g and -257 nonequal?
True
Suppose 6659 = 397*w - 8824. Is w less than or equal to 118/3?
True
Let p be 0 + (0 - 13) + 15. Let a(j) = j - 4. Let i be a(6). Suppose i*h + 3*h = 0. Which is greater: p or h?
p
Let t be 6/(-27) + (-11)/(-9). Suppose 18*l - 45 = 9*l. Let r be -1 - 8/(t - l). Is r greater than -2/11?
True
Let f = -21955 - -21898. Which is smaller: f or -33/7?
f
Suppose 16*k + 32 = 18*k. Let v be (-2)/(k/(-60))*(-4)/(-3). Let b be 54/v*(-3 - -8). Which is smaller: b or 28?
b
Let r be ((-19230)/186 - -3) + 4. Which is smaller: r or -95?
r
Let p be 270/216 - 173/140. Suppose 7*k = 12*k - 5. Which is smaller: p or k?
p
Let m be (5 - 12)/(2/4). Let t be ((-8)/28)/(2/m). Suppose -3*c - 26 = t*z, 2*c + 2*z + 15 = -5. Is c greater than or equal to -6?
True
Let r be 560/91 + 4/(-26). Suppose -r = a - 3*a. Let f be -1*(-22 + a)*-1. Are f and -37/2 equal?
False
Suppose -5*m - m + 150 = 0. Suppose -8 = h + 19. Let r = 54 + h. Are m and r unequal?
True
Let i be 0*((-40)/(-96) - (-9)/(-12)). Suppose i = 5*w + 22 - 27. Is w >= -1/68?
True
Let c = 39788 + -39788.97. Which is greater: c or 91?
91
Let l = 2207 + -3899. Is l equal to -1692?
True
Let m = -0.05945 + -6.94055. Which is smaller: m or -1.577?
m
Let k = -13/12 - -4/3. Let u(l) = l**3 - 5*l**2 + 3*l - 6. Let v be u(5). Let p(g) = -2*g**2 + 18*g + 9. Let c be p(v). Which is smaller: k or c?
k
Suppose -304 = 4*h - 2*g, 2*g = -h - 3*h - 312. Let f(j) = j**3 - 21*j**2 + 97*j + 51. Let x be f(10). Is h at least x?
True
Let j be (1006/(-4) - 1)*16/20. Let o = j - -137. Is o smaller than -62?
True
Let i = -3561724/411 - -8666. Let h(y) = y**3 + 4*y**2 - 9*y - 37. Let v be h(-3). Are i and v unequal?
True
Let x = -124357/652 - 3/163. Is -190 bigger than x?
True
Let k be 56/(-7) - (4 - (-170)/(-45)). Which is bigger: -2 or k?
-2
Let m be (2 + -2 + 0)/1. Suppose -30 = -3*y - m*y. Suppose -3*d = 2*d - 3*s - 6, -4*d - 5*s = y. Is d smaller than 0?
False
Suppose 3*r - 2*k + 71531 = 0, 3*r + 20826 + 50707 = k. Let q be 3/(-12) - (-1 + r/(-31740)). Which is bigger: q or -1?
q
Suppose -2*q - 17 - 7 = -5*f, -3*f + 18 = -3*q. Suppose f*h = 149 - 13. Let m(k) = -k**2 + 15*k - 21. Let z be m(9). Which is smaller: z or h?
z
Suppose -94*w = 5*i - 90*w + 5266, 5*w = 5*i + 5230. Is i not equal to -1066?
True
Suppose -y - 73 = -63. Which is smaller: 59 or y?
y
Let f(o) = 2*o**3 + 11*o**2 - 16*o - 6. Let u(z) = -z**3 + z - 1. Let s(w) = -f(w) - u(w). Let g be s(-12). Let m = g + 45. Is m at least 16?
True
Let j = -276 + 419. Let l = 143.062 - j. Is 1 bigger than l?
True
Let g = 75 - 77. Let n = -0.19 + 11.19. Let l = n - 1. Is l equal to g?
False
Suppose -6*d = 38 - 506. Suppose -22*j = -d*j + 336. Which is greater: j or 53/10?
j
Let x(o) = -6*o + 15. Let m be x(2). Suppose -m*f - 2*s - 14 = -f, 2*f + 44 = 4*s. Which is smaller: f or -6?
f
Let s = 121 - 126. Let n be (-4)/(-3)*(s - -1 - 32). Is -47 greater than or equal to n?
True
Let g = -201 - -482. Let s = -285.7 + g. Is s at least -1/6?
False
Let p be (17 - 2681294/157724)/(2*(-1)/(-12)). Does p = 1?
False
Suppose -93*x - 16 + 109 = 0. Which is bigger: x or -2/21267?
x
Let m = 247 + -124. Let r be m/(-11) + (-36)/(-198). Which is bigger: -10 or r?
-10
Let j be ((-16)/6)/((-472)/12). Let l = j - 285/5074. Suppose 0 = -2*m + m. Is l <= m?
False
Let p = 39 - 40. Let i be (p/(-2))/(-14*(-7)/(-28)). Let x = -47 + 47. Is x at least as big as i?
True
Let h = -7088.9 + 7089. Does -199 = h?
False
Let y be 4/14 - ((-4380)/(-336) + -13). Let a = -0.1 + 0.08. Let t = 0.1 - a. Which is smaller: t or y?
t
Let n = -8005 - -8001. Which is smaller: n or 4/425?
n
Let r = 3086 - 2638. Is r at least as big as 445?
True
Let c = 111 + -80.54. Let y = 0.46 - c. Let q = 63.6 - 64.6. Which is smaller: q or y?
y
Let d = 9.935 + -10.1. Let a = -93.835 + d. Let l = a + 100. Which is smaller: l or -0.1?
-0.1
Let z be (1036/140)/(-37) - (-42)/260. Is 1 less than z?
False
Let g = -7041.9 - -7042. Is g not equal to 9.32?
True
Let w = 6 - 1. Suppose -3*g + w*z = -749, z = -z - 2. Let r = g - 359. Are r and -112 equal?
False
Let s = -3.6 - 6.9. Let c = s - -2.5. Let d = c - -8.4. Which is greater: d or 6?
6
Let w(s) = 3*s**2 + 73*s + 258. Let o be w(-20). Is o greater than or equal to -65/97?
False
Let c = -17861 - -1696573/95. Which is bigger: -1 or c?
-1
Let c be (-39)/(-2)*(0 + (-38)/(-3)). Which is greater: c or 252?
252
Suppose -3*g - 182 = 6*j - 7*j, -g = 4*j - 663. Let x = j - 224. Which is greater: -56 or x?
-56
Let y = 45157/8118000 - 7/18000. Which is bigger: y or 0?
y
Let r = 680 - 453. Let y = -215061 + 215289. Which is bigger: r or y?
y
Let g = -45 + -221. Let j = g + 533/2. Which is smaller: j or -9?
-9
Let v(z) = -z**2 + 20*z + 20. Let u be v(17). Let k be (2 + -3)/(1/u). Let i = 75 + k. Is -2 less than or equal to i?
True
Let g(o) = 7 - 9*o + 14*o - 11*o + o**2. Let l be g(5). Suppose -w + 19 = 2*x - 6*w, -l*x = w - 1. Is 1 at most x?
True
Let w(c) = 8*c + 24. Let p = 353 - 356. Let r be w(p). Is r at most as big as 11/10?
True
Suppose -3*w - t = -0*t - 9, 2*w + t = 5. Let u be (-2)/w*(-6 + 6). Is -2/299 > u?
False
Let s = 677 - 1181. Let k be ((-1)/((-10)/(-22)))/((-28)/s). Is k less than or equal to -40?
False
Suppose 0*r + 21 = -r + 4*s, -36 = 2*r - 5*s. Let j = 40 - 42. Let x be ((-33)/(-6) - -1)*j. Are r and x non-equal?
False
Let p be (-4)/1630*10/1. Suppose -409 = -42*k - 367. Which is bigger: p or k?
k
Suppose 0 = -16*v - 2*v + 126. Suppose -v*a - 3*a = -2*a. Let x = a - 6. Is -6 smaller than x?
False
Let x = -479 + -1045. Which is smaller: -1525 or x?
-1525
Let a(n) = n**2 - 11*n - 3