16. Suppose y - 279 = -45. Which is greater: g or y?
y
Let y = -157 - -156.904. Let q = y - -0.196. Which is greater: -3.1 or q?
q
Suppose -1027208 = -964*j + 828*j. Is j greater than 7552?
True
Let r(p) be the second derivative of p**4/12 - 7*p**3/6 - 5*p**2 + 6*p. Let i be r(-3). Suppose -i = 3*z - 14. Which is smaller: z or 10?
z
Let u(w) = 2*w**2 - 61*w + 159. Let p be u(9). Is -1/13 != p?
True
Let t = 0.06 + 0.04. Let y = 97.8 - 52.8. Is y > t?
True
Let a = 5251 - 4577. Is 671 >= a?
False
Let s be (16/12)/(72/2430). Which is bigger: s or 63?
63
Let a(h) = -5*h**2 - 30*h - 19. Let i be (2/(-6))/(8 + (-858)/108). Let z be a(i). Which is greater: -22 or z?
z
Suppose o + 2471 = 5*w, -2*w - 4*o = 2*w - 1972. Let u = -788 + w. Which is smaller: -295 or u?
-295
Let u = 1.8 + -1.87. Let d = -181.93 - -182. Let z = d + u. Which is smaller: z or -15?
-15
Suppose 0 = -0*k + 2*k + 6, -5*k = -h + 70. Suppose 5*f + 2*p + 1034 = 1313, 3*f = -4*p + 173. Is f bigger than h?
False
Suppose 0 = 6*i + 13 - 19. Suppose 10*x + i - 1 = 0. Suppose x*z - 2*z + 94 = 0. Which is smaller: -0.1 or z?
-0.1
Let v = -23 - -22. Let m be v + 4 + 7 + -29. Let c be (m/57)/(-1*(-1)/(-261)). Do 88 and c have the same value?
False
Let n = 404.6 + -387. Let g = 19.26 - n. Is g less than 1?
False
Suppose 10*i + 19*i - 437 = 10*i. Let f be ((-2)/3)/(8/36) - -30. Which is smaller: f or i?
i
Suppose -53*m = -5*m - 768. Let t(d) = -d**3 + 16*d**2 - 9*d + 15. Let g be t(m). Do g and -128 have different values?
True
Let i = -3337.3 - -3338. Which is greater: -307 or i?
i
Let b(m) = m**3 - 10*m**2 + 2*m - 13. Let y be (-5)/((-315)/616) - 2/(-9). Let w be b(y). Which is smaller: 14 or w?
w
Let i = 1 + 1. Suppose -i*o = -7 + 3. Let s be -4*3/(-2) + 224/(-63). Which is greater: s or o?
s
Let s(l) = 4*l**3 + 3*l**2 - l - 1. Let p be s(2). Let r = -57 + 59. Let a be (20/4 - 5) + 80/r. Which is smaller: p or a?
a
Let y be (1/(-62330))/(((-3)/(-18))/((-10)/15)). Is y at most as big as 1?
True
Let k be (1/86)/(23 - (-1342)/(-33)). Is k < 0?
True
Let w = -4 + 4.3. Suppose 45 = 4*l - 19. Let f(n) = n**2 - 18*n + 35. Let p be f(l). Which is smaller: p or w?
w
Let f = 9 + -91. Let u = -3276.9 - -3199.9. Let m = u - f. Are 0.2 and m unequal?
True
Let h = 32 - 35.07. Let l = h - -2.67. Suppose 8 = k - 3*k. Is l greater than or equal to k?
True
Let q(c) be the first derivative of 3*c**2 - 47*c - 24. Let t be q(9). Let a(f) = f**3 - 6*f**2 - 5*f - 16. Let y be a(t). Is -24/7 less than or equal to y?
True
Let s be 41032/184*(2 - 1). Is s <= 227?
True
Suppose 3*r + 4*z = 107, 5*r - 2*z - 120 = 3*z. Suppose -3*c = -23 + r. Let v be ((-112)/c)/(-3 + -3 + 5). Which is bigger: v or -55?
-55
Let l be ((-3)/(-12))/(33/352)*282/(-76). Which is greater: l or -11?
l
Let k(c) = -46*c**2 - 726*c + 22. Let m be k(-21). Which is smaller: m or -5017?
m
Let u = -32626/5 - -6026. Let w = -451746/905 - u. Which is smaller: w or -1?
-1
Let t be 458/(-14) + 4/(-14). Let f be (-8)/(-288)*12 - (-182)/(-6). Let a = t - f. Is a greater than -3?
False
Let t be 332387/5626881 - ((-18)/(-17) + -1). Is 1 < t?
False
Let g = 1035721/2165 + -2392/5. Let i(o) = -29*o**2 + 807*o + 139. Let b be i(28). Is b <= g?
True
Suppose 2*q = 4*q + 3*r - 19, -2*q - r = -9. Let s be (1/(-6)*q)/(7/21). Let v be 14 - (8/12)/(s/(-3)). Is v != 80/7?
True
Let k(r) = -r**2 - 2*r + 23. Let q be k(0). Suppose w = -2*y - 31, -3*y + w = 67 - q. Let c(s) = -s**2 - 7*s - 14. Let m be c(-7). Is m less than y?
False
Let a = 6743 + -6861. Is a <= -955/8?
False
Let u = 838.026 - 839. Let p = u - 0.026. Which is bigger: 7 or p?
7
Let w be (-3)/6*(0 + -8 - -2). Let g = 40 - 34. Let r be (-15)/g*(-6)/15. Which is bigger: w or r?
w
Let c be (-114)/(-133)*7 - 1*3. Suppose -3*u + 4*s = c*s + 26, 0 = u + 2*s + 4. Let w be (1/3)/((-2)/52). Which is bigger: u or w?
u
Suppose -71 = -w + 8*d - 5*d, -65 = -w + d. Let m(j) = -18*j - 45. Let a be m(-6). Which is bigger: w or a?
a
Let m be 5 + (2/(-6))/(1/3). Let r(w) = -22*w**3 - 9*w - 5*w**2 - 8 - m*w**2 + 35*w**3 - 14*w**3. Let v be r(-8). Which is smaller: -56 or v?
-56
Suppose 8*v - 3*v = m - 184, 0 = -10*m - 10. Which is greater: v or -43?
v
Suppose -77 = -3*l + 31. Let j be (-2 - (-10)/4) + 1746/l. Are 50 and j equal?
False
Suppose -5*q + 3*q - 122 = -5*j, 4*j - q = 100. Suppose -5 = 5*k + 5. Let u be (9/(36/(-208)))/k. Does j = u?
True
Suppose 4*k + 2*v = 74, -5*k - 3*v + 89 = -6. Let g = -17 + k. Let i be ((-10)/207 + (-26)/(-117))/(-2). Which is bigger: i or g?
i
Suppose -4*q - 5*n + 39 = 0, -5*q = 2*n - 7*n - 15. Let z be 1*q + 231/(-33). Which is smaller: z or 5/29?
z
Let f = -5960/476629 - 2/26979. Suppose 0*k = k + 1. Which is smaller: k or f?
k
Let f be 0 + 5 - (-80019)/(-63). Let i = -1263 - f. Does 3 = i?
False
Let j(v) = 519*v + 1556. Let i be j(-3). Is -1/1291 at least i?
True
Let h(u) = -u**3 + 15*u**2 - 14*u + 15. Let d be h(14). Let f be (2 + (-260)/d)/((-12)/(-18)). Suppose -5*b = 62 + 63. Which is smaller: b or f?
b
Let g = 2/71 - 156/497. Suppose 0 = -3*p + 63. Let v be (-2)/5 + p/(-35). Is g greater than v?
True
Let p = 7.6 + -7. Let r = 0.0357 + 2.3643. Let c = p + r. Are c and 12 non-equal?
True
Suppose 2*r - 62 = -w + 4*r, 2 = -2*r. Let m be (575/(-345))/(2/(728/(-10))). Is m at most w?
False
Let g = 764247/593068 + -5/10052. Does g = 1?
False
Suppose -2*h + 42 = -2*o, h = -4*o + 3*o + 19. Suppose 3*z = 6*v - 4*v + 9, -4*z = h. Which is bigger: -14 or v?
v
Let q = 8537 + -7237. Is q bigger than 1299?
True
Let c(v) = -6*v - 13. Let g(p) = -7*p - 15. Let a(w) = 6*c(w) - 5*g(w). Let b be a(-2). Let n = -0.641 + 0.061. Is b greater than n?
False
Suppose 0 = -10*a - 33 + 73. Let w be (-9951)/1989 + (a + 16)/4. Which is bigger: w or -1?
w
Suppose 0 = 5*i - 2*i + b + 406, 5*i - 4*b = -671. Let j = -131 - i. Which is bigger: 18 or j?
18
Let h be (1 + 3/(-12))*-4. Let x be (h/((-60)/16))/((-4)/(-130)). Let f = x + -33. Is f at most as big as -5?
True
Let i(o) = -o**3 - 20*o**2 - 18*o + 19. Let s be i(-19). Let x = -36 + 38. Suppose 4*h + 68 = x*w, -w + 34 + 12 = -5*h. Which is smaller: w or s?
s
Let b be (-64)/(-20) + 4/(-20). Let y be b/15*3/((-12)/(-10)). Let d(c) = -2*c + 7. Let o be d(-3). Which is greater: o or y?
o
Suppose 0*o = 3*o - 3. Let w = -59900/9 + 479227/72. Which is smaller: o or w?
w
Let a be 1*(-123 + 0) + 1. Let l = -1188679 - -1188556. Which is smaller: a or l?
l
Suppose 6*f + 9 = 45. Let p be 3 + 4/f + -3. Let q = 8/15 + p. Which is smaller: 0 or q?
0
Let j(x) = x**2 - 93*x + 91. Let y be j(92). Which is smaller: 6/1259 or y?
y
Let w be (-4)/30 + 4595/42000*5. Let f = -11/48 - w. Does f = -2?
False
Let a(c) = 96*c + 45. Let s be a(9). Suppose 0 = -3*j - 4*z + s, -2*z + 5 = -1. Which is bigger: j or 298?
j
Suppose 13*s = 11095 + 1437. Let u be s/(-195) + 36/(-270). Are -4 and u unequal?
True
Let f be -17 - (-13532)/85 - 4*1/(-5). Is f less than 170?
True
Let g = 201316846/895 + -224935. Is g at least as big as -1?
True
Let l = 139 + -77. Let m = -62.1 + l. Let a = -58.9 - -58.61. Is m less than a?
False
Let r(j) = 1231*j**3 - 30*j**2 + 30*j - 1. Let a be r(1). Which is smaller: 1227 or a?
1227
Suppose 24*b + 3540 = 39*b. Let o = -252 + b. Are o and -8 non-equal?
True
Let k = -293 - -294. Is k > 11/78?
True
Let r = -30881/16 - -1930. Which is smaller: r or 0.042?
r
Suppose 255*j - 11*j = 0. Let q be (5/(-170))/(2/(-4)). Which is bigger: j or q?
q
Let f(d) be the third derivative of -d**5/40 + d**4/8 + d**3 + 18*d**2. Let m(k) be the first derivative of f(k). Let c be m(-3). Which is greater: 11 or c?
c
Let v be (2 + -2 + 2)*30/12. Suppose -3*a = 3, 4 + 0 = 3*h + v*a. Suppose -2*u = -2*c, -u + h*c = 4*u - 4. Which is smaller: 0.1 or u?
0.1
Let y(k) = 2*k**2 + 25*k. Let s be y(5). Let t be (-270)/s + (-18)/21. Which is greater: 0.06 or t?
0.06
Suppose 884*y - 3*s - 278 = 888*y, -5*s = y + 61. Is y not equal to -76?
True
Let t = -8148 - -8318. Is t smaller than 173?
True
Suppose 0 = o + 3 - 6. Let d be (148/1665)/((-2)/(-84)). Which is smaller: o or d?
o
Suppose 0 = -9*s + 188 - 44. Let k be 124/10*40/s. Is 31 greater than or equal to k?
True
Suppose 13 - 61 = 12*o. Let u(i) = -i**3 + 11*i**2 - i - 3. Let c be u(11). Let m be (c/21)/((-2)/(-12)). Is o bigger than m?
False
Let x = 13902.05