-43243)/996 - (8/6 - 2). Which is smaller: g or -43?
-43
Let y = 261/2 + -803/6. Do -0.091 and y have the same value?
False
Let w = -472 - -1889/4. Let a(b) = 26*b + 9. Let n be a(-4). Let o = 65 + n. Do w and o have the same value?
False
Let s be 15216/(38/40 - (-18)/(-90)). Is 1 < s?
True
Let r = -42282 + 42357. Let f be (302/(-10))/((-2)/5). Is f > r?
True
Let b be 313046/(-392562) - 2/(-9). Which is bigger: b or 0?
0
Let w be (1*3)/((1 + 5)/12). Suppose -13 = -w*o + 5. Let s be ((-19)/21)/(o/9). Which is smaller: -3 or s?
-3
Let m = -24/29 - -2534/3973. Which is smaller: m or 1?
m
Suppose 0 = -a + 5, w + w = -2*a + 16. Let g(v) = -v**2 + 9 - v**w + 4*v + 3 - 21 + 14. Let i be g(-2). Which is smaller: i or 6/19?
6/19
Let f = 12841 + -12841.07. Which is smaller: f or 172?
f
Let i be 36/54*22*9/12. Let p be (-4*2)/((-2)/1). Suppose 0 = -4*g - 5*r + 16, 5 + i = -p*g + 3*r. Which is greater: g or -3/4?
-3/4
Suppose u + y = -3*y + 22, -u = -5*y + 23. Let f be -1 - (u/(-11) + 1830/(-2277)). Let t(n) = -2*n - 21. Let a be t(-10). Which is smaller: a or f?
a
Let g = 2902 - 3308. Is g > -401?
False
Let t be (-5 + (-118)/(-10))*(-35)/1. Let z = -237 - t. Which is greater: 2/611 or z?
z
Let t = 2.38 + -1.02. Let z = t + 73.64. Let r = -74.988 + z. Which is smaller: 0 or r?
0
Let n = -900/19 - -264619/5586. Is n bigger than 0?
True
Suppose 7455 = -101*g - 5473. Which is smaller: 21 or g?
g
Let m be (-1063*4/(-20))/(1106/182 - 6). Which is greater: m or 2765?
2765
Let j = -193.031 - -193. Let x = -404.777 - -405. Let v = -0.023 + x. Which is smaller: v or j?
j
Let o = 39.6 + -15.7. Let j = -2.802 + 26.802. Let z = o - j. Which is bigger: -5 or z?
z
Let l be ((-397)/2)/((-75)/(-1758)). Let j = l + 4652. Does j = -1?
False
Suppose 3*u = -4*w - 7684, 3409 = 5*u + 4*w + 16229. Which is smaller: u or -2569?
-2569
Let b = -50 + 76. Suppose -10*d + b = -4. Suppose r = -0*v - v + 23, -5*r + 99 = -d*v. Is 21 at least r?
True
Let n(y) = y**3 - 6*y**2 - 12*y - 18. Let q be n(8). Let k be ((-8)/q + 0)*(-364)/104. Let d be (-30)/(-68)*8/10. Do d and k have different values?
True
Let w = 1.2 - 0.2. Suppose 0 = -5*b - 3*t - t + 27, 0 = 3*b + 4*t - 21. Let j be b/12*4*4/(-12). Is j at most w?
True
Suppose -9*d = -3*k - 10*d + 3, 3 = 3*k + 4*d. Which is bigger: 168/101 or k?
168/101
Let o = -4029331/36530 - -2858/65. Let c = o + -1/1686. Is -65 not equal to c?
True
Let u be ((-6)/(-8))/(-26 - 4935/(-188)). Let o(g) = 2*g**2 + 3*g + 1. Let m be o(-2). Is m not equal to u?
False
Let f(n) = n**3 - 9*n**2 - 7*n - 23. Let w be f(6). Let h = 171 + w. Which is smaller: -37 or h?
-37
Let p = 86/303 + -398737/1405920. Is 0 <= p?
True
Let k = 3 + -1. Let o be (-576)/(-192) - (6/14 - (-76)/(-14)). Is k <= o?
True
Let o be (-51362)/(-4208) + 2/(-6) + -11. Let b = 43/69 + -11263/18147. Let f = b + o. Which is greater: -0.2 or f?
f
Suppose -4*m = -u - 4*u + 45, -3*m - 2*u - 5 = 0. Let t be 5 + m + (-28202)/19. Let s = t + 1484. Is s not equal to -1?
True
Let r be (5 - (-668)/132) + 2 + -12. Which is bigger: r or 0.185?
0.185
Let i be (-47)/(-7) + 16/56. Let o = 2077746/107 + -19418. Let g = 5918/749 - o. Is i at most as big as g?
True
Let j = 493 - 484. Suppose 0 = 3*g - j, 11*z - 6*z + 1133 = g. Is z bigger than -228?
True
Let k = -11793 + 11798.479. Let r = k - -0.521. Does -0.2 = r?
False
Let z(n) = 3*n**2 + 2*n + 3. Let k be z(-1). Let x be 9 + 3 + -1 + -5. Is x greater than k?
True
Let l = 333/778 + 28/389. Which is smaller: -6426 or l?
-6426
Let p = 866 + -861.47. Let r = -4.5 + p. Let f = -59/20 + 16/5. Does r = f?
False
Let i be -2 + (-6 + 0 - -36). Suppose 4*s = -3*k, -4*s - i - 4 = -5*k. Is k smaller than 10?
True
Let t = -3671 - -3799. Does 12 = t?
False
Let i = 79.8 + -75. Let r = -4 - i. Let l = 4.8 + r. Which is smaller: l or -1?
l
Let n = -31 - -34. Let a be (2289/(-3))/(-7)*n. Is a smaller than 328?
True
Suppose -3*m + 1127 = 4*c - 0*m, 0 = 3*c - m - 842. Let z = 519 - c. Let b be (-32)/56 + (-284)/z. Which is smaller: b or -3?
-3
Let y = -0.39 + 67.39. Let s = y - 69. Which is greater: 12 or s?
12
Let a = 38 + -38.029. Let p = 3613/15246 + -25/1694. Is p less than or equal to a?
False
Suppose 57*i + 1595 = 39*i + 29*i. Is i equal to -2/7?
False
Let q = -2926637/306 + 9564. Which is bigger: 0 or q?
0
Let w(i) = i**3 + 2*i**2 + 3*i + 3. Suppose 0 = 7*b - 20 - 1. Let g be 12/(-30) + b/(-5). Let o be w(g). Is o >= -1/10?
True
Let p = 8350 + -58456/7. Is p < -0.002?
True
Let p be 2804/(-12) - 44*(-26)/(-3432). Let h = 1 - 0.9. Which is smaller: h or p?
p
Let n(y) = -27*y + 620. Let z be n(23). Is z less than -2073?
False
Let v = 185 - 121. Suppose -5*b - 20 = 0, 3*r = -14*b + 16*b - v. Let u be r/(-36)*(-2 - 3/(-6)). Which is smaller: u or 0?
u
Let b = 33/212 + -4511/23532. Which is bigger: b or -0.1?
b
Let h = -0.14 - 0. Let a = 7/66 + 83/462. Which is smaller: h or a?
h
Let i = 169 - 169.261. Let x = i - -0.561. Is -58 < x?
True
Let u(s) = 9*s**3 + s**2 + 4*s - 4. Let c be u(1). Let w be (3 - c/6)*33/(-2). Which is smaller: w or -20?
w
Let t = -116 - -190. Suppose -3*j - 10*j + 962 = 0. Is t not equal to j?
False
Suppose -4*w - 36 = -5*x, -5*w - 4*x - 4 = -0. Let t be 0 + w + (-3960)/(-1001). Which is smaller: 1 or t?
t
Suppose -3*o = -117 - 45. Let p = o - -41. Let f = p - 116. Is -21 less than f?
False
Let l be (-2 - -9) + ((-384)/352)/(6/33). Which is greater: -6/1685 or l?
l
Let z = -464131 + 464084. Let y be (-6)/15 - (-466)/(-10). Do z and y have the same value?
True
Let q be (-5)/((35/(-10))/7). Let i be 3*q/(-195)*1. Let k = -17/26 - i. Which is smaller: k or 0?
k
Suppose -301*t = -174*t + 127. Let r be 2/7 - 329/294. Which is bigger: r or t?
r
Suppose 0 = g + 4*g + 15, 3*o + 2*g = -6. Suppose -25*z - 13*z - 1558 = o. Which is greater: -36 or z?
-36
Let k be 25/(-5) + 3 - (-3)/3. Are k and 11/64 nonequal?
True
Suppose -3*n + 3*j + 2772 = 0, 0 = -6*n + 2*n - 2*j + 3714. Is n > 928?
False
Let m = 12.7 + -101.7. Let o = -93 - m. Which is smaller: 3 or o?
o
Let s be (-13)/(-20) - (-1)/(-4). Let a(n) = -n**2 - 16*n + 12. Let u be a(-21). Let z = u - -94. Are z and s non-equal?
True
Let t = -0.5498 - -0.53. Let w = 38.9802 - t. Is w at least as big as -1/3?
True
Suppose 105 = -10*j + 15*j. Suppose g - 2 = 0, 4*v + 4*g = -1 + j. Suppose -48 = -v*z + 5*m, 0 = -2*m + 3*m - 3. Which is smaller: 20 or z?
20
Suppose 351*f = 108 - 25 + 268. Suppose -2*q + u - 51 = 0, -4*u + 37 = -2*q - 29. Let d be 3/12 + q/(-52). Which is smaller: f or d?
d
Let b = -33371 + 33371.1. Which is smaller: 7316/9 or b?
b
Let a be 84/(-4)*((-81)/21 - (-102)/119). Let v be (0 - 124)*(-1)/2. Which is smaller: v or a?
v
Let c(t) = 1118*t + 1172. Let o be c(-4). Is 0.1 smaller than o?
False
Let x = -1917443/8708 + -115/1244. Is x less than or equal to -219?
True
Let q = -0.8 + 1. Let l = 4826 - 4865. Are q and l nonequal?
True
Let j = 379.69 + -379.8. Is j > -0.1928?
True
Let v(m) = -6*m - 100. Let d be (-396)/45 - ((-6)/(-10))/3. Let p be v(d). Which is greater: p or -91/2?
-91/2
Suppose -g + 3 = 0, 2*q - 9 = -q + 3*g. Suppose -5*w - 5*s + 15 = 0, 0 = -0*w + 2*w + 5*s + 6. Suppose 9 = 2*f + w. Is f <= q?
True
Let u = -31.07 + -32.01. Let d = u + 0.08. Let o = d + 62.6. Is o bigger than -1/2?
True
Let w(a) = 17*a**2 - 3*a - 23. Let l(y) = -51*y**2 + 7*y + 70. Let i(z) = -6*l(z) - 17*w(z). Let g be i(3). Which is bigger: g or 149?
g
Let u(c) be the second derivative of -7*c**4/12 + 23*c**3/6 - 2*c**2 + 83*c. Let a be u(4). Is -20 smaller than a?
False
Let l(x) = 54*x + 818. Let j be l(-13). Is 121 > j?
True
Let d = -7094 - -7094.168. Which is smaller: d or 2?
d
Let q(s) = s**3 + 58*s**2 - 387*s - 116. Let u be q(-64). Which is smaller: u or 3?
3
Let s = -68.9007 + -0.5893. Let k = -69 - s. Let d = 0.5 - k. Which is greater: d or 5?
5
Suppose -321588 = 14*j + 34754. Let y = j + 177853/7. Is -46 not equal to y?
True
Let t be (-9*(-1)/12591)/(2/(-12)). Is 1 bigger than t?
True
Let q be (-34)/(-3672)*27 + 2303/4. Which is greater: q or 591?
591
Let d be (-7252)/(-343) - 6/(-7). Suppose -j = -17 - 8. Let c be j + (-1 - (0 - 0)). Is c at most d?
False
Let c = -108/319 + -154911/3190. Let r = 97/2 + c. Which is bigger: r or -50?
r
Let g = -266 - -339. Is 52 at most as big as g?
True
Let u = 18653 - 55961