5 + -14.1. Let y = 0.1 - 0. Let n = f + y. Which is smaller: 1/3 or n?
1/3
Let f be 30/18*3 - -5. Do f and 0 have the same value?
False
Let x(f) = -f - 10. Let r be x(5). Are -15 and r equal?
True
Let n(r) = 2*r**3 - 4*r**2 + 2*r. Let q be n(2). Suppose -5*u + 5 = 5*h, q*h = 3*u - u + 4. Let p = 2/39 - -11/39. Which is bigger: p or u?
p
Let l = -3 - -2.6. Let d = 0.04 - -0.46. Let z = d + l. Which is bigger: z or 1?
1
Suppose 0 = 2*x - 7*x + k + 19, -3*x - k + 13 = 0. Let i be 3 + -1 + 1 + 0. Is x at least as big as i?
True
Let j = -1 - -1. Let w be 0 + 3 - (-54)/(-20). Is j <= w?
True
Let v be ((-15)/(-10))/(6/4). Which is bigger: v or 2?
2
Let y(i) = -2*i - 10. Let n be y(-6). Is n <= -0.5?
False
Let u be (209/22)/((-34)/236). Let p = -66 - u. Is p at least as big as -1?
True
Let g be (2/(-9)*3)/((-164)/6). Which is bigger: -1 or g?
g
Suppose k = -4*k + 5*b + 20, 4*b + 14 = 3*k. Let a(u) = 2*u**3 - 2*u**2. Let x be a(k). Suppose 2*v + 4 = 0, -5*v = q + 2 + x. Which is smaller: 2/7 or q?
q
Let s = 3 + -9. Which is smaller: -3 or s?
s
Suppose -5*a + 9 + 6 = 0. Let d(y) = -y**3 + 7*y**2 + y - 5. Let g be d(7). Suppose g = 4*n - h - 6, -2*n + 4*h + 4 = 0. Are n and a non-equal?
True
Suppose -5*d - 11 = -2*v, -4*v + 5*d - 2*d + 15 = 0. Is 5 less than v?
False
Let k be 375/1946 - 0/4. Let u = 3/139 + k. Which is greater: u or 1?
1
Let y = -30 + 32. Which is smaller: 35 or y?
y
Let n = -53 - -45. Which is smaller: n or -7?
n
Let x be (-11)/(-63) - 10/35. Which is bigger: x or -1?
x
Let k = 22 - 23. Do 0.03 and k have different values?
True
Let q(y) = 3*y**3 - 2*y**2 - 5*y + 8. Let p be q(2). Is -0.1 >= p?
False
Let n(s) = s**3 + 5*s**2 + 3*s + 12. Let g be n(-5). Is -3 > g?
False
Let m(c) = -c**2 + 5*c + 3. Let y be m(0). Suppose 12 = -3*r + 6*r. Is y < r?
True
Let o = 853/492 - -2/123. Which is smaller: o or 1?
1
Suppose -3*h = -8*h. Suppose h*l - 5 = -l + i, 0 = 2*l + 2*i + 2. Is l greater than 2?
False
Let q be 1/(-4) + 1/4. Let n = -0.6 - 2.4. Let t = n + 3.1. Does q = t?
False
Let p(y) = -3*y**2. Let r be p(-1). Suppose 207*i - 3 = 210*i. Which is smaller: i or r?
r
Let g = 658 - 665. Suppose 10 = 2*v - 4*v. Which is smaller: g or v?
g
Suppose 2*z - 8 = 0, -5*c = 2*z - 0*z - 63. Suppose -5*n = -2*v - v + c, -3*v = -3*n - 9. Is -2 greater than or equal to n?
False
Let i = 0.9 - 4.9. Let v = 0.062 + -0.162. Which is smaller: v or i?
i
Let a be ((-28 + 25)/(1 + 7))/6. Let s = -3 - -2. Which is greater: a or s?
a
Suppose -4*u + 15 = 2*s - 15, s + 3 = 4*u. Suppose -2*z - z = -s. Let x be ((-20)/(-6) - 2) + (-2)/(-3). Is z at most x?
False
Let t = -1.9 - -2.9. Is 11 greater than t?
True
Let c = 43 + -26. Which is bigger: -1 or c?
c
Suppose 3*c = 6*c - 81. Suppose -c - 18 = -5*t - 5*y, 5*t - 17 = 2*y. Suppose 4*x - 2*k + k - 3 = 0, t*x = 2*k + 6. Is x less than or equal to 1?
True
Let u = 123 + -60. Which is smaller: u or 62?
62
Let b(x) be the third derivative of x**5/60 + x**4/3 + x**3/3 - x**2. Let y be b(-6). Let g be ((-2)/3)/(y/(-15)). Which is smaller: -2/9 or g?
g
Let i(o) = 3*o**2 + 1. Let f be i(1). Suppose -6*y = -2*y - f. Let w be y - (3 + (-6)/3). Are -2/9 and w nonequal?
True
Let g be ((-410)/77 - -3) + (-6)/(-33). Let a = 2 + -3. Is a less than or equal to g?
False
Let s be (0 + 0)/(15/(-5)). Let r(m) = 2*m - 4. Let q be r(3). Which is greater: s or q?
q
Suppose 13 = -7*z + 2*z - 2*m, 4*m - 13 = 3*z. Is z >= -3?
True
Let r = 21 - 22.2. Is 0.1 greater than or equal to r?
True
Let l = -1.42 + 0.02. Which is smaller: -0.1 or l?
l
Let r(g) = g + 4. Let c = -13 + 7. Let s be 12/2*c/12. Let l be r(s). Which is smaller: -1 or l?
-1
Let r be 1 - (3 + 4/(-2)). Do 6/11 and r have the same value?
False
Suppose 4 + 0 = 2*v. Suppose 5*y = 3*j - 35, -v*j + 13 = 3. Does -4 = y?
True
Let m(i) = -i**3 + 10*i**2 - 9*i. Let f be m(9). Suppose 5 = -2*s + 3*s. Suppose -2*k = q + s, 1 = 2*q + 2*q + k. Is f <= q?
True
Suppose 0*z = -z + 2*b, 4*z - 15 = 3*b. Let g = z + -3. Let w be 0/(-2*g/(-3)). Is -1/2 < w?
True
Let x = -6 - -10. Let p be (-11)/x + 4/(-16). Let n be ((-6)/(-4))/(3/(-6)). Is n smaller than p?
False
Let x = -17 + 14. Which is smaller: 0.2 or x?
x
Suppose -4 = 4*t - 0. Let a = 2 - 7/3. Which is smaller: t or a?
t
Let u = -46 - -45.9. Let m = -2 + 3. Is u < m?
True
Let a = -379/7 - -54. Let y be 0 + 3 + 4/(-2). Which is greater: a or y?
y
Let d = -2.144 - -0.044. Let l = d + 0.1. Which is greater: l or 0.5?
0.5
Suppose m - 4 + 3 = -3*j, j + 1 = -m. Suppose 3*y + 26 + 13 = 0. Let d be y/(-3) - (j - -2). Do d and 1 have the same value?
False
Let l(j) = -j. Let y be l(3). Let r = y - -4. Let z be (-3 - -2) + 30/26. Is r > z?
True
Let g = -0.9 + 1. Let v = -12 + 12.1. Is g bigger than v?
False
Suppose 2*x = -3*x + 20. Suppose -l + 3*l = x. Let n be 0*(l/(-2))/1. Is n greater than or equal to 1/4?
False
Let o be (2*-1)/4*-2. Let l be (-20)/(-9) - 10/45. Are l and o equal?
False
Let w = 9 + -5. Suppose 0 = -4*y + 3*y + w. Which is bigger: y or 6?
6
Suppose 3*g = -6 - 0. Let d be (3 - 1)/(-1 - -2). Suppose -d*f = 3*f + 15. Are g and f equal?
False
Let d = -16242 - -9338. Let r = d - -34911/5. Let x = 78 - r. Is x bigger than 1?
False
Let q be (-96)/32 + -4*(-2)/3. Which is smaller: q or -1?
-1
Let t = 2 - 2. Let p = 2 + t. Let q be -3 + 1 + 0 + 4. Is q at least p?
True
Let d be 2/8 - (-6)/(-8). Suppose -4*u + 5*u = 0. Is d less than or equal to u?
True
Let y = 20 + -61/3. Let t = 5/6 + y. Do t and -2/3 have the same value?
False
Let d be (2/7)/(-90 - 4). Let n = -669/3619 - d. Which is smaller: 0 or n?
n
Let s(l) = -l**2 - 8*l + 14. Let w be s(-9). Suppose w*b = 8*b + 75. Which is smaller: 2/3 or b?
b
Let k = 249 - 544. Let b be k/595 + (-2)/(-14). Which is bigger: -1 or b?
b
Let f = 1.02 - 0.02. Let o = f - -1. Is o equal to 2?
True
Let w be (33/(-15) - -2)*-10. Let o be (w/(-4))/(8/48). Let d(v) = -v - 2. Let g be d(2). Is g < o?
True
Let n = -27/8 + 41/8. Suppose -p = -3*u, 2*u - p + 13 = 4*p. Which is bigger: u or n?
n
Let n be (-4)/5*15/(-6). Suppose n*v = c - 5, 2*c = 6*c - 4*v - 8. Is 1/10 not equal to c?
True
Let y(k) = k**3 + 3*k**2 + k - 1. Let t be y(-2). Let a be ((-2)/(-4))/((-2)/12). Let r be a/(-18) - 52/24. Is t less than or equal to r?
False
Let g be (-3)/(3/(-12)*-18). Is -0.5 greater than g?
True
Let a be 132/(-135) + 2/(-9). Which is greater: a or 0?
0
Let o(j) = j**3 - j + 3. Let n be o(0). Suppose 4*l = -5 - n. Let m be (-3)/l + 3/(-6). Is 1 > m?
False
Let f = 15 + -13. Is f at least 1?
True
Let q(s) be the second derivative of -s**5/20 + s**4/2 + s**3/6 - 3*s**2/2 + 6*s. Suppose b = -0*b + 6. Let t be q(b). Is 3 <= t?
True
Suppose 0*b = 5*b + 20. Let h be (-3)/(-17)*b/6. Is h less than 0?
True
Let b = 73 + -78.3. Let y = b + 0.3. Let v = -7 - y. Which is greater: v or -0.1?
-0.1
Let m(h) = 2*h + 3. Let q be (-2)/(-3)*(-45)/10. Let i be m(q). Which is bigger: 1 or i?
1
Suppose 5*v - 2*v = 3*a - 21, -20 = 5*v. Let p(o) = 3*o + 1. Let x be p(1). Which is smaller: x or a?
a
Let f be 75/35 + (-1)/7. Suppose 0*q = 4*q. Is f at least q?
True
Let i = -1 - -2. Let s = 330863/40 + -8272. Let h = s - -5/8. Does i = h?
False
Let v = 20.2 - 19. Let h = v + -1.3. Is h > -0.08?
False
Let t = -1 + 4. Suppose t*w - 2 = 1. Does w = -1/4?
False
Let x be (-3)/((-1)/((-9)/3)). Which is smaller: x or -2/7?
x
Suppose -5*m = 2*q - 2, -3*q + 0*m = -2*m + 16. Suppose y - 4*y - 12 = 0. Is y greater than or equal to q?
True
Let m be 9/7 - 1 - (-271)/7. Is 39 greater than or equal to m?
True
Let d be (-66)/(-8) + (115/20 - 5). Does d = 9?
True
Let r = -17 - -6. Are r and -0.1 unequal?
True
Let n(v) = v - 4. Let o be n(7). Suppose -o*q = -4*d + 2, d - 9 = 3*q - 4. Which is greater: -4/5 or d?
-4/5
Suppose c - y - 33 = 0, 42 = -3*c - 2*y + 126. Let a = c + -88/3. Does 2 = a?
False
Let s(p) be the first derivative of p**4/4 + 8*p**3/3 + 4*p**2 - 6*p + 10. Let f be s(-7). Which is bigger: -12 or f?
-12
Let s be (-18)/(-6)*2/6. Suppose -4*d - d - 3 = -3*w, -2*w + 4*d = -2. Is w smaller than s?
False
Suppose 0 = -a + 3*a + 4*o + 4, 4*a = -4*o - 4. Suppose -4 = -4*s - 5*g - a, 3*s = -5*g + 3. Which is bigger: -2/15 or s?
s
Let i be 12/9*3/(-2). Suppose 4*z = -z - 10. Is i greater than or equal to z?
True
Let f(j) = -j**3 - 5*j**2 - j - 3. Let t be f(-5). Let