+ 579 + 380. Which is greater: w or -491?
w
Let k = 56 - 56.44. Let i = -0.395 - k. Let q = i + -0.005. Is q at least -5?
True
Suppose 17568 = -170*k + 138*k. Which is greater: -550 or k?
k
Let g = 24.6 + 1392.4. Are g and 1/4 equal?
False
Let z = -5047 + 5046. Is z > 0.0135?
False
Let m = 9671/2 + -4988. Let r = -6427/42 - m. Does 0 = r?
False
Suppose 50*n - 49*n - 5 = 0. Suppose -6 = -g + 5*v, -16 = n*g + 5*v - 76. Let t be (g - 11)/(2/(1*2)). Which is greater: -1/9 or t?
t
Let c = -7 - -7.06. Let u be -9 - (279/31 - 21). Which is smaller: c or u?
c
Suppose 6*m = m + 15. Suppose -3*g - m*s = 27, -2*s - 24 = 5*g + 18. Let f be -1 - (-2 + -3*g/3). Is f >= 7?
False
Suppose 4*y = 0, h = y - 6*y + 4. Let i be h/14 + 2880/63. Let b = i + -16. Is b > 30?
False
Let s be 6*(-5)/(-5) - 3. Let l be 322/((-21)/s) + (0 - -2). Let g = -50 - l. Which is smaller: g or -1/5?
g
Let g = -865 - -667. Let a = 198 + g. Do 2/2253 and a have different values?
True
Suppose -146 = -2*t - 3 - 3. Which is bigger: t or 77?
77
Let r = 8/1323 + -47077/2646. Which is greater: r or -17?
-17
Suppose -s + 5*j + 23 = 0, -4*j = -s - 7*j + 15. Let a = s - -31. Let f = a + -639/13. Is 0 smaller than f?
False
Let u(d) = 7628*d - 83969. Let y be u(11). Suppose 3*w + 2*c = -190, -c + 275 = -5*w + 4*c. Which is bigger: w or y?
w
Let z = -75198 - -394112714/5241. Is z not equal to 1?
True
Suppose -3*y - 7 = -0*y - 2*c, 3*y - 3*c = -12. Is y greater than -1/7931?
True
Let y = -0.1 + 0.1. Let z = y + 0.2. Let a = -2802.01 - -2802. Which is bigger: z or a?
z
Let u(l) be the first derivative of -l**4/4 + 5*l**3/3 + 4*l**2 + 4*l + 30. Let m be u(6). Suppose 5*j + c = 35, 2*j - 5*c - 17 = 3*j. Which is greater: m or j?
m
Let v = 52 - 35. Let f be (-26 - 0)*(-628)/4082. Is v not equal to f?
True
Suppose -3*r + 90 = 5*l, -3*l - 72 = -7*l - 5*r. Suppose 30 + l = 6*i. Suppose i*a = -5*a - 52. Is -19/5 <= a?
False
Suppose -3*x = 3*d + 157 - 775, -3*x - 2*d = -622. Let o be (-28)/x + (-1076)/30. Let i be ((-418)/(-12) - 6/o) + 1. Is i equal to 36?
True
Let t = 383.9 - 392.9. Is t >= -130?
True
Let v(k) be the second derivative of k**4/12 + k**3/3 - 31*k**2/2 + 12*k. Let p be v(-6). Let g be 11 + (-15 - -8) - 122/12. Which is smaller: g or p?
p
Let x = 0.34 + 30.16. Let j = -29.806 + x. Let s = j - 0.62. Which is smaller: s or 1?
s
Suppose -7*b + 369 = -961. Let v = b - 106. Let n be 6*(172/v + -2 + 0). Which is greater: -25 or n?
n
Let y be (-4)/(10 - 2)*31760/4. Let f be 12/(-54) + y/(-45). Which is bigger: 91 or f?
91
Let m(t) = -242*t - 969. Let g be m(-4). Which is greater: 256 or g?
256
Suppose -5*o + 4*o = -4. Let u be (-1 + o - -1) + 4/(-2). Suppose -l = k - 15, -4*k - 45 = -u*l - 3*k. Is 19 < l?
True
Let y = -3/287 - 17/25830. Let n = -78 - -79. Is n less than y?
False
Let b = 6001.12 - 6001. Is -35 equal to b?
False
Let x = -17408 + 17695. Is x bigger than 233?
True
Suppose -4*l = -h - 26, -9*h = -4*h + 10. Suppose 0 = -l*r - 11*r - 85. Is r <= -49/9?
False
Suppose 4*a = 5*m + 2*a, 4*m + 3*a = 23. Let p be -6*((-55)/10 - -7). Let u be (10 + -1)*(p - (2 - 10)). Are u and m unequal?
True
Suppose 109*n - 114*n - 40 = 0. Suppose 64*w - 295 = 5*w. Are w and n equal?
False
Suppose -14 = 11*n - 14. Suppose 4*t + 15 = -n*m - 5*m, 4*m + 12 = 3*t. Which is greater: m or 2/79?
2/79
Let p be ((-303)/(-26967))/((-1)/126). Is p < -1?
True
Let w = -40 - -17. Let l be 451/(-143) + 6/39. Which is smaller: l or w?
w
Let o = 0.1 - 0.1. Let s = -928.54 + 828.54. Which is smaller: s or o?
s
Let l = -5183 - -5218.77. Let z = 6330 + -6329.77. Let r = l + z. Is r smaller than 2/3?
False
Suppose -59 + 49 = -2*h. Suppose -h*x + 355 = 30. Suppose 5*l = 80 - x. Do 6 and l have the same value?
False
Let g be (4 + -1)/(3/30*2). Suppose g = 18*s - 3. Is 21/13 at most s?
False
Let q be (-885)/882 - (22/(-2) - -10). Is -1 at least q?
False
Suppose -2*k + 14976 + 41160 = 4*s, 14048 = s + 4*k. Which is smaller: s or 14031?
14031
Let a = 29.044 - 0.044. Let n = 2 + a. Let y = 31.048 - n. Are 0 and y equal?
False
Suppose -11 = 4*l + 13. Let r be 12*((-15)/l)/5. Suppose 0 = 2*f + 5*h + 20, 2 + r = 2*f - 2*h. Which is smaller: 1/18 or f?
f
Let g be (3 - 33/(-3)) + (-7 - -8). Let h(l) = 1116*l**2 - 4*l - 1117*l**2 + 12*l. Let m be h(6). Which is greater: g or m?
g
Suppose 9*l = l + 3*l. Suppose -6*c - c - 7 = l. Is c <= 0.66?
True
Let g = 68 - 70. Let n = -41 + 38.3. Let r = n + 12.7. Which is bigger: r or g?
r
Let i = 30/689 + -174527/4823. Suppose -108 + 40 - 80 = 4*t. Is i at least t?
True
Suppose 85 = -3*s - 2*c, 5*s + 2*c = 3*s - 60. Let k = -592 - -568. Which is bigger: s or k?
k
Let a = 34 - 10. Let w = 211 - 212.044. Let g = -0.044 - w. Do g and a have the same value?
False
Let i = -151 + 142.7. Let w = i + 8.3. Let h = -0.8 - -0.5. Which is smaller: w or h?
h
Suppose -5*r + 1915 = -5*w, 0 = -3*r + 5*r - w - 767. Suppose -d - r = -5*t, -d + 175 = 4*t + 586. Which is bigger: d or -398?
-398
Suppose -39 = -4*y + 85. Suppose 0 = -2*r + 4, 3*q + 0*r = -4*r + 17. Suppose -3*b + 81 = q*i, 0 = 2*i - 2*b - 93 + 27. Do y and i have different values?
True
Let w = 0.7 - -0.3. Let q = w + 2. Let c(s) = -245*s - 1952. Let m be c(-8). Is q smaller than m?
True
Suppose -81 = 4*g - 3*v, 0 = g + 2*g + 3*v + 87. Let k = -233 + 211. Which is smaller: k or g?
g
Suppose 4*p - 5*m = 98, 3*p + 2*m - 109 + 24 = 0. Suppose 0 = -3*q - 0 + 78. Let o = q - p. Which is greater: -6/11 or o?
-6/11
Let o(k) = 2*k**3 + 6*k**2 + 17*k + 5. Let m be o(-2). Let y be 33*(56/(-12))/7. Is m at most as big as y?
False
Let q = -1/10452 + 115129/1640964. Which is greater: q or -1?
q
Let c be 441/(-196)*(-164)/3. Which is smaller: 134 or c?
c
Let i be ((-16)/6)/((-2)/33). Let x be 56/(-1638)*-1313 + 1/9. Do i and x have different values?
True
Let u = 18784 - 18792. Which is greater: -319/39 or u?
u
Suppose -3*m - 90 = -5*b, b = 5*b - 2*m - 72. Let g be (-51)/(-68)*4/b*3. Suppose 0 = 3*r - 4*k - 24, -4*k - 4 = 5*r - 44. Do g and r have the same value?
False
Let u be (9/(-2) - -4)*-2. Let d be (-65020 - 0)*8/(-220). Let y = 2366 - d. Is y smaller than u?
False
Let v be -1048*14/4*(117/(-13) + 10). Do -3667 and v have different values?
True
Let n be 9 + 0 - (1892 - 6). Which is smaller: n or -1878?
-1878
Let s = -21044 + 21000. Which is smaller: s or -10?
s
Let q(c) = -8*c**3 - 2*c - 1. Let m be q(-1). Let n be (-12)/m - 2/(-3). Let d = 0.41817 - 0.48817. Which is smaller: n or d?
n
Suppose -4*p + 5*f - 15 = -0, -5*p - 4*f = -12. Suppose -11*m + 21*m - 20 = p. Suppose 0*l = -m*l + 22. Is l greater than 11?
False
Let d be (-14)/(-3)*6/4. Let f = -2697097 + 388386143/144. Let a = f - 375/16. Which is smaller: d or a?
a
Let p = 1446090/11 + -131802. Is -338 < p?
False
Let k = -1096 + 61443/56. Is k smaller than 2?
True
Let u = 532366/59 - 9018. Which is smaller: 5 or u?
5
Suppose 2*j + 5*t = -20 - 76, 4*j = -3*t - 178. Let s be -13*((-3)/3 + -10). Suppose 0 = 4*w + 2*p + 15 + s, 4*w + 4*p = -148. Which is smaller: j or w?
j
Let l be 15/25 - 25/((-250)/(-2316)). Do -223 and l have the same value?
False
Suppose 13*r = 7*r - 13*r. Which is greater: 9/1288 or r?
9/1288
Let x(f) = -f**3 + 2*f. Let k be x(-2). Suppose -z = z - k. Let j be ((-70)/(-21) + -3)/(8/24). Which is greater: j or z?
z
Let x = -34 - -28. Let t be 1/x - (-424)/(-48). Let f = 53 - 60. Which is smaller: t or f?
t
Let u be (-8)/3*95/60*-18. Let q = -173 + 245. Is u > q?
True
Let p(h) = 5*h - 20. Let o be p(5). Suppose 2*n - 12*k - 716 = -10*k, o*k + 5 = 0. Is n at least 357?
True
Let n = -135 + 134.769. Let j = -0.231 - n. Are -2 and j nonequal?
True
Let h(w) = 959*w - 1938. Let x be h(2). Is x less than or equal to 704?
True
Let s(q) = 3*q**2 - 15*q + 38. Suppose z = 0, 3*p + z + 6 = 4*p. Let a be s(p). Let l = 282/5 - a. Are -1 and l equal?
False
Let w(h) = -5*h**2 + 25*h + 5. Let c be ((-12)/(-21))/((25/(-70))/(-5)). Let l be w(c). Which is smaller: l or -116?
-116
Let b = -6463 + 6464.6. Is -6.8 equal to b?
False
Let x = 492 + -699. Which is greater: x or 0.1?
0.1
Let u = 0.02011 - -7.59989. Which is smaller: -2/11 or u?
-2/11
Let n = 18584 - 18473. Which is smaller: 223/2 or n?
n
Let h = 11342 + -12985. Which is smaller: h or -2?
h
Let w(v) = -3*v**3 + v**2 - 5*v - 3. Suppose a = -0*a, -4*j - 8