322 - (-6)/(-21). Suppose 4*x - 3*n - 132 = -329, 3*x = 4*n - 139. Let l = -52 - x. Are b and l equal?
False
Suppose -19*n + 302 = -18*n. Let z = 353 + -52. Is z < n?
True
Let m be -4 + (951120/12525)/16 + 8/(-10). Which is greater: -2 or m?
m
Let m = 162/469 + -1230673/1407. Let x = 106004675 + -23214832348/219. Let r = m + x. Is r <= -1?
False
Suppose 3341 = -27*s + 1235. Let q(y) = -y**2 + y + 2. Let g be q(-5). Let w be (2260/g - -3) + (-6)/21. Is s > w?
False
Let r = 18000 - 18001. Is r greater than or equal to 6/6185?
False
Suppose -11*k = 13*k + 2*k. Let o be ((-5)/((-10)/12))/((-92)/20). Which is smaller: k or o?
o
Let a = -56 + 58. Suppose 4*z + 12 + 7 = 5*c, a*c + z - 5 = 0. Is c >= 28?
False
Let k = -458 + 2172. Which is greater: 1713 or k?
k
Let y = -812 + 1139. Suppose -297 + y = 5*r. Which is greater: 2 or r?
r
Let r be (-212)/8 - 6/(-4). Let f be (-16 + 50/3)*75/(-2). Is f bigger than r?
False
Let y(h) = -h**3 + 28*h**2 - 54*h + 51. Let o be y(26). Let v(l) = -33*l**3 + 8*l + 7. Let p be v(o). Which is greater: 34 or p?
34
Let o = 20.918 - 0.218. Let q = o - 18.7. Is 2/5 smaller than q?
True
Let i(j) be the first derivative of 2*j**3/3 - j**2/2 + j - 5. Let m be i(1). Let o be (408/17)/(-2*1/m). Is o less than -24?
False
Let d be (24/18)/((-1)/21). Let p be (42*(-40)/(-30))/(1*-2). Let z = d - p. Is 1/11 less than z?
False
Let y be 1/(2/(-1) + -247). Let x be (-64)/(-112) - 3327/1743. Let q = y - x. Is q smaller than 0?
False
Suppose -19*x = -26*x + 21. Let b be (368/72)/(1 - x). Which is smaller: -4 or b?
-4
Let n = 317 + -316. Suppose 65 = -z + n. Is -66 smaller than z?
True
Let m = 3.8629 + -3.89. Let l = m - -0.0321. Are l and -0.4 non-equal?
True
Let a = 102 - 117. Let z be (-35)/(-45) - a/(-3). Which is greater: z or -4?
-4
Let i = 0.042 - -3.058. Let w = -5.5 - i. Let a = -8.5 - w. Are a and 0.31 nonequal?
True
Let t be 2/(4 - (-77)/(-66)). Let j(v) = 2*v**2 - 5*v**3 + 4*v**3 + 1 - 3*v**2 + 2*v**3. Let p be j(1). Is p <= t?
False
Let g = -78.4 + -8.6. Let t = -0.1099 + 75.1099. Let w = g + t. Which is bigger: w or 0.2?
0.2
Let k = -4477 - -192486/43. Let y = 791/473 + k. Let q = 61937 + -61937. Is q smaller than y?
True
Let o = 685 + -682. Which is smaller: 130/77 or o?
130/77
Let s(z) = 230*z + 2206. Let h be s(-11). Do h and -323 have the same value?
False
Suppose -10 = 65*s - 67*s. Suppose -3*d = 5*z + 519, s*d + 865 = -4*z + z. Is d at most as big as -174?
False
Let p(u) = -24*u**2 + 54*u + 218. Let z be p(13). Which is greater: z or -3139?
z
Let g = 382 + -250. Let w(f) = 2*f**2 - 4*f + 4. Let n be w(3). Suppose 2*p + n*p - g = 0. Which is bigger: 45/4 or p?
45/4
Suppose 0*j + 3*j = 0. Suppose j = 2*w + 93 - 149. Let r be (-9)/(-6)*w/6. Is r equal to 9?
False
Let v(b) = -11*b**2 - 273*b + 2221. Let y be v(8). Which is smaller: y or -673?
-673
Let g be 0/(-225)*1/(-4). Is g greater than -17/996?
True
Let k(w) = w**2 - 6*w - 5. Let a be k(5). Let h(g) = 6*g**2 - 5*g - 11. Let u(f) = -f**2 + f + 1. Let s(v) = -h(v) - 5*u(v). Let z be s(-4). Are z and a equal?
True
Let i be (-6)/27 + (-110)/(-9). Let c be (-2)/(-4)*-1*-110. Suppose 2*z + m - c = 6*m, 25 = -5*m. Which is smaller: z or i?
i
Let s(j) be the second derivative of -2*j**3/3 + j**2 + 3*j + 2. Let r be s(4). Which is smaller: r or -20?
-20
Let k be 4/7*56/(-16). Let p be -19 + k*3/2. Suppose -3*c - 144 = 3*c. Is p < c?
False
Let l(p) = -727*p - 3387. Let c be l(19). Which is bigger: c or -17199?
-17199
Let l = -10447 - -10339. Which is smaller: -120 or l?
-120
Let z be 18/(-2) + (-58695)/(-6405). Is 1.2 < z?
False
Let t = 0.5188 - -0.7812. Which is bigger: t or -2/267?
t
Let z = -1068 + 1193. Is z at least as big as 751/6?
False
Let y = -52405 - -52413. Let v = -5 + 8. Which is smaller: v or y?
v
Suppose 164*r - 165*r - 4*d - 5 = 0, 0 = -r + 3*d + 2. Does r = -3/614?
False
Suppose -2*x + 0*x - 5*o = -55, x - 2*o - 5 = 0. Let z be ((-2)/(-15))/(153/x). Suppose 506*f - 503*f + 27 = -3*j, 5*f + 3*j = -29. Is f less than z?
True
Let i = -826 - -1765. Is 939 less than or equal to i?
True
Let v = 161001/161 + -1000. Let j be (-1)/1*(103 + -103). Which is smaller: v or j?
j
Let h be (-387418)/174 - 6/9. Let i = 2227 + h. Suppose 2*m + 11 = 9. Is m at most as big as i?
True
Let k = 14596 - 68177911/4671. Does -1 = k?
False
Let w = -45 - -23. Let h = -0.88 - 58.12. Let l = h - -59. Is l > w?
True
Let p = 283.82 + -284.82. Does p = -1108/5?
False
Let d = 71634/13 - 5513. Is d equal to -4?
False
Suppose 4*c - 2*c = -114. Let u(g) = 16*g + 5. Let q be u(0). Suppose -3*b - 5*w - 13 = 146, -q*b - 302 = -4*w. Is b at least as big as c?
False
Suppose k + y - 44 = 0, -3*y - 233 + 29 = -5*k. Suppose k*h = 33*h. Which is smaller: -12/11 or h?
-12/11
Let o = 6 + 2. Suppose -2*t - 6 + 2 = -5*w, -8 = -4*w. Suppose u = -4*y, o*u - 15 = -5*y + t*u. Which is greater: 1/21 or y?
1/21
Let v = 16710 + -16710. Which is greater: 4905 or v?
4905
Let q = -10635.11 - -10687. Let z = q - -0.11. Is -0.3 greater than z?
False
Suppose -5*j - 2 = 13. Let q = j - -2. Let k be ((-33)/9)/((-60)/(-36)). Which is smaller: q or k?
k
Let r be 4/(-14) - (6 + 450/(-7)). Let o = 2 + r. Let x = 151 + -91. Is o <= x?
True
Let y(b) = 12 + 60 - 3 - 8*b + 3. Let j be y(9). Which is smaller: j or -7/11?
-7/11
Suppose 4*c - 3*c = 3*o, -3*o - 5*c = 0. Let k be -1 + 8 + o - (12 + -14). Let m be 0 + 3 - 370/(-60). Which is smaller: k or m?
k
Let v(n) = -204*n**2 + 27*n + 37. Let q be v(-3). Which is smaller: q or -1879?
q
Let k(u) = -2*u - 5. Let j(o) = -o**2 + 7. Let c be j(-3). Let f be k(c). Let b = 221/3 + -889/12. Is f at least as big as b?
False
Let p = 874437/3668886590 - -3/303565. Which is smaller: p or 1?
p
Suppose 3*l + 145 + 17 = 0. Let k be (l/144)/((-2)/16). Suppose -8*t - 24 = -9*t - 3*y, 0 = -k*t - 3*y + 60. Which is greater: 37/2 or t?
37/2
Let j = 5770 - 7321. Is j less than or equal to -1551?
True
Let r be (172 - 4)/4 - 49. Suppose 5*i = 2*z - 46, -3*i + 3*z = 43 - 10. Which is bigger: i or r?
r
Let l = 4.332 - 4.432. Which is bigger: 1001 or l?
1001
Let k be ((-9)/(3996/3318) - -8)*(-4)/10. Does 0 = k?
False
Let g be (-2)/3 - 24/(-9). Suppose 2*b - 6 = y, -3*y - b = g + 2. Let i(j) = j**2 - 2*j - 16. Let f be i(5). Is f < y?
False
Suppose -4*c - 15 + 3 = 0. Suppose -5*a = -4*z, -6*z + 3*a = -7*z. Suppose -4*x + 5*s - 28 = 7*s, -x + 4*s - 7 = z. Is x >= c?
False
Suppose 0 = -17*t - 84 + 67. Let c be (-118)/266 + (-6)/(-21). Which is bigger: c or t?
c
Suppose 0 = -126*a - 2440 - 8396. Is a >= -932/11?
False
Let a = 52 - 45.3. Let v = a + -6.7. Are -117 and v equal?
False
Let o(w) = -w + 61. Let m be o(13). Let t = m + 29. Which is smaller: 78 or t?
t
Let m be (12/5595)/(31/1860). Is -1 greater than m?
False
Let g be ((-11)/(-33))/((-2)/(-1074)). Let b = g + -169. Is b < 12?
True
Suppose -2*f + 3*f = 3. Let z(t) = 123*t + 3076. Let x be z(-25). Suppose f*p + 13 = -4*a, 2*a - 3*a - x = 0. Is -3/2 > p?
True
Let s be (-8 + 2)/(-2)*(-1631)/(-147) - 6. Which is smaller: 26 or s?
26
Let v be (12/(-5))/((-75)/1250*-2295). Is -1 greater than or equal to v?
False
Suppose -5*m + 2*q + 47 = 0, -3*m + 21 + 5 = q. Suppose c + 13 + 6 = -5*h, -3*h - m = c. Suppose -d = -c*d. Which is smaller: d or 3?
d
Let u be ((-9900)/1815)/(3/(-22)). Let o = 3 + 1. Let s be o/105*u/272. Is 0 less than or equal to s?
True
Let v = 44.26 + -46. Let k = -39.26 + v. Is 0.1 at most as big as k?
False
Suppose 13*j + 28*j = -82. Let c be 0/j + (280/(-9))/7. Which is greater: -3 or c?
-3
Let r(p) = -13*p + 22. Let v be r(8). Let q = v + 116. Suppose 7*t = 9*t + q. Is t greater than -31/2?
False
Let q(i) = 625*i**2 - 20*i - 13. Let c be q(-2). Does c = 2527?
True
Suppose 0 = 2*m + 3*x - 9 - 17, m = -5*x + 6. Suppose 1639 = -m*b - 1753. Is b at least as big as -213?
True
Let k = -0.6638 - -0.0328. Let f = 0.852 + k. Which is greater: f or 2/5?
2/5
Let d = -307 - -311. Let k be 6 + -5 - 14/d. Let u be ((-1)/(-5))/(-1 + 0). Which is bigger: u or k?
u
Let p = 219.394 + -219. Let x = -0.406 - p. Is x greater than 4?
False
Let t(b) = -b**3 - 3*b**2 + 2*b + 1. Let n be t(-4). Suppose 8*h - 1218 = -1146. Let d = h - n. Which is bigger: d or -3/13?
d
Let r = -68.379 - -1.379. Which is smaller: r or -7?
r
Suppose 5*t - 2 = 4*i, 19*i - 22*i - 4 =