113?
False
Let r(l) = -5*l - 2. Let p be r(-1). Which is bigger: p or 5?
5
Let t(a) = -a**3 + 7*a**2 - 3*a - 14. Let r be t(6). Suppose -5*d - 10 = r*n, -5*n = -5*d + 1 - 11. Let g be (2/(-3)*-1)/1. Is n >= g?
False
Let k = 0.96 - 1. Is 0 smaller than k?
False
Suppose 0 = -4*y - 0*l + 4*l - 16, -l = 5*y + 50. Suppose -66 + 25 = 3*f - 4*u, 3*u - 8 = -f. Which is bigger: f or y?
f
Let s = -9 + 6. Let y be (-4)/s - (6 - 4). Is 2/11 less than or equal to y?
False
Let d = -8.8 + -2.2. Let j = d - -15. Let m = j + -1. Which is smaller: m or 1?
1
Suppose -3*c + 5*c = -5*y + 24, 0 = 3*c - 3*y + 6. Let m = 1 - 0. Let j be m + (-6)/(-28)*-2. Are c and j non-equal?
True
Suppose -4 = -3*p - p. Which is bigger: -20 or p?
p
Suppose g = 3*i + 5, 4*g - 6*i = -4*i. Which is bigger: g or -8/7?
g
Let v be -3 - -2 - 46/(-42). Let c be 2/5 - (-6)/10. Is v <= c?
True
Suppose 5*p - 5*v + 65 = 20, -2*p = 5*v - 17. Let a be (-6)/21 - p/14. Is -1/2 smaller than a?
True
Let y = -232766/119 - -1956. Let v be ((-6)/2261)/((-2)/(-92)). Let q = v - y. Is -1 less than or equal to q?
True
Suppose p + 3*p = p. Is -7/8 less than p?
True
Let f(h) be the second derivative of h**5/20 - 5*h**4/12 - h**3/6 + 3*h**2 - 2*h. Let k = 7 - 2. Let n be f(k). Is 1 at least n?
True
Let g be (4/194)/(-3*(-6)/(-9)). Which is greater: g or 0?
0
Let u = -66 - -67. Which is bigger: -3/44 or u?
u
Let t(o) = -24*o. Let g be t(2). Let p be (1/(-2))/(4/g). Suppose -f - 8 = -5*v - 0*f, 2*f = -v + p. Is v at least 2?
True
Let j = 11.77 - 12. Which is bigger: j or 0?
0
Let f = -1 - 0. Let j be 4/2*11/(-9). Let g = -92/45 - j. Are g and f unequal?
True
Let x = 0.03 + 0.03. Let k = x - -0.04. Do k and 2 have different values?
True
Suppose -18 = -5*j + 2. Suppose -31 = -5*c + j*l, -2*l + 5 = 5*c - 2. Suppose c*d + 2 = 4*d. Which is bigger: 0 or d?
d
Let z = -7 - -8. Let d = 7423 + -5381673/725. Let f = -2161/5075 - d. Which is bigger: z or f?
z
Suppose -2*o - 11 = o + s, 2*o = -2*s - 6. Suppose 3*g + 3 = -2*r, 2*g + g = 4*r + 15. Is r less than o?
False
Let b = 1.9 + -0.9. Which is bigger: 9 or b?
9
Let s = 1 + 0. Let r = 0 + s. Is 0 at least r?
False
Let o(g) = -g**2 + 6*g - 6. Let q be o(5). Suppose 0 = -3*v - 2*v - 5. Is v > q?
False
Let z = -12 - -13. Which is smaller: 2/5 or z?
2/5
Suppose 0 = 4*y - 13*y + 261. Is 30 equal to y?
False
Let i(c) = c**2 - 7*c - 6. Let h = 19 - 11. Let s be i(h). Does 3 = s?
False
Suppose -5*y + 4 = 2*m - 2, -2*y = 2*m. Suppose 0 = -y*f - 3*i - 7, 0*f - 3*f - 2*i = 3. Suppose 0 = -4*u - 4, -4*t = 2*u + 5 + f. Which is smaller: t or 1?
t
Let f(m) = m**3 - 5*m**2 - 5. Let k be f(5). Let b(l) = l**3 + 5*l**2 - 1. Let a be b(k). Is a greater than 0.2?
False
Let t be (-3)/(-14)*(-7)/(-12). Let s be (-2)/2 + 1*2. Is s smaller than t?
False
Let j = 0.08 + -0.14. Let g = 0.16 + j. Let i = 0.1 + -0.1. Is i smaller than g?
True
Let u = 851/6 - 142. Is u less than -1?
False
Suppose 2*p + 12 = -3*z, -2*p = 2*z - 3*z - 4. Let v(t) = -8*t + 27. Let h be v(4). Is h equal to z?
False
Let s = 25 + -13. Which is bigger: s or 8?
s
Suppose 3*z - 5 = 2*z. Is 8 at least z?
True
Let o be (-11)/66*(-9)/25. Is o > -1?
True
Let d(j) be the third derivative of j**4/24 - 7*j**3/6 - j**2. Let f be d(5). Let s be f/3 - 1/(-3). Is s not equal to 0?
True
Suppose -20 = -4*y, 4*c + y + 9 = 2*y. Let r(v) = -v + 3. Let b be r(4). Is c > b?
False
Let p = 17 - 15. Let i = -3/2 + p. Suppose -2*j = 5*r + 3*j + 25, -5 = j. Is r less than i?
True
Let t(c) = c**3 + c**2 + 4. Let d = 0 - 0. Let g be t(d). Suppose 0 = g*a - j + 1, -a - 2*j + j = -1. Do 1/5 and a have different values?
True
Let q(u) = u**2 + 5*u. Let j be q(-5). Let y(t) = -t - 1. Let p be y(2). Let f be (j - 2)*p/(-15). Is f greater than 0?
False
Suppose 4*k - 5 - 1 = -2*d, d = -5*k + 12. Let x be -3 + d/((-54)/62). Is 1 smaller than x?
False
Let w be 100/7 - 10/35. Let u be (-20)/7*w/(-4). Suppose -5*i + u*i = 5. Is i > 1/15?
True
Let u = 0.3 - 0.4. Let l = -2.4 + 2.3. Let i = l + 1.1. Which is smaller: i or u?
u
Let i be -9*(-2)/(6/1). Suppose -i = 3*r - 0*r. Is r >= -1/9?
False
Suppose 0 = -3*g - 2*t - 13, 2*t = -g - 3 - 8. Let d = 28 + -28. Suppose -15 = 5*m - d*m. Do g and m have the same value?
False
Let m = 6 + -5.8. Let o = m + -0.6. Is o less than or equal to -1/4?
True
Let x(s) = -2*s**2 + 4*s + 1. Let l be x(2). Which is smaller: -2/7 or l?
-2/7
Suppose -8 = -0*u - 4*u. Let t = u + -2. Suppose 0*n - n + 6 = t. Is n smaller than 5?
False
Suppose 4 = -4*u + r, 3*u - 2*r - 1 = -4. Is u at most -2?
False
Suppose -b = -p - 8 - 5, 5*p = -b - 17. Is 8 less than or equal to b?
True
Let v = -669/8 - -47451/568. Which is smaller: v or 0?
v
Let y(k) = k**3 + 3*k**2 - 5*k. Let x be y(-4). Let m(b) = -b**2 + 3*b + 3. Let a be m(3). Suppose -4 = 3*c + 2*d, a*c = -0*d - 3*d - 6. Is c smaller than x?
True
Suppose 9 = 13*f - 4. Which is smaller: 2/5 or f?
2/5
Let q = 0.01 + 0.29. Is q at most 0.1?
False
Suppose 15 = -m + 52. Let k = -184/5 + m. Suppose 0 = 7*n - 2*n. Which is smaller: k or n?
n
Let l(t) = t**2 - 3*t - 2. Let s be l(3). Let c be s/(1/(-7)*-2). Let w = c - -3. Are -4 and w equal?
True
Suppose 7*q + 12 = 4*q. Let g be 7/q - 2/8. Suppose -3*z + 0 = 5*i - 9, -14 = z - 4*i. Is g bigger than z?
False
Suppose 2*n + 2 = 5*c, -4*n + 2*c - 24 = -9*n. Suppose p - n = 3*q, 3*q + 2 = -p - 0*p. Which is smaller: -1/5 or q?
q
Let s = -408029/126938 + 1/9067. Let o = s + 7/2. Suppose 3*k = -0*k. Which is greater: o or k?
o
Suppose -23*m = -24*m - 2. Which is smaller: -1 or m?
m
Let o = 151 - 146. Is 2 >= o?
False
Let p be 2 + (-8)/28*2. Is 2 <= p?
False
Let a = -3 + 7. Let p = -6 + a. Let h = 0 + 0. Which is smaller: p or h?
p
Let y = 3 - 2. Let g = -58 + 31. Let j be (-2)/9*g/(-18). Is j smaller than y?
True
Let n(o) = o**3 + 4*o**2 + 2*o + 3. Let r be n(-4). Let s be (-4)/r*45/(-6). Let k = 8 + s. Is k equal to 2?
True
Let w(u) = u**2 + u - 6. Let r be w(0). Let a = -6 - r. Suppose a*s = 3*s. Is -3/8 greater than or equal to s?
False
Let c(d) = d**3 + d - 4. Let b be c(0). Suppose -j + 3*j + 6 = 0. Which is bigger: j or b?
j
Suppose -3*d = 4*d - 0*d. Is 1/15 at least as big as d?
True
Let y be (-1)/(-3) - 1/1. Suppose 6*n = 4*n + 4. Suppose 0 = -4*d + 11 + 1, n*r + 6 = 2*d. Which is smaller: r or y?
y
Let h = -14 + 17. Which is greater: h or 1?
h
Let g be ((-1)/(-3))/(14/(-84)). Suppose -4*x = -2*x + w - 13, 3*w = 2*x - 1. Are g and x nonequal?
True
Let g(r) = -r**3 - 3*r**2 + 5*r + 5. Let d be g(-4). Which is smaller: -5/22 or d?
-5/22
Suppose 2*y - n - 29 = -0*y, 0 = n - 1. Let i = y - 20. Is i bigger than -5?
False
Let f = 22 - 21.99. Which is smaller: 10 or f?
f
Let b(f) = -2*f**3 - 5*f + 198 + 3*f**2 + 3*f**3 - 202. Let m be (-11)/3 + (-2)/6. Let r be b(m). Is 2 >= r?
True
Let g = -1.2 + 0.2. Let p = 0 + 1. Let a = p - 0.8. Which is bigger: a or g?
a
Let f be (-575)/(-65) - (-6)/39. Which is smaller: 8 or f?
8
Let v = 162.09 + -161. Let w = v + -0.09. Is w at most -3/2?
False
Suppose 7 = 5*b + c + 17, 40 = -5*b + 5*c. Let d be (1/b)/(5/(-3)). Is -1 at most d?
True
Let n(a) = a - 8. Let k be n(8). Let h = -79914/5 - -15929. Let z = -53 - h. Which is bigger: k or z?
z
Suppose 5 - 4 = t. Let x(g) = g**2 + 15*g + 39. Let s be x(-12). Which is bigger: t or s?
s
Let k(i) = 10*i - 8. Let b be k(3). Does b = 22?
True
Suppose -3*u + 1 = -p, 2*p - p + 2*u = 19. Let k = -6.1 + 6. Is p greater than k?
True
Suppose -4*b + 7*b + 9 = -3*i, 9 = -2*b - 5*i. Which is greater: -3/4 or b?
-3/4
Suppose 3*k + 4*j = -26, j = -5*k + 3*j. Let b = -53 + 48.1. Let c = 5 + b. Is c < k?
False
Let t be -1 + (2 - -2) - 5. Is t >= 17?
False
Let o(k) = k + 7. Let z be o(-4). Is 36/13 less than z?
True
Let r = 4 - 25. Let v be 4/(-14) + 78/r. Is 1 bigger than v?
True
Suppose -l = -0*l - 5. Suppose 0 = -5*r - 25, 2*h - r = l*h + 5. Which is greater: 10 or h?
10
Let x be 20/12 - 6/3. Which is smaller: x or 17?
x
Let g = 119 + -597/5. Let n = 0.05 + 2.95. Let w = 3.1 - n. Which is greater: w or g?
w
Let k(o) = o**2 + 2*o - 3. Let d be k(-3). Suppose -r + 2*r = d. Suppose -l + 2 - 3 = 0. Which is greater: r or l?
r
Let v = 3 + -7. Let c be v/(-22) + 2 + -2. Let m = -0.15 + 1.15. Which is smaller: c or m?
c
Let d be (-94)/(-90) + 3/(-5). Let b = d - 23/72. Do b and -1 have the same