 Let z be l(3). Suppose 4*t + 4*h - 1 + 13 = 0, z*t + 15 = h. Is t bigger than 0?
False
Let a = -1/52 - 3/13. Let h be 12/9*(-3)/(-2). Suppose h*z = -9*b + 4*b, -2*z = 2*b. Which is bigger: a or z?
z
Let b be (6/4)/(9/24). Suppose -b*d + 12 = -0*d. Which is greater: 0 or d?
d
Let j = -0.21 + 0.09. Let p = 0.22 + j. Which is smaller: 24 or p?
p
Let n = 3 - 2.9. Let h = 0 - n. Let c = 0.5 + -0.8. Which is smaller: h or c?
c
Let h = -1 + 0. Let r = -0.1 + 1.2. Let c = h + r. Which is greater: 1 or c?
1
Let l = 36.8 + -43. Is -1 > l?
True
Let x = -3407/10 + 341. Let o = x - 11/70. Which is smaller: -1 or o?
-1
Let h be (-16)/(-228)*(7 - 1). Let b be 1/(-4)*(-102)/(-38). Let i = h + b. Do 0 and i have different values?
True
Suppose -20 = -4*w, 3*w - 85 = 4*v - 26. Let t = v + 8. Which is smaller: t or 1?
t
Let b = -1 - -1. Let j = 38 + -39. Is b bigger than j?
True
Let x(d) = 2*d**3 - 2. Let g be x(-2). Let r be 4/g - (-20)/9. Suppose -5*t + 2 = -3. Is t equal to r?
False
Suppose -a + 32 = 3*a. Let o = 12 - a. Suppose -5*y = 4*v + 6, o*y + 5 = -5*v - y. Which is greater: 3 or v?
3
Suppose -52 - 28 = -5*z. Suppose -z = -3*v - 7. Is 3 < v?
False
Suppose 4*q = 4*w - 4, q = 2*w + 5 - 6. Suppose -5*l = -10, 4*s - 5*l + 3*l + 4 = 0. Suppose s = 2*f + p - 4, f = -w*p + 3*p - 5. Is 3/2 at least f?
True
Suppose 2*m - 5 = 63. Suppose -y = p - 8, 4*p + 0*y + 5*y = m. Which is bigger: p or 7?
7
Let v = 6 - 2. Let u = 4.3 - v. Let q = u + 1.7. Is 0 equal to q?
False
Let w = 7 - -3. Suppose 14 + w = 3*b. Suppose 5*j - 20 = -5*y, -j + 2 + b = -5*y. Which is greater: j or 4?
j
Let c = -1.7 - -0.3. Let l = 1.2 + c. Is l < -0.01?
True
Suppose -3*n - 20 = 2*n, -n = -4*x + 12. Let i = -101 - -102. Are i and x nonequal?
True
Let q(w) be the second derivative of -w**5/20 - w**4/6 - w**3/6 + w**2/2 - w. Let n be q(-1). Which is greater: n or -3/16?
n
Let b = 21/16 - 197/144. Which is smaller: b or 0?
b
Let d = -84 + 79. Is -10 at most d?
True
Suppose 4*a - 6 = 2*m + 2, 4 = 5*m + 2*a. Suppose f + 0*f - 6 = m. Let d be 13/(-6) - (-1)/f. Which is smaller: -0.3 or d?
d
Let x be -26*1/(-60) - 6/60. Let a = 4 - 3. Which is smaller: a or x?
x
Let w be 7*-2*2/4. Suppose -3*s = 7 + 17. Is w at most s?
False
Let v(o) = -3*o + 2*o + 9 - o**3 + 2*o - 9*o**2. Let f be v(-9). Suppose 5*b + 2*z + 4 = 0, 3*z - 3 = 6. Which is bigger: b or f?
f
Let r = -15.1 + 18. Let b = r - 3. Which is greater: b or 2/5?
2/5
Let u be ((-2)/3)/((-8)/(-6)). Let w = 20 - 16. Which is smaller: u or w?
u
Let n = 24 + -27. Is -0.01 > n?
True
Let s be 24/168*1*-2. Which is smaller: 7 or s?
s
Let d(z) = 21*z + 19. Let o be d(-1). Which is smaller: o or -1?
o
Let j be ((-51)/(-85))/((-12)/(-50)). Suppose 0 = 4*z - 16. Is j < z?
True
Suppose 5*v + 28 + 77 = 0. Is v less than -21?
False
Let u(a) = a + 3. Let p be u(-4). Suppose -5*y = -3 - 22. Suppose 0 = y*b - 3*b. Is b at most as big as p?
False
Let f be 4*8/438*3/8. Are f and 0 equal?
False
Let y = 10 - 10. Are y and -2/5 nonequal?
True
Let h be (9/(-4))/((-3)/8). Let k be (3/6)/(1/8). Suppose k*p = h*p + 4. Is -3/5 greater than or equal to p?
True
Let h be 1/(-2)*(0 - -27). Let y(r) = -15*r - 1. Let m be y(-1). Let f = m + h. Is f less than or equal to 1?
True
Let t(h) = h**3 + 9*h**2 - 3*h + 4. Let a be t(-9). Suppose -5*p + 9 - a = -w, -4*p + 4*w - 24 = 0. Which is greater: p or -1?
-1
Let h = 7 - 4. Let q(s) = -6 - s**3 - 6*s**2 + 2*s**h - 6*s - 2*s**3. Let z be q(-5). Are z and -1 unequal?
False
Let a be (-1 + 1)/(-1 - -2). Let o = -304 + 1522/5. Is a <= o?
True
Suppose 0 = 5*b + 162 - 32. Which is greater: -27 or b?
b
Let t = 183 + -184. Let r be (3/4)/(2/(-8)). Let d be -1 - r/((-18)/(-4)). Which is smaller: t or d?
t
Let k be 14/105*(-6)/4. Do 1 and k have the same value?
False
Suppose p - 3*p = -2. Which is bigger: p or 0.2?
p
Suppose -19*u = -14*u + 5. Suppose 0 = -6*z + z. Which is greater: u or z?
z
Let x be 2 + -4 + (-8)/(-2). Suppose 0*w - 2 = -x*w. Which is greater: w or 0?
w
Let k be (-144)/(-20) + ((-48)/15 - -3). Is k <= 7?
True
Let l be (3 + -4)/(-3 - 9/(-1)). Is l < -2?
False
Suppose y = -4*y + 5*u + 15, y + 5*u + 9 = 0. Is 2/5 smaller than y?
True
Suppose 18 - 17 = -d. Which is smaller: 0 or d?
d
Let h be ((-2)/8)/((-3)/(-12)). Let c be (-4 + -1)*(-4)/(-10). Let m = h - c. Is m < -1?
False
Let w = -5 + 3. Suppose 0 = -3*m - 2*m + 25. Suppose -4 - 6 = m*q. Do w and q have the same value?
True
Suppose 4*b = 3*b + 8. Do 8 and b have the same value?
True
Let n be (20/4 - 4) + 142/(-138). Is n not equal to -2?
True
Let c(m) = -30*m**2 - 3*m + 29*m**2 + 2*m + 4. Let v be c(-3). Suppose -4*y = -3*s + 6, -4*s - 11 = 3*y - 2*y. Is v at most s?
True
Let q be (-1)/41 + (0 - 0). Let o = -61/861 + q. Let d be 4/3 + (-2)/6. Which is smaller: d or o?
o
Let t(j) = -5*j**2 + 7*j + 6. Let n be t(9). Let q be (-1226)/n + (-3)/(-9). Let p = -27/7 + q. Which is bigger: p or 1?
1
Let r be ((-7)/(63/138))/((-8)/(-12)). Is -3 less than r?
False
Let g(n) = n**3 + 14*n**2 - 16*n - 16. Let c be g(-15). Are -4/7 and c nonequal?
True
Let h be (2 + 5)/((-2)/(-4)). Let k be 4/h*(-339)/24. Let u = k - -30/7. Is -1 greater than u?
False
Suppose -10 = -2*r + 4*l, 0 = 5*l + 3 + 12. Is r != 3/26?
True
Let n(z) = z**2 - 5*z - 5. Let d be n(6). Suppose 0 = -2*p - d - 5. Is p > -3?
False
Let c(m) = -m**3 - 5*m**2 + 6*m. Let x be c(-6). Which is smaller: x or -10/7?
-10/7
Let n(x) = x**3 - 2*x**2 - 9*x - 2. Let q be n(4). Is q smaller than -6?
False
Let w(y) = -y**2 - y + 4. Let r be w(3). Let n be 2/r + 35/300. Is n greater than -1?
True
Let l be ((-12)/10)/((-18)/30). Let h be (0 - 1)*2 - -4. Is l equal to h?
True
Let q = 51/308 - 1/44. Is 1 less than q?
False
Let d(y) = 6*y - 5. Let i(h) = h - 1. Let u(a) = d(a) - 5*i(a). Let o be u(2). Suppose 5*c - c = o*m, -m + 1 = -3*c. Which is bigger: -1 or m?
-1
Suppose -h - 2 = -0. Suppose 145 = 6*w - w. Let j = -59/2 + w. Does h = j?
False
Let s be 1 - (-1)/(-1) - 0. Let k = 0 - -14. Let r be 14/6*(-4)/k. Which is bigger: r or s?
s
Let p = 3/8 + 1/8. Are -0.17 and p unequal?
True
Let d = -1.2 + 1.3. Is d < 1/50?
False
Let p be 50/(-15) + 1/(-6). Which is smaller: -4 or p?
-4
Suppose -5*c + 5 = 5*m, 4*m = 2*m + c + 8. Suppose 5*f - 18 = m*f. Is f greater than or equal to 0?
True
Let a(v) = v - 6. Let m be a(6). Let l be (-10)/(-3)*(-6)/(-5). Let x = l - m. Is 3 greater than x?
False
Let a be (10/44)/(16/(-64)). Which is smaller: -1 or a?
-1
Let s be (5/(-20))/((-1)/4). Which is smaller: s or -4/87?
-4/87
Let i = 1.9 - 3.9. Are 0.1 and i equal?
False
Let k = 1.013 + -0.013. Is k bigger than -0.52?
True
Suppose 3*q = 3 + 9. Let c be (-2)/(-6) + q/(-3). Let b = -0.1 - -0.2. Which is greater: b or c?
b
Let m = -6 - -6. Let j = m - -1. Which is bigger: 2 or j?
2
Suppose 0*q - q + 4 = 0, -4*q = -5*a - 6. Let i = -7 - -4. Let k be (-1 + 1)/(-4 - i). Which is smaller: k or a?
k
Let i be 1 - (14 - 0)*-1. Let j be (-3)/i*(1 - 0). Which is smaller: j or 1?
j
Suppose -3*o = -2*o - 2. Let w be (2/o)/(3 + -4). Which is smaller: 1/8 or w?
w
Let q(r) = -2*r + 6. Let o(c) = -c**2 - 10*c - 12. Let d be o(-8). Let u be q(d). Let j be (1 - -1) + -1*3. Is u less than or equal to j?
True
Suppose 10*t - 3*t = 7. Let p be 6*-2*(-1)/14. Is p <= t?
True
Let p = 113 - 112. Which is greater: p or -2/5?
p
Let k = -1 + 2. Let z(d) be the third derivative of d**5/60 - 4*d**2. Let g be z(k). Is g at most as big as 4/7?
False
Let x = 7.895 + 0.105. Which is greater: x or -2/5?
x
Let v = -19 - -17. Is v < 0?
True
Suppose -3*c - 6 = 0, -g - c = 77 - 231. Let n = -615/4 + g. Which is bigger: n or 1?
n
Let n be 6/(-8) - (-222)/(-24). Let v be (24/20)/((-1)/n). Suppose 4*b = -0 + v. Is b less than or equal to 3/2?
False
Let y be 1/(-5) - (-5 - (-447)/15). Are y and -26 unequal?
True
Let u = 43 - 44. Which is smaller: 6/29 or u?
u
Let d be (-4)/18*(-14)/(-84). Which is greater: d or -1?
d
Suppose 2*y = -1 + 5. Suppose 0 = -2*m - m + 4*k + 18, 0 = 4*m + y*k - 24. Let l be 2/m + (-4)/(-6). Which is smaller: 1/9 or l?
1/9
Let w = -127 - -151. Which is smaller: w or 0.1?
0.1
Let k = -7 + 27/4. Suppose 0 = -5*r + 2*r - 6. Let x = r + 1. Which is smaller: x or k?
x
Let d = 55 + -56. Let o = 1391/10 - 139. Is o < d?
False
Suppose 4 - 10 = -3*r. Suppose -2*m = -5*v + 25, 0 = 