 v = 7624/19 - 401. Which is bigger: 1 or v?
1
Let i be (4 + -3)/((-2)/(-10)). Suppose 2*s = -3*s + i. Suppose 23 = -2*g + 5*h, h + s = -3*g + 9. Which is bigger: 2 or g?
2
Let o = -0.6 + 0.6. Let t = 4 - o. Let n = 5 - t. Do n and -3 have the same value?
False
Let f be ((-1)/(-1))/((-1)/(-4)). Suppose f = 2*o - 0*o. Do 2/3 and o have the same value?
False
Let m(t) = -t**3 + 12*t**2 - 26*t - 11. Let b be m(9). Suppose -7*u + 3*u - 8 = 0. Let a be ((-2)/(-16))/(u/4). Which is smaller: a or b?
b
Let r be 11/4*-1 - 2. Let m = -5 - r. Which is smaller: -1 or m?
-1
Let l(g) = 14*g + 3. Let w be l(-1). Is 1 less than w?
False
Let c(f) be the second derivative of 0 + 1/12*f**4 + f - 5/2*f**2 + 3/2*f**3. Let m be c(-9). Which is bigger: 0 or m?
0
Let d be -6*(1 - (-21)/(-9)). Let a = 2 - d. Let z = a + 1. Is -4 at least z?
True
Let p = 2 + 0. Suppose 0 = -v - 4*r + 4 + 12, 0 = -2*v + p*r + 2. Is v at most 3?
False
Let d be (3/8)/(3/10). Let w be 2 + 2 + 1/1. Suppose -2*r + 4 = 0, -w = 3*p - 4*r + 3. Which is bigger: d or p?
d
Let z(b) be the second derivative of b**3/6 + 9*b**2/2 - 3*b. Let w be z(-7). Suppose -5*y = -3*s + w, 0*s + 2*s = -3*y - 5. Which is greater: y or 2?
2
Let w = 41431 + -538281/13. Let x = 18380/741 - w. Which is smaller: x or 1?
x
Let d = 2.4 - 0.4. Let w be ((-26)/91)/(8/(-14)). Is d at least as big as w?
True
Suppose -12*t + 17*t + 10 = 0. Is 21 bigger than t?
True
Suppose -2*s = -h + 8, 2*h - 10 = -5*s + 6*s. Which is greater: h or 2/3?
h
Let q = 6 + -4. Suppose q*n = 5*n. Which is greater: n or 1?
1
Let u(v) = -23*v + 16. Let g be u(2). Is g at most -29?
True
Let j(v) = v**2 - 6*v. Let q be j(6). Let n be q*4/12 - 1. Let o = 2 - 2. Do n and o have the same value?
False
Let f be (-4)/14 + (-148)/(-28). Let s(m) = -m**3 + 4*m**2 + 7*m. Let b be s(f). Let r be (-7)/b + (-2)/(-10). Is r less than or equal to -1?
False
Let v be 123/9 + (-2)/3. Suppose v = -2*j + 6*j + 3*x, -2*x + 2 = j. Is j greater than or equal to 5?
False
Suppose -3 = -s - 1. Let l be s - ((-60)/9)/(-4). Let x = -1 + 2. Which is smaller: l or x?
l
Let l be 2*(3/6 + 0). Let q be l - ((0 - -1) + -3). Which is bigger: q or 5/3?
q
Let i = 9 + -9. Is 2/5 at least i?
True
Let f(r) = r**2 - 4*r + 0 - 2*r**2 - 3. Let j be f(-2). Let d be (-1*(-2 - 0))/(-11). Is j bigger than d?
True
Let j(t) = -4 - 6*t + t**3 + 8*t**2 - 2*t**3 + 0*t**3. Let i be j(7). Let k be (2/28)/(i/12). Which is smaller: k or 2?
k
Let c = -14.37 + 13.8. Let d = -0.13 + c. Let l = -1 - d. Do 2/3 and l have the same value?
False
Suppose 5*q - 44 = -69. Which is bigger: q or -7?
q
Let b(v) = -9*v**3 - 9*v**2 - 13*v - 9. Let t(k) = -5*k**3 - 4*k**2 - 7*k - 4. Let u(r) = 4*b(r) - 7*t(r). Let f be u(-8). Is f less than 17?
True
Let i(f) = -3 - f**2 + 8*f**2 - 8*f**2 - 5*f. Suppose -7*j - 20 = -2*j. Let w be i(j). Is 1 != w?
False
Let y = -2500/3 - -841. Is y bigger than 8?
False
Suppose 36 = 3*v + 6. Let r be v/8 - 4/16. Which is bigger: -1/3 or r?
r
Suppose 4 = 3*z + 1. Suppose -m + a = -2*a - 29, 4*m - 76 = 2*a. Let j be 2/1 + m/(-8). Is z smaller than j?
False
Let q = -4 - -3.94. Let p = q + -0.44. Let c = -2.5 - p. Is c != -0.2?
True
Let v be 3 - -2*5/(-2). Let j(m) = m**2 - 6*m + 7. Let c be j(5). Suppose -1 = -c*i - 3. Which is smaller: v or i?
v
Let n be (3/42)/((-2)/(-7724)). Let h = n - 275. Which is bigger: h or 2?
2
Let j(u) = -34*u - 8. Let g be j(-8). Let n = -2109/8 + g. Let b(q) = q**3 + 4*q**2 + q + 5. Let d be b(-4). Which is smaller: d or n?
n
Let a = 0.6 + 1.8. Let i = 2 - a. Let s = i + -0.6. Is s less than -3?
False
Let n be ((-3)/(-16))/((-45)/(-260)). Let t be 2/(-7)*28/6. Let w = n + t. Which is smaller: -1 or w?
-1
Let t = 9 + -4. Let j = 8 - t. Suppose -17 = 2*z - j*o, -o + 0 + 1 = 4*z. Which is smaller: z or -5/3?
-5/3
Let n be (-6 - -2) + 0 + 0. Let b be ((-4)/3)/((-6)/63). Let d be 6/b*(-4)/6. Which is bigger: d or n?
d
Let j(s) = -s**2 + 7*s - 5. Let c be j(6). Is c equal to -2/15?
False
Suppose 18 = 2*p - 4*r - 194, 427 = 4*p - 5*r. Suppose 0 = -m - 2*m - p. Let s = m - -69/2. Which is smaller: -3 or s?
-3
Let o(f) = f**3 - 6*f**2 - 8*f + 7. Suppose -4*t + 2*t = -14. Let r be o(t). Is 0.02 greater than r?
True
Let f be (-2)/7 - -2*(-1)/(-7). Let v = 24/9199 + -8398903/82791. Let q = -101 - v. Which is smaller: f or q?
f
Let w = 5.4 - 1.4. Let g = w - 3.3. Is g bigger than -1?
True
Let f be 17 + -14 + (-14)/2. Which is smaller: f or 14?
f
Let b = -2.1 + 2.19. Let x = -3.91 - b. Let d = 4 + x. Which is smaller: d or 1/3?
d
Let m(g) = g + 17. Let t be m(-15). Suppose -t - 4 = -3*c. Is -0.06 at most c?
True
Let w = 138 + -88. Is w less than or equal to 50?
True
Suppose 4*d = 7*d + 7*d. Which is bigger: -96 or d?
d
Let v be 6/15 - 9/60. Suppose -3*m + 3 = -15. Is m <= v?
False
Let d(t) = 5*t + 7. Let l(y) = 9*y + 13. Let m(j) = -7*d(j) + 4*l(j). Let c be m(0). Let g = c - -1. Does g = 5?
False
Let a = -202 + 1822/9. Suppose 5*w + 3*k = -14, -2 = -4*w + 5*k - 3*k. Which is smaller: w or a?
w
Let t = -232 + 5105/22. Which is bigger: 1 or t?
1
Let x be 2/15 + (0 - 10/25). Is x at least as big as 1?
False
Let r = 80 + -94. Which is greater: r or -15?
r
Let t be -4 + (287/5)/7. Is t != 5?
True
Let q = 7.2 + -7. Do q and -0.08 have the same value?
False
Let v(o) = o**3 - 8*o**2 + 2*o - 12. Let q be v(8). Which is greater: 8 or q?
8
Suppose -4*n + 45 = n. Suppose 4*c + 11 + n = 0. Is -5 != c?
False
Let q = 11.29 - 9.9. Let b = -0.01 - q. Let l = b + -0.6. Which is smaller: l or -1?
l
Let p = 0.91 - -1.09. Is -0.015 >= p?
False
Let c = -29 - -21. Let k = 7 + c. Is k != -0.2?
True
Suppose -75 = -r - c + 133, 5*r + 4*c = 1042. Let f = r - 1888/9. Are -1 and f nonequal?
True
Let o be (-2)/(-4)*(-2 - -4). Is 2 < o?
False
Let h be (-80)/(-25) - 2/10. Do 2 and h have the same value?
False
Let q = -17/5 - -56/15. Which is smaller: q or -0.3?
-0.3
Let p = -0.1 - -0.05. Let y = 4 + -4.1. Are y and p nonequal?
True
Let i = 15.2 - 17. Let b = 0.2 - i. Let w = -3 + b. Is w less than or equal to -0.3?
True
Let s(t) = -2*t - 6. Let f be s(-5). Let j = -1 - f. Let h be ((-4)/6)/(2/12). Do h and j have the same value?
False
Let y = 13 + -22. Let b = 7 + y. Are b and 1 nonequal?
True
Suppose -2*p + 17 = -15. Let y be ((-20)/p)/(1/4). Which is bigger: -6 or y?
y
Suppose -5*w = -3*j + 98, -15 = -0*w - 3*w. Which is greater: j or 42?
42
Suppose b - 8 - 1 = 0. Suppose 3 = -3*w + b. Is w at most as big as 4?
True
Let q(z) = z + 3. Let s be q(-5). Let l be 13/14 - s/(-4). Suppose 0 = 5*b - 4 - 1. Which is greater: b or l?
b
Suppose -6*q = -2*q - 4. Let i be (14/4)/(1/(-4)). Let h be i/(-6) - (-2)/(-6). Is h <= q?
False
Let z(u) = -1 + u - 5 + 0*u. Let w be z(7). Let b be ((-3)/(-6) - w)*-3. Which is smaller: b or 2?
b
Let a(p) = -p + 9. Let t be a(7). Let b be 49/35 + 2/(-5). Is b > t?
False
Let y = 1 + 58. Let q = -1713/29 + y. Is 0 less than or equal to q?
False
Let d(h) = -2*h**2 - 21*h + 14. Let f be d(-11). Which is bigger: 1 or f?
f
Let n(o) = 2*o + 4. Let h be n(-3). Let a(x) = -4*x**2 + 2*x - 1. Let c be a(1). Is c <= h?
True
Suppose -2*u = 5*g + 25, 2*g + 10 = -2*u - 2*u. Let i = 1 + 1. Suppose i*z + 6 = -u. Is -3 bigger than z?
False
Let l = 17 + -14. Which is bigger: 0.3 or l?
l
Let k = 1 + -8. Let g = 0 + k. Which is smaller: -6 or g?
g
Let k = -12 + 21/2. Suppose 2*h = -1 - 5. Do h and k have different values?
True
Let p = -37935475953864526699/5608295 - -6764172703802. Let h = -19/22891 - p. Let t = h - -2/49. Which is smaller: -2 or t?
-2
Let f(o) = 2*o - 6. Let l(y) = y. Let h(j) = f(j) - 4*l(j). Let k be h(-4). Suppose 6*t - t = 3*w + 20, 3*t = 2*w + 13. Is t less than or equal to k?
True
Let h be (8/(-14))/(9/7). Which is smaller: h or 1?
h
Let b = -142.26 - -141. Let n = b + 1.3. Is 0 equal to n?
False
Let n be -1 - -3 - 1 - -9. Are n and 10 nonequal?
False
Suppose 4*q - 8 = 2*i, -2*q + 2*i + 8 = -0*q. Let t be -2*(0 + (-1)/2). Does t = q?
False
Let v be 20/117 + 8/(-36). Is v not equal to -1?
True
Suppose -r = 2*r - 2*l - 6, -4*l - 12 = 0. Is r greater than -4/3?
True
Let y = -0.029 - -0.989. Let w = 0.06 - y. Let l = 0.8 + w. Which is smaller: 0.01 or l?
l
Let b be (0 - 1)*(-1 + 0). Let x be 9*b/(-4) - -2. Let z = 0 + 0. Which is greater: x or z?
z
Suppose -3*w - 4*l = -10, 4*w - 3