z - 2. Let r(k) = a(k) + 2*x(k). Let n be r(0). Is w smaller than n?
False
Let d be (-102)/((-1)/1) + -2. Suppose 3*b + 17 = -m, -8 = 4*m + 4*b + d. Let h = 384 + -417. Is m at most as big as h?
False
Let b be (4/14 - 1943/14)*2. Let z = b + 7203/26. Are z and 1 non-equal?
True
Let q be (-6 + 5)/(2 - 1). Let w = 2217 - 59867/27. Which is greater: w or q?
w
Let g be 2/(10 + 4896/(-492)). Which is bigger: g or 45?
45
Let v be 6/9*(-159156)/165. Let y = v - -643. Are 0 and y nonequal?
True
Let x = -3 + 59. Suppose 4*y + 0*y = -x. Let g(d) = 45*d - 1275. Let p be g(28). Is p less than y?
True
Suppose -15*h = -i - 20*h - 20, -i + 5*h = -20. Let d = 18 - 22.4. Let x = -5 - d. Which is greater: i or x?
i
Suppose -25*o - 5 = -30. Suppose -k - 1 = -0. Let c be ((-3)/78)/1*k. Are c and o equal?
False
Let x = -0.453 - -0.353. Let l = -0.2 + 0. Which is smaller: x or l?
l
Let g be ((-621)/(-252))/((-2)/8). Is g greater than or equal to -9?
False
Suppose -100 = -3*d + 28*d. Let t = 4 - -2. Let k = d + t. Which is bigger: -5 or k?
k
Suppose -6*a = -7*a - 139. Let j = a - -94. Which is smaller: -47 or j?
-47
Let g be ((-11170)/(-870))/((-7)/3). Let c = -39/7 - g. Which is greater: c or -1?
c
Let u = -28 - -41. Let g(c) = -c + 15. Let t be g(u). Suppose -13 = t*j - 9. Which is smaller: -3 or j?
-3
Suppose -4*n + 6 = -14. Suppose 5*q = -2*a - 66, -3*a + 5*a = n*q - 46. Let y be (-7)/a + (-37)/4. Which is smaller: -8 or y?
y
Let u be 13/(-15) - (-6)/9. Let j = -834 + 834.2. Which is smaller: u or j?
u
Suppose 0 = 5*y - 4*k - 0*k + 42, 0 = -y - 3*k + 3. Which is smaller: 11 or y?
y
Let o = -18 + 11. Let r be 4*(0 - (-4)/(-2)). Which is smaller: r or o?
r
Let r(m) = 2*m**2 - 10*m - 2. Let y be r(5). Suppose 0*p + 4 = -4*p - 2*u, 3*u = 0. Are y and p nonequal?
True
Let q be 1/7 - (-248)/217. Let x = 0.01 + 1.99. Is x smaller than q?
False
Let d be (-4)/10*10/(-4). Let y be (-4*d/9 - 0)/2. Is y bigger than -0.1?
False
Let t = 1474 - 1474.4. Suppose 3*l - 10 = 3*f + 32, 2*l = 5*f + 55. Which is smaller: t or f?
f
Let t = 148 - 274. Let r be (-222)/t - 3/7. Are 1 and r equal?
False
Let h = 438 + -437.94. Is h > -7?
True
Let o = -1 + 1. Let x be (-15)/(-1026)*(-6)/(-8) + 0. Let t = x + -1/19. Is t < o?
True
Let j be -4 + (4 - 1196/(-176)). Let l = 25/4 - j. Is -2 < l?
True
Let f = -10 + 15. Suppose -53 = -d - f*z, 3*d + z + 74 = 219. Which is smaller: d or 49?
d
Let g be ((-12)/604)/((-72)/(-32)). Which is smaller: 1 or g?
g
Suppose 14*i - 514 = -528. Which is smaller: i or -1/857?
i
Suppose -20 = 11*p + 79. Is 3 less than or equal to p?
False
Let z(a) = a**3 + 9*a**2 + 11*a + 5. Let t be z(-7). Let i = 15 - t. Let u = 45/4 + i. Do u and 2/23 have different values?
True
Let d be (2 - 1) + (-252)/279. Suppose 2*s + 3*i = 3 + 3, -5*i = -s + 16. Suppose 0 = -g + 2*g + 3*j + 14, 0 = g - j - s. Which is smaller: d or g?
d
Let p be 26/3*105/(-1050) - -1. Let y = -0.6 + 0.1. Is y less than p?
True
Let v(u) = -20*u**2 - 10*u - 16. Let t be v(7). Which is smaller: t or -1067?
-1067
Let d(s) = s**2 + 45*s - 305. Let y be d(6). Is y less than or equal to 5/329?
False
Suppose 0*y = -4*y - 16. Let l be (10 - -8) + (2 + -2)*-1. Let a be l/14 + (-22)/77. Is y equal to a?
False
Suppose 20 = -5*x, -348 = 2*l + 18*x - 16*x. Does l = -170?
True
Suppose -2*y - 4 + 0 = -2*c, -3*y = -2*c + 4. Suppose 10 = -y*d - 2*d. Let z be (1 + 5 - 4) + -5. Which is smaller: z or d?
d
Suppose -o - b - 164 = 3*o, -4*b = 0. Which is smaller: o or -44?
-44
Let m(j) = j**3 + 6*j**2 - 6*j - 30. Let v be m(-6). Which is smaller: 0.01 or v?
0.01
Let n(f) = f**2 + 2*f - 91. Let s be n(10). Is -4 greater than s?
False
Suppose 5*n - 32 = y, -3*y + 3*n - 49 = 71. Let s be ((-3)/(-8))/(21/y). Which is bigger: -2 or s?
s
Suppose -3*y + 13 = -2*k, 4*y - 17 = -2*k + y. Let c be k/7 + (-76)/(-56). Is 2 greater than or equal to c?
True
Suppose 4*y - 2*i = 6*y + 6, 2*y + 5*i + 9 = 0. Let d be y/(-7) - (-12)/7. Let q = 0.209 - 0.109. Which is smaller: d or q?
q
Let t(c) = -c**3 - 8*c**2 + 19*c - 11. Suppose -31*j = -30*j + 10. Let r be t(j). Is -1/109 equal to r?
False
Let u = -53.965 - 0.035. Let l = u - -54. Which is bigger: l or 35?
35
Let y = 507 + -898. Is -392 less than y?
True
Let x = -339 - -388. Which is greater: x or -5/4?
x
Suppose 335 = 4*n + 323. Which is greater: n or 43/12?
43/12
Let i be 1/(-1)*(-1)/1. Let k(q) = -19 + 12 + 6*q + 5. Let g be k(i). Which is greater: g or -2?
g
Let c(f) = -5*f**2 + 13*f + 16. Let h be c(6). Do h and -83 have the same value?
False
Let v = -18 + 20. Let g(w) = -v*w**3 - 10*w**2 - 5*w - 2*w**3 + 5*w**3 + 4*w + 12. Let y be g(10). Is y equal to 2?
True
Let k = -0.068 - 4.612. Let d = -0.68 - k. Which is bigger: -1 or d?
d
Let g = -4 - 24. Let j be 1/(-2)*g/14. Let l = 82/9 + -9. Which is smaller: l or j?
l
Suppose -27 = -5*x - 7, -4*i = -2*x + 1908. Are i and -473 unequal?
True
Let d be (0 - -1) + 2/4*0. Let j = 9 - 6. Suppose -j*w = -3*f - 9, w = -4*w - 3*f - d. Is 1 at most w?
True
Suppose -4*z - 27 = -3*s - 12, -z = 5*s - 25. Suppose z*j - 672 = 8*j. Let p be (-10)/3*j/(-98). Is p at least -4?
True
Let o be (-48)/12 - (-1 + 8). Let i = 14 + o. Which is greater: 4 or i?
4
Let s(u) = u**2 + 24*u - 38. Let t be s(0). Is t smaller than -0.1?
True
Let w(v) = -v + 6. Let x be w(3). Suppose 2 = -p + 3*p - 2*d, 3*d = -2*p - x. Suppose 2*g + p*g - 5*t + 24 = 0, 3*t = 4*g + 34. Are g and -7 equal?
True
Let f be 2/12 + 2154/36. Let t be -3 - (-2 - 52/f). Let c(x) = -x + 1. Let a be c(0). Which is greater: t or a?
a
Let w = 7.247 + -0.047. Let a = 7.11 - w. Is -2/7 less than or equal to a?
True
Suppose -16 = -5*l - 6. Suppose 2*j + 2*j = 2*y - 162, -j - l*y = 38. Let z be j/12 - 0 - -3. Which is bigger: z or 1?
1
Let j be (-6)/14 + (-10)/(-35). Let h(a) = a + 4. Let q be h(-5). Which is greater: j or q?
j
Let u be (-1574)/7164 - 2*(-5)/45. Is 1 less than or equal to u?
False
Let r = 1/8 + -35/24. Let k = r - -2. Let h = -0.59 - -0.69. Is h less than k?
True
Let k = -0.09 + 1.19. Let z = -0.012 - 2.088. Let r = k + z. Is r less than or equal to 4?
True
Suppose 0 = -5*x + 3*l - 89, 2*x - 3*l = 7*x + 71. Let d be (2/8)/(5 - (-74)/x). Which is smaller: d or -0.081?
-0.081
Let v be (-5*(5 - 234/45))/1. Let h = -50813/45 + 1129. Are h and v unequal?
True
Let j = -12.3 - -9. Let h = j - -4.8. Which is bigger: h or -1?
h
Suppose 8*h = 2 - 10. Let b be ((-1)/(-2))/(h/((-64)/(-18))). Is -3 equal to b?
False
Let k be 374/(-4301) - (-7)/((-20447)/(-300)). Which is greater: k or -3?
k
Let v = -1 + 4. Let w(o) = 4*o - 4*o - 2 + 0*o - 3*o**2 + v*o - o**3. Let j be w(-4). Which is bigger: j or 0.1?
j
Let j(g) = -5*g + 116 - 9*g - 102 + 3*g - g**2. Let u be j(-13). Is -16 at least u?
False
Let n = 15 + -11. Suppose 2*o - 6 = n*d, 4*o + d + 6 = -0*d. Let m = -67/4 + 323/20. Is o <= m?
True
Let k be 128/22 + 12/66. Suppose k = 3*b - 0. Suppose s - 5 = -2*q, -5 = q - 3*s + s. Which is smaller: b or q?
q
Let f = 236 - 235. Is -2/621 <= f?
True
Suppose 2*u - 2 = -m - 13, 5*u + 21 = 4*m. Let t be (-3 - (m + 2)*-29)/(-2). Let b = 14 - 27. Are t and b equal?
True
Let a be 3*2/2*352/24. Let t = -41 + a. Let c(k) = -k**3 - 3*k**2 - 2*k - 2. Let d be c(-2). Which is smaller: d or t?
d
Suppose 1189*x - 1194*x + 500 = 0. Which is greater: x or 101?
101
Let w = -2676 + 26739/10. Is -3 less than w?
True
Let k be ((-16)/12)/(2/(-99)). Suppose 0 = 22*c - 19*c + k. Let y = c - -21. Which is greater: -2/33 or y?
-2/33
Let p(g) = g**2 + 12*g + 11. Let o be p(-9). Let l be 2/4 + 120/o + 0. Do -4 and l have different values?
True
Let u be (2/10*-26)/((-16)/(-180)). Let x = u - -60. Is x >= 3?
False
Suppose -4*p + 2*k = 5*k + 8, 0 = 5*p - 5*k - 25. Let f be p + 132/8 - 3. Let t(q) = -5*q - 15. Let l be t(-6). Which is bigger: f or l?
l
Let t be 0 - -3 - (-1)/4*-146. Let s = 34 + t. Is s > 2?
False
Let b = 85.049 + -85. Let z = 0.099 - b. Which is greater: -0.3 or z?
z
Let k(h) = -160*h + 319. Let b be k(2). Is -1/51 >= b?
True
Let h(p) = p**2 + 8*p + 9. Let k be h(-7). Let x be (k + (-4)/(-4) - 4)*-6. Is 10 <= x?
False
Suppose -48*s + 44*s = -5*z + 469, 3*s + 4*z + 313 = 0. Is -109 smaller than s?
False
Let d = -2135 + 2136. Let s be 292/(-144) + (-2)/(-8). Is d greater than s?
True
Let p = -0.09 - -1.99. Let d = -21.9 + 