+ 14 = v*i, 5*n - 2*n + 15 = 0. Let d be 4/(-2) + i/7. Which is bigger: 1 or d?
1
Let g = -4.6 + 5.2. Which is smaller: -0.4 or g?
-0.4
Suppose -b - 4*u = -5*u - 9, -3*u = 3*b + 3. Let a be (14/(-4))/(3/(-6)). Suppose a*w - 6*w = 3. Are w and b equal?
False
Let s(i) = -i**2 + 10*i - 8. Let b be (-19 + 10)/(-1*1). Let d be s(b). Is d equal to -2?
False
Let t = 0.02 - 6.02. Is t at most as big as 2/9?
True
Let j = -1 - -1. Let f be (5/25)/(3/(-5)). Which is smaller: f or j?
f
Let y be (-4228)/252 + (-4)/18. Is y greater than or equal to -6?
False
Let y(q) = 9*q + 5. Let c be y(-4). Let t be (3 + 8)*1/c. Let l = t + 2/93. Which is smaller: l or -1?
-1
Suppose -2*p = 8, 3*a + 32 = -a - 5*p. Let m = 20 + -12. Let f(c) = -c**3 + 9*c**2 - 8*c - 4. Let g be f(m). Is a at least as big as g?
True
Let n = 1 - 0. Let z = -0.1 + 0. Is n greater than or equal to z?
True
Let h(n) be the second derivative of -n**5/20 + 2*n**4/3 - n**3/6 + 11*n**2/2 - 10*n. Let b be 1/((-6)/8)*-6. Let d be h(b). Are d and 3 equal?
True
Suppose 0 = 11*r - 14*r. Is r at least as big as -2/13?
True
Suppose 3*g + 0*g = 3. Let p be (1 - 1)/(g - 0). Suppose p*z - z = 0. Which is smaller: z or -2?
-2
Suppose -2*o = -4*l + 32, -3*l + 27 = -6*o + 3*o. Let t be (-10)/(-35)*l/9. Let d = 1 - 0. Which is bigger: d or t?
d
Let n = 14 + -10. Suppose 3*p + 0*p + 5*c - 27 = 0, n*p = c + 13. Let q = p + -1. Is q less than or equal to 2?
False
Let u = -6 - -6.3. Let b = -0.2 + u. Which is greater: b or 0.04?
b
Suppose -180 = -5*q + 2*q. Suppose 2*f - q = -3*f. Let k be 1/(-3) - (-16)/f. Do 0.4 and k have different values?
True
Let n(q) be the first derivative of q**2/2 - 2*q + 1. Let b be n(4). Let h be (2/1)/(-1*b). Are -1/4 and h equal?
False
Let u(o) = -o**2 + 5*o - 2. Let g be u(6). Let p = g + 2. Let f = 12 + -17. Is p greater than or equal to f?
False
Suppose -57 = 4*w - 69. Do w and 15/8 have the same value?
False
Let y(w) = 0*w + 13 - 5*w - w**2 - 2*w. Let t be y(-9). Let l be t/(-10)*(-3)/4. Do l and 0 have the same value?
False
Let k = 1.6 - 5.6. Suppose 3 + 1 = -4*z. Is k >= z?
False
Let k = 859/28 + -121/4. Which is smaller: 1 or k?
k
Let x(z) = 14*z + 6. Let d be x(-6). Let w = d - -159/2. Suppose 2 = -a - 5*p, 11*p - 6*p + 14 = 3*a. Is w <= a?
True
Let o = -19.1 - -19. Is 0.04 >= o?
True
Suppose 5*b - 2 = -3*c, 0 = -5*b + 6*c - 3*c + 8. Suppose 0 = 5*x - 3*x. Let f be (-2)/(-4)*x*1. Which is smaller: f or b?
f
Suppose -5*l - 7 = u, -5*l = 5*u - 5 - 0. Suppose -3*r = 71 - 65. Is r less than l?
False
Let f be ((-15)/(-3) - 2) + -3. Suppose 3*u - 3 = f, 0 = -5*p - u - 12 - 2. Is -3 less than or equal to p?
True
Let l = -1 - 0. Let j = 0.289 - 0.489. Which is smaller: j or l?
l
Let t = 1.02 + -1. Let x = 0.28 + t. Let v = 0.4 - x. Is -3 bigger than v?
False
Let z(y) = -6*y + 12. Let o be z(8). Let f = 323/9 + o. Are f and 0 non-equal?
True
Suppose t = -4*t - 20. Let z = -7 - -3. Is z at least as big as t?
True
Let h = -33 + 28. Which is greater: h or -2?
-2
Let u = 11 + -6. Suppose l = -u + 4. Is l < -2/17?
True
Let b = -14 - -17. Which is bigger: b or 4?
4
Let w be (-14)/(-35) + 174/(-135). Is w <= -2?
False
Suppose 5*v - 3 = -4*m - 9, -4 = 2*v + 2*m. Suppose v*l = 5 + 1. Is l != 5?
True
Suppose -7*i - 192 = -255. Suppose -a + 28 = 3*a. Which is bigger: a or i?
i
Let s = 13833874/689 + -20078. Let d = -2/53 + s. Let y be 0/(-1 + 3 - 0). Is y >= d?
False
Let w = 3 - 1. Suppose -n - 8 = -3*n, 18 = -2*l + w*n. Let o = -5.9 - -6. Is l greater than or equal to o?
False
Suppose -4*f = -3*s + f + 19, -6 = 3*f. Suppose -5*y = -z + 11, -z + s*y + 5 = -2. Is 2/25 smaller than z?
True
Let w = -19 - -7. Let m = -30 - -22. Let n be (0 - -1) + m/w. Which is smaller: 1 or n?
1
Let a = 1 - 8. Let w = -7.5 - a. Which is bigger: w or 2/3?
2/3
Let j be (-6)/8 - 3/(-6). Let x = 0.1 - 0. Let t = -0.1 + x. Which is smaller: t or j?
j
Let g(c) = c**3 - 3*c**2 + 2*c - 6. Let h be g(3). Which is greater: 2/5 or h?
2/5
Suppose j + 52 = -j. Let n = j - -26. Are n and 1/7 nonequal?
True
Let j = 0.46 - -0.04. Let f = 0.2 - -0.3. Let o = j + f. Which is greater: o or 1/2?
o
Let t = -5.7 - -6. Let x = -363/53 - -8677/1855. Let v = -18/7 - x. Which is bigger: v or t?
t
Let w be 1*(-12292)/8360 - -2. Let x = -3/190 - w. Which is greater: -2 or x?
x
Let w = -342 - -1369/4. Let h = 13 + -40/3. Does h = w?
False
Let a(x) = 2*x**2 + 7*x + 1. Let f(w) = -5*w**2 - 20*w - 3. Let c(o) = -8*a(o) - 3*f(o). Let n be c(4). Which is smaller: n or -2/7?
-2/7
Let o be 1476/15 - (-2)/(-5). Let l be (-2)/(-7) - 77/o. Is l less than -6?
False
Suppose -3*m - z - 2 = -10, -4*z + 15 = -5*m. Is 1/100 at most as big as m?
True
Let w(r) = -r**3 + 6*r**2 - r + 4. Let a be w(6). Let l be 3/(-12) + a/(-8). Which is smaller: -1/3 or l?
-1/3
Let j = 4 - 4. Suppose 4*v + 4*l - 20 = j, 0 = -4*v - 3*l - 0 + 18. Which is smaller: v or -1?
-1
Suppose -5*n - 5*j - 15 = 0, 28 = -4*n + 4*j + 8. Is -22 < n?
True
Let i be 4/6 + 3/9. Suppose 0*t + 6 = t. Let r be ((-4)/(-12))/(2/t). Is r less than or equal to i?
True
Suppose -4*o = -5*o. Are o and 1 equal?
False
Let b be (-1 + 6/15)/(9/6). Which is greater: 2 or b?
2
Let k = -0.41 - -0.21. Which is bigger: k or 8?
8
Let j = -1/3 + 1/12. Do 0 and j have the same value?
False
Let w be (-1 - 1716/16) + -3. Let r = 112 + w. Are r and 2 non-equal?
True
Let y(w) = w**3 + 2*w**2 + 2*w. Let l be y(-2). Is l equal to -7?
False
Let s = -6.616 - -0.016. Let t = s + 1.4. Let i = 5 + t. Which is smaller: -0.3 or i?
-0.3
Suppose 0 = 4*x + 1 - 17. Let a be 8/x - 4126/(-18). Let m = -231 + a. Which is smaller: m or 1?
m
Let x = 22 + -15. Let z = 11 - x. Suppose -4*h - 16 = 4*s, 0*s - z*s = -3*h - 5. Do 1/7 and s have the same value?
False
Let i(g) = -8*g - 6*g + 13*g + g**2. Let r be i(0). Which is smaller: r or 1/7?
r
Suppose 13*d + 2 = 15*d. Which is greater: d or -2/13?
d
Suppose 3*o - 20 = 5*o + 3*a, -3*o - 16 = a. Let u be o/6 - 50/(-48). Does u = 0?
False
Let p = -365/1232 - -18/77. Suppose 0*y - 1 = -y. Is y greater than p?
True
Let b = 317/9 + -35. Which is smaller: 0.2 or b?
0.2
Suppose -2*y + 3*l + 8 = 0, -4*y - 3*l - 12 = -2*l. Let s be 3 + y + (-9)/7. Let z = 1 + -1. Is z != s?
True
Let a(r) = -r**2 - 3*r - 2. Let t be a(-2). Suppose -208 = -5*j + 17. Let w be 20/j*(-6)/4. Which is smaller: t or w?
w
Let h = -9 + 15. Let b = h + -12. Which is bigger: -7 or b?
b
Let x be 6/(-24) + 10/8. Is x less than or equal to -1/6?
False
Suppose -13*n - 6*n + 6*n = 0. Suppose -k = 4*r + 10, -2*k - 20 = 5*r - 9. Are n and k non-equal?
True
Let c = -41439/70 + 592. Is 1 smaller than c?
False
Let o(y) = y + 13. Let x(d) = -d**3 + d**2 + d - 9. Let h be x(0). Let g be o(h). Suppose g*i - 4*f + 22 = 3*i, -2*f + 16 = -3*i. Is -2 less than or equal to i?
True
Let h = 19 - 11. Is 5 < h?
True
Let w be 1/((-9)/393) - (-52)/(-39). Is w at least -44?
False
Let f be 132/21 + 10/(-35). Is f not equal to 6?
False
Let u = -10033/3 + 3375. Let t = -31 + u. Which is greater: -1 or t?
t
Suppose 0 = -5*d + 4*h - 99, 22 = -d - 3*h + 6. Which is smaller: -18 or d?
d
Let t(v) = -3*v - 41. Let k be t(-12). Suppose 6 = -5*u - 14. Is u bigger than k?
True
Suppose 0*y + 2*y = 0. Suppose 5 = g - y. Suppose 0 = 5*b - 7 - 13. Are b and g non-equal?
True
Let s(u) = -u**2 + 8*u - 6. Let q(o) = 7*o - 7. Let i be q(2). Let l be s(i). Which is smaller: l or 0?
0
Suppose 3*r = 15 + 15. Suppose 0 = -s + 4*s + 135. Let l be r/s + 14/(-18). Which is smaller: l or 2/17?
l
Let v = 1.9 - 2. Let o = v - -1.1. Let n = 0.88 - -0.12. Is n greater than or equal to o?
True
Let b be (-66)/4*30/45. Are b and -9 nonequal?
True
Let v(l) = l**2 - 1. Let f be v(-2). Let d be 2/(4 - f - 3). Is 1/8 <= d?
False
Let s be 2/(-8) - 28/(-48). Which is bigger: 3 or s?
3
Let d(a) = a**2 - 10*a + 8. Let p be d(7). Let l be p/20 + 2/8. Which is smaller: l or 0?
l
Let t be (-5)/(-1) - (-4)/(-1). Is -1 equal to t?
False
Let r(c) = 2*c - 42. Let q be r(23). Suppose -1 = -j - 4*b, -5*j - 5*b = -0*j - 20. Suppose -4*u = j*x - 10, -5*u + 3*x = -2*x - 35. Is u > q?
True
Let n(y) be the third derivative of y**4/12 + 7*y**3/6 - 2*y**2. Let z be (-4)/14 + 40/(-7). Let l be n(z). Which is smaller: -4 or l?
l
Suppose 3*p + 38 = 2*s, -5 + 24 = s + 2*p. Let a = -17 + s. Let k = 1/69 + 271/345. Ar