et c be (-9 - (7 + -10)) + -59. Let a(d) = -35*d + 5. Let w be a(2). Do c and w have the same value?
True
Let r(b) be the first derivative of -21*b**2/2 + 106*b + 26. Let w be r(5). Are w and 1/331 equal?
False
Let u = 12.16 + -13.09. Which is bigger: u or -12?
u
Let h be 6*(-4)/(-12) + 24. Suppose h*u - 875 = -9*u. Which is smaller: -2/11 or u?
-2/11
Let w = 6.93 + -2.93. Let c be (-1 - -1) + 5 + -7 + 5. Let h be c - (-114)/(-27) - (0 + -1). Do h and w have the same value?
False
Let p = -305 - -211. Let v = 149 + p. Suppose -17 = 2*q - v. Is 19 at least as big as q?
True
Let n = 1252.85101 + 0.14899. Is -1 not equal to n?
True
Let h = -91/2 - -3001/66. Suppose 0 = -15*d - 8*d + d. Which is bigger: h or d?
d
Let x = -7369 + 7789. Which is smaller: x or 416?
416
Suppose 0 = -3*h - 2*o - 11 + 31, 0 = 4*h + 3*o - 25. Let f be 15/10*h/(-3) - 187. Which is greater: f or -193?
f
Let h(r) = -9 - 5 - r**2 + 10*r + 9 - 6. Let z be h(2). Suppose 0 = -j - 0*j + z*n + 17, -2*j - n + 34 = 0. Is 19 > j?
True
Let y = 103660 + -103661.1. Let q = -18.1 + 16. Let l = 2 + q. Which is smaller: l or y?
y
Suppose 6*h + 213*h - 49 - 170 = 0. Let x be 8/6*(-9)/(-645). Which is smaller: h or x?
x
Let t be ((-6)/(-9))/((-16)/24). Let v be (56/864)/(3 - 33/12). Which is smaller: t or v?
t
Let k = -177 + 182. Let f be (-28)/(-460) - ((-16)/k + 3). Is 1 equal to f?
False
Let x be (-1)/(-3) - 304/228. Which is bigger: x or -1/10048?
-1/10048
Let y(u) = -3*u**3 - 13*u**2 - 6*u - 11. Let p be y(-5). Let x be 46/p*(-3)/(-2). Let w be (9/22)/(1*3). Which is bigger: w or x?
x
Suppose -2*h = 349 - 335. Let b(x) = x**3 - 3*x - 7. Let q(d) = d**2. Let p(l) = -b(l) + 5*q(l). Let n be p(6). Which is smaller: h or n?
n
Let q = -74803 - -44224. Is q equal to -30580?
False
Let x be -2*9/(-12)*8/6. Let d(y) = 0*y + 11*y**2 - 5*y - 4 + 5 - 6*y**2 - 2*y**3. Let n be d(x). Which is smaller: n or -6?
-6
Let z(m) = -m**2 + 8*m + 3. Let g be z(7). Suppose 8*b + 20 = g*b. Suppose 4*j + 30 + b = 0. Is -10 >= j?
True
Let g be (-3 + 2 + (-9)/(-3))/(-8). Let v be (-12)/9*(-3)/(-98). Let s = v + 69/490. Are s and g equal?
False
Let m be (-36)/(-17) + 14/(-119). Suppose m*r = -142 - 56. Let x be ((-339)/r + -3)/(2/(-3)). Is x at least -2?
True
Suppose 0 = -120*q + 132*q + 12. Is q at least as big as 2/89015?
False
Suppose 0 = 5*c + 2*o - 67, 3*c = 6*c - 2*o - 37. Let h be 0 - (-2)/(-4)*-22. Suppose h*u + 39 = 14*u. Do c and u have the same value?
True
Let m(v) = -351*v + 5170. Let j be m(12). Is 954 greater than j?
False
Let y be ((-2)/3)/((-18)/(-135)). Let i be (-612)/(-15) - 1/y. Suppose -4*u - i + 5 = 0. Which is smaller: u or -12?
-12
Let f = 60327/346748 - 1/15076. Which is bigger: 0.85 or f?
0.85
Let w be (23376/(-4298) - -5) + 12/42. Which is greater: 1 or w?
1
Let h = 1857 - 3260. Is 1 > h?
True
Let q(t) = -2*t**2 - 60*t - 86. Let x be q(-17). Is x less than 359?
True
Suppose 0 = 4*k + 599 - 179. Let a be (-21)/27*k + 2/(-3). Is 81 smaller than a?
False
Let v = 29302 + -29311. Which is greater: 75 or v?
75
Let f = -20/1467 + -42337/230319. Which is bigger: 0 or f?
0
Let k be ((-926)/(-18))/((-123)/1845) - 6. Do -779 and k have different values?
True
Let g be (14/6)/7*(-2 - 18308). Let f = g - -5818. Let b = f + 282. Is b != -3?
True
Let u = -339 - -338. Let j be u + 28/36 + (-364)/(-18). Is 39/2 at most as big as j?
True
Suppose 3*b = 15, v - 21 = -4*b + 9. Suppose 1 = 5*i + 2*z - v, 0 = -5*i + z + 2. Let h be 2/i*12/11. Which is smaller: h or 2?
2
Let r = 4 + 0. Let j = 17.26 + -19.1. Let n = j + 1.64. Is n >= r?
False
Let c be (-1 + -4 - -7) + 9 + -10. Is c less than or equal to 1/15755?
False
Let v = -200 - -385/2. Suppose -212*c = -204*c - 104. Suppose 5*d + 52 = 4*u, c = 5*u - 2. Which is smaller: v or d?
d
Suppose 0 = 3*w + d + 20, -2*w - d + 14 = 28. Let n be (w/(-30))/(2/5)*0. Is n < 6/25?
True
Let j be (-6 + 8064/20)/(21/420). Are 7943 and j nonequal?
True
Let a = 21/4 + -11/2. Let m = -18909 - -19195. Is a greater than m?
False
Suppose 0 = -3*j + 39 + 327. Suppose -15*q + 371 = -12*q - 2*m, -3*m + 230 = 2*q. Is j >= q?
True
Let m = -3/703 - -1111/95608. Let v(i) = -i**3 - 3*i**2 + 11*i + 4. Let k be v(-5). Are k and m unequal?
True
Let y = 276 - 275. Let n(z) = 11*z - 11. Let m(u) = -7*u + 7. Let i(q) = 8*m(q) + 5*n(q). Let w be i(-4). Is y bigger than w?
False
Suppose 39*h - 49*h + 2320 = 0. Let y = -276 + h. Is y greater than -213/5?
False
Let k = 17271/8 + -2159. Which is smaller: -31.3 or k?
-31.3
Let z = 6007 + -5668. Which is greater: 347 or z?
347
Let y = -25435.43 - -26231. Let g = 795 - y. Which is smaller: g or 1/5?
g
Let r = -571 - -347. Let k be (r/(-12))/2*(-42)/4. Which is smaller: -97 or k?
k
Suppose 154 - 532 = 3*z. Suppose -3*w = 222*m - 219*m + 381, -w = 5*m + 627. Is m > z?
True
Let s = 6560 + -6555.3. Which is smaller: -18 or s?
-18
Suppose -28 = -5*h - 3*r, r + 1 - 7 = -h. Suppose 3*o - 2*d = -3, d = h*o + 5*d - 17. Let f = -84/1717 - 1/101. Is o less than f?
False
Let p be (-63)/(-28)*(-40)/(-6). Suppose -2 + 0 = -a. Let f = p - a. Do f and 12 have different values?
True
Let r = 815 - 905. Let v = 23 + -47/2. Are v and r non-equal?
True
Let x be (-52)/(-338) + (-3703)/(-13). Let i = 284 - x. Which is greater: -2/163 or i?
-2/163
Let t(n) = 132*n + 5301. Let d be t(-40). Let b = 3109 - 857. Let r = b - 6694/3. Which is smaller: r or d?
r
Suppose -5*p + 125 = 45. Let y be (-88)/((-6)/(p + -4)). Is y at least as big as 177?
False
Let d be (-182880)/900 - (-12)/10. Which is greater: d or -208?
d
Let c be 12726/441*(2 - -5). Is c smaller than 183?
False
Let d = 4.9 - -0.1. Let k = -100.122 - -0.122. Let w = k + 100.2. Which is greater: w or d?
d
Let v be 8/11*(3/(-246))/1. Is v > 1?
False
Let p be 4488/(-29679) + (-6)/(-39). Let o(x) = -36*x - 35. Let u be o(-1). Which is smaller: p or u?
p
Let m = 12018 - 12018. Is m bigger than -8/745?
True
Let u(j) = -10*j**2 + 115*j + 126. Let k be u(12). Which is bigger: k or -0.014?
k
Let i = -117.71 - -117. Let c = i + -8.29. Let u = c - -15. Which is bigger: u or 2?
u
Let i(o) = 450*o**2 - 1349*o + 1. Let q be i(3). Which is smaller: 109/21 or q?
q
Let z be (-4)/18 - 2737/(-207). Suppose 11*k = -z + 310. Let f be 3*35/135 + 6/k. Is f <= 13?
True
Suppose 168*v - 5*s = 167*v + 368, v + 15*s = 208. Suppose 2*g - 200 = 456. Are g and v non-equal?
False
Let a = -0.299 - -4.699. Let n = -217 - -221.26. Let z = n - a. Is z smaller than 2/3?
True
Suppose -11 = 5*z + 4. Let i = -20073/10 + 2005. Is z bigger than i?
False
Let k = 385 + -404.8. Let g = 32.8 + k. Is -2/3 < g?
True
Let h(q) = -9*q - 63. Let v be h(14). Let g = -260 - v. Which is greater: g or 2?
2
Let l be (-1 - 6) + 532/114. Let k(m) be the second derivative of m**5/20 - m**4/4 + m**3/6 - m**2/2 + m. Let i be k(3). Is l > i?
False
Let w = 2593050/281 - 9228. Is -1 < w?
True
Let a be (15/5)/(60/8). Let j = 8.97 + 5.03. Are j and a unequal?
True
Let x be 328/1804 + (4492/(-22) - -1). Suppose -3*m = -134 + 746. Do x and m have different values?
True
Let k = -2021.6 - -2485. Let o = 466 - k. Is o bigger than 0.3?
True
Suppose -11246 - 4414 = 290*o. Is o > -549/10?
True
Let y = 129 - 120. Suppose 5*x = y*x + 4. Is -2/183 != x?
True
Let w(u) be the second derivative of -u**4/6 - 6*u**3 + 33*u**2/2 - 43*u. Let k be w(-19). Let m(n) = n**2 + 5*n - 7. Let s be m(k). Is s greater than -10?
True
Let d = 323 - 161. Suppose 6*q - 9*q - d = 3*w, q + 270 = -5*w. Which is bigger: -55 or w?
w
Suppose -10*x + 4*x + 30 = 0. Suppose 0 = a + q - 28, 0 = -a + q - x*q + 40. Suppose -4*p + 6*p + 5*u = a, 36 = 3*p + 3*u. Is 10 greater than p?
False
Let j = 3361 - 3360.7. Which is bigger: j or -35/6?
j
Let r = 3.16 - 0.51. Let l = -115.65 + r. Let z = 117 + l. Which is bigger: z or 9?
9
Let z(j) = -j**2 + 16*j + 59. Let x be z(19). Let n be (x + -1)/((-19)/437). Is n not equal to -1/2?
True
Suppose -2*n + 2278 = -n - 8*i, -2*i - 6 = 0. Is 2256 > n?
True
Suppose -3*f = -5*f - 28. Let t = 15 + f. Let n(r) = 9*r**3 - 3*r**2 + 2*r - 1. Let v be n(t). Is 9 <= v?
False
Suppose -4*g - 4*x - 16 = 0, 0 = 2*g + 4*x - 6*x - 4. Let m be (g + -3 - -2)*2/4. Let f = -4463/2485 + -2/497. Is f >= m?
False
Let c(m) = -m**3 + 8*m**2 - 69*m + 270. Let o be c(5). Which is greater: o or 81/2?
81/2
Let i be (-1