t g be (-1)/(0 + 4/32). Which is smaller: g or 10?
g
Let b = -1 - -1. Let a = b + 37. Suppose 7 = -4*q + i, -4*q - a = i + 4*i. Which is bigger: -4 or q?
q
Let r(h) = h + 4. Let n be r(-5). Let x be (1/(-12))/1 - 0. Do x and n have the same value?
False
Let c(o) = o - 1. Let n be c(0). Let z be 1 - 6 - (-1 + -1). Let f be 16/60 - 1/z. Which is smaller: f or n?
n
Suppose 7 = 4*m - f, 1 = -2*m - 0*f + 5*f. Suppose 0 = -4*s + 3*o + 10, -7*o - 12 = -2*s - 2*o. Is s equal to m?
False
Let v be 192/3 - -2 - -1. Is 66 equal to v?
False
Let r be 22/8 + 5/20. Suppose 0 = r*s + 5*v - 61, -5*s - 3*v = -51 - 24. Let b be -3 + (-27)/s + 3. Which is smaller: -2 or b?
b
Let a = -0.14 - -0.24. Is -2/33 greater than or equal to a?
False
Let x = 8 + -5. Let m = -3.1 + x. Is m at least as big as -2?
True
Let m be 20/(-24) + (-1)/(-2). Let k = -2 + 3. Is k < m?
False
Let l = 294 + -5879/20. Which is smaller: 0 or l?
0
Let d(f) = 5*f**2 - 5*f + 18. Let j be d(3). Which is bigger: 47 or j?
j
Suppose -14*d + 2 = -12*d. Does 2/315 = d?
False
Let o be (-128)/370 - (-6)/15. Let u = -69 - -70. Which is smaller: u or o?
o
Let t(b) = -4*b + 1. Let l be t(-1). Let w = -2 + l. Suppose -15 = 3*o + w*m, -4*m = -8*m - 12. Which is smaller: o or -1?
o
Let k(p) be the first derivative of p**6/360 + p**5/12 + p**4/3 - 2*p**3/3 + 3. Let z(l) be the third derivative of k(l). Let j be z(-9). Is -4/7 bigger than j?
True
Let s = 30 + -53. Is -24 bigger than s?
False
Let p = 45 - 81. Let o be (-25)/(-4) - (-9)/p. Do o and 6 have different values?
False
Suppose 0 = -5*r - r - 12. Is r less than or equal to -15/13?
True
Let v(k) = -2*k - k**2 + k + 2 - 3*k + 6*k. Let y be v(3). Let g(c) = -c + 1. Let i be g(y). Which is smaller: i or 1/3?
1/3
Let d(r) = -r**2 - r + 12. Let z be d(-6). Let g = 17 + z. Do 2/51 and g have the same value?
False
Let f = -3.1 - -3. Suppose 0 = j - 12 + 9. Is j at least as big as f?
True
Let y = -12 - -12. Suppose -3*g = -y*g. Which is greater: g or -3?
g
Let b = -26 - -23. Let m = 27/44 + -4/11. Which is greater: m or b?
m
Let b be -2 - (1 - 8) - -1. Let x(l) = -l**3 + 7*l**2 - 7*l + 4. Let n be x(b). Let i = -61/2 - -30. Is i smaller than n?
False
Let n be 0 + -3 - 2*-41. Let j = 155/2 - n. Which is bigger: -3 or j?
j
Let l be 1*-3*8/6. Let k(c) = 3*c**2 + 26*c + 13. Let g be k(-8). Which is smaller: g or l?
l
Let y(l) = -l**3 - 6*l**2 + 17*l - 6. Let d be y(-8). Is d smaller than -15?
False
Let w(q) = -q**3 + 6*q**2 + q + 1. Let x be w(6). Suppose 3*v + 3*r = 0, v - x*r + 2*r = 0. Let u be (0 - -1)/((-1)/2). Is u at most as big as v?
True
Let o = 5 - 3. Suppose 4*m = 3*m - o. Let x = -4 - -3. Which is smaller: m or x?
m
Let g = -15 - -15. Let q be 0 + -2 + 10/9. Is q bigger than g?
False
Suppose 8*w = 3*w - 20. Let o be (w - -3)*-26 + -2. Let q be o/(-56)*2/(-6). Are -2/5 and q equal?
False
Suppose -40*b + 58*b - 36 = 0. Let r = 0.8 - 1. Is b > r?
True
Let d be 3/(-42)*2*1/(-1). Is d equal to -2/25?
False
Suppose -3*x + 2*x + 2*i = 5, -5*x - 65 = -2*i. Which is smaller: x or -14?
x
Suppose -h = 3*h. Let m = 19 - 8. Suppose m = 3*o + 4*k, -4*o + 2*k + 2 = k. Is o greater than or equal to h?
True
Let f(m) = m**3 - m**2 + 4. Let c be f(0). Suppose 0 = -c*s - 0*s + 12, v + 12 = 5*s. Is 0 less than or equal to v?
True
Let w = -0.1 + 0.4. Which is bigger: -0.12 or w?
w
Let v(l) = l**3 - 7*l**2 + 3. Let y be 2/(-4) - 5/(-2). Suppose m - 3*f = y*m - 22, f = -3*m + 26. Let g be v(m). Which is smaller: 4 or g?
g
Let g = 5.7 - -1.3. Let u = -4 + g. Which is bigger: -2 or u?
u
Suppose -9 = -11*p + 2*p. Are -23 and p nonequal?
True
Let n be 3 + -4 - (-6)/3. Are n and -2/29 nonequal?
True
Let p(x) = x**2 + 14*x - 1. Let u be p(-14). Let b = 136/1653 - -2/87. Is b > u?
True
Let r = 173/348 - 12/29. Let m(g) = g**2 + 4*g + 2. Let a be m(-2). Let u be (4 - 1) + 0 + a. Which is smaller: u or r?
r
Let f = -26 + 30. Suppose 0*b + 3*b = -5*d + f, 8 = -d - 5*b. Suppose -3*z = -2*r + 1, r + 4 = -3*z + 6*z. Do z and d have the same value?
False
Let d = -22 + 22.45. Let b = d - 2.48. Let i = 0.03 + b. Which is smaller: -0.1 or i?
i
Let m(a) be the second derivative of a**4/12 - a**3/6 - a**2/2 - a. Let g be m(-2). Is g < 5?
False
Suppose -4*d + 29 = -5*f, -d = -5*d + 4*f + 24. Let k = d + -1. Suppose -3*q - 10 = 2*x, k*x + x + 3*q + 8 = 0. Are x and -1/2 equal?
False
Suppose 0*b + b = 3. Is b greater than 18/7?
True
Suppose 4*s + 5 = c, 0*s + 20 = -s + 4*c. Let i = s + 4. Suppose 0*j + i*j + 3*u + 4 = 0, 2 = -5*j - 3*u. Is j less than 5/3?
False
Let j = -18 + 18.3. Which is greater: j or 1?
1
Let v be (-2 - 0)/((-2)/(-7)). Let f = v + 4. Does f = -5?
False
Let d = -1 + 1. Let l = 1 - d. Do 0.07 and l have different values?
True
Let t(f) = f**2 - 3*f + 5. Let o be t(-4). Suppose 3 - o = -5*z. Let x be ((-28)/z - -2) + 2. Is 0 at least as big as x?
True
Let q be -1*(-1 + (-2 - 1)). Suppose 0 = 2*v - 4*w + w + q, 0 = -2*w + 4. Let m be 2/6 + (-2)/18. Which is smaller: v or m?
m
Let g = 13/10 - 7/10. Which is smaller: 2 or g?
g
Let m(k) = -k**3 + 3*k**2 + k - 2. Let v(y) = y**3 + 8*y**2 + 6*y - 4. Let j be -1 - -1 - (0 - -7). Let t be v(j). Let d be m(t). Which is greater: d or 0.1?
d
Let s be (27/(-90))/(12/(-10)). Which is bigger: s or -0.13?
s
Suppose s = -s + 26. Suppose r = -2*r + 21. Suppose -r = 4*a + s, 3*a = 3*v - 12. Which is smaller: v or 0?
v
Let b(o) = o**3 - 5*o**2 + 3*o + 4. Let q be b(4). Which is bigger: -4/9 or q?
q
Suppose 0*i = 7*i - 77. Is i greater than 2?
True
Let i be 0 + 10/14 - 1. Let q = 2 + 0. Suppose 4*v + q*w = -2, 0 - 3 = w. Which is smaller: i or v?
i
Let j be ((-1)/15)/((-4)/(-7014)). Let n = 117 + j. Suppose -18 = -2*p - 5*w, -p - 4*p - 9 = -w. Does n = p?
False
Suppose -4 - 26 = -6*d. Suppose -5*r = -d*x + 5, 9 = -5*x - 0*r - 2*r. Let m be (26/(-9))/(-2) + -1. Is x >= m?
False
Suppose 2*d = -3*d + 20. Let x = 0 - d. Which is greater: -5 or x?
x
Let b = -5 - -1. Let a(f) = 12*f**3 + f - 1. Let x be a(1). Suppose x = -4*k - 0*k. Which is smaller: k or b?
b
Let r be -6*16/(-42) - 2. Let g = -0.95 - 0.25. Is r at least as big as g?
True
Let c be (-1 - 6/(-8))/(29/1363). Which is bigger: c or 1?
1
Let m(j) = -j**2 + 7*j + 10. Let l be m(9). Which is smaller: l or -9?
-9
Let d(t) = t**2 + 6*t + 8. Let g be d(-4). Which is bigger: 2 or g?
2
Let i(d) = d**2 - 13*d + 15. Let s be i(12). Suppose -2*h = -h - 2. Which is bigger: s or h?
s
Let a = 10 + -14. Suppose -5*k = -3*r, -4*r - 19 = 5*k + 16. Is k greater than or equal to a?
True
Suppose -3*w + 5*z + 30 = 0, 4*w - z - z = 26. Let m(s) = s**3 - 5*s**2 + s - 5. Let h be m(w). Which is smaller: h or -3/11?
-3/11
Let s = 0.03 - -0.07. Let u = -44 - -48. Which is smaller: u or s?
s
Let j = -59 - -63. Is j > 7?
False
Let t(l) = -l**2 - 6*l + 3. Suppose -v = -5*v - 24. Let g be t(v). Let u be 4*((-3)/2)/g. Is u greater than -2?
False
Let w = 48 - 39.15. Let v = -0.15 - w. Let m = v + 8.6. Which is smaller: m or -1/4?
m
Suppose -f = -2*v, -6*v = -3*v - f + 1. Is -12 at most v?
True
Suppose 0*s = -s - a, 4*a - 4 = 0. Let r = s + 1. Suppose 0 = -2*k - 4*y + 20, -4*y = 5*k - 9 - 11. Is k at least r?
True
Let x = -4110689/12911010 - -1/52698. Let m = x + -4/49. Let o = 0 + -1. Which is smaller: o or m?
o
Let a be 59/(-4)*4/(-30). Let u be 22/(-15) - 2/(-12). Let n = u + a. Is n not equal to 0?
True
Suppose -w - 2 = -5. Suppose 5*f = w*f - 2. Which is smaller: -4 or f?
-4
Let n be (-33)/60 + (-5)/(-20). Which is smaller: n or -1?
-1
Let q = -0.07 - -0.07. Let f = 5 + -5.2. Which is smaller: q or f?
f
Suppose -48 = -5*f + 4*n, 2*f + 3*f - 2*n - 54 = 0. Let p be (26 - 18) + 4 + -1. Is p at most f?
True
Let i(a) = -2*a**2 - 12*a + 11. Let r be i(-6). Which is bigger: r or -3?
r
Let o = -5.7 + 6.7. Which is bigger: -8 or o?
o
Let f = -7 + 4. Let i = 1 - -2. Let y be ((-21)/i - -3) + 1. Is y at most as big as f?
True
Suppose -4*t + 155 = -8*t + 3*n, -2*n + 199 = -5*t. Is -42 equal to t?
False
Let l = 320 - 4162/13. Which is smaller: l or -2/3?
-2/3
Let f(b) = 3*b + 9. Let d be f(-3). Suppose 3*o - 8*o - 50 = d. Which is smaller: -1 or o?
o
Let k = 1.6 - 3.6. Which is smaller: -4 or k?
-4
Let i(w) = w + 12. Let d(x) = -x**2 + 8*x + 3. Let t be d(9). Let u be i(t). Let p be (-8)/u*9/(-6). Are p and 3 equal?
False
Let q be (