 be d(4). Let l(w) = w**2 + w + 9. Let g be l(0). Suppose -5 + g = -k. Is a greater than or equal to k?
True
Suppose -x - 4*a = -2, -2*x - 3*x - 3*a = -10. Suppose -x*r = -i - 34, 4*i = -5*r + 75 - 16. Suppose -4*j - j = -r. Is 3 equal to j?
True
Let a = -22 + 21. Which is greater: -3/10 or a?
-3/10
Suppose 3 = -9*g + 8*g. Which is greater: g or 2/11?
2/11
Let v = 17 + 2. Does v = 1?
False
Suppose 0*z - 2*z = 22. Let v = z - -4. Let o(d) = d**2 + 6*d - 2. Let y be o(v). Which is greater: y or -1?
y
Suppose -5*x - 2 = -p - 9, -4*p - x + 35 = 0. Is 8 <= p?
True
Suppose 0 = 5*y + 21 + 4. Let v = y - -1. Which is smaller: -3 or v?
v
Let l(y) = -y**2 + 4*y + 1. Let j be l(2). Is j > 5?
False
Let l(x) = -x - 1. Let t be l(-3). Let h be t + (-3)/(6 - 3). Is h at least as big as 2/3?
True
Suppose -v = 3*x - 15, 3*x - 10 = x. Suppose 4*g + 2*c + 10 = v, -3*c + 35 = -7*g + 3*g. Is g < -6?
False
Suppose 0 = -f + 6 + 5. Let l = 29 - f. Let c = -12 + l. Which is greater: c or 5?
c
Suppose 0 = 3*t + 5*u - 6, t - 4*u - 33 = -2*t. Which is smaller: 6 or t?
6
Let o = -5.3 + 0.3. Let v = 26.1 - 21. Let r = v + o. Are r and -3 nonequal?
True
Let q be 2/(-4) - 5/(-10). Let d = 18 + -18.33. Let s = 0.13 + d. Which is smaller: q or s?
s
Let v(u) be the second derivative of -u**4/12 - u**3 + u**2 + u. Let r be v(-6). Let j = r - 2. Which is bigger: j or -1?
j
Let f = -1072 - -48238/45. Which is bigger: f or -1?
f
Let a = -34/7 + 89/14. Let b = -12 + 17. Suppose -4*n + b*n - 3*j - 13 = 0, 3*n - 23 = 5*j. Which is smaller: a or n?
n
Let s = -3.3 - -3.3. Is 1 at most s?
False
Let p = -17 - -6. Let q be (-13)/(-39) + (-2)/(6/37). Which is smaller: q or p?
q
Let q(w) = -4*w**3 - 3*w**2 + 5*w. Let m be q(2). Which is smaller: m or 2?
m
Let p = 4 + -3.9. Let q = 36.79 - 37. Is q bigger than p?
False
Suppose h - 8 = -h. Suppose j - x = -2*j, 0 = -3*j - h*x. Let n be (-2)/(-14)*21/18. Does n = j?
False
Let f be ((-3)/5)/(252/(-280)). Is -0.03 smaller than f?
True
Let g = -5616 - -50294/9. Let m = 28 + g. Which is greater: m or -1?
m
Suppose -5*i + 71 = -24. Let v = i - 58/3. Let f = 0.3 + -0.2. Is f less than v?
False
Let b = -0.01 + -4.99. Let z = -0.01 - -6.01. Let j = b + z. Which is greater: -3 or j?
j
Suppose -6 = -2*c - 16. Let l be (-4)/10 - (-18)/c. Let h be (3 - 2)/(14/l). Is h <= 0?
True
Suppose 2*i + 24 = -2*i. Let q be (-3)/(-2)*4/i. Let u = -18/19 + 88/133. Which is smaller: u or q?
q
Let n = 2 - -3. Suppose 14 = -5*r + 4*d - 2*d, -5*d = n*r. Which is greater: r or -1?
-1
Let w(o) = 4*o + 3. Let l be w(3). Suppose -3*u + 2*b + 10 = 3*b, 2*u - b = l. Suppose -2*n + 4*c = 0, 0 = -n - 2*c + u*c. Which is bigger: n or 2/7?
2/7
Let l = 8 + -6. Let d = l - 3. Is d greater than 1/3?
False
Suppose -2*w + 0*j = j - 13, 4 = 4*j. Let s = 1 + 1. Suppose -z - s*z = -w. Which is smaller: z or 0?
0
Let j(a) = -16*a**2 - 2*a + 1. Let n = -19 + 20. Let b be j(n). Is b less than or equal to -17?
True
Let o be 1/(-6)*-3*-1. Suppose -2*n - n = 72. Let q be ((-2)/30)/((-8)/n). Which is smaller: o or q?
o
Let n = 192 + -1726/9. Which is bigger: 4 or n?
4
Let t = -21 + 35. Suppose 6 = -4*r + t. Which is smaller: 3 or r?
r
Let x = 7 + -4. Suppose 0 = x*z - z - 6. Let o be 20/6 - (-2)/(-6). Is z greater than o?
False
Suppose 3*r + 7 = 1. Let x be 22/(-77) - r/7. Let f = 1 - 3. Does f = x?
False
Let x = 9 - 8. Which is smaller: -1/14 or x?
-1/14
Let x be (15/10)/((-3)/(-4)). Suppose 0 = 2*a + x*p - 20, -3*a + 30 = -a + 4*p. Are a and 6 non-equal?
True
Suppose 8*s + 11 = 9*s. Is s > 10?
True
Suppose h - 2*m + 0*m = -1, 2*m - 4 = 2*h. Which is smaller: 13 or h?
h
Suppose 5*f - 6 = -2*d - 0*d, 5*d - 15 = 3*f. Suppose f = -n - n. Which is bigger: -1 or n?
n
Let p = 25 - 27. Does p = -2?
True
Let p(f) = -f**3 - 2*f**2 + f + 1. Let c be p(-1). Is -4 bigger than c?
False
Let h be 4/(-48)*12/(-405)*6. Is h bigger than -1?
True
Let k = -1 + 2. Let s = k - 3. Let q = 2 - 1.9. Is q greater than or equal to s?
True
Let g = -3.33 - 0.67. Is 1 not equal to g?
True
Suppose 2*t - 9 = 3*h, -2*h + 7*h + t = -2. Let p be h/(3/(-42)) - -2. Which is smaller: p or 15?
15
Let v = -10 - -9. Which is smaller: -2 or v?
-2
Let f = 0 + -1. Let m = -0.13 - -5.13. Let p = -4 + m. Which is smaller: f or p?
f
Let o be (-1 - -1)/(2 + 0). Suppose o = 2*u - 4*u + 10. Suppose 0 = u*d - 2*h - 13 + 36, -d = h - 1. Which is bigger: -2 or d?
-2
Let x = -1 - -3. Suppose 0 = 2*b - 5*n - x, 0 = -3*b + 3*n + 3. Let r = 4/5 - 7/15. Is r at least b?
False
Suppose 33 = -3*h - 3*p, -2*p - 9 = p. Let z = h + 4. Let o(s) = -s**2 - 5*s - 3. Let i be o(z). Do 1/2 and i have different values?
True
Let v = 0.3 + 0. Let c = v - 0.1. Which is bigger: c or -1/4?
c
Let m(i) = -5*i - 13. Let h be m(-2). Suppose 0 - 4 = 4*l + 4*o, -3*o = 4*l + 1. Suppose 15 = -l*q - 3*q. Is h less than q?
False
Let f(q) = q**3 - 10*q**2 - 11*q + 2. Let h be f(11). Let x be h + 0 - (-3 + 4). Is -3/13 > x?
False
Suppose 3*x = s + 17, 0 = -6*x + 3*x + 3*s + 15. Let q be (-3 - -5)*x/13. Is 0 equal to q?
False
Let f be -1 + ((-498)/55)/(-2). Let i = -30/11 + f. Let g = i - 7/15. Which is smaller: -0.2 or g?
-0.2
Let a = 53.1 + -53. Let u = 0.13 + 5.87. Let d = 1 + u. Which is smaller: d or a?
a
Let r = 47 + -46. Which is greater: 4.2 or r?
4.2
Let n = -6.97 + -0.03. Let y = -4 - n. Let o = -2.2 + y. Is o not equal to -1?
True
Let g = 9 - 6. Let f be g - 3 - -1 - -1. Which is smaller: f or 3?
f
Suppose 0 = -z - z - 4*l, 2*l = 0. Suppose 5*s + 10 = -3*f - 30, f - 2*s - 5 = z. Are 1/4 and f unequal?
True
Let v = -1474/5 + 296. Is v at least as big as 1?
True
Let t = -130/3 + 43. Which is smaller: -1 or t?
-1
Let b = -3 - -7. Suppose 2*y + 0*v + v = 6, 0 = -2*y - b*v + 18. Which is smaller: y or -1/3?
-1/3
Let k(a) be the second derivative of -a**3/6 + a**2 - a. Let v be k(-3). Suppose -u + 3 = -3*q, -v*q + 5*u - 5 = 10. Is 0 at most as big as q?
True
Let r = 15 + -22. Let z(a) = a**3 - 7*a**2 + a - 5. Let n be z(7). Suppose 24 = -2*b - n*b. Is b greater than r?
True
Let k be (-3)/(3 + 0) + -2. Let x be (-8)/2*(-6 - (-65)/10). Which is smaller: x or k?
k
Let o(c) = -c**3 - 5*c**2 - 3*c + 3. Let f be o(-4). Suppose 0*s - t = -2*s + 175, 354 = 4*s + 2*t. Let x = s - 618/7. Which is bigger: x or f?
x
Let c(s) = -s**2 - 3*s + 2. Let w be c(1). Is w < 0?
True
Let y = -5 + 4.7. Let s = -0.09 - -0.19. Which is smaller: y or s?
y
Suppose 2*r + 0 = -16. Let a(g) = -g**3 - 6 - 6*g**2 - 2*g**2 - g**2 - 9*g. Let l be a(r). Which is smaller: 6/7 or l?
6/7
Let b(l) = 7*l**2 - 3*l - 4. Let j(o) = -4*o**2 + o + 2. Let a(k) = 3*b(k) + 5*j(k). Let t be a(4). Is t at least -2?
True
Let i = 6.3 + -0.3. Is i >= -1?
True
Let r be 1*(-4)/42*3. Which is bigger: 3 or r?
3
Let q be -104 - (-1)/(1 + 15/(-20)). Which is smaller: q or -99?
q
Let y(j) = 16*j**2 + j - 3. Let m be y(-3). Let i be (-1238)/(-9) - 6/(-18). Let g = i - m. Which is bigger: 1 or g?
1
Let t = 203 + -617/3. Which is bigger: -3 or t?
t
Let c = -0.6 + 1.6. Let q = 0.4 - 0.3. Is c greater than q?
True
Let t = -391 - -5863/15. Is 1 greater than t?
True
Let q be 20/(-6)*(-3)/4. Let i = 0.2 + -0.1. Is i at most as big as q?
True
Let l = -0.7 + 16.7. Let a = 16 - l. Which is smaller: a or 10?
a
Let g be (-4)/30*(30/12 - 2). Does 2/3 = g?
False
Let w = 0.58 - 0.58. Is w at most 1?
True
Let a(k) = -k + 1. Let b be a(-5). Let f = b - 6. Suppose 9 = -3*d - f. Which is bigger: d or -1?
-1
Let i = -290/91 + 34/13. Which is smaller: i or 2?
i
Let c = -237/2 - -4265/36. Which is bigger: c or 1?
1
Let t = 3 + 0. Let z be 4/3 - t/9. Is 1/14 less than or equal to z?
True
Let h be 4 - 4 - (56 + (1 - -1)). Are h and -59 equal?
False
Let m be (-1)/(-3) + (-91)/(-6). Let d be 20/16 + -1 - (-87)/6. Let u = d - m. Is u not equal to -1?
True
Suppose 0 = 2*b - 3*b - 1. Let v = 32 + -11. Let o = v - 21.1. Is b less than or equal to o?
True
Let q = -3 - -3. Suppose q = 3*u + u + 20. Let x(w) = 6*w**3 - w**2 - 2*w - 1. Let c be x(-1). Is c greater than u?
False
Let o = 0.02 - 0.02. Is o less than or equal to 0.03?
True
Let d = -30 + 21. Is -9 at most as big as d?
True
Let q be (-5 + 2)*(-10)/6. Is q equal to 5?
True
Let b = 49 + -27. Are b and 23 equal?
False
Let m = -1.6 + 2.5. Let u = 1 - m. Are u and -2 non-equal?
True
Suppose 0 = 5*b - 10, 5*f = -