120080)/(-1900))/(2/5). Suppose -2*k = -7*k. Which is smaller: n or k?
k
Let p(b) = 20*b - 1845. Let w be p(91). Is -410/17 greater than or equal to w?
True
Let d = 2349 + -2360. Which is smaller: -665 or d?
-665
Let r be (468/(-165))/(3558/10035) + 8. Is r at least 0?
True
Let l be ((-49)/(-147))/((-1)/6*-2). Let o be ((-12)/(-9))/(268/396) - 2. Which is greater: l or o?
l
Suppose -3*t = -4*o + 10, 1652*t - 1648*t - 50 = -o. Suppose -3*b + j = -29, -37 + 11 = -2*b + 2*j. Is o less than b?
False
Let p be 16600346/(-2710) + 6/(-15) - -5. Let q = p - -6121. Which is smaller: 1 or q?
q
Suppose -2*k - 266 + 252 = 4*d, 0 = -5*d + k + 7. Which is smaller: 4/9691 or d?
d
Let v(m) = -m**3 + 10*m**2 + 13*m + 15. Let n be v(11). Suppose -4*q = 5*z + n + 103, q = 3*z + 67. Let j = 20 + -43. Is z < j?
True
Suppose -37*h - 77749 = -9*h + h. Which is greater: h or -2680?
-2680
Let l be ((-936)/680 - (-21)/15)/(4/175). Are l and 2 unequal?
True
Let o be (5 + -4 - 15/9)*63. Which is greater: o or -52?
o
Let z be (45/21)/5 + 247/(-546). Let m = 157 + -156. Which is smaller: z or m?
z
Let t = 5/7 - 13/28. Suppose 7*l + 85 = 820. Which is bigger: l or t?
l
Let a(u) = -u**2 - 3*u + 1. Let i be a(-3). Is 8/335 greater than i?
False
Let f = 2.34 - 473.34. Let r = -490 - f. Is r < -0.1?
True
Suppose -143 = 2*d - r - 4*r, 5*r = 5*d + 380. Let z = 86 + d. Suppose 10 - z = -3*x. Is 1/32 greater than x?
True
Let x be (-6)/9*(120/(-5))/(-4). Which is smaller: x or -16?
-16
Suppose -5*o + 12 = -8, 2*y = -3*o + 2406. Let h be 1582/228 - 126/y. Which is greater: 8 or h?
8
Let i = 15 + 115. Let f be 122/(-610) + (-5258)/(-40). Which is greater: i or f?
f
Suppose -76 = d - 88. Suppose d*q = -6 - 42. Do q and -26 have the same value?
False
Let n = 253 - 252.663. Let t = -0.437 + n. Is t at most as big as 100?
True
Suppose 2*d + 4 = -2*p, 2*p - 4*d - d = 17. Let v = -16675 + 1517426/91. Is v > p?
False
Let r = 7620 + -7488. Is 127 at most r?
True
Let f = 8243 - 8215. Suppose g + 2*u = -3*g + 30, g = 3*u - 10. Let x = 23 + g. Is x smaller than f?
False
Let l = -10726 - -10725.8. Which is smaller: 904 or l?
l
Let w = -1.074 - -0.074. Let c = 10474/7 - 1498. Is c greater than or equal to w?
False
Let x = 2818/3 - 14087/15. Which is greater: x or -11.3?
x
Let s be (9/2)/(81/702). Let d be (-3*43/s - -3)/(-6). Is d at most 1?
True
Suppose 0 = 4*i + 8, -33*i - 38 = 4*r - 36*i. Is -414/35 at least r?
False
Let q = -48.1 - -45.1. Are -2112 and q unequal?
True
Let m(k) = -13*k - 40. Suppose -19*q + 9*q - 80 = 0. Let w be m(q). Which is bigger: w or 65?
65
Let z be (-114390)/341*4/6. Which is greater: z or -224?
z
Let t = -10343391 + 92984578/9. Let r = 11759 + t. Which is bigger: -12 or r?
-12
Let u be (-2)/4 - ((-1034066694)/188012340 + 5). Let g = -1528782157/105459255045 - u. Let l = g + -1/795. Which is smaller: l or -1?
-1
Let h = -3.1 + 11.2. Let t = 3261.7 + -3268. Let f = t + h. Which is greater: -3 or f?
f
Let w = -226.48 - -227. Let x = 2.52 - w. Do 0.1 and x have the same value?
False
Let w be -1 + (-16)/(-28) + (-487)/7. Let r be (-618)/w + (-69)/161. Which is smaller: r or 9?
r
Let y(d) = -1239*d + 953. Let l be y(-5). Is 7148 != l?
False
Let q = 24.1 - 186.1. Let m = -158 - q. Is 0 > m?
False
Let k = 1051505/18052 + 6/4513. Let l = -45 - 13. Let f = k + l. Which is smaller: f or -0.066?
-0.066
Suppose r + 3*c = -19, -27 + 2 = r + 5*c. Let a(b) = 7*b**2 + b - 1. Let o be a(-1). Are r and o nonequal?
True
Let d = -1 + 6. Suppose -3*c + 16 = -h, -7*c + 5*c = -h - 10. Let t be 64/12*c/4. Which is smaller: t or d?
d
Let u(f) = -708*f - 3462. Let l be u(-3). Which is greater: l or -1340?
l
Suppose 40*i = -2145 - 5655. Is 2/7 at least as big as i?
True
Let n be 2452505/(-135184) + 18 - 1/(-7). Is 1 at most as big as n?
False
Let y(w) = w + 6. Suppose -30 = -5*q - 10. Let j be y(q). Let f be ((-52)/j - -5)*(-10)/4. Which is smaller: f or 1/8?
1/8
Suppose 360 = -4*v + 4*r, 4*v + 3*r = -237 - 81. Let h be 83 + -2 + 1 + 2. Let p = v + h. Is 2/33 > p?
True
Let b = -84.9784 - -0.3784. Is b at most 1?
True
Let h = -458186 + 69643881/152. Let x = h - -56/19. Does -3/4 = x?
False
Let l = 18539 + -74823403/4036. Does 1/5 = l?
False
Let j be (22 + (-900)/48)/((-3)/48). Is j bigger than -994/19?
True
Let d be -5*(-8)/(-4380)*3147/(-102). Let q = d + -22/73. Which is bigger: q or -3/5?
q
Let d = 280.093 - 280. Let n = -0.307 - d. Is n greater than or equal to 28?
False
Suppose 24*w - 1704 = 19*w - 3*f, w + 5*f - 310 = 0. Which is greater: 342 or w?
w
Let f = -109 + 101.9. Let a = 1711.1 + -1709. Let t = f + a. Which is bigger: t or -5/6?
-5/6
Let d be (-63829)/5467 - 11*-1. Is -2 < d?
True
Let n = -124 - -126. Suppose -6*b = -n*b - 16. Is b smaller than 14?
True
Suppose -3*c - 791 = 10*v, 2*v + 31*c = 29*c - 154. Which is greater: -86 or v?
v
Let d = 17.7 + -17.634. Let i = 0.166 - d. Is 6 equal to i?
False
Let f(i) = i + 1. Let k(n) = n**2 + 8*n - 5. Let b(o) = f(o) + k(o). Let t be b(-12). Suppose -t = -7*j + 10. Is j at least 5?
True
Let t be ((-164)/1230 - (-2)/(-10)) + (-24158)/48. Which is greater: t or -505?
t
Let d = -78 + 82. Suppose -2*s + 247 = b, 0 = -d*s + 3 + 1. Let o be 7/(b/(-10)) + 0 + 0. Are o and 31 nonequal?
True
Suppose 680 = 4*p + 780 + 824. Is p greater than -236?
True
Suppose 0 = -2*o + 8 + 6. Suppose -4*a - o - 1 = 0. Suppose 5*c - 28 = -0*c + 2*k, -k = 2*c - 4. Is c greater than a?
True
Let y = -99.2 - -82. Let g = 17 + y. Let o = -0.5 - -10.5. Which is greater: g or o?
o
Let y be 4 + -1 + 14822/(-15930)*3. Let o = y + 4/295. Which is greater: 68 or o?
68
Let x be (-1)/(-3) + 294/(-441). Which is smaller: x or -226?
-226
Let u = 2391 - 2435. Which is bigger: -72 or u?
u
Let l(z) = z**2 - 2*z + 2. Suppose 5*q - 37 = -4*p, 0 = -3*p - 3*q + 38 - 14. Let y be l(p). Suppose 0 = -7*s - 2 - y. Is s bigger than -4/9?
False
Suppose 45 = 28*g - 19*g. Suppose 2*t = 0, -100 = -5*o - 0*o - g*t. Which is smaller: 41/2 or o?
o
Suppose 20*q = 15*q + 25. Let d be 4 + (2 - 1) + q + -3. Suppose -460 = -d*y + 149. Is 88 at least as big as y?
True
Let h be -2 + (0*1/(-3))/2. Let v(d) = -d**2 - 8*d + 9. Let j be v(-7). Let m = j + -21. Is h >= m?
True
Let w be 10 + ((-963)/62)/(73139/47088). Is -1 at most as big as w?
True
Let g = -3230 + 3573. Which is greater: 350 or g?
350
Let o be (-4 + 2 + 1)*-119. Let p = 104 - o. Is -17 >= p?
False
Let l = 199 + -165. Suppose 0 = 5*y + l + 46. Which is bigger: y or -82/5?
y
Suppose 103*a = 100*a - 1287. Let x be (4 + a/(-4))*(-6)/(-15). Is x less than 45?
True
Let y = 3.944 - -0.224. Let j = -4.05 + y. Is -1/2 >= j?
False
Let r be ((-1504)/(-18))/(-2) + (-20)/90. Let t = -6789 + 6790. Which is bigger: r or t?
t
Let s = -3.9656 - -14.3656. Is -57 bigger than s?
False
Let v be (-1 + 2 - -4435)*(-893)/3572. Is -1112 at most v?
True
Suppose -3*p + 5 = 5*a - p, 2*a - 2*p - 2 = 0. Let v be (-14)/30*(1 + a - 1). Which is bigger: 0 or v?
0
Let n be 5/(5/(-9))*-13. Let m = -116 + n. Let t be 65/186 + (-4)/(-24)*-2. Which is smaller: t or m?
t
Let j be (4/(-8))/((-166)/4). Let i(q) = 2*q - 14. Let y be i(10). Suppose 2*t + c - y + 2 = 0, 0 = -t + 5*c - 20. Is t less than j?
True
Let s be (-1)/956*(-19678)/31. Let r = -9/478 + s. Is 1 at least r?
True
Suppose -5*w - 57*o = -53*o - 56, 4*w - 4*o = 88. Let y be 2 + 4/(-6)*-3. Suppose y*m = -4*z + w, 2*m - 3 = -5*z + 8*z. Is -12/31 less than or equal to z?
True
Suppose -4*b = -29*b - 9*b + 612. Let q(r) = r**3 - 4*r**2 + 3*r + 1. Let j be q(3). Suppose 4*n - 3*a + j = 65, 3*a - 12 = 0. Which is smaller: n or b?
b
Let d be 4/(-28) + 142/14. Let r = -55 + -100. Let w = 155 + r. Which is smaller: w or d?
w
Suppose 3 = j + 1. Suppose 0 = 2*a - j*l - 14, a + 4*l = -9 + 1. Suppose -3*x - 4 = -a*x, -5*m + 4*x + 194 = 0. Which is smaller: 43 or m?
m
Suppose 0 = -5*o + 2*s - 4, 2*o + 0*s - 3*s = 5. Let u be (-45)/o*20/25. Which is greater: u or 89/5?
u
Let x = -82993/5 + 16599. Which is smaller: -3.597 or x?
-3.597
Let t be (-12)/(-13605)*(-90)/432. Is -1 bigger than t?
False
Let v = -7212 - -7194. Which is smaller: 2/269 or v?
v
Let k(f) = 5*f**2 + 332*f + 2440. Let c be k(-58). Let x be 59*(1 + (-2 - 0)). Is x greater than or equal to c?
False
Let r = 3602 - 3602.05774. Let g = r - 12.95926. Let f = 0.017 + g. Whi