). Suppose -15*r = -20*r + 2*o, -4*r + o = x. Let p = -12821/169880 + 2/4247. Which is greater: p or r?
r
Let n be (15 + (-2 - 2243))/((-8)/(-4)). Does n = -1108?
False
Let y(v) = 83*v + 335. Let f be y(-4). Is f != -406?
True
Let q = 3812 + -3809.3. Which is smaller: -19/5 or q?
-19/5
Let r(j) = j**2 - 5*j + 9. Let q be r(4). Suppose l + q*p + 45 = 5*l, -4*p = 3*l + 5. Suppose -k + l*k = 72. Which is smaller: 19 or k?
k
Suppose 8 = -4*l, c + 21*l + 14 = 25*l. Let m be (-4 + 3 - -2)*-1 + 1. Which is bigger: m or c?
m
Suppose 3*y = c - 43, -3*y + 66 = 3*c - 51. Suppose -5*v - 3*v = -c. Let b be (-243)/645 + 2/v. Which is bigger: b or 0?
b
Let h = 3453.2 - 3451. Which is greater: -0.05 or h?
h
Let n = -46 - -46. Suppose 13*r - 9*r = n. Suppose 0 = z - 2*z - r*z. Which is bigger: z or 1/4?
1/4
Let k be (-1 - (-6)/10) + (-2899)/65. Suppose 4*t - 12 = h + 1, -h = -2*t + 7. Suppose 0 + 135 = -t*u. Is u >= k?
True
Let x = -56159/72 - -780. Let j = -1028 + 1027. Is j smaller than x?
True
Suppose 0 = -4*i + 5*i + 144. Let w be 1/((-1504)/i + (-10)/2). Which is greater: -1 or w?
w
Let c(k) = 7*k + 3. Let s(t) = 8*t - 29. Let l be s(10). Let z = 49 - l. Let a be c(z). Which is smaller: a or -13?
-13
Let j = 10141312 - 882271678/87. Let u = 36743039/142593 - j. Let w = 1/149 + u. Which is smaller: 0 or w?
w
Let z = -62/475 - -83498/13775. Is -0.2 <= z?
True
Let w be (-33)/39 - -1 - (-4)/(156/43089). Which is greater: w or 1106?
1106
Let j = -310 - -115. Let z be ((-33)/2)/(j/(-20)). Which is smaller: 3 or z?
z
Let s(g) be the third derivative of 1/15*g**5 + g**3 - 1/12*g**4 + 1/120*g**6 + 0 + 8*g**2 + 0*g. Let n be s(-4). Is n greater than or equal to 14?
True
Let q be (-20)/(-150) + 14614/(-30). Is -975/2 >= q?
False
Let y = 773.6 + -773.7. Which is smaller: y or 336?
y
Let z = 2461 + -2460.8. Which is greater: -1213 or z?
z
Let g(z) = -z**3 - 11*z**2 - 2*z + 80. Let o = -330 + 323. Let x be g(o). Which is bigger: -101 or x?
-101
Let a = 36517 - 49663123/1360. Is -1/2 less than or equal to a?
True
Let m = 1226/663 + -1/39. Which is greater: m or 4?
4
Let c be 7/7 - (-1424)/(-1444). Let u = c - -3139/7942. Which is smaller: u or 0?
0
Let g(b) = 12*b**2 - b - 3. Let y be g(-1). Suppose -5*n - 3*v + 10 = 0, 4*n = 8*v - 11*v + 8. Is n at least as big as y?
False
Let q(p) = p + 24. Let h be q(-8). Suppose -2*d = 3*a - 51, -49 = 4*d + 2*a - 147. Let y = d + -9. Which is greater: y or h?
h
Let i(r) be the first derivative of r**2 + 13*r + 11. Let a(f) = f**2 - 15*f + 6. Let o be a(15). Let l be i(o). Is l <= 24?
False
Suppose 820 = 64*n - 68*n. Let j be (-1)/(-1 + (-200)/n). Let t = -44 + j. Which is greater: 3 or t?
3
Let t = 154 - 150. Suppose -t*o - 2160 = 4*a - 0*o, -4*a - 2170 = -o. Is -543 greater than a?
False
Let q(y) = -y**3 + 22*y**2 - 116*y + 36. Let j be q(10). Let w = 157 + -82. Is j bigger than w?
True
Let v = 93.49 + 24.51. Is v < 4/3?
False
Let w = -48 + 47. Let x(n) = -5*n - 6. Let b be x(w). Which is smaller: b or 2/315?
b
Let j = 10293 + -10300. Which is greater: j or -31?
j
Let n = 3332 + -3382.7. Do n and -10 have different values?
True
Let l(b) = -b**3 - 10*b**2 + 3*b - 3. Let k(n) = n**3 + 13*n**2 - n - 21. Let o be k(-13). Let q be (63/6 + -3)*o/6. Let f be l(q). Which is bigger: -32 or f?
-32
Suppose 5*s + 1319 - 1144 = 0. Is -36 at most as big as s?
True
Let t = 24911 + -24959. Do 3.3 and t have the same value?
False
Let g = 1875 + -2000. Which is smaller: -126 or g?
-126
Let u = -2.341 - -2.741. Which is bigger: 131 or u?
131
Let v(w) = -w**3 + 17*w**2 + 5*w + 23. Let a be v(0). Let x(d) = -d + 13. Let o be x(-6). Is a less than or equal to o?
False
Suppose 11890 = -4*k + 9*k - p, 5*k = -4*p + 11865. Is 2377 <= k?
True
Let d be 8 + 1 + (-7 - -3). Let y = 9 - d. Suppose f + 26 = -2*w, -3*w - 6*f + y*f - 38 = 0. Is w not equal to -13?
True
Let v = 109 - 51. Let k = -411.9 - -354. Let g = k + v. Do 4/7 and g have different values?
True
Let c be 4/(-18) - 220/(-99). Suppose 604 - 230 = c*a. Do -1 and a have the same value?
False
Let n be (2/(-6)*2)/((-1)/(-33)). Let d(v) = v**2 + 18*v - 75. Let y be d(n). Suppose -4*t = 45 - y. Is -27/4 greater than or equal to t?
True
Let d = -130.68 + 130.38. Is 114/53 at least d?
True
Let f = -40 + 127. Let u(x) = -51*x + 173. Let p(n) = 58*n - 173. Let b(j) = -5*p(j) - 4*u(j). Let w be b(2). Which is greater: w or f?
f
Let v = 151.4 + 21.6. Let t = v + -172.99. Which is smaller: t or 2/5?
t
Let z be ((-4)/2)/((-6)/27). Suppose 2*a + 65 = 5*x, 14*a = x + 12*a - 21. Which is bigger: z or x?
x
Let r = -38 - -105. Let u = 1473/31 - -1177/62. Which is smaller: r or u?
u
Suppose -782 = -3*q - 14*q. Let g(n) = n**3 - 2*n**2 - 69*n + 5. Let w be g(-7). Is w >= q?
True
Let z be 0 - ((-117565)/(-231) + 2). Let q = z - -511. Is q equal to -10?
False
Let f = 4182 + -4181.78. Which is greater: -2/5 or f?
f
Suppose -135*x - 41288 = -83*x. Which is smaller: x or -790?
x
Let n be -3*(-4)/54 + 7788/(-54). Let h = n - -145. Does 2/65 = h?
False
Let x = -14 - -21. Let b = x + -4. Suppose 57*p - 69*p + 158 = 146*p. Do p and b have different values?
True
Let o(p) = 2*p**2 + 32*p + 127. Let r be o(-9). Which is bigger: r or -0.0282?
r
Let k(s) = 9*s**2 - 21*s - 11. Let b = -622 + 618. Let f be k(b). Which is bigger: 218 or f?
218
Let v be 1*(-6)/18*-12 + -5. Let r = -51 - -48.9. Are v and r equal?
False
Let y(k) = k + 32. Let o(v) = -v - 33. Let j(p) = -6*o(p) - 7*y(p). Let b = -3220 + 3194. Let u be j(b). Which is greater: 2 or u?
2
Let z(g) = 7*g**3 + g**2 - 65*g + 65. Let t be z(1). Which is smaller: t or 672/71?
t
Let b be (-2)/3 - 41899/33. Let l = b - -1848341/1455. Are l and -1 nonequal?
True
Let m = -0.02491 - -100.02491. Which is greater: 44 or m?
m
Let n(l) = l**3 - 23*l**2 - 2*l + 49. Let g be n(23). Suppose r + 3*r = 4*b - 16, -7 = g*r - 2*b. Let q = -15/8 - -209/120. Which is smaller: q or r?
q
Let n = 477 + -815. Let f = n + 308. Are -6 and f equal?
False
Let l(k) = -11*k**3 + 37*k**2 + 2*k - 5. Let v be l(2). Which is smaller: -29 or v?
-29
Let m = -7400 - -10989. Is 3589 at most as big as m?
True
Let r(d) = -d**3 + 9*d**2 - 11*d + 57. Let x be r(11). Which is greater: -308 or x?
x
Let b = -6778 + 6773.831. Which is smaller: b or 1?
b
Let f be -1 + 302/(-14) + 15/(-35). Suppose 0*y = 4*y + 4. Let b be (4 - 5) + (-23 - y). Is f at most as big as b?
True
Suppose -2*u + 80 = 16. Let m be (6/(-4))/(24/u). Let o be ((-8)/(-18))/4 - 2. Is o at most m?
False
Let l(o) = o**2 - 28*o + 9. Let y be l(10). Let s be 837/y + (-4)/38. Let x(h) = -h**2 - 7*h - 11. Let p be x(s). Which is greater: p or 1/43?
1/43
Let m(z) = -24*z - 1. Let s be m(0). Which is smaller: 3/8 or s?
s
Suppose -434*n - 6 = -428*n. Is 123 < n?
False
Suppose 0 = k - n - 5, k = -5*n - 1. Suppose 2*u = -2*v + 175 - 11, k*u + 344 = 4*v. Which is greater: 83 or v?
v
Suppose -2*n + 4*h - 106 = -4178, -4*n + 5*h = -8129. Which is smaller: n or 4049/2?
4049/2
Suppose -17 = 5*b - 5*v + 18, 3*b = 5*v - 33. Which is smaller: b or -4/8015?
b
Let d = -18841.953 + 18842. Which is bigger: d or 1/6?
1/6
Let x(s) = -2*s**3 + 10*s**2 + 5. Let l = 59 + -54. Let c be x(l). Suppose -3*z - 5*t + 25 = 0, c*t + 13 = z + 38. Is -1/16 <= z?
True
Let a = 0.0034 + -750.0034. Which is smaller: -3 or a?
a
Let p(c) = -c**2 - 3*c + 26. Let i be p(-6). Let h be (-140)/336 + 2/i. Is -16/7 greater than or equal to h?
False
Let u be (0 - 1)*(-3 + (-4)/1). Let m(a) = a**3 - 8*a**2 + 9*a - 9. Let v be m(u). Which is smaller: 5.2 or v?
v
Let y = 1509 + -1507. Let z(o) = 3*o - 31. Let r be z(-18). Is y at least as big as r?
True
Let j(d) = 110*d - 872. Let i be j(8). Is i at most as big as 157?
True
Let l be -1 + (-2 - 0/(-4)). Let p = -364 + 369. Suppose 0 = 4*s - 3*d + 21 - 8, p = -5*d. Is s bigger than l?
False
Let m = -32857 - -919843/28. Which is greater: -6 or m?
m
Let l(w) = 2*w**2 - 197*w + 3733. Let p be l(26). Is -79 >= p?
False
Let c = 47 + -32. Suppose 80 - c = 13*n. Is 52/9 smaller than n?
False
Let x = -1 + 0. Let a = 115857 - 579243/5. Is a <= x?
False
Suppose -5*g + 15 = -0*g. Suppose -g*r = -i + 14, r + 16 = -r + 2*i. Let n = 171 - 520/3. Is r greater than or equal to n?
False
Let g = 2214 + -2217. Which is smaller: g or -161/51?
-161/51
Suppose 53 - 55 = 2*o. Let i 