s -5 not equal to i?
True
Let f = -0.2 - 0.8. Let t = 36 + -30.8. Let d = 5 - t. Is f less than d?
True
Suppose 0 = 4*m - a + 35, -2*a - 70 = 5*m + 2*a. Let h be 22/m + 1/5. Which is greater: 2 or h?
2
Let j = 2927/105 - 197/7. Let m = j + -7/30. Let v be -3*(-3 - (-11)/3). Which is greater: m or v?
m
Let l = 512/19 - 27. Let t be (282/(-27))/1*2/76. Let u = t - l. Which is smaller: u or 0?
u
Let i = -12 - -8. Let v be i/14 - (-4)/14. Let o be (-6)/(-8)*40/60. Which is greater: v or o?
o
Let m(a) = -a**2 - 8*a - 6. Let w be m(-6). Let b = 3 + -1. Let p(d) = d**3 - 2*d**2 + 5*d - 5. Let q be p(b). Which is bigger: w or q?
w
Let w(x) = -x**2 - 6*x - 4. Let b be 0 + -3 - (4 + -2). Let i be w(b). Let o = -2 - -6. Which is smaller: i or o?
i
Let c = 4.92 - 0.52. Let j = c - 0.4. Let q = 6 - j. Is -0.2 at least q?
False
Suppose 0 = 4*s - p + 1 + 7, 0 = 4*s - 2*p + 12. Let z be s/((-3)/((-6)/5)). Let i be -4 + 2 - -1*2. Is z < i?
True
Suppose 5*l - n - 17 = 0, 0*l - 3*n = 4*l - 6. Suppose -2*g = 5*h - 2 - 2, -l*h - 2*g + 4 = 0. Is -4/13 bigger than h?
False
Let a = 1 - 0. Let o be a - 0 - 0/(-6). Let s be (-5)/20 - 38/(-56). Which is greater: s or o?
o
Suppose 0 = p - 3 - 1. Let n = -45 + 63. Suppose 0 = 5*c - 2 - n. Are c and p unequal?
False
Let j = 4.5 + -3. Let h = -2 + j. Which is bigger: 0.2 or h?
0.2
Let v(o) = -o**3 + 7*o**2 - 6*o - 2. Suppose 0 = -0*p - 4*p + 24. Let l be v(p). Let j = -6/5 - -7/10. Is l greater than or equal to j?
False
Let k(h) = h**2 + 7*h + 1. Let z be k(-8). Suppose -4*a = 4*s + 12, 3*a = 3*s + 6 + z. Which is smaller: 4 or a?
a
Let t(a) = 2*a**3 - 12*a**2 + 3. Let j be t(7). Is j less than 101?
False
Let j be 91/49 - (-1)/7. Let m be 15*(-2 - 40/(-22)). Let f = -27/22 - m. Do j and f have different values?
True
Suppose 4*u - u = 6. Let o(b) be the third derivative of b**4/12 - b**3/2 + 8*b**2. Let k be o(u). Which is smaller: k or 2/7?
2/7
Let z = 8 + -31/4. Which is bigger: -1 or z?
z
Suppose -2*q = 5*m + 746 - 144, 0 = -m - 5*q - 102. Let o be m/40 - (-11 - -8). Is o <= 1?
True
Let i(u) = u - 2. Let j be i(6). Suppose -2*v + 6 = p, -j*v - 5*p = -2 - 22. Let r(t) = -t**2 + 4*t + 13. Let k be r(6). Is k != v?
False
Let n be (21/(-14)*2/3)/(-2). Suppose u + 7*o + 2 = 2*o, 2*o + 33 = -5*u. Let y = -5 - u. Is y less than or equal to n?
False
Let j(f) = f - 6. Let t be j(9). Suppose -20 = t*o + 4. Let a be 3 + o - (-3 + 3). Which is smaller: 1/4 or a?
a
Suppose -3*f = 4*b - 18, 4*b - 6 = 4*f - f. Let p = 1 + 15. Suppose 4*u + 4 - p = 0. Which is greater: f or u?
u
Let o = -6.8 - -9. Let z = -0.2 + o. Are z and 0 non-equal?
True
Suppose -i = 2*i + 42. Let g be 2/(-8) + i/(-24). Are g and -1 non-equal?
True
Let i(m) = -m**2 - 12*m - 1. Suppose 3*o + 34 + 2 = -4*b, 3*o + 2*b + 36 = 0. Let c be i(o). Let l = -1 + 1. Which is smaller: c or l?
c
Suppose -4*l = 2*f + 16, 5*l + 15 = -0*l. Let d be ((-2)/(-4))/((-6)/(-36)). Suppose 2*s + 5 = -3*s + m, -5*s = d*m + 25. Is s >= f?
True
Let n(v) = v**3 - 6*v**2 - 7*v + 4. Suppose 0*m - 35 = -5*m. Let o be n(m). Let p = 18 + -13. Is o <= p?
True
Let a be (-4)/5*(-15)/18. Let j = 0.3 + 0.7. Which is smaller: a or j?
a
Let q be (-1)/3 + (3 - 660/207). Which is smaller: q or -2?
-2
Let f = 0.959 - -0.041. Which is smaller: f or 28?
f
Let d(c) = -c**3 + 3*c**2 - 2. Let u be d(2). Suppose u*o - 5*o - 3 = 0. Which is smaller: -1/10 or o?
o
Let q be (-1*(-12)/(-894))/4. Is q less than or equal to 1?
True
Let n = -22 - -19. Which is smaller: n or -1?
n
Let q = 0.06 - -1.14. Let u = -0.2 + q. Do 1 and u have different values?
False
Let g = 1.2 + -0.2. Let w = 0.18 + 1.22. Let x = g - w. Is x less than -2?
False
Let p be 2/110 + (-7)/35. Which is greater: p or -2?
p
Let t = -12 + 11.91. Let b = 0.1 + t. Which is smaller: b or -1?
-1
Let r be 3*1 - (-4 + 3). Suppose r*f = 3*f. Does f = 2/7?
False
Let g = 43 - 22. Is g equal to -1?
False
Let i = 0.7 + -6.7. Let v = 5.9 + i. Let p be -1*1*(7 - 6). Which is greater: v or p?
v
Let v = 0.027 - 16.027. Which is greater: v or -1?
-1
Let c = -1 + 4. Suppose k - 1 = 0, y + 0*y - 3*k - c = 0. Let d(q) = -q + 6. Let p be d(y). Is -1/6 > p?
False
Suppose -5*o + 4*w + 12 = -o, 3*w + 15 = 0. Let j = o - -1. Let q be ((-4)/(-6))/(-1 + 0). Are q and j equal?
False
Let p be (-2 + 4)/4 + 0. Let m be 0 + (-4)/(-42)*-3. Let t = m - 1/70. Which is smaller: p or t?
t
Suppose 4*f - 709 + 501 = 0. Is f at least as big as 50?
True
Let j be ((-4)/(-10))/(40/1900). Which is bigger: 17 or j?
j
Let a = 3 - -1. Suppose -3*h = 12, -5*h = -a*r - h + 20. Is 4 less than r?
False
Let l be 2/(-9) - 6/(-27). Suppose 4*b - b - 9 = l. Suppose 6*j - r - 13 = 2*j, 12 = 4*r. Which is smaller: j or b?
b
Suppose 4*r = 5*c - 57 - 7, 0 = -4*c + 3*r + 51. Which is smaller: 13 or c?
c
Let n = -3 + 2. Suppose -6*p + 5 = -5*p. Let y be (-9)/p - 1/5. Are n and y nonequal?
True
Let m = 0.6 + -3.6. Let k = -2.8 - m. Let g = -12 + 15. Which is greater: g or k?
g
Let w(y) = -y**3 - 7*y**2 - 5*y + 6. Let n(i) = -i**3 + 6*i**2 - 2*i + 6. Let h be n(6). Let q be w(h). Which is bigger: q or 2?
2
Let k = -3 - -2.9. Let a = -2.7 + 3. Let u = a - -2.7. Which is smaller: k or u?
k
Let q be 1/(-1)*(0 - -1). Let b be ((-1)/2)/(3 + (-15)/6). Is q < b?
False
Let p = 1 - 1. Suppose -5*h + 1 = -4*g - 10, 4*h = -2*g + 14. Which is greater: g or p?
g
Let x = 0.2 + -1.4. Let f = -1.8 + 2. Let n = x + f. Which is smaller: -1/4 or n?
n
Let q = 25 + -25. Which is smaller: -19 or q?
-19
Let p(s) = -s**3 - 6*s**2 - 3*s + 2. Let z be p(-4). Suppose 0 = -0*u + 4*u + 72. Is z smaller than u?
False
Suppose 6*u + 7 = 19. Is 9/5 < u?
True
Let q be 1122/253 + (1 - 5). Which is smaller: 1 or q?
q
Suppose -14 = -0*w - w. Suppose 0*d + 5*d + 3 = s, -5*s - w = 4*d. Let n = -1 - 0. Is d at most as big as n?
True
Let b be (-5)/75*3 - 62/(-410). Which is smaller: b or -1?
-1
Let l(m) = m**2 + 6. Let v be l(0). Let p = v + -5. Do p and 2/17 have different values?
True
Suppose 57 = -0*l + 3*l. Let u(a) = -2*a - 22. Let r be u(-21). Is r not equal to l?
True
Let v be (-7)/28 - 1/(-4). Let t(l) = -l - l + l + 0. Let z be t(v). Which is bigger: z or 3/5?
3/5
Let j = 2/25 + -106/75. Let n = -70 - -70. Do n and j have the same value?
False
Let d(c) = -c**3 + 9*c**2 - 8*c + 3. Let f be d(8). Let o be (1 - 4)/(2 + -3). Suppose 0*w - f = -o*w. Is 0 less than w?
True
Let f = -12 - -13. Is f at least as big as 6/7?
True
Let s = 4 + -4.1. Let z = 0.2 + s. Let a(d) = d**3 + 5*d**2 + d + 6. Let i be a(-5). Which is smaller: z or i?
z
Let v = 5532/29 - 155491/870. Let w = 2951/255 - v. Let g = -2/51 + w. Is g at most as big as -1?
False
Let f = -55618/45 + 1236. Which is smaller: 1 or f?
f
Let a = 17 - 17. Which is smaller: 4 or a?
a
Let f(s) = -2*s - 12. Let t(l) = -2*l - 11. Let q(o) = 5*f(o) - 4*t(o). Let p be q(-16). Do 15 and p have different values?
True
Suppose 0 = 7*z - 0*z + 126. Which is greater: z or -20?
z
Let i = 0.09 - -1.91. Which is smaller: -5 or i?
-5
Let p = -10 + 14. Suppose 0 = -0*u + p*u. Suppose -60*i + 49*i = 0. Does u = i?
True
Let s = -14 + 8. Let b be (s/(-8))/((-2)/8). Suppose -3*k - 10 = 2*k. Which is smaller: b or k?
b
Let q = -2 - -6. Let y be q/(-10) - (-26)/(-10). Suppose 5 - 3 = -2*t. Is t greater than y?
True
Let r = -18 + 27. Suppose -r*p + 5*p = 0. Is p at most as big as -3?
False
Suppose 1 = -i - d - 7, 5*i + 20 = 5*d. Which is smaller: i or -1?
i
Suppose -2*z = -7*z + 15. Suppose h = -z*h. Suppose 0*l = l - 4*y - 11, 3*l + 4*y + 15 = 0. Is l < h?
True
Suppose -5*z + 29 = 2*d, 0*d = 5*d + 4*z - 30. Which is greater: d or 1?
d
Suppose 0 = -4*a + 11 + 5. Is a != 8?
True
Suppose 0 = s + 1. Let k be (2 + -103 + 2)*s. Let j = k - 691/7. Which is greater: -2 or j?
j
Let t = 1 - -26. Suppose -4*u + 0*a = 3*a + 36, 3*u - a = -t. Is -9 >= u?
True
Suppose -5*i - 28 = 2*p - i, 4*i + 36 = -4*p. Which is smaller: p or -6?
-6
Let a(k) be the second derivative of k**4/12 + 5*k**3/6 + 7*k**2/2 - k. Let u be a(-5). Is 6 greater than u?
False
Let u = -2.88 - 0.12. Which is bigger: u or 5/8?
5/8
Suppose -80 = -0*a - 5*a + b, -32 = -a - 3*b. Do a and 16 have the same value?
False
Suppose 2*l = -4*g + 14, -4*l + 7*l + 5*g - 18 = 0. Is l smaller than 2?
True
Let r = -10 + 10. Suppose r = -j - 9 + 1. Let d = 12 + j. Are 2 and d non