q - 3. Suppose 0 = r - 4*g - 16, -r + 3*g + 8 = -6. Let y be d(r). Which is greater: 5 or y?
5
Let n = -0.69 - 71.31. Let c = 71.57 + n. Let r = 0.23 + c. Which is smaller: r or -4?
-4
Suppose 0 = 14*w - 3254 + 12116. Is -1900/3 smaller than w?
True
Let v = -1.61 + 1.5. Let f = -0.1 - v. Let o = 7227/5 + -1446. Is o bigger than f?
False
Suppose 0 = -2*w - 6, -3*i - i + 1317 = w. Suppose 0 = 7*f - 2*f - i. Suppose 5*y - 9 = f. Is 16 != y?
True
Let l(g) = -g**2 + 5*g + 1. Let d be l(5). Let u(h) = -14*h**2 - 8*h + 10. Let n be u(-7). Let b = 26039/42 + n. Which is bigger: b or d?
d
Let v be (34/(-68))/(0 + 3464/(-4)). Which is smaller: -1 or v?
-1
Let j = -5 - -8. Let x be 2/j*(-9)/(-2). Let s be (-3624)/(-453)*(-9)/(-24). Is x at most as big as s?
True
Let b = -3802/249 + -33/83. Let d = 1.33345 + -0.33345. Are d and b non-equal?
True
Let j = 304.91 - 300. Let y = -24 + 28.8. Let q = j - y. Is q greater than 0?
True
Let n = 754/21015 + 4/467. Is n < -2/415?
False
Let z(s) = 33. Let w(u) = u + 1. Let m be (3/12)/(11/4 - 3). Let x(l) = m*w(l) + z(l). Let f be x(-14). Is f not equal to 89/2?
True
Let l(b) = b + 0*b - 20*b**2 - 1 + 3*b**3 - 18*b**2 + 32*b**2. Let k be l(2). Which is greater: 3/65 or k?
k
Let k = 380/17 - 68/3. Let w = 31/714 - k. Do w and -0.2 have different values?
True
Let s(j) be the second derivative of -5*j**3/3 + 65*j**2/2 + 31*j. Let n be s(5). Suppose 0 = -m + 10 + 5. Is n bigger than m?
False
Let d(z) = z**3 - 23*z**2 - 26*z + 44. Let v be d(24). Let p be 38*15/4662 + v/42. Which is smaller: -0.1 or p?
-0.1
Let f = -6088 - -5979. Is f at least as big as 2/7?
False
Let d be -3 + (1386/(-956))/(153/18 - 9). Which is smaller: d or -2?
-2
Suppose 4*q = 5*w + 976, 4*q + 2*w = 6*q - 486. Let l = q + -198. Are 48 and l nonequal?
True
Let n be ((-3)/(-7))/(9/6). Let d be (-174)/(-4)*(-57)/((-52668)/88). Is n less than d?
True
Suppose 222 = 4*l + 226. Let n be ((-2)/28)/((-2)/(-4)). Which is greater: l or n?
n
Let m = 1575 + -1079. Does m = 499?
False
Let a = -8602 - -6655. Is -1948 bigger than a?
False
Suppose -11*j + 7*j = -15*j + 11. Is -52/193 at least j?
False
Let k be 1 + -10 - 93324/(-7172). Is 3 >= k?
False
Let g = 410.419 - 402.7. Let j = g - 7.11. Is j equal to -1?
False
Let w(m) = -m**2 - 114*m - 3860. Let u be w(-73). Are -867 and u equal?
True
Let q(d) be the third derivative of d**6/120 + 3*d**5/20 + 11*d**4/24 + 25*d**3/6 - 39*d**2. Let y be q(-8). Which is smaller: -7/18 or y?
-7/18
Let d = -41 + 161. Let r = -120 + d. Let y = 0.8 + -6.8. Which is smaller: y or r?
y
Suppose -2*x = 2*i - 5*x + 43, 0 = 5*i - 5*x + 115. Let j = 1814 + -1831. Which is smaller: j or i?
i
Suppose -3*d = -7*d - 5*b, -2*b = -4*d. Suppose 54*q - 62*q - 1040 = d. Let p = q + 116. Is -14 smaller than p?
False
Let t be 2/18 - ((-5088)/(-594) - 13). Is 6 not equal to t?
True
Let b = 56612 - 169844/3. Let s = 13 - 27. Which is bigger: s or b?
b
Let g = -780 + 780.014. Let h = g + 0.686. Which is bigger: 4/5 or h?
4/5
Let h be (-3)/12 - (3 - (-4)/(-16)). Suppose -z - 3359 = 4*s - 0*z, -5*z = -3*s - 2548. Let w = s - -5872/7. Which is greater: w or h?
w
Suppose -5 = 772*v - 770*v + r, 4*v + 12 = -4*r. Which is greater: 33/8 or v?
33/8
Let l = 199 + -179. Let c(w) = 2*w - 25. Let n be c(l). Let x = -25 - -41. Which is greater: x or n?
x
Let z = 4453 + -4286. Is z != 170?
True
Let o = -2348 - -2654. Which is smaller: o or 6?
6
Let i = -0.32 + 73.32. Let c = -40 + i. Which is smaller: c or -3/5?
-3/5
Let b(o) = -2*o - 3. Let x be b(5). Suppose -9*n - 816 = -12*n. Let t = 273 - n. Which is greater: x or t?
t
Let g = 2 - 601. Let p = g - -600. Is p smaller than -1/183?
False
Let w = 79 - 393/5. Let o = 365.588 + 5.112. Let s = o - 372. Is w greater than s?
True
Suppose 617 = f + 106. Is f at most 514?
True
Let s(q) = 5*q - 14. Let m be s(-10). Suppose 0 = 11*z - 25*z - 910. Let h = z - m. Is -5 >= h?
False
Let d = -2.0789 + -0.0011. Let k = d + 41.08. Which is bigger: k or 0.2?
k
Let q = -763.45 - -775.5. Is q greater than or equal to -2/5?
True
Suppose -62*b = -64*b + 4*o + 8106, -3*b - 3*o = -12123. Which is smaller: 1/4 or b?
1/4
Let r be (-2)/(((-24)/28)/3). Let z(p) = 6*p - 1. Let d(l) = 11*l - 3. Let v(j) = 3*d(j) - 5*z(j). Let s be v(r). Which is bigger: s or 18?
18
Suppose -2*t = 2*z - 4*t - 36, 2*z = -4*t + 6. Let r = -277 - -287. Suppose r*p - z*p + 57 = 0. Is p greater than or equal to 1?
True
Let u = 41304 + -42300. Is u >= -996?
True
Let u be (-224936)/(-22475) + 30/(-3). Which is smaller: u or 1?
u
Let b = -22 - 239. Let m = 702 - 962. Does b = m?
False
Let d(l) = l**2 - 6*l - 316. Let u be d(32). Which is smaller: 0 or u?
0
Suppose 4*j + 3*g = 69, -3*g = j - 46 + 22. Which is smaller: 79/5 or j?
j
Suppose x + 3*v + 6 + 1 = 0, -4*x + 12 = 2*v. Suppose 151 = -0*n + x*n + 3*d, 0 = -n + 4*d + 21. Is 147/5 <= n?
False
Let d(s) = s - 6. Let z be d(15). Suppose 4 = z*c - 11*c. Let m be 123/(-230) - (c + (-35)/(-25)). Which is smaller: m or -1?
-1
Suppose 7*s + 188 = 4*n + 173, -4*s - 8 = -2*n. Let a be (-16)/(-6) - (-2)/6. Let b be ((-4)/6)/((-43)/a). Is s > b?
False
Let n(d) be the second derivative of d**4/12 - 7*d**3/6 + 9*d**2/2 - 79*d. Let a be n(5). Is a <= -2/375?
True
Let b = 4722827/1628 + -2901. Do b and 0 have different values?
True
Let z = -52629 + 80370. Let r be z/441 + 8/(-14) + -1. Is r at least as big as 60?
True
Let b = 3 + 19. Let i = 881 - 880. Let r be (-1734)/(-85) - (-2 - (i + -2)). Which is smaller: r or b?
r
Let m be (32/(-480))/(3/(-13)). Let t = -28/45 + m. Which is smaller: -39 or t?
-39
Let i = -3.7 - -3.511. Let m = -3.811 + i. Do m and -45 have different values?
True
Suppose 3*s - l + 369 + 386 = 0, 5*s + 1285 = -5*l. Is s equal to -252?
False
Suppose r - 154 = -3*r - l, -r + 29 = 5*l. Let z be ((-94)/(-6))/(2/18). Let c be 15/9 + 5264/z. Is r less than c?
False
Let j = -0.6967 + 0.5967. Which is smaller: j or -118?
-118
Suppose 219 - 48 = 19*d. Suppose 0 = -4*k - 17 + d. Which is greater: -4/7 or k?
-4/7
Let o be ((-236)/767)/((-20)/(-126230)). Which is smaller: -1945 or o?
-1945
Suppose -17*w = -13*w - 524. Let q = w + -1177/9. Let j = 1.8 - 2.8. Which is greater: j or q?
q
Let k = -1.9095 + 5.9095. Let g = -20 - -42. Let b = 16 - g. Which is smaller: b or k?
b
Let o(m) = m**3 + 2*m**2 - 3*m + 380. Let v be o(0). Which is smaller: v or 379?
379
Let i(y) = 733*y + 7230. Let a be i(-10). Let t(m) = 186*m**2 - 1. Let p be t(-1). Let b = p + a. Which is smaller: 86 or b?
b
Let r = 253.5 - 249. Suppose -16*b + 12 + 20 = 0. Which is greater: b or r?
r
Suppose 38570 + 13779 = 49*o - 2237. Which is smaller: o or 1113?
1113
Suppose -u - 444 = -90. Let s = u + 229. Is s bigger than -125?
False
Let u = -585 - -593. Let c(w) be the third derivative of -w**4/8 + 25*w**3/6 - w**2. Let r be c(u). Are 1/39 and r non-equal?
True
Let s = -8975/8 + 3741/8. Let d = s - -662. Let h be 6 + 3/(3 - 2). Are d and h equal?
False
Suppose 9*o - 14374 + 5125 = -3*l, 0 = -2*o - l + 2057. Is o bigger than 1025?
True
Let r = 13.91 - -554.09. Let i = r - 568. Is 0.0446 smaller than i?
False
Suppose -4*r = -0*r - r. Suppose r = -12*t - 9*t. Is t equal to 9?
False
Let y be 3*(1484/378 + -4). Which is bigger: y or 416?
416
Let p = 47 - 11. Let r = p + -42. Let i be 134/44*1 - r/(-2). Which is greater: -1 or i?
i
Suppose -t = -2, -5*z + 2*t - 15 = -211. Let w be z - (-1 - -1) - (-10)/5. Does w = 40?
False
Let t = 0.928 + -464.928. Let r = t - -348. Is -2 at least as big as r?
True
Let y = 50225845/986 - 50939. Which is smaller: -1 or y?
-1
Let g be 73 + -36 + (-3)/(-1). Suppose -269*y - g = -268*y. Do y and -40 have the same value?
True
Let f = -8 + 14. Let a = -136.8 - -134.8. Let d = a - f. Which is smaller: 4 or d?
d
Let n = -47222 - -35041. Which is smaller: -12182 or n?
-12182
Let j(h) = h**2 + 13*h + 50. Let i be j(-4). Let p be (4*2)/((-1488)/106 + i). Which is bigger: -211 or p?
-211
Suppose v = y + 3, -y + 55*v + 3 = 56*v. Suppose 144 = 5*t + 3*w, 4*t + y*t - 2*w = 124. Are t and 35 nonequal?
True
Suppose -2*o + 3*w - 16 = 0, 3*o + 5*w - 13 = 1. Which is smaller: o or -17.52?
-17.52
Let h = 8 - 3. Suppose 3*a = -h*v + 525, 7 = 3*a - 8. Is v <= 102?
True
Let w(o) = -95*o**2 + 15*o - 27. Let t be w(2). Let z be 0 + 0 - 435/t. Are z and -