*(-4)/(-6). Suppose 0 = -z + 2*n - n, -5*z + k = -3*n. Is z smaller than 3?
False
Let n = 1.46 - 1.26. Which is smaller: n or 0.3?
n
Let i be 2/(0 + 1/(-1)). Suppose -5*w = 3*s - 1, -5*w + 0*s - 5 = 5*s. Let l be i*-2*1/w. Which is smaller: l or 0?
0
Let g be (9/75*-1)/1. Which is bigger: g or 0?
0
Suppose -4*f = -2*f + 8. Which is greater: -6 or f?
f
Let w = 21 + -13. Let l = -2 - -3. Let v be 3*(7/w - l). Which is bigger: v or -1?
v
Let z = -48 + 48. Is z less than or equal to -0.46?
False
Let j be 6/(-9) + 12/18. Let g = -1 - -1.2. Is j > g?
False
Suppose x = -3*x + 8. Suppose 0*a + x*a + 6 = 0, 0 = -3*q + a. Suppose 8*z + 10 = -6. Is q bigger than z?
True
Suppose 9 = 96*x - 97*x. Is x bigger than 1?
False
Let b = 72 + -80. Which is bigger: -6 or b?
-6
Let h be -21 + 79 + -1 + 1. Which is bigger: h or 57?
h
Let n(r) = -2*r + 2. Let o be n(1). Are o and 0 equal?
True
Let k(p) = -p - 10. Let s be k(-15). Which is greater: 6 or s?
6
Suppose 0 = -7*y + 3*y. Which is bigger: y or -1?
y
Let n be (3 + -1)/((-1)/(-7)). Let i = 15 - n. Does i = 3/4?
False
Suppose 2*k + k = 6. Which is smaller: 5/3 or k?
5/3
Let a be -4 + 2 + (-495)/5. Is -101 less than a?
False
Let z(s) = -5*s - 3. Suppose x + 4 = -x. Let f be z(x). Which is greater: f or 6?
f
Let j be ((-2)/(-4))/((-1)/6). Let g = j + 4. Let n = -0.18 - -0.08. Is g < n?
False
Let t be 7173/((2 - 3)*1). Let x = t + 2230805/311. Let c = x - 2809/1555. Is c bigger than -3?
True
Suppose -3*t - 2*o = 6 + 2, -5*t + 2*o - 24 = 0. Is t at least -7?
True
Let s = -88 + 442/5. Suppose -6*x + 10 = -x. Suppose x = -2*y - 0. Which is smaller: y or s?
y
Let w = -2 - 0. Let a = w - -1. Which is smaller: a or 0?
a
Let v = -12715/9 - -9897/7. Let w = -6/7 + v. Let l = -1 - -1. Which is greater: w or l?
w
Let d be (-52)/(-14) + 20/(-5). Let t be 1/(-2*(-1)/22). Suppose -5*f - 10 = 0, -3*w + 4*f + t = -0*w. Is w < d?
False
Let o(v) be the first derivative of v**4/4 + 5*v**3/3 + 3*v**2/2 - 4*v + 3. Let h be o(-4). Let p be 3 + 59/(-19) + h. Is p > 0?
False
Let s = -2.3 - -0.3. Which is smaller: -8 or s?
-8
Let n = 0.7 + 0.3. Which is greater: n or -0.3?
n
Let u be (-1270)/(-66) + (-13 - -13). Let v be 296/15 + (-4)/10. Let b = v - u. Which is greater: 0 or b?
b
Let l(r) = 2*r**2 - 3*r**2 + 3*r**2 - 8*r - 3 - 3*r**2. Let t be l(-6). Suppose 4*z = -o + 24, 5*z - 2*o - 8 - t = 0. Which is greater: 6 or z?
6
Let r be ((-1)/15)/(4/204). Is r <= 2?
True
Suppose -2*d + 4 + 0 = 0. Let v = -4 + 6. Let y = 5 - v. Is d bigger than y?
False
Let i = 5 - 4.5. Let t = i - 0.4. Is t > 0.4?
False
Let v(s) = s**3 + 7*s**2 - 5*s + 7. Let o be v(-7). Are 42 and o unequal?
False
Suppose 4*m = 3*m - 5*v - 15, 3*v + 15 = 0. Let b be 2572/m*(-7)/(-14). Let d = b + -129. Which is bigger: d or 1?
1
Suppose 5*g + 7 = -3. Let a = g + 13. Suppose 29 = -3*b + a. Do -6 and b have different values?
False
Suppose 0 = -3*x - 4*a - 2 + 3, 4*x - 3*a = 18. Suppose 2*f - x = 3*h - 8*h, -4*h + 7 = -3*f. Which is smaller: f or -2?
-2
Let i = 0.72 + 4.28. Let p = -7.5 + 2.4. Let v = p + i. Which is smaller: 1 or v?
v
Let b = 196 + -178. Is 20 <= b?
False
Let s be ((-2)/(-8)*1)/1. Suppose -4*h - 15 = -5*h - 3*i, h + 4*i = 20. Is h bigger than s?
False
Let p be ((-8)/(-10))/((-4)/(-40)). Let c be (2 + p/(-3))/(-1). Suppose -25 = m - 6*m + 5*x, -11 = -3*m + 2*x. Is m equal to c?
False
Suppose -14 = -o - 8. Is o smaller than 11?
True
Let h be 5/((-4 + 5)/(-1)). Is 1 > h?
True
Let o(n) = n**2 - 2*n - 7. Let v be o(6). Which is smaller: 16 or v?
16
Suppose -4*c - 6*i + i = -16, 0 = -c + 2*i - 9. Let s = 768 - 9990/13. Which is smaller: c or s?
c
Let b = 34/3 - 11. Which is smaller: b or 1?
b
Let m = -1.77 + -0.23. Let o = 0.25 + 0.05. Which is bigger: m or o?
o
Let q(v) = v**2 + 3*v + 4. Let i be q(-3). Let c(k) = -2*k**2 + 4*k. Let n be c(4). Let g be n/(-6) + (-2)/(-6). Is g < i?
True
Let v = -1 + 0.95. Let b = v + 0.45. Let g = 0.6 + b. Which is smaller: 2 or g?
g
Let j be 522/(-5) + 27/(-45). Let m be (10/j)/(4/6). Is -1 >= m?
False
Let r be 46/(-3)*22/4. Let y = -85 - r. Is y smaller than -5?
False
Suppose -7 = 5*x + 13. Let i be (-15)/x - 40/10. Is -6 <= i?
True
Suppose 0 = 4*a - 0*a. Suppose a = -17*g + 12*g. Which is smaller: 1/3 or g?
g
Let k be -1*(-2 - (0 - -2)). Suppose -k*z - z + 17 = 3*b, -2*z + 11 = -3*b. Let n be 1*2/45*(-50)/(-5). Is n greater than or equal to b?
True
Let g = -9796/69 - -142. Is g equal to 0?
False
Let d = 165388303/970 - 852513/5. Let x be ((-1)/2)/(97 - 0). Let u = x + d. Is 2 <= u?
False
Let s be 2/(-4)*2 + 1 + 1. Which is bigger: s or -4/121?
s
Let c = 31 + -16. Which is bigger: c or 16?
16
Suppose 4*q = 5*v + 3, 0*v - 12 = 2*q + 2*v. Let f = 0.4 + -1.4. Let w = -1 - f. Do q and w have different values?
True
Suppose 2*d = -3*j - 8, 4*j = 2*d - 7*d - 13. Let u = -9 - -12. Let y be u/(-9) + 5/15. Is y at least d?
True
Suppose -4*z + 2*z + 85 = -5*w, -14 = w - z. Is -20 greater than w?
False
Let t = -0.6 + -0.5. Let o = 0.8 - -0.2. Let s = t + o. Which is bigger: 0 or s?
0
Let o(g) = g**3 + 4. Let d be o(0). Let s be 1 - -1*(-3 + d). Is 2 equal to s?
True
Let g = -31 + 31. Which is bigger: g or 8/31?
8/31
Let g = -119 + 122. Which is smaller: g or 21/11?
21/11
Let a be (2/18)/((-28)/(-8)). Which is smaller: 1 or a?
a
Suppose 2*v + 0 = -6. Which is smaller: v or -9?
-9
Let j(p) = -p**3 + 5*p**2 + 2. Let k = 11 - 7. Let q be j(k). Suppose -3*x + 2*s - q = 0, -2*x - 24 = 2*x + 2*s. Which is smaller: x or -5?
x
Let p = 47/30 - 9/10. Suppose -4*m - 4*o - 16 = 0, o = -3*m + 4*o - 24. Let n = 7 + m. Is p equal to n?
False
Let m = -11 - -15. Suppose i - 7 - 2 = 0. Let k be i/(-36) - (-17)/m. Is k < 0?
False
Let l(q) = q**2 - 2*q - 18. Let p be l(5). Suppose -3*o + o = 2. Which is smaller: p or o?
p
Let a = -11 - 10. Do -21 and a have different values?
False
Let u = -29 - -12. Let n = u + 12. Let t = n - -4.6. Which is smaller: t or -2/3?
-2/3
Let p(q) = q**3 + 11*q**2 - 14*q - 29. Let b be p(-12). Does b = 2?
False
Suppose -9*x + 6*x = -3. Suppose 0*b = -b - x. Is b not equal to 1?
True
Let s = 4 + -3.9. Which is smaller: s or 3/7?
s
Let g be 22/(-33) - (-133)/(-3). Let r be (3/g)/(5/(-15)). Suppose 3*n + 4 = 1. Is r >= n?
True
Let d be 2/(-2 + 0/(-1)). Let z(b) = -b**3 + 5*b**2 - 3*b + 1. Let h be z(4). Suppose 0 = 2*f - h*t - 23, 0 = -f + 5*t + 12 + 12. Is d at most f?
True
Suppose -t = -4*t - 3. Suppose 5*h - 16 = -6. Is t equal to h?
False
Let k(o) = -o + 13. Let h(v) = v - 12. Let y(j) = -6*h(j) - 5*k(j). Let s be y(11). Is s greater than -5?
True
Let m = 14.68 - -0.32. Let a = -26 + m. Is a >= 1/4?
False
Let x = 5 - -1. Let q = -5.6 + x. Let n = -0.2 + q. Which is smaller: n or 0?
0
Let d = 20.9698 + -0.0898. Let y = 21 - d. Which is bigger: y or 1?
1
Let z(n) = n**2 - 8*n + 1. Let a be z(6). Let p be 4/10 - (-1188)/(-120). Which is greater: p or a?
p
Suppose 6*o = 3*o. Let w = 1/3 - 5/6. Which is greater: o or w?
o
Let g(z) = z**2 - 3*z + 3. Let k(d) = d**2 - 12*d + 15. Let y be k(11). Let o(r) = r**2 - 4*r + 2. Let m be o(y). Let p be g(m). Which is greater: 0 or p?
p
Suppose -52 = 3*f - 5*m, -2*f - 2*m - 9 - 15 = 0. Suppose -a - 16 = -3. Which is bigger: a or f?
a
Let h = 15 - 2. Suppose -4*m - h - 9 = -s, 28 = -4*m + 4*s. Let o be m + 8 - (-17)/(-5). Which is bigger: -1 or o?
o
Suppose -3*x = 2*b - 9, 3*x = 4*b + 7*x - 24. Is 9 <= b?
True
Let x = -612/5 - -122. Suppose -4 = k - 2. Let l = 1 + k. Is l not equal to x?
True
Let q = -24122386/63 - -382905. Let k = q + -86/9. Suppose -5*g + 0*g = 0. Is g > k?
False
Let p = -5 + 5. Let j = 45/2 - 491/22. Which is smaller: j or p?
p
Let s = -3 + 11. Are 8 and s equal?
True
Let o be (-4 + 33/6)*(-8)/39. Is 0 >= o?
True
Let u be 33 + (2 - (-1 + 1)). Let l = u + -22. Suppose -6 = -5*o - 5*v + v, -4*o = -5*v - l. Which is greater: 1 or o?
o
Let q = 59 - 67. Is q <= -8?
True
Let d be ((-13)/507)/(2/3). Is 1 equal to d?
False
Let w(d) = -d**2 + 7*d - 2. Let f = 1 - -5. Let o be w(f). Suppose 5*n - 2 = 4*n. Which is smaller: n or o?
n
Suppose -5*h + 3*j = -2 - 19, 4*h - 4 = -4*j. Let m = 7 - 1. Let b(w) = w - 2. Let k be b(m). Which is smaller: k or h?
h
Let r be (16/(-660))/(4/(-10)). Which is greater: r or 0?
r
Let j(l) = -1. Let t(g) = -g**3 + 9*g**2 - 9*g + 14. Let k(s) = -3*j(s) - t