 0 - (6 - (-2 + j)). Let f be (-3 - 0) + (-7 - -5). Which is smaller: a or f?
a
Let x be 3/2 + 564/(-408). Which is greater: 1 or x?
1
Let x be 1/11*-56 - -4. Does x = -1?
False
Let k = -44.6 + 45. Is 3/7 at least k?
True
Suppose 0 = -5*d + 3*b - 24 - 36, 0 = -d - 3*b + 6. Which is smaller: -7 or d?
d
Let d = -4.1 - -4. Is d < 52?
True
Let k be (-4)/8 + 38/4. Let c = 4 - 2. Which is smaller: k or c?
c
Let f = -57/2 + 28. Let g(v) be the second derivative of v**5/20 - v**4 - v**3/6 + 6*v**2 + 2*v. Let s be g(12). Which is bigger: s or f?
s
Let h = 18 - 12. Suppose 0 = -5*m - 3*k - 14, -21 = 3*m + 4*k - h. Which is greater: -1/8 or m?
-1/8
Let o = -0.021 + -4.579. Let n = o + -0.4. Suppose v - 2*c - 10 = 0, 4*v - 13 = 3*c + 2. Is v bigger than n?
True
Let u(l) = -2*l**2 + 5*l - 4. Let i be u(1). Which is smaller: i or 1/62?
i
Let j be 20/16*(-1)/5. Let t = 9 + -5. Let c = -6 + t. Is j > c?
True
Let m = 1 + 2. Which is smaller: m or 1?
1
Let c be -2 - -2 - 4/18. Suppose 3*z - 3*v = 0, 5*z - v - 4 = -0*v. Let q be (0*z/(-2))/2. Is q >= c?
True
Let g(q) = q**3 + 10*q**2 + q + 3. Let b be g(-10). Which is bigger: b or -8?
b
Suppose -6 = -m - c, -5*m + 3*c - 4 - 6 = 0. Are 5 and m equal?
False
Let i be -2 + 2 - 2/(-14). Let a = -914 - -913. Which is bigger: a or i?
i
Let x(g) = 7*g**3 - g. Let k be 1*(-3)/(-6)*-2. Let o be x(k). Let n be 75/(-27) - o/2. Is n at least 1?
False
Suppose 4*p = 27 - 3. Suppose 3*v = 5*y - 0*v + p, -5*v = -10. Suppose -b - 2*b - 3 = y. Which is bigger: b or 1/4?
1/4
Suppose -5*s = 0, 4*l - 4*s + 39 = 3. Which is smaller: l or 1/4?
l
Let z(y) = -y + 10. Let d(q) = -q**2 - 8*q + 3. Let t be d(-7). Let v be z(t). Are v and -0.16 equal?
False
Suppose 2*h + 4*q - 20 = 0, 2*h + 5*q - 7 = 4*h. Which is smaller: h or 1?
1
Suppose 4*t = -2*z - 0*z, -z + t = 6. Suppose -2*f + 0*j = 2*j - 6, 0 = -5*f + 3*j - 25. Let x be (-5 - 0)*f/(-2). Is x bigger than z?
False
Let y(f) = f**2 - 20*f + 37. Let o be y(18). Let a be -5*(-5)/(25/2). Which is smaller: o or a?
o
Suppose 5*s - w = 3, s - 3*w = -7*w + 9. Is s greater than -8/19?
True
Let d be (3/126)/(21/(-12)). Let u = -19/147 + d. Is u less than 0?
True
Suppose x - 4*z = -9, -2*x = -0*x + z. Let i = x - 3. Which is smaller: i or -3?
i
Let k = 63 + -184/3. Which is greater: k or 3?
3
Suppose 0 = -2*z, 0 = -2*y + 4*z + 21 + 37. Let a(b) = -3*b - 3*b + 21*b**2 - y*b**2 - b**3 + 4. Let q be a(-7). Is -2 < q?
False
Let m = -4.56 + -1.54. Let z = 1.1 + m. Which is greater: z or 1?
1
Let x = 30 - 31. Is x != -6/73?
True
Let u = 51 + -52. Let z be 2*1/4*-2. Do u and z have different values?
False
Let n be (-3)/12 - (-10)/72. Let a be (-11)/(-66)*(0 + -4). Is a at least n?
False
Let f = 0.21 - 3.21. Which is smaller: -12 or f?
-12
Let g be 3/(-4) + 27/(-60). Which is bigger: 0 or g?
0
Let m = -3.7 - 0.3. Let r = -3.9 - m. Which is greater: r or -2/3?
r
Let b = -124.3 + 116. Let l = b + 9. Which is smaller: l or 2/3?
2/3
Let f = 2761/7 - 393. Let h be (3/(-24))/((-2)/4). Which is greater: f or h?
f
Let f = 0.3 - 0.1. Let k = f - -0.8. Let r = 519 + -518. Are r and k nonequal?
False
Let a = -2/961 + 15398/10571. Is a at least as big as 2?
False
Let c = -1088 - -5254/5. Let j = c - -37. Is j smaller than 1?
True
Suppose 0 = 9*j - 3*j + 6. Is j greater than 1/148?
False
Let i be ((-8)/30)/(4/10). Suppose -p + 2 = 2*s, 7*p - 8 = s + 3*p. Is s equal to i?
False
Let b be 18/2 + 30/(-10). Suppose 5*n + 3*o + 1 - 2 = 0, 0 = -2*o - b. Which is smaller: 5/6 or n?
5/6
Let l be (-5 - -4) + (-2)/4. Let m = -1229/4 + 309. Let k = m + l. Which is smaller: k or -1?
-1
Suppose -4*f + 8 = 3*x - 2*f, -3*x - 3*f = -9. Let w be 2 + (1 + -1 - x). Let l(k) = k + 4. Let q be l(-5). Which is smaller: q or w?
q
Let j = -1625040 + 308758399/190. Let v = -209/4 + 963/20. Let c = j + v. Which is smaller: 1 or c?
c
Suppose -3*m - 8 = -5. Let a = -194/5 - -39. Which is bigger: a or m?
a
Let f be 2/8 + 86/8. Let k = f + -12. Let q be (-2 + (-5)/(-2))*-2. Do q and k have different values?
False
Let u = 1 + -1. Let w(i) = 8*i. Let o be w(1). Suppose -o*v + 7*v - 1 = 0. Is u equal to v?
False
Let v be 7 + -5 - (-4)/(-1). Which is bigger: -7/5 or v?
-7/5
Suppose 3*s + 0 = 3. Let z(g) = g**2 + 2*g - 12. Let n be z(-9). Let o be 48/n + s*-1. Which is greater: o or -1?
o
Let t = 1 + -3. Let o(j) = j**2 + j + 1. Let q be o(t). Which is smaller: 5 or q?
q
Let v = -6 - -4. Let w be (-1)/2*6 - -6. Let z be (-2)/w*1/v. Is z bigger than 1?
False
Let u = -76 + 75.14. Let m = -0.8 - u. Which is smaller: 0.2 or m?
m
Let g = -0.08 - -4.08. Let j = g - 3.95. Which is smaller: j or 2/5?
j
Let n = 0.3 + -0.2. Let k be (2 - 1)*((-15)/7 - -2). Is k less than n?
True
Let q = 31 - 31. Is 3 less than q?
False
Let x = -0.55 + 0.25. Which is smaller: x or -2?
-2
Let j(h) = 2*h**2 - h + 1. Let z be j(-2). Suppose 3 = -2*a + z. Suppose 0 = a*p - 3*p. Is p greater than or equal to -0.02?
True
Let h = -0.6 - -0.9. Let f = -0.5 + h. Let q = 0.3 + f. Is q bigger than -1?
True
Let i be 5/(-2)*8/(-30). Let u = 19 - 131/7. Which is greater: u or i?
i
Let j be 5*(-1 + -3 + 5). Let n be 180/(-575) + 2/j. Which is bigger: n or 0?
n
Let t = -35 - -7. Let l = t - -92/3. Is l > 1?
True
Let d = 0.1 + -2.1. Let h = 0.06 - -0.14. Let i = -0.1 + h. Is d greater than or equal to i?
False
Let l = 20 - 18. Let u be l/(-9) + 122/144. Which is bigger: 0 or u?
u
Let q(w) = -w**3 - 6*w**2 - 6*w - 7. Let z be q(-5). Let f be ((-3)/(-2))/(z/4). Suppose 0 = -3*r + l - 7, 3*r + 3*l + 32 = -l. Is f greater than r?
True
Let d = -4.5 + 7. Let z = d + -2.45. Which is smaller: -2/7 or z?
-2/7
Let c(s) = -s**3 + 8*s**2 - 8*s - 5. Let b be c(7). Let p = b - -7. Is p equal to -5?
True
Let p be (-304)/(-6) + 10/(-15). Suppose -2*x + 3*z + p = 0, 0*x = 4*x + 5*z - 56. Which is smaller: x or 20?
x
Let s be (8/40)/(4/10). Is s <= 2/7?
False
Suppose -5 = -2*l - 3. Is -2 < l?
True
Let o(c) = 27*c - 20. Let u be o(3). Does u = 62?
False
Let c = -0.7 + 3.4. Let i = -1 + 1.3. Let r = i + c. Is r < 1?
False
Let q = -8 + 4. Let l(h) be the third derivative of h**4/12 + 13*h**3/6 + 2*h**2. Let x be l(-9). Is x bigger than q?
False
Let c = -457 + 14625/32. Which is bigger: -1 or c?
c
Let x = -6 + 5.3. Let l = -0.2 - x. Let f = 2.5 - l. Is -0.1 at most f?
True
Suppose 35*r + 88 = 31*r. Which is bigger: -23 or r?
r
Suppose -40 = -4*k - 4*u, 4*u = 2*k - 0*u - 14. Suppose 10 = -k*q + 4*q. Let x be (5/(-20))/((-13)/52). Which is smaller: x or q?
q
Suppose -1 = -2*o + 17. Let a be (2 - 6)*o/2. Let g be 14/63 - (-4)/a. Which is bigger: 1 or g?
1
Let w(s) = -s - 3. Let u be w(-2). Let g be u + 2 + (-2)/2. Which is bigger: g or 2/3?
2/3
Let x = 0.5 - 0.32. Let s = x - 0.08. Let b = -6 + 19/3. Does s = b?
False
Let x(h) = h - 3. Let z be ((-14)/6 + -1)*3. Let k be x(z). Let j be 1 + 2 - k/(-4). Does -1 = j?
False
Let q = -50 - -52.15. Let h = q + -0.15. Are -6 and h unequal?
True
Let x = 2 - 4. Let c(h) = h**2 + 7*h - 10. Suppose 4*o + 52 = 20. Let i be c(o). Are x and i equal?
True
Let u = -25 + 19. Which is smaller: 0.2 or u?
u
Let g = 9 - 4. Suppose 2*m + 4*a = 2, 2*m - g - 3 = -a. Do m and 3 have different values?
True
Let l(f) = -f**2 - f - 3. Let d be l(0). Let j = -2 + 2. Let p be (-2 - (-1 + 1)) + j. Is p >= d?
True
Let r be ((-402)/10)/((-6)/8). Let c = r + -54. Which is greater: c or 1?
1
Let a be ((-146)/8)/(30/(-96)). Let w = a + -58. Let t be (-1)/4 - 2/(-8). Is t less than or equal to w?
True
Suppose 0*m - 5*m = 0. Suppose 24 = 2*r - m*r. Let u be 2 + r/(-3) - -1. Which is smaller: -3 or u?
-3
Let c = 11 + -6. Let g = 5.1 - c. Is -0.04 less than or equal to g?
True
Suppose b = -5*v + 7, -6 = -3*b - 2*v + 2. Let h be b/4*-1*-2. Is h bigger than 1?
False
Suppose -4*z = z - 35. Let y be z + -6 + (-1)/1. Is 4 at most as big as y?
False
Suppose -4*l = 3*z - 4*z - 11, l = 3*z + 11. Let y = 6 - 3. Let g be l/y - (-2)/6. Are g and 2 non-equal?
True
Let r = -1.3 - -1.28. Let t = r - -0.12. Are t and -1.7 non-equal?
True
Let c = -21 - -19. Are c and 13 non-equal?
True
Let s be (-15)/(-45) - (-52)/(-3). Which is greater: -1 or s?
-1
Suppose 2*u - 5*u = 0. Is 5/4 smaller than u?
False
Let w = -4 - -2. Let d = 10/9 + -29/18. Is d less than w?
False
Let s be 2 - ((-3)/(-3) + -2). Suppose 2*q + b - 4 = s, -5 =