 = -3*s - 5, 3*s + p - m = 5*s. Are s and -3 equal?
True
Suppose 5 = 2*l + 13. Suppose 0 = -h + 5*p - 12, -9 = -3*p. Let b = l + h. Is b < -1/2?
True
Let f(w) = -w**3 - 5*w**2 + 3*w + 5. Let k be f(-5). Let g be (4 + -3)/(2/k). Which is smaller: g or -1?
g
Suppose 0 = r + 4*y - 1, -y = -2*r - 2*y + 2. Which is bigger: r or 2?
2
Suppose h + 35 = -5*y, 2*h - 23 = 3*h + 2*y. Is h >= -14?
False
Suppose -5*n - 18 = 7*y - 3*y, -14 = 3*y + 4*n. Let u(q) = -q**3 + 11*q**2 - 7*q - 33. Let i be u(10). Is i not equal to y?
True
Let c = -23 + 22. Is -2/25 < c?
False
Let x(z) = 2*z + 8. Let q be x(-7). Let k = 4 + q. Let b = k - 1. Is b <= -4?
False
Let v = 423230091/1455261059 - -15/534433. Let n = v + -2/389. Is n less than or equal to 1?
True
Let a = 3 - 1. Let s be (-1)/((1 - -1)/(-16)). Suppose -2*f - 5*c = 3 + s, a*c = f - 8. Is 2 at least as big as f?
True
Suppose -i + 3*x + 6 = 2*i, 5*i + 2 = x. Let u be (1 - 2)*5*i. Let h be 2/(-4) - (u - 5). Which is smaller: h or 0?
h
Let k be (-3)/(-10)*4/3. Let z = -272667 + 35446519/130. Let w = 2/65 - z. Which is smaller: k or w?
k
Let p = -27 + 26.8. Are p and -32 unequal?
True
Let y = 7 + -4. Let s = 0 - y. Let z = s - -3.1. Which is greater: -1 or z?
z
Let r = -46 - -48. Do -2 and r have different values?
True
Let i(x) = -x**3 - x - 1. Let w = 7 - 4. Let t be -1 + 2 - 6/w. Let m be i(t). Is m greater than or equal to -1/3?
True
Let t be (2/(-2))/(2/2). Let y be 1*t/(1/(-5)). Suppose 0*b = y*b. Which is bigger: b or 1/10?
1/10
Let r = -4 + -3. Let v = -6.9 - r. Is v greater than 0.01?
True
Let m(o) = -3*o - 10. Let u be m(-3). Let g be 55/5*(u - 0). Do g and -11 have the same value?
True
Let z be 15 - (-5)/(15/9). Let p be (-70)/(-234) - 4/z. Which is smaller: -1 or p?
-1
Let l be (-117)/(-420) - 3*(-3)/(-36). Which is bigger: l or 1?
1
Suppose 20 = 2*d + 2*d. Is d >= -0.2?
True
Let f be 3 + (0/(-2))/2. Let g be 14 + (-1 - (f - 1)). Let h = 9 - g. Which is bigger: -1 or h?
-1
Suppose -5*j = -k - 24, 5*j - 12 = -0*j - 2*k. Let b = j + -3. Which is smaller: -1/7 or b?
-1/7
Let b(t) = t**3 + 10*t**2 - 11*t + 6. Let i be b(-11). Let k be 10/(-4) + 3/i. Let q be 7/k + 3 - 0. Is q at most 0.1?
True
Suppose 2*n = 3*n. Let l = 20 - 62/3. Which is smaller: l or n?
l
Let h be (-8)/8 + 8/6. Which is bigger: 1 or h?
1
Suppose 0 = -2*i - 2 - 6. Which is smaller: i or -13/5?
i
Let l(c) = 4*c + 1. Let a be l(1). Suppose i + a = 4*d, -2*d = -i - 4 + 3. Suppose 2*k = i*k. Do k and 1 have the same value?
False
Suppose -3*j + j + 4 = 0. Is 1 at most as big as j?
True
Let i(x) = -x - 20. Let d be i(13). Is -34 != d?
True
Suppose f = -g, -2*g - 3*f = -5*g. Is 2/107 <= g?
False
Let p(s) = -s**3 + 5*s**2 + 6*s + 2. Let q be p(6). Suppose -9 = 2*t - 0*a + 3*a, 2*t - q*a = 6. Is t equal to 1?
False
Let f be 14/(-35)*(-10)/4. Is f bigger than 2/83?
True
Let s = -0.84 - -0.44. Are 0 and s non-equal?
True
Let d(g) = g**2 + 9*g - 72. Let u be d(7). Is 39 > u?
False
Suppose -5*o + 34 = 4*f, -3*f + 18 = -o + 4*o. Is o smaller than 13?
True
Let k = -0.9 - 0.1. Let x = k - -4. Let u = -1 - -0.9. Which is smaller: u or x?
u
Let u = 7.7 - 0.7. Let k = u + -7. Which is greater: 1 or k?
1
Suppose -2*d = -9*d + 21. Is 0 greater than d?
False
Let i(v) = -7*v**3 - 4*v**2 - 2*v + 1. Let c be i(-2). Let m = c - 134/3. Let d = 1.98 + 0.02. Is m greater than d?
False
Let p(o) = -2*o**3 - o - 1. Let y be p(-1). Suppose -y*r - 2*r = 0. Which is greater: r or -1?
r
Suppose 5*n - 23 = -z, -2*n + 2*z + 1 = -13. Suppose 2*r = r - n. Is -4 smaller than r?
False
Let u be (-21)/210*(3 + 0). Let m = -4 - -4. Which is smaller: m or u?
u
Suppose -5*j = -3*j + 4. Let d be -3 + j/((-4)/6). Suppose 6*y - 8 = 5*t + 3*y, 2*y = 2. Is t greater than d?
False
Let j = -16 - -16. Which is smaller: -1 or j?
-1
Let z = 81 - 83.04. Let i = 0.04 + z. Which is bigger: i or -1?
-1
Let g(j) = 2*j + 5. Let z be g(-5). Let d(h) = h**3 + 5*h**2 - 4. Let w be d(z). Is -3 bigger than w?
True
Suppose 0 = u - 3*f - 5 - 1, -5*u + 2*f + 17 = 0. Suppose -5*o = -u*o + 2. Which is bigger: -3 or o?
o
Suppose 5*a - 7 = -3*j + 3*a, 0 = -5*j + 4*a + 41. Suppose 5*h = -5*i - 8 - 37, -2*i = -j*h + 18. Does i = -9?
True
Let n = 4 - 6. Let v be 6 + -4 - n/(-1). Let g = 4 - 5. Which is smaller: g or v?
g
Suppose 2*p = -2*p + 20. Which is greater: 6 or p?
6
Let p be (9 + -10)/((-2)/6). Suppose -p*c = 3 - 9. Let o be 1/c*-14 + -1. Is o at least -9?
True
Suppose 0*m - 7 = -m. Is 9 equal to m?
False
Let t(b) = b**3 - 5*b**2 - 6*b + 5. Let x = 10 - 4. Let s be t(x). Is 4 greater than or equal to s?
False
Let v(q) = -4*q - 28. Let m be v(-7). Which is bigger: m or -1/150?
m
Let y(w) = 3*w - 31. Let p be y(10). Are -1/13 and p unequal?
True
Let z = 2 + -7. Let v be (-2 - -3)*z/(-1). Suppose v*t + 2 = -3. Which is bigger: -1/3 or t?
-1/3
Let x be 6/4*4/(-6). Let i be -1 - (-4 + 4 + 1). Let s be (x/5)/(i/15). Does 2 = s?
False
Let n(z) be the first derivative of z**4/4 + 5*z**3/3 - 5*z**2/2 + 5*z - 2. Let g be n(-6). Which is bigger: -3 or g?
g
Let t(f) = f + 1. Let r be t(4). Suppose n + 10 = 3*d, -3*d = 4*n - 6*d + 4. Suppose -r*y + 7 = -3*c, 3*c + 0*c = -n*y - 14. Which is smaller: y or 1?
y
Let w be (42/404)/(2/28). Let m = w - 24672/505. Let h = -47 - m. Which is greater: -1 or h?
h
Let k = 12 + -25. Which is smaller: k or 1?
k
Let i be (-3)/6*(-2 + 2). Let t = -13 - -14. Suppose -3*q = -4*j + 4 + t, -3*j + 4 = -2*q. Is i greater than j?
False
Suppose -4*h + 63 = -h. Let m = -16 + h. Which is bigger: 4 or m?
m
Let p(t) = -t**2 - 5*t - 1. Let h be p(-5). Let x(k) = -4*k**3 - 2*k**2 + 1. Let a be x(h). Which is smaller: a or 4?
a
Let n(s) = s + 4. Let j be n(-9). Let u(w) = -w**3 - 8*w**2 - 6*w + 3. Let r be u(j). Let x be (-8)/r*12/(-8). Is x less than or equal to 0?
True
Suppose 3*b - 3 = 2*g, 5*b - 7 = -2*g - 2. Let a = -2 - -6. Suppose l = a*l + 6. Which is bigger: l or g?
g
Let p = -638 + 642. Suppose 3*l = k - 1 + 2, 10 = -5*l + 4*k. Which is greater: p or l?
p
Let v be (-3)/2*8/30. Suppose f - 5 = -0. Suppose -s + f = 4. Which is smaller: v or s?
v
Let z = -2.2 + 2.2. Which is smaller: 2/49 or z?
z
Suppose -q = -2*t - 1, 5*q - 7 = 5*t - 2. Suppose -2 + t = 2*i. Let k be (-3 - 2)/(-10)*0. Is i greater than k?
False
Let o be 4 - (0 + (3 - 0)) - 1. Is o not equal to 1/147?
True
Let u(x) = -x**3 - 2*x**2 + 2*x - 3. Let g be u(-3). Let k = 13 - 16. Is k smaller than g?
True
Let w = -528379/85 - -6216. Let b = w + 2/85. Is 1 at least as big as b?
True
Suppose 2*r = -r + 3. Suppose 0 = -5*i + 20, x = -0*x + 2*i - 8. Let h = x + r. Which is smaller: -2/17 or h?
-2/17
Let g be (-3)/(-2) + (-9)/(-6). Suppose -4*j + g*x = 4*x - 12, -4*j - 4 = -3*x. Suppose j*f + 21 = 5*l, -f + 0 = l - 7. Which is smaller: 1 or f?
1
Let j be 6 + -3 - (-701)/(-228). Let r = j - 8573/456. Let h = -19 - r. Is h at most -1?
False
Let v = -4 + 7. Let m = 2.9 - v. Let t = -2/3 + 1. Which is smaller: m or t?
m
Suppose 4*c = 7*d - 2*d - 5, -d + c = -1. Let r = 1/70 + -3/14. Is r != d?
True
Let o be 3/(2 + 1) + -2. Let c(w) = -w**3. Let g be c(o). Which is smaller: g or 0?
0
Let z = 2.7 - 1.7. Is 1 < z?
False
Suppose 5*k - 5*n - 15 = 10, 3*n = 2*k - 13. Let r = -1 + k. Suppose 2*d - r = d. Which is smaller: d or 2?
d
Let k = 11 + -10. Suppose -3*l = -4 + k. Which is smaller: l or 2?
l
Let l(m) = -m**3 - 5*m**2 - 6*m - 6. Let z be l(-4). Let x = 3 + -6. Let v = x + z. Is 1 at most as big as v?
False
Suppose -4*b - 44 = -k, 4*b + k = b - 40. Which is bigger: b or -8?
-8
Suppose 3*v = 9 + 3. Suppose 3*q + 2*f - 18 = 3*f, -v*q = -2*f - 22. Which is bigger: 8 or q?
8
Suppose 3*w + 7*t = 3*t - 52, -53 = 3*w + 5*t. Which is greater: w or -81/5?
w
Let x = -4 + 6. Suppose -1 = 3*s + x. Let v be (s/4)/(3/6). Which is smaller: 0.4 or v?
v
Let n(t) = t**3 - 6*t**2 - 7*t - 4. Let i be n(7). Are i and -4 unequal?
False
Let m = -6 - -10. Suppose k - 2 = -o, -3*o + 2*k = -2*o + m. Let l = -0.7 + -0.1. Which is smaller: l or o?
l
Suppose 4*y - 5*i = -60, i + 45 = -3*y + 2*i. Is -15 less than or equal to y?
True
Let o = 18/23 - 233/92. Is o less than or equal to 0.1?
True
Let g = 1146/7 - 164. Let f = -0.38 + -2.82. Let w = -3 - f. Is w != g?
True
Let u(n) = 4*n**2 - 4*n. Let o be u(3). Are o and 25 non-equal?
True
Suppose w - 3*w = 4. Let y = w -