(3/(45/12))/(25/w). Let n(q) = q**3 + 7*q**2 + 4*q - 2. Let g be n(-4). Which is smaller: g or u?
g
Let i = -13.1776 - -0.0776. Let n = i + 13.2. Which is greater: -30 or n?
n
Let b = -140/13 - -1032/91. Let t = 427 + -431. Is t < b?
True
Suppose -95*x + 104*x + 9 = 0. Are -8/613 and x equal?
False
Suppose 0 - 3 = -d. Suppose 0*m - 6 = d*m. Let s(x) = 173*x + 163. Let f be s(-1). Is f not equal to m?
True
Let d = 27 - 27. Let g be ((-6)/94)/((-42)/112). Which is bigger: g or d?
g
Let t be ((-11)/11)/(4*(-5)/13780). Which is smaller: t or 688?
688
Let o = -17655 - -17590. Which is smaller: o or -67?
-67
Suppose 1614 = f - 807. Suppose -3*o = -12*o - f. Which is bigger: o or -270?
o
Let z(g) = 3*g + 50. Let m be z(-15). Suppose -9*u + m*u - 40 = 0. Let h be ((-12)/165)/(2 - (-16)/u). Is -36 bigger than h?
False
Let j = -104 + 109. Suppose d = j*o - 17, -3*o = 2*d + 18 - 10. Is d smaller than 0.04?
True
Let y = -30566 + 18635. Do y and -11930 have different values?
True
Let o(h) = -h + 3. Let y = 11 - 4. Let k be o(y). Let p be k/(-20) + -1 + (-49)/(-55). Is 1/2 <= p?
False
Let f = -1.1224 - -1.3224. Which is greater: -1713 or f?
f
Let q be 3/2*(7 - (-121)/33). Does -115 = q?
False
Let m be (-115)/(-9) + (-10)/(-45). Suppose 4316 = 13*v + m*v. Is 167 greater than v?
True
Suppose 355*r = 344*r - 22. Which is smaller: r or -14/11?
r
Let m = 3155167599181/18426 + -1027407095/6. Let a = 2378462547/869093 + m. Let o = 2759 - a. Which is smaller: 1 or o?
o
Let g = 5.6121 - 1.6121. Suppose 3*v - 56 = -4*n, -v + 5*n - 3 = -28. Let h be (-13)/v - (-2)/5. Is g at least as big as h?
True
Let b be 22/88 - 1346/8. Let m(j) = -11*j**2 - 3*j + 20. Let y be m(4). Is b equal to y?
True
Let b be ((-200)/(-48))/5*8/50. Let y = -57.89 + 58. Let f = -0.21 + y. Which is smaller: f or b?
f
Suppose 53*y - 59*y = 3*d + 39, -3*d = 3*y + 21. Let f be (-102)/(-4)*(-2)/(-5). Which is smaller: f or d?
d
Let m = -5580782 + 396221938/71. Let s = -2014159/781 + m. Let c = 2767 + s. Is -4 equal to c?
False
Let b = 80 + -38. Let o = 42 - b. Let i = 161/132 - -1/33. Is i at most as big as o?
False
Let g = 57839 - 525409477/9084. Is g greater than -1?
True
Let d = 120 - 117. Let w = -7/4 + d. Which is greater: 0.1 or w?
w
Suppose -y + 12 = -5*z, -4*y + 3*y = 5*z - 2. Let k(h) = h**3 - 9*h**2 + 7*h + 3. Let v be k(y). Is -45 less than or equal to v?
False
Let l be 6/3 + ((-17744)/114)/4. Let o = -122/19 + l. Is o smaller than -42?
True
Let x be -2 + ((-128)/18)/(-4). Let g(f) = f**2 - 36*f - 131. Let a be g(40). Let t = -29 + a. Which is smaller: x or t?
x
Let x(i) = -3*i**3 + 4*i**2 - i + 5. Let t be x(3). Let y = t - -37. Let c be 1/(4/(-56))*(-15)/y. Is c smaller than -35?
False
Let t be (2 - 14/8)/((-1)/(-706)). Let p = t - 177. Which is greater: p or 382?
382
Let m be ((-55)/(-1020))/(-11)*54/36. Which is smaller: m or 0?
m
Let b(l) = 11*l**2 + 5*l + 4. Suppose -2*n - 17 = 5*w, -1 - 2 = w. Let a be b(n). Which is smaller: 4 or a?
4
Let u = 3.142 + -3. Let y = u + 0.058. Suppose 4*h = w - 2, -2*w - 5*h + 0 + 4 = 0. Which is bigger: y or w?
w
Let w(g) = -7*g**3 - g**2 - 3*g + 8. Let h be w(3). Let r = h + 198. Which is smaller: r or -5/26?
r
Suppose 3*b + y - 46 = -12, 0 = y + 2. Suppose 11*l = b*l - 1. Which is greater: l or 4/193?
l
Let d(y) = 40*y + 2799. Let m be d(-70). Are m and 13/267 equal?
False
Suppose 10388*w - 10405*w = -935. Let m(l) = l**2 - 5*l + 5. Let k be m(5). Suppose -250 = -k*y - 5*f + 5, -171 = -3*y + 3*f. Which is bigger: w or y?
w
Let c = -206 + 553. Suppose c - 344 = 3*n. Which is greater: 26/37 or n?
n
Let l be 8*((-20)/2912)/(-3*25/270). Which is greater: l or 1?
1
Suppose 40*b - 2142 = -9182. Let p = b + 159. Which is smaller: -10 or p?
p
Let v(s) = -4*s - 52. Let t be v(-13). Suppose t = l - 7 - 1. Suppose -r = -28 + l. Is 22 greater than or equal to r?
True
Suppose 15 - 70 = -5*n. Suppose n*m = -26*m - 37. Which is bigger: m or -3/53?
-3/53
Suppose 0 = -3*k - 4*i + 895 - 224, -699 = -3*k + 3*i. Let y = 220 - k. Is y at most -42/5?
True
Let u = 576 + -558. Let f be (-96)/432 + 292/u. Which is smaller: f or 19?
f
Let a = -441.89 + 440. Let c = 1.8 + a. Is c equal to -10?
False
Suppose 5*q - 2*n + 7*n + 3450 = 0, 2078 = -3*q + 5*n. Let h = 4825/7 + q. Suppose 3*v + 12 = 3*a, -27*v - 4*a = -23*v - 8. Which is greater: v or h?
v
Suppose 49*n = 52*n - 3*q - 258, -2*n = 4*q - 124. Which is bigger: 1257/16 or n?
1257/16
Suppose -40*v + 30*v + 13690 = 0. Suppose -6*j = 629 + v. Which is smaller: -334 or j?
-334
Suppose 0 = 5*f, k + 5*f = -0*k. Let u be (-4)/(-32) - (-276)/96. Suppose -4*n = 4*z - 4, u*n + k*n - 8 = 2*z. Is n != 2?
False
Suppose -102 + 82 = 20*x. Let v = -1/644 - 947/12236. Which is greater: v or x?
v
Let j(p) = -24*p**2 - 27*p - 51. Let w(s) = -11*s**2 - 14*s - 26. Let v(y) = -6*j(y) + 13*w(y). Let o be v(19). Is -52 at most o?
True
Suppose -5 + 15 = 2*z. Suppose -q = -6*q - 5*x - 75, z*x - 65 = 5*q. Let j = -14 - q. Which is greater: -4 or j?
j
Let r(u) = u**3 + 24*u**2 + 114*u + 147. Let v be r(-16). Which is smaller: v or 1848/5?
1848/5
Suppose 4 + 66 = -5*z. Let w be z/8*(48/14 + -3). Let q = 9/8 + w. Is -1 smaller than q?
True
Let y = -313.909 - 0.091. Let a = 312 + y. Let f = -33 + 12. Which is greater: f or a?
a
Let k = 34647 - 34646. Let y = 10673/365 - 146/5. Which is greater: y or k?
k
Suppose -m = -n + 2, 0*n + n - 6 = 3*m. Let t = 43/133 - 2468/1463. Are n and t equal?
False
Let a = 10990 + -10559. Which is greater: -0.5 or a?
a
Let z(q) = -3*q**3 - 2*q**2 + 5*q + 10. Let j be z(-4). Suppose -96 = 2*t + 2*v, -4*t + 7*t + 5*v = -j. Let x = t - -57. Which is greater: 13 or x?
13
Let c be (-54)/12*22/(-3). Let k = -51 + 28. Let q = c + k. Are q and 1 equal?
False
Let a(d) = -302*d**2 + 904*d + 6. Let u be a(3). Let x = 14/235 + -11393/187295. Is u greater than or equal to x?
True
Suppose -160 = 27*o - 29*o. Suppose -a + o = -4*v, 9*a - 2*v + 334 = 14*a. Which is smaller: a or 67?
67
Let j = 5531 - 5530. Is j < 3/2704?
False
Let v = 481418659/3395 + -992345/7. Let b = v - 387/10. Which is greater: 1 or b?
1
Let j = 2830738471/10223 + -276899. Which is bigger: j or 0?
0
Suppose f = 6*k - k - 172, -3*k = -5*f - 904. Let u = f - -167. Which is smaller: -11 or u?
u
Let z be (-4)/5*(-5)/60*-30. Let n be (z/(-4))/(5/(-10) + 0). Which is bigger: -5 or n?
n
Suppose -6*v + 3*c = -7*v - 315, -v - 4*c - 307 = 0. Is -335 at least v?
True
Let q = 0.4329 + 1382.5671. Is q > 1/2?
True
Let g = -1 + 7. Let f(w) = -6*w + w - 16 + w**3 + g*w**2 + 2*w. Let m be f(-6). Is m equal to 1/3?
False
Let v(i) = 16*i + 19. Let s(b) = 3*b + 4. Let y(j) = 11*s(j) - 2*v(j). Let g be y(-8). Is 16 > g?
True
Let c(s) = s**2 - 2*s - 2. Let t be c(0). Let w be (8957/2343 - 4) + t/(-11). Is w >= -1?
True
Suppose -11*u - 3*u = 112. Let a be (u/(-134))/(46/92). Is a at least 0?
True
Suppose 4*i = q - 2*q + 8, -4*i + 12 = 0. Let a(g) = g**3 + 18*g**2 - 6*g - 44. Let v be a(-18). Suppose -61*c + 6 = -v*c. Which is bigger: q or c?
c
Let x(f) = -75*f + 785. Let a be x(11). Which is smaller: -47 or a?
-47
Let d = -0.99 - -0.526. Let a = 0.064 + d. Let i be (10/25)/(6/(-20)). Which is smaller: a or i?
i
Let m(l) be the second derivative of -l**3/2 + 39*l**2/2 + 6*l - 9. Let f be m(13). Which is greater: f or 31.9?
31.9
Let j = -0.46574 - -0.06574. Which is smaller: -94/3 or j?
-94/3
Suppose -2*o + 10 = 0, r = 5*o - 907 + 134. Let q = 650 + r. Is -99 greater than or equal to q?
False
Suppose -3*q = 3*n + 2247, 17*q + 2*n + 2248 = 14*q. Which is greater: q or -752?
q
Let h be (-1 + (-44)/(-2))*1. Let g = -2 - h. Let n(x) = 2*x - 385. Let z be n(181). Is z less than g?
False
Let c(r) = -17*r**2 + 442*r - 3038. Let b be c(7). Which is greater: b or -776?
-776
Suppose 5*q - w = -8, 9*w = 3*q + 11*w - 3. Is q not equal to -8/1315?
True
Suppose 345 + 1824 = -9*q. Let w = 287 + q. Are w and 47 equal?
False
Let h = -19 + 22. Let z(a) = a**2 - 2*a. Let l be z(h). Suppose 4*u + l*x = -49 + 10, 33 = -3*u - 3*x. Do u and -17/3 have different values?
True
Let t be 2/10 + ((-54)/(-15))/(-18). Let l be 4/(-5)*(-275)/(-1562). Does t = l?
False
Suppose -2*k = -5*h + 524, -24*k - 383 = -3*h - 13*k. Suppose 4*i + 5*a = i + 323, 2*i - 3*a = 190. Is h at least as big as i?
True
Let q be (-12590)/(