3. Suppose 7*x - 3*x - 20 = 0. Let r = x + -6. Which is smaller: b or r?
r
Let t = 191 - 190. Which is smaller: t or 2?
t
Let m(p) = 2*p**2 + p. Let o be m(1). Let l be (-1 + 1)/(4 + -2). Suppose l*i = o*i. Is i <= 0?
True
Let y be ((-1)/3)/((-22)/462). Do 7 and y have different values?
False
Let y be (-4)/(-6) - 7/(-3). Suppose -3 = -y*n - 2*j - j, 2*j = 4*n + 8. Which is bigger: n or -2/7?
-2/7
Let p be 5*(2 - (-9)/(-6)). Which is bigger: 3 or p?
3
Let y be 2/(-12)*(-9)/6. Let w = 693/34 - 41/2. Do y and w have the same value?
False
Let p(v) = -136*v + 1. Let q be p(-3). Let u = q - 5314/13. Is u less than 1?
True
Let m be (-2)/(-15) + (-174)/(-45). Let n = -4 - -5. Is n at most m?
True
Let t = -7.1 + 7. Which is greater: t or 31?
31
Let b be (6/30)/(-1 + 0). Let z(v) = -v**2. Let f be z(1). Is b at most f?
False
Let s = -3.1 + 3. Suppose 0 = -0*y + 5*y - 5. Let z(g) = 4*g - 1. Let o be z(y). Which is greater: s or o?
o
Suppose -n = 7*p - 5*p - 12, -2*n - 2*p + 26 = 0. Is n less than or equal to 17?
True
Suppose -12 = -4*a + 2*a. Suppose -5*i = -m - a, -4*m = 2*i - i + 3. Is 0 bigger than m?
True
Suppose 5*r + 5*c - 10*c + 10 = 0, 3*c = 12. Which is smaller: 1.2 or r?
1.2
Let w = 11 - 11. Is w not equal to 4?
True
Suppose -4*d - 42 = -10. Let l be -2*(20/d)/1. Are 6 and l equal?
False
Let a(b) = -b**2 + 4*b - 3. Let w(k) = -k - 2. Let u be w(-5). Let j be a(u). Let d be ((-2)/(-4))/((-4)/(-6)). Are j and d non-equal?
True
Suppose 14 + 6 = -5*x. Let g(f) be the second derivative of -f**5/20 - 5*f**4/12 - f**3 - 2*f**2 - 2*f. Let p be g(x). Is 4 greater than or equal to p?
True
Let o = -0.7 - -0.2. Let v = -0.2 - o. Which is greater: v or -0.1?
v
Let s = 0 - 0. Suppose 0 = -s*g + g - 4. Let n(z) = -z. Let q be n(g). Is q smaller than -5?
False
Suppose -q - 6 = -2*d, d + 2*q = 5*q + 13. Let u = -4 - d. Which is smaller: u or -4?
u
Suppose 0*j - 2*j - 5*q = -33, 5*j - 4*q = 0. Suppose -5*a - 8 = j*c, -2*a + c + 2 = -3*a. Suppose a*y - 5 = y. Is y less than or equal to -5?
True
Let x(q) = 2*q**2 + 3*q - 3. Let a be x(-2). Is -19/9 bigger than a?
False
Let b be (-7)/2 - (-4)/8. Are b and -5 nonequal?
True
Let l(a) = -5*a - 2. Let k be l(1). Is k at most as big as -6?
True
Let w be 1/(-1)*(5 - 3). Which is smaller: w or -3?
-3
Let n(h) be the first derivative of -h**4/4 - 7*h**3/3 - 3*h**2 - 3. Let z be n(-6). Let r be (-2)/(-1) - (z - -2). Are r and -2/3 unequal?
True
Suppose -2*g = 4*s + 3*g - 75, 59 = 3*s + g. Suppose 0 = -5*v - s, 4*q + 12 = -3*v - 2*v. Suppose 3*r = -q*r - 30. Which is bigger: -5 or r?
-5
Let y = -2 - -2. Suppose 0 = -2*d - 3*d. Do y and d have different values?
False
Let j = -0.1 + 2.1. Let p be (12/9 - 3)*-3. Suppose -o - 3*b - 5 = 0, p*o + 5*b + 6 - 1 = 0. Is j greater than o?
True
Let z be 8/15 - 1/3. Let f = -124 + 109.9. Let s = 14 + f. Does z = s?
False
Let f(t) = t**2 - 2. Let i = 2 + -4. Let l be f(i). Which is greater: 4 or l?
4
Suppose -2*w - 5*t = -3*w + 12, 5*t = -w - 8. Let b be (-1)/((-4)/(-6*w)). Are b and -4 equal?
False
Let f = 2/45 + -229/90. Is f smaller than -2?
True
Let a = 4.6 + -22.6. Let v = a + 14. Is v equal to 2?
False
Suppose -10 - 92 = -6*k. Is k >= 17?
True
Let l = -12.69 - 0.21. Let c = 13 + l. Is 6 bigger than c?
True
Let c = 1619/51022 - -5/526. Are 0 and c unequal?
True
Let f = 89 - 82. Which is bigger: f or 1?
f
Let z(u) = -u - 2. Let s be z(-6). Let a = s + -5. Let r = -2/113 - -119/339. Which is greater: a or r?
r
Let x = 1.2 - 0.9. Is x at most as big as 0?
False
Suppose -o + 4*q - 38 - 40 = 0, -66 = o + 2*q. Let n be 1/3 - o/(-75). Let b = -3.1 - -3. Is n < b?
True
Let w(q) = -2*q + 5. Let n be 1*10*3/6. Let d be w(n). Suppose 4*z - 13 = -37. Which is bigger: z or d?
d
Let a(p) = -p**3 - 6*p**2 - p - 7. Let d be a(-6). Let b = -2 + 2. Let q = b - d. Is q less than or equal to 0?
False
Suppose x + d = 6*d - 1, 0 = 4*x + 2*d + 4. Let v(m) = m**2 + 6*m - 5. Let p be v(-7). Suppose p = -4*s - 2. Is s at least x?
True
Let v be ((-36)/(-14))/((-3)/(-21)). Let l be ((-1)/v*-3)/(-1). Which is smaller: l or -1?
-1
Suppose -3*f = 3*x + 42, 5*x + 48 = 3*f - 6*f. Let q = f + 16. Is q > 5?
False
Let a = 1249 - 570. Let h be (a/(-70))/(0 + 14). Let z = h - 3/28. Is -1 less than z?
True
Let l be 14*((-3)/45 - 0). Let p = 100 - 503/5. Let q = p - l. Is 1 smaller than q?
False
Let i = 10 - 7. Let t(o) = 3*o - 1 - 3*o - 4 + o. Let s be t(7). Are i and s non-equal?
True
Let p(q) = -4*q + 5*q + 2*q**2 - q**2. Let m(t) = t**2 + 2*t. Let n(d) = 5*m(d) - 7*p(d). Let s be n(2). Which is smaller: -1 or s?
s
Let d(l) = l - 3. Let y be d(4). Let h = -2 - y. Is h > -4?
True
Let x be (-6)/(-15) - 88/(-30). Let j = x - 3. Let i be 30/84*12/15. Which is smaller: i or j?
i
Let d(n) = -n**2 + 5*n + 4. Let v be d(5). Suppose 7 = -v*b - 1. Do b and 0 have the same value?
False
Let v = 3.1 + -3. Let r(u) = u**3 - u**2 + 6. Let z be r(0). Let d be (-4)/z*1/(-2). Which is greater: v or d?
d
Let r(z) = z**3 - 4*z + 4. Let l be r(3). Is l greater than or equal to 2?
True
Let y be 104/(-414) - 8/(-36). Is y less than -1?
False
Let o be (-6)/(-8)*(-4)/5. Let w = -6 - -5. Which is smaller: o or w?
w
Let b(f) = 3*f + 14. Let m be b(-7). Which is smaller: m or -78/11?
-78/11
Let a = 76 - 76.01. Is a equal to 0.1?
False
Let f = -1450/9 + 161. Which is smaller: 3/7 or f?
f
Let g = 2473/11 - 225. Suppose 4*h - 10 = 4*d - 6*d, -5*d - 2*h + 17 = 0. Let i be (2 - 4) + d + -1. Is i > g?
True
Let i(b) = b**3 + 10*b**2 + 9*b. Let g be i(-9). Which is smaller: g or -5/23?
-5/23
Let y be 1 + -3 + (-35)/(-57). Let l = y + 1/19. Which is smaller: 0 or l?
l
Let d(i) = 13*i + 1. Let u be d(-5). Which is smaller: u or -63?
u
Let m = 46 - 52. Do -5 and m have different values?
True
Let w = -630 - -23314/37. Which is greater: w or 1?
1
Let a = -1.9 + 2. Let x = -3 - -5. Let r = x - 3. Which is smaller: r or a?
r
Let j(y) = -y**3 + 3*y**2 + 2*y. Let m be j(4). Let n = m + 13. Suppose -2*u + 5*b - b = -6, -5*u + 5*b + n = 0. Which is smaller: 1 or u?
u
Suppose o - 23 = -3*g + 12, 4*g - 25 = 3*o. Suppose -3*a + 0*a - 27 = -3*i, 0 = 2*a - 2. Is g bigger than i?
False
Let o be (12/(-18))/(2/(-42)). Let r = -21 + o. Is r at most as big as -7?
True
Let r = 0.08 + 0.22. Let z = r - 0.8. Let c = -28 - -82/3. Do z and c have different values?
True
Let y be 5/20 - 47/(-4). Suppose 3*x - 8 = 43. Let d = y - x. Which is greater: d or -6?
d
Let v(l) = -2*l + 9. Let k be v(4). Which is bigger: 2/59 or k?
k
Suppose 5*i - 2*a - 14 = i, 2*a = -3*i - 7. Is i at most as big as 1?
True
Let s = 20.084 + -20. Let y = s - 1.064. Let z = 0.02 - y. Which is bigger: z or 2/3?
z
Let a = 4 - 3.9. Do a and 1/2 have the same value?
False
Let b(o) = -o**3 - 4*o**2 + o - 2. Let f be b(-5). Let w be 15/54 - (-4)/f. Is w not equal to 2?
True
Suppose 3*v = -2*v + 25, -5*v + 57 = 2*y. Let u = y + 4. Let z be 5/u + 9/(-20). Is z bigger than -1?
True
Suppose 5*z = 3*z + 8. Let j be 3/z - 3 - -2. Which is bigger: 0.02 or j?
0.02
Suppose 5 = -3*a - 10, 2*a = -2*t - 10. Let y = t - 1. Let h be 1/3 + 2/(-6). Which is bigger: y or h?
h
Suppose -28 = -5*p + 3*a, 4*p - 13 - 2 = -5*a. Suppose 0 = -u - 2*v - p, 0 = 4*u - 2*u - 3*v - 11. Let z be 80/90 - 4/18. Do u and z have the same value?
False
Let n = -25 - -18. Let g = 144.2 - 144. Are n and g equal?
False
Suppose -4*t = -r - 90, 0*r - 82 = -4*t - 3*r. Do 21 and t have the same value?
False
Suppose 3*l + 21 = 15. Suppose 6 = 3*i - z + 6*z, -5*i - 5*z = 0. Is i at most l?
True
Let m = 778 - 10116/13. Let l(x) = x**3 - x - 1. Let z be l(0). Do z and m have the same value?
False
Let o = -68 - -43. Let m = -169/7 - o. Which is smaller: m or 0?
0
Let v = -30 + 29.6. Which is smaller: 3 or v?
v
Let a(p) = p**2 + 6*p - 9. Let y be a(-7). Let b be (y - 0)*(-1)/2. Is 3 greater than b?
True
Suppose 11*s = -2*n + 6*s + 27, -n + s + 3 = 0. Are 1 and n unequal?
True
Suppose v = -3 + 19. Let y = v - 15. Which is smaller: 0.05 or y?
0.05
Let a be (0/(2*-2))/(-1 - -2). Let f be ((-20)/(-6))/(2/3). Suppose 6*z + f = z. Is a != z?
True
Let i = 0.07 + -0.02. Let b = i + 0.05. Is b <= 8?
True
Let k(a) = -a**2 + 5*a - 3. Let m(l) = -l**2 + 6*l - 4. Let o be m(4). Let p be k(o). Suppose 0 = -3*f + 4*f. Which is smaller: p or f?
f
Let l be ((-2)/(-8))/(54/(-48