ue
Let y(d) = -4*d**2 + d**3 + 0*d**3 - 2 + 0*d**3. Let h = -8 - -12. Let q be y(h). Is q equal to -1?
False
Let f = 6.11 + -0.11. Let m = 6.1 - f. Is m at least as big as 0.6?
False
Let z = 17 - 11. Let j = -6 - -8. Is j != z?
True
Let n be (29/21 - (-3)/9) + -1. Are n and 2 equal?
False
Suppose -4*p - 3*f = f - 64, -2*f = -3*p + 68. Suppose -4*a - 4*x = -7*x - 15, 0 = 4*a - 4*x - p. Are a and -2/3 non-equal?
True
Suppose -4*p = d - 16, 3 = -p - 2*d - 0. Suppose p*x + 2*a = -12, -x - 5 = a - 2. Which is smaller: -6/11 or x?
x
Let x(s) = 3 - 6 + s + 0. Let f be 16/5 - (-5)/(-25). Let r be x(f). Which is smaller: -1/5 or r?
-1/5
Let r = 9 + -4. Let m be ((-8)/(-20))/(1/r). Is 2/3 at least m?
False
Let c = 15 + -7. Suppose -1 = -5*y - 3*w, y - c = 3*y - 3*w. Let h be -1 - y - 2/(-2). Which is smaller: -1/3 or h?
-1/3
Let s = -7 - -6. Let l = -1 - s. Let r = l + -0.2. Which is smaller: 0 or r?
r
Suppose -2*w - 2*u = 2*w + 8, w = -3*u - 2. Is w at most -1?
True
Let r be -4 + 13 + (-3)/1. Let n(y) = -y**2 - 6*y - 4. Let g be n(-3). Is r at least g?
True
Let s(q) = q**3 + q**2 - 2*q - 2. Let i be s(2). Which is bigger: i or 9?
9
Let a be 6*5/(-10) - -9. Let h(z) = -z**2 + 7*z + 2. Let x be h(6). Which is greater: a or x?
x
Let l = -0.34 - -0.24. Is 7 at most l?
False
Let g be (-6)/(-10) - (-2)/5. Let c = g - 2/3. Which is smaller: -2/5 or c?
-2/5
Suppose -s - 2*s + 3 = 0. Suppose -3 = 2*l - s. Is -1 greater than or equal to l?
True
Let p = -1/16 - -61/464. Are -1 and p unequal?
True
Let n = 55/3 - 386/21. Let g be (-4 + (-45)/(-10))*0. Which is smaller: g or n?
n
Let s = -5/8 + 7/24. Is -3 != s?
True
Let p = 74 + -87. Is p >= -5?
False
Let m be ((-12)/(-8))/((-2)/4). Let l = 1 - m. Which is bigger: 3 or l?
l
Suppose 4*q + 1 = -3*d, -4*q + 4 = -2*d + 10. Which is smaller: q or 3/7?
q
Let r = -16 + 14. Is -4/3 at least as big as r?
True
Suppose 5*x = -0*o - o - 16, 5*o - 2*x - 55 = 0. Suppose 3*n - o = -2*d, -3*n - d = -5*n - 1. Is n less than 2/7?
False
Let f = -48456/187 + 259. Let t = f - 1/17. Is -1 > t?
False
Let u = 49 - 51. Let x = -1 - -2. Is u at least as big as x?
False
Let b = -7 + 7.1. Let g = -0.5 - -0.8. Let q = g - b. Which is greater: q or -2?
q
Suppose 0 = -4*w - 4*b, w + 4*b - 1 = 2. Let g be (w - -2)/((-6)/18). Let x = g + 1. Which is bigger: 0.1 or x?
0.1
Let w = 1.3 + -1.4. Is w greater than or equal to -14?
True
Let p be 4 + (-126)/33 + 18/22. Let m(q) = q - 7. Let a be m(6). Is a less than or equal to p?
True
Let k(f) = f**3 - 4*f**2 - 5*f - 6. Let i be k(5). Let x = i + 7. Let s be 3*((-14)/(-6) - 2). Is s at most x?
True
Let g = 105 - 104. Is -2/45 bigger than g?
False
Let c be (2/4)/((-4)/8). Is -2 at most c?
True
Suppose 0 = -0*q + q. Suppose q = 2*d - 5*i - 1, 3*i = -d - 0*i - 5. Let t = -3 - -1. Is d greater than t?
False
Let f be (-4)/10 + 14/45. Let p = f - 14/45. Which is greater: 3 or p?
3
Let w = 27 + -26. Which is bigger: -2/21 or w?
w
Let m be (2/4)/((-2)/(-4)). Which is bigger: -3/17 or m?
m
Let l = -0.39 - 0.01. Let s = 0.4 + l. Let v = 1 + s. Which is bigger: -2 or v?
v
Let g be 260/(-12) - (-2)/3. Let w be 2/(-9) - g/(-27). Do w and -1 have the same value?
True
Let w = -2/239 - -727/1195. Which is greater: w or 1/2?
w
Let t be 0 + 1 - 1/1. Let s = 373/5 + -74. Does s = t?
False
Let i(c) = -c - 9. Let s be i(-7). Let d(w) = w**2 - 5*w + 6. Let r be d(4). Suppose r*t = -j + 4, 10 = 5*t - 5. Is j > s?
False
Let x = 13/14 - 10/7. Let o = x - 1/6. Suppose 3*i = 5*i + 2. Which is greater: o or i?
o
Let k be 5/(-60) + 2/(-12). Let c = 2/41 - -37/82. Do k and c have the same value?
False
Suppose 4 = 3*f - 2. Suppose -q + f = 15. Are -11 and q nonequal?
True
Let z = -2.006 - -0.006. Which is bigger: -2/15 or z?
-2/15
Suppose -6*f = 5 - 23. Is 1 less than f?
True
Let t be 43/28 - 24/84. Which is smaller: t or 2?
t
Let i(q) be the first derivative of 7*q**2/2 - q + 3. Let n be i(1). Suppose -4*o = 5*k + 13, -k + n*k + 11 = -3*o. Is o at least as big as 1?
False
Let v be 6/10 - 27/20. Let i = -7.8 - -0.8. Let l = i - -7.1. Which is greater: v or l?
l
Let a be 6/21 - (-65)/(-203). Is -1 <= a?
True
Let o(f) = -f + 14. Let s be o(-10). Suppose 4*c - s = 5*z - 5, 0 = 2*c - 2. Let i(d) = d**2 - 9*d + 4. Let w be i(8). Which is bigger: w or z?
z
Let d be -2 - (-2 + 2 + -1). Let b be 1/(d/3)*1. Suppose 3*z - 2*z + 3 = 0. Is z greater than or equal to b?
True
Let m(u) = 2*u - 10. Let k be m(5). Let g be ((-6)/(-25))/((-1)/5). Is g smaller than k?
True
Let w = 0.02 - -0.18. Let k = w - 0.5. Let q = 1/7 + 9/35. Is k smaller than q?
True
Let m = -53 - -64. Which is smaller: m or 12?
m
Let l(m) = -5*m**3 + 13*m**2 - 13*m + 8. Let p(q) = q**3 - 3*q**2 + 3*q - 2. Let v(r) = 2*l(r) + 9*p(r). Let f be v(-2). Is f greater than 0?
False
Let r = -3.8 - -0.8. Let u = r + 2. Let x = u - 0. Which is smaller: 1/4 or x?
x
Let q be 1 - (10/4)/5. Let k be 3 + (-1*8)/(-4). Suppose 0 = -o + k*u + 26, 3*o + 5 = -2*u - 2. Is q < o?
True
Suppose 8 + 2 = 5*j. Suppose -4*c + 24 = -c + 3*d, -2*d = -j. Suppose 3*s - c*l = -2*l - 12, 0 = -4*s + 4*l - 8. Which is bigger: -1/5 or s?
s
Let j = -47 - -45. Which is smaller: 1 or j?
j
Let s be (4/15)/((-6)/(-20)). Is 2 smaller than s?
False
Let i = -0.03 + -0.04. Let z = -0.07 - i. Does -15 = z?
False
Let j = -26.029 + 0.029. Which is bigger: 0 or j?
0
Suppose -3*p - o + 6 + 2 = 0, -5*o = p - 12. Which is smaller: p or 1?
1
Let j(b) = -4*b**3 - 4*b**2 + b - 1. Let x be j(-3). Let i = -47 + x. Is 20 equal to i?
False
Let m(c) = -c + 10. Let y be m(8). Let i be 2 - (y - (-3)/15). Are 0 and i non-equal?
True
Let q be ((-3)/9)/1*-1. Let s = 0.01 - 0.01. Which is smaller: q or s?
s
Let d(u) be the second derivative of u**5/20 - u**4/3 - u**3/6 + 5*u**2/2 - 2*u. Let z be d(4). Let a = 3 - z. Which is greater: a or 1?
a
Let y be (-2)/((-3)/6 + 1). Suppose 0 = h - 2 + 4. Let z be 4/((-1 - h) + -2). Is y at least z?
True
Let m = 0.03 + -0.07. Let x = 1.04 + m. Let y = 41 - 47. Which is greater: x or y?
x
Let n be (19 + -20)/(1/5). Which is greater: -6 or n?
n
Let r(g) = g**2 - 5*g - 7. Let y be r(6). Let c = -56 + 563/10. Is c greater than y?
True
Let s(k) = -k**3 - 6*k**2 + 5*k + 3. Let q be s(-6). Let h be (3/(-2))/(q/(-72)). Which is bigger: h or 1?
1
Suppose -2*v - 3 = -7. Let x = -397/5 - -80. Which is bigger: v or x?
v
Let c = -4.01 - -4. Let z = c + 0.01. Is -0.2 > z?
False
Suppose 3*l + 51 = -24. Let b = -25 - l. Which is bigger: 7/6 or b?
7/6
Let y = 1.8 + -0.3. Let g = y - -1.5. Is g bigger than -4?
True
Let r = 1.92 - 2. Let c = r - -3.08. Let k = 0 - 1. Which is smaller: c or k?
k
Suppose -6*t + 5 = -t, 11 = 3*a + 2*t. Which is bigger: a or 21/5?
21/5
Suppose -4 - 1 = 5*r, -5*r - 5 = -5*v. Suppose q - 2*w = w - 14, v = q + 4*w - 21. Is q >= 0?
True
Suppose 0 = -2*g - 2*r + 2, 4*g + r + 5 = 6*r. Let c(x) = x**2 - 4*x - 3. Let m be c(5). Let u be 0 + m - 5/3. Which is greater: g or u?
u
Suppose -9 = -o - o + 3*v, 3 = -o - v. Let x be -4 - (o/(-3) - 2). Are -1 and x equal?
False
Let r = -7/5 + 43/20. Let d be 2/3*-3 + -4. Let h be (-3)/2*4/d. Is r not equal to h?
True
Let m = -6.57 + 0.07. Let h = -5 - m. Let y = -0.5 + h. Is -0.1 not equal to y?
True
Let b be (2/3)/(8/12). Let r = 72525/14 - 10205/2. Let s = 78 - r. Which is smaller: b or s?
s
Let s(z) = -z**3 - 8*z**2 - 7. Let n be s(-8). Let a = n - -12. Suppose -a*d = -d. Is -0.3 > d?
False
Suppose -5*w + 35 = -0. Is 2 less than w?
True
Let b be 4/(-20) - (-76)/5. Suppose -6*v + v = -b. Is 2 smaller than v?
True
Let a be (-8)/12 - 10/3. Let j = -4 - -7. Let o = a + j. Do o and 0 have the same value?
False
Let z = -12 + 12.1. Is 4 != z?
True
Let q = -5 + 4. Let b = -2 - q. Which is bigger: b or -2?
b
Let i be (2 - 0) + 1*-3. Let c(g) = g**2 - 7*g + 3. Let y(b) = -3*b + 1. Let f(x) = -2*c(x) + 5*y(x). Let u be f(i). Is -2 not equal to u?
False
Suppose -7 = 10*x + 43. Which is bigger: x or -15?
x
Suppose 1 = -5*g - y - 0*y, -g - 9 = -2*y. Let b(o) = 5*o**2 + o + 1. Let p be b(g). Suppose -d + 1 = -0. Are d and p nonequal?
True
Let d = 3.6 - 0.6. Let m = 2.9 - d. Let r = -2.1 + 2.2. Do r and m have different values?
True
Let f(v) = -3*v + 1 - v**2 + v + 2*v**2. Suppose 1 = -0*c + c. Let s be f(c). Which is greater: s or 4/5?
4/5
Let l = 128.1 + -119. Let h = -