40 + 1). Are j and -0.4 unequal?
True
Let n be 7/((-1197)/(-348)) - (7 - 5). Are 0 and n equal?
False
Let v = 2518/15 - 168. Suppose 0*h - 5*d = 5*h + 35, 5*d = -4*h - 32. Is h greater than v?
False
Let r = -21 - -19. Which is greater: r or -6?
r
Let m be (-2)/3*(-39)/(-6). Which is bigger: m or -5?
m
Let x = -84 + 38. Which is smaller: x or 2?
x
Let o = 4 - 2. Suppose 15 = 5*f - 5*l, 0*f = f - 5*l + 5. Suppose o*p = f*p. Is -1/4 at least as big as p?
False
Let p = 86/3 + -418/15. Suppose 0 = 4*b + 3*f - 27, 7 = -4*b - f + 24. Suppose -4*s + 5 = -h, -h - 4*h - 25 = -b*s. Is s >= p?
False
Let m be (-512)/1890 - 8/(-28). Which is smaller: -1 or m?
-1
Let i(z) = -z**3 + 7*z**2 + 6*z + 10. Let p be i(8). Suppose -20 = -0*t + 4*t. Which is greater: p or t?
t
Let g = 89 + -96. Which is bigger: -6 or g?
-6
Let u = -6.02 - -0.02. Let p = -19 - -10. Let x = u - p. Is -0.1 < x?
True
Let i = 34.3 - 36. Let n = 1.5 + i. Suppose -4*m - 7 = -3. Is m bigger than n?
False
Let r(d) = d**3 - 3*d**2 + 2. Let c be r(3). Suppose 0*i = 2*i + c. Which is smaller: i or -3?
-3
Let c = -2/97 - -115/873. Which is greater: c or 1?
1
Let n = 1849/13 + -143. Let l = 7/26 + n. Are -1 and l unequal?
True
Let h = -0.07 - -2.07. Let p(s) = -s**3 - 4*s**2 - s + 4. Let i be p(-3). Let a be i/(-5)*(-3)/(-2). Which is greater: a or h?
h
Let y be (12/9)/((-2)/(-6)). Suppose 5*s = -n - 19, 2*n + 14 = -y*s - 0. Is 1 < s?
False
Let u = 6.3 - 6. Let o = u + -0.2. Let a(s) = s. Let h be a(3). Which is smaller: h or o?
o
Let o = -2.7 - 1.3. Let s = o + 4. Which is smaller: 5 or s?
s
Let f(b) = b**3 - 4*b**2 - 3*b + 9. Let d be f(4). Is d < -7/3?
True
Let n = 1.4 - 1.3. Let q = 4 + -10. Which is smaller: n or q?
q
Let o = -31 - -29. Which is greater: -3 or o?
o
Let x = 3 + -3. Suppose x = -5*p + 20. Suppose 4*d = -p*l + 20, -2*d = -3*l - 4 - 1. Is l smaller than -0.1?
False
Let v be (54/(-405))/((-1)/(-4 - -1)). Which is greater: -1 or v?
v
Suppose -57 = 4*q - 2*x - 3*x, -3*q = -2*x + 48. Let h be 51/(-2)*(-12)/q. Is h not equal to -17?
False
Let a(y) = -4*y + 36. Let m be a(11). Is -14 <= m?
True
Let h = 13.4 - 14.4. Is -142 <= h?
True
Let w = 3 + 27. Let j be 3/((w/8)/(-5)). Let d be (-17)/36 - 1/j. Is 1 at least as big as d?
True
Suppose 2*u - 5*u + 36 = 0. Which is bigger: 13 or u?
13
Let z be 0/(-4)*(-1)/2. Which is bigger: 1/15 or z?
1/15
Let s = 3 + -13. Let v = s - -12. Which is bigger: 2/3 or v?
v
Let o(s) = 3*s**3 + 2*s**2 + s. Let h be o(-1). Suppose 3 = -2*f + 3*f. Suppose f*j + 2*p = 5, -4*p - 1 = -5*p. Which is bigger: h or j?
j
Let k be (-828)/(-240) + (-4 - 0). Let m = -1/20 - k. Which is bigger: 0.4 or m?
m
Let n be (-10*(-6)/(-285))/((-4)/(-2)). Is 0 greater than or equal to n?
True
Let m be (-9 - -5) + 46/(-4). Which is smaller: -15 or m?
m
Suppose 5*h + 220 = -17*h. Which is bigger: h or -9?
-9
Let d = 0 - 0.2. Let j = 22 + -37. Let m = j - -15.1. Is d >= m?
False
Suppose 5*h - 3*h - 2*o = 8, 4*h + 14 = -2*o. Are 0 and h non-equal?
True
Let w(z) = -z**3 - 11*z**2 + 13*z + 9. Let d(s) = -s**2 + s. Let a(j) = 5*d(j) - w(j). Let q be a(-7). Which is bigger: -3/4 or q?
-3/4
Suppose -r + 3*m - 7 = 3, -5*r + 5*m = 0. Suppose 0 = t - 2*t - 1, r*t = -2*p - 3. Which is greater: p or -3/13?
p
Let t = 766 - 761.97. Let m = -0.03 + t. Let l = m + -4.3. Is 0 <= l?
False
Let v(u) = -2*u**2 + 2*u - 1. Let f be v(1). Let l be (-14)/(-12)*(-5)/(-70). Let t = l - 19/12. Is t equal to f?
False
Suppose 2*q - 6*q - 8 = 0. Let x(u) = u**3 + 7*u**2 - u - 8. Let n be x(-7). Let m be (-3)/(n + (2 - 0)). Which is bigger: q or m?
q
Let w = 43/13 + -353/91. Do 1 and w have different values?
True
Let t(f) = -f**3 + f**2 + 6*f. Let n be t(3). Is -9/7 greater than n?
False
Let l be (0 - (-1 + 1))*2/2. Do -31/5 and l have the same value?
False
Let d = -7.2 + 4.2. Let q = 29.9 + -33. Let s = d - q. Is 1/4 > s?
True
Let x = -1 + 16. Suppose 0 = -0*d + 3*d - x. Suppose d*m - b - 26 = 0, -5*m + 5*b = 2*b - 28. Are 4 and m equal?
False
Let b be (-3 - -2) + -3 + -2. Is -5 < b?
False
Let y = -0.66 - -0.06. Let t = y - -0.7. Which is bigger: -1/5 or t?
t
Let l = 27 + -28. Which is bigger: l or 0.3?
0.3
Suppose 4*m + 4 = -0*m. Let s be (-2 - -3)/1 + 0. Let k be (s - 1)/(-1 + 3). Is m at least k?
False
Let m(u) = 2*u**3 - 15*u**2 + 6*u + 6. Let t be m(7). Which is bigger: t or -0.8?
-0.8
Let c = 4 - 4. Which is smaller: c or -2/5?
-2/5
Suppose -2*s = 2*s + 4. Let a be (2 + 8/(-6))/(-23 - -27). Which is bigger: a or s?
a
Let f be (0 + -1)*(-1 - 0). Which is bigger: f or -3/7?
f
Suppose -14 = -2*r + 3*r. Let h be 3/14*r/(-21). Which is bigger: 1 or h?
1
Let w(u) = u**3 + 5*u**2 - 4*u - 4. Let h be w(-5). Suppose -3*f - 3*l = 30, 3*l + h - 1 = 0. Let a = f - -5. Which is smaller: a or 2/5?
a
Suppose -12*a = -13*a + 14. Let c = -14 + a. Is 2/11 at least c?
True
Let v(h) = -h**3 + 5*h**2 - 5*h - 4. Let u be v(3). Is -3/2 equal to u?
False
Let t be (-22)/(-30) + (-4)/12. Which is bigger: 0 or t?
t
Let h be (6/4 - 0)/(660/160). Do h and -0.2 have different values?
True
Let i = -65 + 10. Let m = i + -12. Let p = 470/7 + m. Which is smaller: 1 or p?
p
Suppose 9 + 0 = -9*k. Let s = -0.2 - -0.2. Let j = -0.1 - s. Is k greater than or equal to j?
False
Suppose -4*x - 5 = -9*x. Let s = -2 + x. Do s and 2 have different values?
True
Let p be (2 + (-42)/12)*(-50)/3. Are p and -2/3 equal?
False
Let s be 1 + (-44)/28 - (-156)/224. Suppose 10 = 2*f + 2. Let t = -3 + f. Which is bigger: t or s?
t
Let m = -0.986 - 0.014. Which is greater: -1.9 or m?
m
Let b = 259/1287 - -3/143. Suppose -2*u = 5*w - 20 + 5, -5*w = 4*u - 25. Let d = w + -1. Is b at least as big as d?
True
Let l(z) = z**3 - 9*z**2 + 7*z + 9. Let t be l(8). Let q be (t/9)/(8/16). Which is bigger: q or 1?
1
Let m = 11 + -10.9. Let s = -1 + 2. Which is greater: m or s?
s
Let d be 2*-2 - (-6 - 2). Suppose -5*v + 9 = -d*v. Are v and 0 equal?
False
Let s(m) = m**2 - 2*m - 4. Let i be s(3). Let y be 5/(-14*(-22)/8). Let o = 1/77 + y. Is o < i?
False
Let x be (-8)/(-6)*(-35)/(-28). Which is bigger: x or 1?
x
Let k = -32 - -31. Let b = -4.6 - 1.4. Is k less than b?
False
Let s be 92/70 - (-6)/21. Suppose o + 4*n - 16 = 1, 2*o = 4*n - 14. Which is bigger: s or o?
s
Suppose -4*y + 4*p - 6 = p, 4*p - 8 = -4*y. Is -4/9 <= y?
True
Let s(k) = k**3 + 6*k**2 - 6*k. Let x be s(-7). Let u(j) = j + 5. Let r be u(x). Let d be ((-3)/10)/(r/15). Is 1 at most d?
True
Suppose 8*m - 3*m + 5 = 0. Let r = m + 1. Suppose -3*n - n = r. Is n smaller than -1?
False
Let k be 1/3 + (-6)/(-9). Which is smaller: k or 1/9?
1/9
Suppose u = -x - 15, 2*u + 16 = -3*x + 2*x. Is -14 > x?
False
Let y be (-2)/(7 - (-3 + 2)). Let w be 8/(-20) - 6/10. Which is greater: y or w?
y
Let a = -28 + 18. Let j = a + 10. Which is bigger: -1 or j?
j
Let z(h) = h**2 + 8*h + 11. Let f be z(-7). Let l(v) = -v**2 + 6*v - 4. Let r be l(f). Does 4 = r?
True
Let k be 2 - (-2 + 4 + 0). Let b = -2.62 - -0.12. Let f = -0.5 + b. Do k and f have the same value?
False
Let c = 9 + -3. Suppose c = 2*r, -4*n + 5*r - 9 = 14. Is -2 at most as big as n?
True
Let r = -13 + 26. Let p = 5 - r. Is p equal to -9?
False
Suppose 0 = 5*o + 4*f + 11, 2*o + 3*f + 9 = -o. Which is bigger: o or -2/193?
o
Let f = 152/35 + -93/14. Let s = f - -457/190. Which is smaller: 1/2 or s?
s
Let k = 1 - 1. Let p = -92 - -466/5. Is p at least as big as k?
True
Let m = -3 - -5. Suppose -4*l + 4*j + 11 = -1, -m*l = 5*j + 8. Let o = 269/7 - 38. Is o < l?
True
Let g(t) = -t**2 + 2*t - 3. Let q be g(2). Suppose 0 = -f + 5*f + 2*j - 8, -2*f - 3*j = -12. Let h be (q + f)*1/(-7). Which is smaller: h or -1?
-1
Let i(x) = x + 4. Suppose 0 = 3*v - 2*y - 4, -3*v - 4*y = 14 - 6. Let s be i(v). Suppose 30 - 3 = -2*q - 5*d, -4*q + s*d + 16 = 0. Which is greater: q or -1/2?
-1/2
Let d = -15 + 14.8. Which is bigger: -1/4 or d?
d
Let z = -0.09 - -0.1. Let k = z + 0.09. Let g = 2.1 - k. Which is smaller: g or -2?
-2
Let t = -61 - -36. Is -24 equal to t?
False
Let s(g) = g**3 - 4*g**2 - g + 2. Let r be s(3). Suppose 0 = 5*b + d + 53, -2*d - 5 = b + d. Is b at most r?
True
Suppose -75 + 83 = -4*t. Let j be (-18)/10 + (-2 - -3). Which is bigger: t or j?
j
Let y(l) = l**3 - 3*l**2 - 4*l - 1. Let z be y(4). Let k be 11/3 + z - 2. Which is greater: k or 0?
k
Let g be ((7/(-2))/7)/(-10