 t. Let n be z(1). Let a = n + 26. Are a and 12 nonequal?
True
Let r be 6/3 - 0/1. Let q be r + (2/(-10) - 3). Which is smaller: -2 or q?
-2
Let b = -1229/15 + 82. Let j be (2/3)/((-2)/3). Which is smaller: j or b?
j
Let j(w) = -w**2 - 11*w - 12. Let x(v) = v. Let p(u) = j(u) - 2*x(u). Let i be p(-12). Let f = -3/47 + 80/517. Is i less than f?
True
Let a(k) = -4*k - 3. Let f be a(-2). Let v = f + 0. Is 0.1 at least v?
False
Let s(r) = -r - 7. Let k be s(-6). Let d = k + 6. Let z be d/15*(-6)/(-2). Which is smaller: z or -7?
-7
Let p = -0.1 + -0.5. Let q = -0.65 - p. Let m = q + -0.05. Are m and -0.02 non-equal?
True
Let h = -13 + 8. Let n be (1 - 3) + (-9)/h. Which is smaller: 0.1 or n?
n
Let d = 2.97 + -3. Let f = 0.13 + d. Is f at most -0.2?
False
Let h = -0.081 - 0.019. Which is bigger: 0.7 or h?
0.7
Let a be (-78)/5 - (-10)/(-25). Which is greater: a or -15?
-15
Let g = 6.3 + -6. Let t = 23.3 + -22. Let m = t - g. Is m <= -0.2?
False
Suppose -3*d + 4*z = 6, 3*z = -0*d + 3*d + 9. Let m = d - -5. Which is bigger: -1/14 or m?
-1/14
Suppose -2*n + 4*r + 26 = 0, -n - 2*r + 7 - 2 = 0. Let k be (-2)/n + 34/(-9). Let m = k + 3. Is 0 less than m?
False
Let f = 2 + 0. Suppose 22 = -5*c - 4*g, 0 = 4*c - 3*c + f*g + 8. Let o be -4*(14/6 + c). Is 0 > o?
True
Suppose 3*z + 29 = 2*v, -5*v - 65 = 5*z - 0*v. Are z and -8 equal?
False
Let u be ((-40)/38 - -1)*2. Let g(w) = w**3 + 14*w**2 - w - 13. Let j be g(-14). Is u < j?
True
Let p(u) = u**2 - 5*u - 1. Let g be p(6). Suppose -g*h = -15, -z + 40 = z + 4*h. Let q be 10/14 - (-4)/z. Is 2 bigger than q?
True
Let v(p) = -p + 5. Let h be v(3). Suppose h*f + 0*f = 0. Which is smaller: -1/3 or f?
-1/3
Let m = -0.16 - 5.84. Let o = m + 8. Let b = -4 - -3.9. Which is smaller: o or b?
b
Let x = -4.6 - 1.4. Let o = x - -5. Is o smaller than 2/11?
True
Let r be 38/21 - (-2)/(-3). Suppose 44*a = -3*a. Which is smaller: r or a?
a
Let q be (-43)/9 - (0 - 4). Which is greater: -1 or q?
q
Let g be -2 - 2/(12/9). Let b = 43/10 + g. Which is smaller: 0.4 or b?
0.4
Let n be (1 - 3)*2/20. Let t be (-105)/(-100) - 8/10. Which is bigger: n or t?
t
Let f = 269999/129 + -2093. Which is greater: f or 0?
f
Let d = 3.4 - 1.4. Is -1/2 bigger than d?
False
Let l be 2/(-21)*-3 + (-201)/(-105). Which is smaller: 1 or l?
1
Suppose -z + 1 = -0*z, z = -5*o - 14. Let u be (-45)/(-18)*4/(-5). Which is greater: u or o?
u
Let q = 3 + -3.1. Let b be ((-9)/8 + 1)*2. Is b bigger than q?
False
Let l be (-1)/30*(6 + -14). Is -1 less than or equal to l?
True
Let l = -161/270 + 17/27. Are 1 and l equal?
False
Suppose 0*u + u + 3*w + 14 = 0, 0 = 2*u - 5*w - 16. Let c = 43/3 + -212/15. Are u and c nonequal?
True
Let v(t) = 2*t**2 - t. Let z be v(-1). Suppose 3*k + z = -0. Is k less than or equal to 3/13?
True
Let b = 20 + -30. Let k = 0.062 - 12.062. Let l = b - k. Is 2 < l?
False
Let p be (-48)/(-21) - (-2)/(-7) - 156. Do p and -154 have the same value?
True
Let x = 2.4 - 2.4. Let a = -0.7 - -0.1. Let g = a - -0.3. Which is greater: x or g?
x
Let b(a) be the second derivative of -a**3/3 - 5*a. Let d be b(-2). Is 8/3 > d?
False
Let l be (-3)/1 - (-77)/22. Is l smaller than -6?
False
Suppose -4*m = -10 + 6. Which is greater: -2/19 or m?
m
Let r = 123/2 - 60. Suppose 3*b + 30 = d, 0*d - 3*d + 30 = -3*b. Let x = b - -12. Do x and r have different values?
True
Let p = -3 + 7. Suppose 5*l = 4*l - 5*j - 27, l + p*j + 22 = 0. Which is greater: -4/5 or l?
-4/5
Suppose -28 - 2 = -5*k. Let v(s) = -2*s**2 + 11*s + 7. Let j be v(k). Is j >= -2?
True
Let a(q) be the second derivative of -q**3/6 - q**2/2 - 2*q. Let x be a(-1). Suppose x*m = -2*j - m - 7, -5*j + 5 = -2*m. Which is greater: -4/11 or j?
-4/11
Let a(b) = -3*b**2 + 4*b + 3. Let g be a(6). Let j be (3 + 237/g)*-6. Suppose -d + 2 = 5*c, -2*c = 3*d - 5*d + 4. Are c and j unequal?
True
Let b = 0 - 2. Suppose 4*q = 6*q - 6. Suppose -r + 3*r + 7 = -3*l, q = 5*l - 4*r. Are l and b equal?
False
Let l = 3 + 1. Let a = l - 5. Let b = 0 - a. Is b not equal to 2/13?
True
Let t(i) = -i**3 + 6*i**2 - 3*i - 6. Let l be t(5). Suppose -v - 2*y + 5 + 0 = 0, -l*v = -2*y - 20. Let j be 12/v - 6/15. Which is bigger: -1/2 or j?
j
Let d be 10/(-15) - 44/(-57). Are d and 0.1 nonequal?
True
Suppose 3*b = -b - 24. Let k be (-1 - -2)/(-3 - b). Are k and 2/27 non-equal?
True
Let j = -5/4 - -1. Let z = 3 + -3. Are z and j unequal?
True
Let j(d) = -4*d + 2*d + 5*d + 7. Let v be j(-4). Are -1 and v equal?
False
Let v be 14/21*9/15. Which is greater: 72 or v?
72
Suppose -4*v - 2 = -v + g, 4*g + 25 = 5*v. Is 2/3 at least v?
False
Let p be (4/6)/(1/(-6)). Let n be -2*(-1 - 2/p). Let o = n - -1. Is 2/3 < o?
True
Let v = -0.3 + 0.2. Let q(n) = n**2 - 13*n + 4. Let u be q(8). Let a be (-26)/u - 3/6. Which is bigger: a or v?
a
Let s = -0.17 - 7.83. Let l = 6 + s. Let h = -2 - l. Which is greater: h or -3?
h
Let v = 0.53 + -0.5. Let b = -1.03 + v. Is b != 2/5?
True
Let z = -2/275 - -1937/1650. Are z and 1 equal?
False
Suppose 3*r = -2*m + 184, 3*r + 2*r = -4*m + 308. Suppose 8*a = 4*a + r. Suppose 5*x + a = -4*o + 2*o, 5*o - 2*x = -52. Are -10 and o unequal?
False
Suppose -o - 2 = -f, -4*o - 32 = 6*f - 2*f. Suppose -2*j = 2*j + 12. Let p = f - j. Is p at least 1/2?
False
Let a = -2 - -6. Suppose 12 = -2*p - 2*j, -5*j + 10 = -p - 2*p. Let q = a + p. Which is smaller: q or 2/9?
q
Let q = -30 + 29.961. Does q = 0?
False
Let m be (-72)/(-33) - (-6)/(-33). Suppose m*r - 6*r - 16 = 0. Is r smaller than -4?
False
Let x(u) be the first derivative of u**2 - 7*u - 8. Let a be x(3). Which is greater: a or 1/33?
1/33
Let y be 1*1*(2 - 6). Is -4 less than or equal to y?
True
Let j(m) = 3*m - 6. Let d be j(2). Which is bigger: -1 or d?
d
Suppose 2*j = 3*j - 2. Let b be (-96)/(-90) - j/3. Is 0.09 at most b?
True
Suppose 2*b = -b - 129. Is b != -44?
True
Let s(r) = -31*r**2 + 2*r - 1. Let g be s(1). Let n = 89/3 + g. Is -5 at least as big as n?
False
Let d(i) = i**3 + 3*i**2 + 2*i + 2. Let r be d(-2). Suppose r*y = 5*y - 18. Let g(m) = 4*m**2 + m. Let w be g(1). Is w greater than or equal to y?
False
Let u be 4/(-26) + (-6)/(-39). Does -8 = u?
False
Let n be 15/(-6)*(-2)/10. Let t be -1 + (18/2)/3. Let l = -1 + t. Is n != l?
True
Let i = -12 - -14. Is i at most 9?
True
Let u be (-1 - -3 - 7)/((-3)/3). Is u != 5?
False
Let f = 12 + -14. Does -8/11 = f?
False
Let l be (-5)/10*-10 - 1. Which is smaller: l or -13?
-13
Suppose f - 4*f = -24. Suppose c - f = 8. Which is greater: c or 15?
c
Let n be 5*(34*-1 - 0). Let x be -1 + 0 + (-209)/n. Let l = x + -1/34. Which is bigger: -1 or l?
l
Let u(k) = -3*k**2 - 6*k + 8. Let n(y) = y**2 - 1. Let b(c) = 4*n(c) + u(c). Let o be b(5). Which is bigger: 1/13 or o?
1/13
Let q = -12 - -14. Which is smaller: q or 2/3?
2/3
Let n(o) = o**3 + 15*o**2 - 7. Let y be n(-15). Is -5 bigger than y?
True
Suppose -4*w + 5*w = 22. Which is greater: 20 or w?
w
Let z be 0 + -2*(-2)/4. Let d = -48/13 - -309/52. Is z greater than d?
False
Let m = -2.3 + -2.7. Let l = -4.83 - 0.37. Let d = l - m. Is -3 bigger than d?
False
Let p(v) = -v + 3. Let l be p(-7). Let o = -5 + l. Suppose 4*c - 3*b = -5, -13 = -o*b + 2. Which is smaller: 1/2 or c?
1/2
Let w = -577 - -5183/9. Is -2 smaller than w?
True
Let v = -13 + 5. Suppose 0 = -l + 1 - 6, 4*l = 5*d + 15. Which is bigger: d or v?
d
Suppose 12 - 84 = 4*i. Let k be 50/18 - 4/i. Let m be -1 + 2*(-2 + k). Is 1 less than m?
False
Suppose 0*c + 15 = -c. Let v be (2/8)/(c/(-10)). Which is bigger: 0 or v?
v
Let o be (-2)/(-2) + 6/(-9). Let l(c) = c. Let a be l(-8). Let q be (-2)/(1 + (a - 1)). Is o at least q?
True
Let i(a) = -2*a - 9. Suppose -4*p + p = 15. Let g be i(p). Which is smaller: g or 2?
g
Suppose -5*w + 112 = 2*m - 17, 0 = 4*m + 3*w - 237. Which is bigger: m or 56?
m
Let g = -15 - -16.2. Let c = 1.4 + -1.6. Let a = c + g. Which is bigger: -1/5 or a?
a
Suppose 3*m + m - 10 = 3*h, 2*h - m + 5 = 0. Let o be (-8)/20*(-1 + 6). Do h and o have the same value?
True
Let n = 0.86 + -4.86. Which is bigger: -1.1 or n?
-1.1
Let f = -9.82 + -0.18. Let p = -18 - f. Let c = -11 - p. Is c <= -0.1?
True
Let z be (2 - 0)*10 - (-1 + 0). Is z equal to 21?
True
Suppose 9 = 3*k, -d - 4*k + 0*k + 12 = 0. Suppose 0*b - 5*b = d. Let o = 85 - 509/6. Which is smaller: b or o?
b
Suppose s - 1 = 7. Let t = s + -14. Let