at least as big as q?
True
Let b(q) = q**2 - 3*q - 3. Let k be b(5). Suppose 4*l + 5*d = -k, 2*d + d + 7 = -l. Let j = l + 0. Is 3 at least as big as j?
True
Let j(w) = w**2 + 6*w + 5. Let n be j(-6). Is 5 > n?
False
Let d be 1/1 + 18/(-30). Which is smaller: 1/6 or d?
1/6
Let m = 10 + -11. Let w be -3 - (-2 + -2) - 5. Which is smaller: w or m?
w
Let p = -3.9 + 2.9. Which is smaller: p or -0.82?
p
Let c(n) = -n**3 + 12*n**2 - 12*n + 11. Let h be c(11). Let y be ((0/(-3))/(-2))/2. Are h and y non-equal?
False
Let u = -152 - -1062/7. Let z(b) = -2 - b - 2 + 5. Let s be z(2). Which is bigger: u or s?
u
Let i = -9 - -14. Are -2 and i unequal?
True
Let y = 71 - 49. Is y != 23?
True
Let m = -1.5 + 0.5. Let a = -1 - m. Let n = a + 0. Is n at most -1/5?
False
Let a be 1/((-28)/(-9) + -3). Let p = a + -8. Is -1/5 less than p?
True
Let a = -1 + 0. Let c = 8 + -9. Let k be -2 - c - (-1)/7. Which is smaller: a or k?
a
Suppose 0 = -3*l - 3*p - 2*p - 27, 0 = 2*l - 2*p + 2. Is l at least -4?
True
Suppose 0 = -l + 2, m + 5*l - 45 = -4*m. Suppose -4*q + 3 = m. Is q bigger than -3/10?
False
Suppose 15*d + 116 = 746. Which is smaller: d or 43?
d
Let f(g) = -g**3 - 13*g**2 + 30*g. Let p be f(-15). Which is bigger: p or -25/4?
p
Suppose 2*v = v + 5. Which is smaller: v or 4?
4
Let i be 2/(-8) - 17/(-4). Suppose 0 = -5*y + 1 + i. Let s be ((-16)/100)/(4/(-10)). Which is smaller: y or s?
s
Let f = 1.8 - 8.8. Let a = f - -11. Which is bigger: -1 or a?
a
Let i be (-2)/64*-1*2. Is i at least as big as -0.1?
True
Let g be 2 + -1 + (-16)/24. Which is smaller: g or 27?
g
Let w be 2/3 - (-131)/6. Let a be (-5)/15 + (-65)/3. Let r = a + w. Does r = 0?
False
Suppose 2*l = 6*l - 4. Which is smaller: 2/29 or l?
2/29
Let r = 229 - 227. Let i = 0.01 + -0.31. Do i and r have the same value?
False
Suppose -3*w + 11 = -1. Let a = w - 3. Which is smaller: -6 or a?
-6
Let l be 10*5/20 + -3. Which is smaller: l or 2/67?
l
Suppose -4*m = m. Let t(p) be the second derivative of -p**3/6 + p**2/2 + 2*p. Let l be t(m). Is 1/13 at most as big as l?
True
Suppose -13*t + 17*t = -8. Which is greater: -3/4 or t?
-3/4
Let t(l) = -17*l - 4. Let u be t(1). Is -21 at least u?
True
Suppose -2*b + 4 = 0, 8 = -4*v - 3*b + 7*b. Let k(r) = r**2 - 2*r - 24. Let i be k(6). Is v at most i?
True
Let s = 119 - 224. Let c be (-7)/s - (-2)/(-5). Are 0 and c nonequal?
True
Let q(g) = 2*g + 59. Let w be q(-24). Which is smaller: w or -1?
-1
Let z be (-2)/(-2)*(20 - 20). Is z at least as big as -2/19?
True
Let c(g) = g**3 - 8*g**2 - g + 4. Let n be c(8). Let k = -2 - n. Let d be k/9 - 4/18. Does d = 0?
True
Let l = 174 + -288. Do -114 and l have the same value?
True
Let c be 7 + -1 - (4 + (-5 - 0)). Suppose 3*s + 4*p = 8, s + 7*p - 4*p = -4. Which is bigger: s or c?
s
Let a = 74 - 74.1. Let q = 0.4 - 0.1. Which is bigger: a or q?
q
Suppose -22*p = -24*p - 8. Is p less than -5?
False
Let b be 2/(-21)*34/4. Let q be (15/(-90))/((-1)/(-4)). Let t = q - b. Which is smaller: t or 1?
t
Let b be (0 + 3)/((-6)/(-8)). Suppose 0 = -4*u + 4*c + b, -c - 2 = -3*c. Let d = u + -8. Is -5 not equal to d?
True
Let q be (1 + 0)/((-4)/(-16)). Suppose 4*c + q + 0 = 0. Is c > 0?
False
Let x be (-1 + 45/43)*(-1 + 3). Which is bigger: x or 0?
x
Let m = -0.28 + 0.27. Is m greater than or equal to 1/3?
False
Suppose 2*m + 3 = -z + m, -16 = 4*m. Is 1 <= z?
True
Let g be (68/(-28) - -3)/((-4)/74). Which is smaller: -12 or g?
-12
Let v be 0 - -1 - (-20)/(-18). Is 1 less than or equal to v?
False
Suppose 4*n = -2*k + 19 + 3, 0 = -n + k + 1. Let o be 1 + (-20)/n + 3. Let q be (-1 - 1/(-3))/2. Which is smaller: o or q?
o
Let q = 12 + -19. Let s = q + 6.8. Is s equal to -0.2?
True
Suppose 0 = p + 2*p - 6. Let x be (-1*p + 1)*-1. Let q be x/4 + (-14)/(-8). Which is smaller: 4 or q?
q
Suppose 0 = 2*t - 3*q + 9 - 32, 2*t = -3*q - 7. Is t < 3?
False
Suppose -4 = -w + 1. Suppose -h - 4*r - 17 = 0, 5*h + 31 = 7*h - w*r. Suppose p = -h*p + 12. Is p less than or equal to 4?
True
Suppose 13 = -2*s + s + 2*j, -3*j + 15 = 0. Is -5/2 less than s?
False
Let w = -1.4 - 6.6. Let d = 390 + -1559/4. Is d greater than or equal to w?
True
Suppose 0 = -z + 5*z + 2*l + 14, -z + 4 = -2*l. Is -5 at most as big as z?
True
Suppose 3*f - 8 = f. Let l = f - 2. Suppose 0 = -s + 2*s. Which is smaller: s or l?
s
Let x be (-3 + 0)*2/20. Let s = -17 - -17. Is s less than x?
False
Suppose 0 = -7*y + 2*y + 155. Let h = -9 + y. Suppose h = -5*j - 3. Is j greater than or equal to -5?
True
Let g(v) = v**2 - v + 2. Let k be g(2). Suppose -p = -k*w + p + 2, 0 = -4*w + 4*p. Which is bigger: w or 2?
2
Let q = 4 + -4.3. Let i = -4.3 - q. Let v = -3 - i. Is v at most -4?
False
Let r(p) = -2*p**2 + 4*p**2 - p**2 - p**3 - 1 + p**2. Let q = 0 + 2. Let a be r(q). Is a equal to -2/11?
False
Let x = 3 - 4. Let p = -0.46 + 0.16. Which is greater: p or x?
p
Let i = 5.1 + -5.1. Which is greater: -82 or i?
i
Let s = -20.047 + 0.047. Let b = s + 20.9. Are -1 and b equal?
False
Let g be 2*9/(-6)*1. Suppose -4*o = 8, o = -2*z - 2*o - 14. Is z bigger than g?
False
Let c be (-24)/(-126) - (2 - 4 - -2). Is 0 > c?
False
Let j = 2 + -2.03. Let i = j + 0.23. Let s(l) = l**2 + 4*l - 5. Let a be s(-5). Which is bigger: i or a?
i
Suppose -w = -5*q + 52, -5*w + 9 = 5*q - 31. Is q bigger than 10?
False
Suppose 4*b = 2*b - 2. Let r be (1/9)/(-2 + -1). Which is smaller: b or r?
b
Suppose 0 = -4*l - 8 + 16. Is l >= 3?
False
Let w be 12*6*1/6. Suppose 4*j = j + 33. Which is greater: j or w?
w
Suppose s - 38 = 3*r, -r + 4*s = 15 - 6. Which is greater: r or 2?
2
Let n(f) be the third derivative of f**5/60 + f**4/8 - 5*f**3/6 - 2*f**2. Let y be n(-5). Suppose y*r - 4 = 4*r. Are 4 and r unequal?
False
Suppose -d + 2*m = -3, -4*d + 4*m + 2 + 6 = 0. Let p be 16/(-56) - (-29)/77. Which is smaller: p or d?
p
Let m = -8 - -7.7. Let h = 0 - m. Let r = 0.3 - 0.4. Which is greater: r or h?
h
Let n be 422/6 - (-12)/18. Is 71 != n?
False
Suppose 5*o - 300 = -4*n, 4*n - 3*n = o - 51. Which is bigger: 57 or o?
57
Let m = 11 + -1. Suppose -4*w = -5*g - 3, 4*g = -2 - m. Is w bigger than -2?
False
Suppose 10 = 3*o + 1. Suppose -q = o*q + 4. Which is bigger: -4 or q?
q
Let r = 11 - 10.9. Are 0.1 and r unequal?
False
Let r = 1 + 0. Let c be 8/(-14) + (-176)/(-504). Is r at least as big as c?
True
Let y(l) = 3 + l + l**2 - 2 + 0*l**2 + 0. Let o be y(0). Is 2 less than o?
False
Let o(q) = q**3 + 8*q**2 + 8*q + 7. Let g be o(-7). Suppose 5*t + 21 = -2*b, 2*t + t - 4*b + 23 = g. Which is bigger: -3 or t?
-3
Let o = -18 - -30. Suppose 8*f - 4*f - o = 0. Is 3 < f?
False
Let k be (3 - 0) + -3 - 0. Let a = -8 + 22. Let d be (-8)/a - (-6)/21. Which is smaller: d or k?
d
Let z(j) = j**3 + 3*j**2 - 6*j - 4. Let r be z(-4). Suppose 20 = -4*t, -t = 5*v - 0*v - 20. Which is smaller: v or r?
r
Let m(i) = i - 2. Let l be m(3). Let n = 38.35 + -37. Let p = 1.3 - n. Is p greater than or equal to l?
False
Let n = -5 + 7. Let h(t) be the third derivative of -t**6/120 - 11*t**5/60 + t**3/6 - 3*t**2. Let g be h(-11). Are g and n equal?
False
Let k be 11/30 + 2/(-4). Let u be 2/(-9) + 54/243. Which is smaller: k or u?
k
Suppose -15 = -3*b + 5*u, 0 = b + 3*b - 2*u - 20. Suppose 4*x + x - b = 0. Let n = 458 - 8704/19. Is n at most as big as x?
True
Let a(s) = -9*s - 4. Let v be a(-1). Let n be ((-12)/(-5))/((-4)/(-10)). Is v smaller than n?
True
Suppose 0 = -0*q + 4*q. Suppose q*b + b = 2. Let t be ((-2)/(-4))/(b/(-4)). Which is smaller: t or -3?
-3
Let m = -19/4 + 24/5. Are m and -1 non-equal?
True
Let p(h) = h + 20. Suppose -6*c = -2*c + 8, 0 = -2*r + 3*c - 14. Let d be p(r). Let q be -2*(0 + d/(-4)). Is q less than 1?
False
Let h be (-4)/(-6)*(-36)/(-8). Let l be (h - (1 + 1))*1. Is -1 <= l?
True
Suppose -13 = -3*h + 23. Let u be (-3)/((3/(-1))/h). Suppose 4*k - 2*v = -u, -2*k + 7*k - 5*v = -25. Is -1 at least as big as k?
True
Suppose x + 3*p = 0, -x - 3*p = x. Let t = -58/3 - -19. Are x and t equal?
False
Suppose 0 = 2*d, 3*q + 0*d + 6 = d. Let f be q/3 - 3/9. Which is smaller: f or -3?
-3
Let a = -92 + 134. Let p be (-3)/a*(-1 - -3). Which is smaller: p or -1?
-1
Let m(p) = p**3 - 3*p**2 - 11*p - 6. Let d be m(5). Let g = -14 - d. Which is bigger: g or -4?
g
Let o = -27 - -23. Is o less than or equal to -6?
False
Let w be (-74)/10 - ((-36)/15 + 2).