 = 3*y + 2*n, -y + n = -q*n. Which is bigger: j or y?
y
Let p(u) = -5*u - 208. Let d be p(-24). Which is bigger: -90 or d?
d
Let n be -1*7/(-14)*(14 + -2). Let s be ((-21)/18)/((-15)/n - -1). Is s < 2?
True
Let d = -218.2 - -245. Let f = -27 + d. Let o = 0.1 + f. Which is smaller: -2/3 or o?
-2/3
Let y be ((-2)/8)/(5/(-100)*1). Let j be 2/y + (-163)/(-5). Is 34 not equal to j?
True
Let n be -3 - -18*(-3)/(-6). Suppose -3*j + n*j + 4 = -5*q, q - 7 = 2*j. Which is smaller: -1/16 or q?
-1/16
Let m = 36.76 + -0.76. Let j = 32 - m. Let l = -0.5 + 0.2. Is l <= j?
False
Let r be 3015/804*(-8)/(-18). Which is greater: -3/17 or r?
r
Let p(b) = 4*b - 47. Let c be 15 - (7 + (-9)/((-36)/(-16))). Let v be p(c). Let i be -2 - (0 - 14/6). Which is bigger: v or i?
v
Let z = -13 + 12.5. Suppose 5*r + 29 = 24. Is z at most r?
False
Let d be ((-15)/1810)/((-3)/(-4)). Let g = 2.23 - 2.33. Is g equal to d?
False
Let a = -0.96 + -42.04. Let h = 42 + a. Which is bigger: h or 2?
2
Let b(q) = 2*q**2 - 5*q + 2. Let z be b(2). Is 2/445 greater than z?
True
Suppose -38*o - 140*o + 356 = 0. Let x be 2/5*(0 + 2). Are o and x equal?
False
Suppose 2*f - 52 = -140. Let l be 1/f - 1/4. Which is smaller: l or 1?
l
Suppose -13 = 5*z - 2*i, z = -2*i + 6 + 1. Let n be 6 + -6 + (-30)/95. Are n and z unequal?
True
Let j = -10 - -9.9. Let t = -154 - -162.03. Let y = t + -0.03. Which is bigger: y or j?
y
Let u = 22 + 119. Which is smaller: u or 139?
139
Let v be 160/(-88) + 4/(-22). Let y be -2 + (-5 + 1 - v). Let u be ((-28)/(-10))/(y/(-10)). Is 9 > u?
True
Let n = 17107/12 + -5045/4. Let x = -173 + n. Which is bigger: x or -10?
x
Let d be -3*(0 - (-8)/4)/10. Is d greater than or equal to 0?
False
Let f(s) = s**2 - 34*s + 120. Let p be f(30). Which is bigger: p or 12?
12
Let i(m) = 51*m + 103. Let s be i(-2). Suppose 0 = -2*z + 5*t + 15 - 3, -2*t - 4 = -z. Let p(x) = x**2 + 5*x + 4. Let b be p(z). Which is bigger: b or s?
s
Let x = 3 + 2. Let u(g) = -g**3 - 6*g**2 - 9*g - 3. Let a be u(-4). Suppose x = -f - a. Which is smaller: f or -4?
f
Let s = -87 - -71. Let h be (-24)/(-72) - s/6. Which is smaller: 7/3 or h?
7/3
Let g be 2/(-10) - 7/(-35). Let b be (-1 + 6)*(2 - 1). Suppose -4 = -3*f - 4*x - 0, -b*f + 2*x = 2. Is f equal to g?
True
Let a = -4 + 6. Let t be (6/(-18))/(a/118). Let o = 532/27 + t. Is 0 equal to o?
False
Let i(m) = -m**3 + 19*m**2 + 24*m - 39. Let z be i(20). Suppose 40 = y - 3*c, 2*c = y - 0*y - z. Is y smaller than 43?
False
Let y(i) = -i**2 + 5*i - 1. Suppose 0 = 3*r - 10 - 26. Suppose r = 4*j - 4. Let g be y(j). Is 3 at least g?
True
Suppose 4 = b + 2. Let q = -35 - -29. Let o be ((-8)/q)/(-4*(-7)/42). Is b not equal to o?
False
Suppose -4*p + 3*c - 8 + 5 = 0, 0 = 4*p - 5*c + 5. Let b(v) = v + 6. Suppose 3*f + 8 = -7. Let s be b(f). Does s = p?
False
Suppose 2 + 2 = v. Let i be (3 - v)/((-4)/(-4)). Which is greater: 3 or i?
3
Let b = 26.6529 - 26.5. Is b smaller than 1/4?
True
Let h(z) = -2*z + 5. Let f = -7 - -4. Let r be h(f). Let q = r + -31/3. Which is smaller: 4 or q?
q
Let n(l) = -2*l**2 + 6*l + 3. Suppose 0 = -2*v - 2*v + 20. Let u be n(v). Which is smaller: u or -15?
u
Let f be (346 - 3) + -1 + -2. Let x be 132/32*(-82)/1. Let r = x + f. Which is bigger: r or 2?
2
Let g be 19*(2 + (1 - 0)). Let i = -9519 - -9519.2. Which is greater: g or i?
g
Let n be 4 - ((-6)/(-4) + (-304)/(-22)). Let i = -2/57 - -1315/114. Let r = i + n. Which is bigger: r or 0?
r
Suppose 2*v = 4*r - 3*v - 32, v = 2*r - 10. Let c be r/(-4) - (-9245)/(-20). Let j = c + 2789/6. Is 3 less than j?
False
Let x = 92 + -68. Suppose 118 = -5*j + s - 17, -5*s = -5*j - 155. Let t = x + j. Does t = -1/2?
False
Let c be ((-6)/(-30))/(3/15). Let u be (-2 - (-8)/9)/((-2)/3). Is u > c?
True
Let m be (6/(-9))/(6/(-180)). Suppose 4*w - 2*q - 111 = -39, 2*w - 24 = 4*q. Is w greater than m?
False
Let p = 86 - 143. Let a = -28 - p. Let v = a - 29.5. Is -1 smaller than v?
True
Let k be (-3)/(33/(-2)) - 0. Suppose 63*g = -15*g. Are k and g unequal?
True
Let d = -40.072 + -0.028. Let a = d - -41. Is -3 equal to a?
False
Suppose 0 = -5*u + 2*m + 10, 5*u - 5 = -0*m + 3*m. Let y be 8/(-27)*(-21)/u. Do y and 3 have different values?
True
Let o(n) = -2*n. Let g be o(-3). Suppose 2*w = 4*a - 16, -4*w - a + 1381 = 1350. Do g and w have different values?
False
Let z = -4.7 + -0.3. Let i = z - -5. Let x = 0.045 - 0.245. Which is smaller: x or i?
x
Suppose 4*t = -x + 3*x, -4*x - 9 = t. Let n = -10 - x. Let z = -318 + 311. Is z < n?
False
Let f be (-15)/12 - (-1)/4. Let p be f/2 + (-3)/(-10). Let h = 473 - 473. Which is smaller: p or h?
p
Let m be 170/(-4)*(-64)/40. Let j = -149 - -216. Is j at least as big as m?
False
Suppose 0 = -5*i - 2*v + 8, -8*v = 2*i - 3*v + 1. Suppose 3*n - 4*h + i*h = -16, 2*n = -5*h + 21. Let f be (1/n)/(2/12). Is -5 bigger than f?
False
Let k = 507/1255 + -1/251. Is k greater than or equal to -21?
True
Let f be (-2 - 12/(-9)) + 272/(-24). Let q(c) = -4*c - 49. Let y be q(f). Which is greater: y or -51?
y
Let i be 1 + 165 - (23 - (10 - -12)). Is i equal to 172?
False
Let s = 21 + -37. Let r be ((-170)/34)/((-2)/(-6)). Which is smaller: s or r?
s
Let l = 9 + -17. Let m(c) = c**2 + 3*c + 3*c + 380 - 380. Let s be m(-3). Is s greater than l?
False
Suppose 16 = 4*k + 4*s + 4, 4*s = -16. Let h = -13 - -21. Are h and k equal?
False
Suppose -2*w + 15 = w + a, -4*a + 12 = 0. Let i be ((-2)/w*8)/35. Do i and 0 have the same value?
False
Let f = 160 - 150. Is 34/3 greater than f?
True
Let f be ((-232)/(-40) + -6)*-1*5. Which is greater: 2/49 or f?
f
Let b be (20/6)/((-6)/(-9)). Suppose -p - 11 + 38 = b*n, -p + 2*n + 20 = 0. Let r = p + -12. Which is smaller: 11 or r?
r
Suppose 0 = 3*j - 9 - 69. Suppose 3*y - j = 4. Suppose -y + 6 = 2*u. Which is smaller: u or -3?
-3
Let j = 271 - 270. Let k = -1.9 + -8.1. Let f = 4 + k. Which is smaller: f or j?
f
Let y = 56 - 55. Let n be (-1)/(y/2) - 100/(-70). Is n at most 5?
True
Let k be (-24 - (-3549)/105) + 8/(-10). Is 113/13 greater than or equal to k?
False
Let n = 27 + -26. Let i be (1 - -5)/(6/4). Let g be 2/(-7) - i/35. Which is smaller: g or n?
g
Let g = -2 - -9. Let q(l) = -l**2 + 5. Suppose -3*z - 12 = 0, -5*z - 20 = -5*b + 2*b. Let c be q(b). Do g and c have the same value?
False
Let g = -6 + 4. Let q = -3 - g. Let r be ((-5)/(-5))/(4/(-2)). Is r less than q?
False
Let u = -1 - -2. Let q = -2 + u. Let d = -10.46 + 10.26. Do q and d have different values?
True
Let d(a) = a**2 + 7*a + 9. Let j be d(-2). Is -7/3 less than j?
True
Suppose 0 = -2*x + 6, 0 = -a - 14*x + 8*x + 36. Suppose -124 + 44 = -5*s. Which is smaller: a or s?
s
Let f = 4 - 5. Let p be ((-44)/(-99))/((-114)/9). Is f at least p?
False
Let y(r) = -10*r**2 - r - 1. Let h be ((-2)/(-4))/(8/48). Let g be (h - 2)*(-2 + 1). Let k be y(g). Which is greater: k or -11?
k
Let s = -17 + 23. Let l = 43 + -41. Which is greater: l or s?
s
Let y = 5/71 + -542/10721. Which is smaller: 1 or y?
y
Let z(b) = -b**3 + 35*b**2 + 33*b + 102. Let s be z(36). Which is greater: 4/3 or s?
4/3
Suppose 3 - 4 = -m. Suppose 0 = -5*s + 3*q - 17, 0 = 7*s - 12*s - 3*q + 7. Which is smaller: m or s?
s
Let x = 57 - 117/2. Let b be 8/(-3) - 2/6. Which is greater: x or b?
x
Let v = -11 - -13. Let l be 2/v*(-1 + 0). Let d = -2 - l. Which is smaller: 1/3 or d?
d
Let r = -1.27 - 21.13. Let f = r + 0.4. Which is greater: f or -0.1?
-0.1
Suppose -5*o - 16 = -x, x - 3*x = 2*o + 4. Suppose 12 = -5*w + 12*d - 15*d, 2*w + 20 = -5*d. Is o smaller than w?
True
Suppose 3*u - 3*b + 0*b = 9, 3 = 3*b. Suppose 32 = u*v - 0. Suppose -5*m + 5*p - 1 = 6*p, 4*m + 3*p = v. Is -1/48 smaller than m?
False
Let z be (-8)/(-3) + 26/(-39). Suppose 4*n - 6 - z = 0. Which is bigger: 6/5 or n?
n
Let l = 8972/9085 - 100/79. Let c = l + 6268/1035. Are 7 and c nonequal?
True
Let j(l) = l**2 - 5*l - 3. Let n be j(8). Let s = n + -8. Let h be (-2 - (-25)/s)/(-1). Which is greater: h or 1?
1
Let r(o) = o**3 - 10*o**2 + 4*o + 3. Let q be r(9). Are q and -56 nonequal?
True
Let l be 2/(-2) - 46/(-12). Suppose f + 2 = a, -25*a - 2*f = -26*a. Which is smaller: l or a?
l
Suppose 15 + 113 = 4*a. Suppose 4*m = 2*f + a, m = 2*f + 4 + 1. Let u be 6/((-21)/m - -1). Which is smaller: u or 1?
u
Let w = 927 - 946. Which is smaller: w or -204/11?
w
Let q = 27486/49 + -561