). Let l = i - 31. Let y = -3 - -3.2. Is y equal to l?
False
Let k be (4/2)/(4/2). Let y = 0 + k. Let t = y + -1. Do 0 and t have different values?
False
Let x = 8 + -3. Suppose -x*m - 8 = -m. Let u be (m/5)/(33/(-15)). Is u bigger than 1?
False
Let c be 1 - (-1)/(-5)*7. Let i(g) = -g**3 + 8*g**2 + 19*g + 13. Let o be i(10). Let a be (-5)/15*(0 + o). Which is smaller: a or c?
a
Let z = -0.38 - -0.28. Let o = -3/32 - -91/288. Are o and z unequal?
True
Let o = 2/215 + -444/1505. Let z = 0 + 2. Suppose b + z*t - 2 = -0*t, -b + t - 1 = 0. Which is smaller: b or o?
o
Let g = -4.5 - -5. Let w = g - 0.3. Let y(a) = -a**3 + 2*a**2 + 2*a + 3. Let m be y(3). Which is bigger: w or m?
w
Let l = 19/8 - 15/8. Is l <= -1/3?
False
Let u = -3 + 3.01. Let l = -713.01 + 709. Let v = u + l. Which is smaller: v or 0.1?
v
Let m = -12 - -17. Let q = -9 + m. Which is bigger: q or -3?
-3
Suppose 5*i = 2*v - 4*v - 15, 2*i = -2. Let y be 4*v*(-2)/(-8). Let p be (2/(-4))/(y/(-10)). Is -1/2 less than or equal to p?
False
Let q be (-14)/6 + 8/(-12). Let l be q - (36/(-3) - -4). Is l bigger than 6?
False
Let n = -7 - -7.1. Let k = 1.14 - 0.14. Which is smaller: k or n?
n
Suppose -3*l - 2*k = -3*k + 8, 2*k - 4 = 0. Do l and -6 have the same value?
False
Let z(j) = -j**3 + 2*j**2 + 2*j - 3. Let y be z(2). Let m = -2 - y. Let t be ((-2)/m)/(2/6). Which is smaller: t or 0.1?
0.1
Let u(s) = -6*s - 3*s**2 + 5*s + 4*s**2. Let b be u(1). Let f be b/(-2*3/(-3)). Which is smaller: f or -1/4?
-1/4
Let t be 4/(-3)*(-6)/(-148). Are 0 and t non-equal?
True
Let c = -0.09 + 0.89. Let q = 0.9 - c. Let h = 0 + 0. Is q smaller than h?
False
Let v be (-2)/3 + (-6)/(-4). Suppose 12 = g - 4*q - 24, q - 75 = -5*g. Suppose 4*f + 8 - g = 0. Is v not equal to f?
True
Let t = -256/555 + 22/37. Suppose -3*h + 4*a = -5*h - 6, 0 = 5*a + 10. Let d be (-1 + (1 - h))*-1. Which is smaller: t or d?
t
Let j(t) = t**3 + 9*t**2 - 2*t - 19. Let x be j(-9). Is 2/67 >= x?
True
Let r be (3/3)/(1/5). Let j = r - 4. Do j and 2 have different values?
True
Let a(v) = -v**2 + 5*v - 2. Let g be a(6). Is g smaller than -8?
False
Suppose 0 + 1 = -f. Let c = f + 1. Suppose c*x + 2*x = 0. Which is smaller: x or -1?
-1
Let a be 2/4*16/(-10). Let n be 1/3 - 3/3. Which is greater: a or n?
n
Suppose -7*f = -11*f + 8. Which is greater: f or 4?
4
Let q = -14 - -13.9. Do q and -0.1 have different values?
False
Let s be 1*((-6)/(-1) - 2). Let z = -5 + -1. Let u be (5/z)/(2/(-6)). Which is greater: s or u?
s
Let h be 6/(-4)*2/3. Let a be -6*((-14)/(-6) + -3). Let z be 3 - a - (0 - h). Is -1 != z?
True
Let i(q) = q**3 - 9*q**2 + 2*q - 6. Suppose -2*v - 21 = -3*f, -f - 2*v - 6 = -21. Let t be i(f). Let r be 6/(-4) + 6/t. Is r smaller than 2?
True
Let u = -0.21 + 87.21. Which is greater: u or 0?
u
Let a(n) = 29*n + 4. Let k be a(-1). Which is smaller: 0.1 or k?
k
Let f(o) = -o + 16. Let n be f(11). Suppose n*w = 3*w - 4. Let a be (-9)/12 + 1 + -1. Is w at most a?
True
Let k(b) = b**2 - 13*b + 17. Let h be k(12). Suppose h*o - 1 = 4*p - 2, -p - 1 = 0. Which is smaller: o or -4/9?
o
Let s = 0.954 - -0.046. Let f = -4 - -12. Is f greater than or equal to s?
True
Let q = 5.2 + -5. Which is greater: 1.9 or q?
1.9
Let w be (-3)/(-12) + (-26)/8. Let u(n) = -n**3 - 3*n**2 + 2. Let d be u(w). Let f be d/6*15/1. Which is smaller: 3 or f?
3
Let y = -31 + 125/4. Is y not equal to -6?
True
Suppose 2*a = -a - 5*x + 12, -3*a + 12 = -5*x. Let j be a/12 + (-7)/3. Let u be 2 - (22/6 + j). Which is smaller: u or 1?
u
Suppose -5*u = 15, 3*a + 0*u - u - 39 = 0. Let v be 2/(-8) - (-75)/a. Let j be v/15 + 4/(-5). Which is bigger: 0.1 or j?
0.1
Let g be (-1 + -2)*26/(-3). Suppose 2*l + g - 10 = -3*y, 5*y = -20. Which is bigger: l or -1?
-1
Let i = -2.79 - -3. Let f = 0.01 - i. Let t = -0.04 + -0.96. Which is smaller: f or t?
t
Let y = 36 + -36. Which is smaller: y or -2/59?
-2/59
Let s be ((-2)/(-64))/(5/30). Which is bigger: -1/4 or s?
s
Suppose 7 = -m - 3*v + 1, 6 = -2*m - 3*v. Let c be (-108)/110 - (-4)/22. Which is greater: c or m?
m
Suppose -2*q + 2 = b - 4, 4*b = 2*q + 4. Let f = b - 0. Let o = -1 + f. Is 2 equal to o?
False
Let d(q) = 1. Let s(b) = b + 3. Let m(g) = -2*d(g) - s(g). Let u be m(-6). Which is bigger: u or 2/11?
u
Suppose -5*w - 46 = 3*j, j = -4*w - 8 - 26. Is w < -2?
True
Suppose -63 = -4*q + q. Suppose 2*t - 29 = 3*k, 68*k = 67*k + 5. Which is bigger: q or t?
t
Let n = -0.5 + 2.5. Let s = -3 - -4. Let x = s - n. Is 0 bigger than x?
True
Let c(p) = p**2 - 8*p - 1. Let l be c(8). Which is smaller: l or -1/22?
l
Let l = 16 - 19. Let f = 0.6 + -2.6. Which is greater: f or l?
f
Let u = -10.82 + 11.8. Let y = 0.02 + u. Let v = 0.3 + -0.1. Which is smaller: y or v?
v
Let m = -16 + 12. Which is bigger: -1 or m?
-1
Let q = 28 - 46. Is -18 less than or equal to q?
True
Let c = 4.6 - 1.6. Let i = c + -3.06. Is -2/7 at most i?
True
Suppose 2*v - 4*v = -3*a + 70, -4*a - 4*v = -80. Which is smaller: 1 or a?
1
Let l be (30/25 + 0)*-4. Is l less than or equal to -4?
True
Let f = -7.9 - -2.9. Suppose -2*j = -5*k + 3*j - 30, 3*k - j + 8 = 0. Which is bigger: k or f?
k
Suppose 2*h + b = 2 + 12, 0 = 5*b - 10. Which is smaller: h or 7?
h
Let v be (2*2/8)/(2/(-4)). Is 1/132 >= v?
True
Let i = -65 - -323/5. Is 0 at least as big as i?
True
Let i(w) = -w**3 + 19*w**2 + 22*w - 41. Let o be i(20). Which is smaller: -10 or o?
-10
Let m(g) = g - 5. Let n be m(5). Suppose n = -6*u + 2*u + 12. Suppose -9 = -u*p - 5*o, -8*p + 3*p - 7 = o. Which is bigger: p or -3?
p
Let b be 2*-1*(-2)/(-4). Let f be 750/27 - (b + 0). Let h = -29 + f. Is -1 <= h?
True
Let s(w) = -w. Let o(h) = h**2 - 4*h - 8. Let j be o(6). Suppose -x + j*p - 2 = -11, p = -2*x - 18. Let l be s(x). Which is greater: l or 5?
l
Let p = -3.4 - 0.6. Let m = 3 + p. Is -0.2 at most m?
False
Let l = 6.06 - 0.06. Let p = -2 + l. Let o = p - 4.1. Is -3 greater than or equal to o?
False
Suppose 2*a + 12 = 5*a. Let i be (6/8)/(-2*(-1)/8). Suppose i*z = a*q - 20, -2*z - 14 + 2 = -2*q. Is q at most as big as 3?
True
Let g = -7.02 - -0.02. Let o = 13 + -9. Let i = o + g. Which is smaller: 0 or i?
i
Let u(w) = w**3 - 3*w**2 + w - 1. Let t be u(2). Suppose 0 = q, 3 + 12 = -5*m - 3*q. Is m less than t?
False
Let l(p) = -p**2. Suppose -11 = -5*s - y, s - 2 = -4*y + 4. Let r be l(s). Let t = r + 5. Is t greater than -1/5?
True
Suppose 2*k - 14 = -a - 0*k, -36 = -4*a - 4*k. Suppose 4*c = -0*c + a. Is 0 less than c?
True
Suppose 14*w - 9 = -37. Let t(v) = -4*v**3 + 2*v**2 - 2*v + 1. Let k be t(1). Is w less than k?
False
Let r = -0.34 - -2.34. Let y be ((-4)/(-10))/((-36)/20). Which is smaller: y or r?
y
Let l(p) = -25*p - 102. Let m be l(-6). Which is smaller: m or 49?
m
Suppose m + 8 + 1 = 0. Is m != -10?
True
Suppose 9*z = 2*z + 14. Do z and 17 have the same value?
False
Suppose 26 = -3*t - 40. Is t greater than or equal to -22?
True
Let k = -7 - -7.5. Let z = k + -2.5. Let n = z + 1.9. Which is greater: 8 or n?
8
Suppose 6*k = 2*k - 4. Which is smaller: -1/15 or k?
k
Let t = 0.9 - -0.1. Let w be 0 - -319*(-9)/(-21). Let h = 137 - w. Is t <= h?
False
Let z(l) = -6*l**2 + l**3 + 6*l + 2*l**3 - 2*l**2 - 2*l**3. Let n be z(7). Do -7 and n have different values?
False
Suppose 0 = 3*m + 18 + 6. Let j = m - -6. Let h = 90/7 + -471/35. Which is greater: j or h?
h
Let p = 26 + -30. Which is bigger: p or -1/6?
-1/6
Suppose -2*n - 12 = 8*y - 5*y, -28 = 2*n - 5*y. Which is greater: n or -10?
n
Let g be (-32)/11 + (-2)/(-1). Let p = -28/55 - g. Let k = 0 - -0.2. Which is greater: k or p?
p
Let v(t) be the second derivative of -t**3/6 + 5*t**2/2 + 6*t. Let b be v(-5). Is 11 less than b?
False
Let m(r) = -r**2 - 8*r + 3. Let h be m(-9). Let l(b) = b + 5. Let s be l(h). Which is smaller: s or -4/7?
s
Let i be (0 + (-6)/(-4))*(-6)/27. Is i greater than 21?
False
Let y = -29.979 + 30. Let r = 5.779 + y. Let o = 6 - r. Which is greater: o or 1?
1
Let q = -24.99 - -11.9. Let g = q - -13. Let o = 0.91 - g. Is o at least 0.5?
True
Let s = -5/7 - -31/63. Suppose 5 = 4*u - 7. Suppose -j = -u*y, 0*j - 4*j + 17 = 5*y. Which is bigger: s or y?
y
Let d = 0.06 + 0. Let q = d + -0.16. Which is bigger: q or -1/3?
q
Let r = 6.699 - 40.829. Let k = 36.1 + r. Let f = 0.03 + k. Which is greater: f or 0?
f
Suppose -2*v + 6*v = 36. Are 7 and v nonequal?