e 1/(-7) - (-2)/14. Do 2/35 and t have the same value?
False
Let t(z) = z - 2. Let s = -2 + 4. Let w be t(s). Suppose -g - 20 = -5*m, -5*m + 9 + 11 = 0. Is w at least as big as g?
True
Let j(w) = w**3 + 13*w**2 - 9*w. Let t be j(-13). Let c be (-16)/104 - 8/t. Which is smaller: 0 or c?
c
Let p be (-2)/12 + (-10)/12. Let i(x) = -x**3 - 7*x**2 - 6*x - 5. Let d be i(-6). Let l be (2/(-5))/(p/d). Is l > 0?
False
Let l be 116/(-16) + 1/4. Let s(i) = i**3 + 8*i**2 + 8*i + 8. Let t be s(l). Which is smaller: t or 2/7?
2/7
Let o = 8/19 - 6/19. Is o equal to 3/5?
False
Let g = -2 + 6. Suppose 6*u = u - 2*x, -4*x + 12 = g*u. Is -2 greater than u?
False
Let n = -6.11 - -6. Let t = n + -0.19. Is t smaller than 1?
True
Let j be (-61)/(-20) + -5*(-2)/50. Which is smaller: 4 or j?
j
Suppose 0 = -5*c - 0*c. Let y be c + 6/(-4)*2. Let g(k) = k**3 + 8*k**2 - 10*k - 12. Let m be g(-9). Is m smaller than y?
False
Let d = -222 - -235. Suppose 4*z - 13 - 35 = 0. Which is greater: d or z?
d
Suppose -c + 3*n = 5, 0*c + 2*c + n - 11 = 0. Suppose b + c*f - 15 = -0*b, 5*b - 4*f = 3. Let g be b/12 - 1/2. Which is greater: g or 1?
1
Suppose 2*h = 7*h - 15. Suppose h*k - 10 = -2*k. Suppose 0 = 7*b - k*b. Is 1 <= b?
False
Suppose -3*f + 4*p - 3 = -8*f, 0 = -3*p - 9. Which is smaller: f or 33/8?
f
Let l = 0.098 + -1.038. Let s = -0.06 + l. Which is smaller: 17 or s?
s
Let g(i) = -3*i + 52. Let o be g(17). Is 15/8 smaller than o?
False
Let u = -96 - -98. Which is smaller: -0.09 or u?
-0.09
Let h = 55/2 - 27. Is h bigger than -5?
True
Suppose -3*c = -0*c - 21. Suppose 2*b = i - 12, -i + c = -b - 1. Is b greater than or equal to -0.1?
False
Let o(a) = a**2 + 9*a + 1. Let j be o(-9). Let h be -9 - (-2)/(-4)*2. Let f be (2/10)/((-4)/h). Which is smaller: f or j?
f
Let q be 7/(-35) + 276/5. Which is bigger: 56 or q?
56
Let l = -10 + 14. Let h be 0/l + (-4)/(-14). Which is greater: h or 1?
1
Let v = -118 + 163. Which is greater: v or 43?
v
Let h = 3.014 - 0.014. Which is smaller: 4 or h?
h
Let y be (-5)/30 - (-1)/6. Suppose -11 = -5*p - 3*o - 0*o, -9 = -3*p - o. Let k be (-36)/(-104) + (-2)/p. Is k greater than y?
False
Let c = -10.126 - -0.226. Let a = -0.1 + c. Do -1/4 and a have the same value?
False
Let x = -26 - -26. Which is smaller: x or -3/41?
-3/41
Let w be (44/11)/(2 - -2). Is 2/23 != w?
True
Suppose 0 = 113*k - 109*k. Let q(d) = -4*d**2 - 14. Let l(y) = y**2 + 5. Let h(c) = -7*l(c) - 2*q(c). Let o be h(k). Is -7 greater than o?
False
Suppose 0 = 7*v + 98 - 14. Is v < -13?
False
Suppose -2*q - 48 + 224 = 0. Let r = 33871/374 + -12/187. Let c = q - r. Is c at least -4?
True
Suppose 0 = 3*b + 2*s - 236, 0 = b + 6*s - s - 83. Let g be 4/(-6) - b/18. Suppose 27 = -2*o - 7*j + 4*j, 4*o + j + 29 = 0. Are o and g unequal?
True
Let s = 440 - 4834/11. Which is greater: s or 1?
1
Suppose 0 = 5*g + 9 + 1. Let i = g - -1. Which is bigger: -3 or i?
i
Let g = 25 + -26.7. Is g smaller than -0.2?
True
Let t(u) = -u**3 + 5*u**2 - 3*u - 2. Let k be t(3). Let p be ((-1)/2)/((-2 - 0)/28). Does k = p?
True
Let q = -0.47 - -0.5. Let b = -0.05 + -0.02. Let h = q - b. Is -0.3 less than h?
True
Let l be 13/(-4) + 2/8. Is -3 at least as big as l?
True
Let z = 8 - 11. Let u = -2 - z. Let f = u + -1. Is -0.2 > f?
False
Let y be 3/(-24)*1214/205. Let t = 2/205 - y. Is 3 smaller than t?
False
Suppose -y - 3*z + 3 = 0, -2*z + 0 = -4*y - 2. Suppose -4*u + 9*u + 15 = 0. Let b be (-5)/u*(-4)/(-50). Is y at most as big as b?
True
Let z = 1 - 2. Are 38 and z unequal?
True
Suppose -12 + 33 = -3*g. Let q = g + 7. Is q != 1/3?
True
Let m = 32/189 - 20/27. Is 0 bigger than m?
True
Let h = -35 + 36. Which is smaller: 1.3 or h?
h
Let r be 1/1 - (-69)/3. Let x be (-78)/r + (4 - 1). Is x greater than or equal to 0?
False
Suppose 4*l + 10 = 26. Suppose l*y = y. Suppose -2*n + u = y, n + 2*u - 1 = -6. Which is smaller: 1/4 or n?
n
Let r(k) = -k**3 + 8*k**2 - 7*k + 3. Let m be r(7). Suppose -m*a = 2*a + 30. Let l be -2*((-7)/(-2))/1. Which is greater: l or a?
a
Let x be (4/(-6))/(9 + (-490)/30). Which is greater: 1 or x?
1
Let l = -5 - -20. Suppose 4*f - l = 13. Suppose -f*r = -3*r. Which is smaller: r or 6/5?
r
Let d = -18 + 51. Let h be (1 + d/(-12))*4. Let a(c) = c + 8. Let l be a(h). Is 2 greater than or equal to l?
True
Let k(p) = -p**3 - 6*p**2 - 6*p. Let g be k(-5). Suppose 4*y + 0 = 2*c + 10, 3*y + g*c + 25 = 0. Which is greater: -2/13 or y?
y
Let y = 0.0161 - 4.0761. Let z = y - -0.06. Which is smaller: -2 or z?
z
Suppose -29*v = -28*v + 5. Is -5 at most as big as v?
True
Let n be -5*(2/5 + -1). Suppose -n*x - 5*h = 12, -2*x + 5 = -3*h + 2*h. Is 1/17 < x?
True
Let w = 1.07 + -0.67. Which is smaller: 9 or w?
w
Let z = -1564609769531/2365 + 661568627. Let c = z + 9/946. Let p = c - 14. Which is smaller: -1 or p?
-1
Let o(m) = -m**2 - 9*m - 10. Suppose -3*z - 12 = 9. Let u be o(z). Is 4 bigger than u?
False
Let r = 0 + 3. Do r and -1/4 have the same value?
False
Let m = -7527 + 30581/4. Let v = -105 - -224. Let w = m - v. Which is smaller: w or -2?
-2
Let y(q) = q**3 - 5*q**2 + 1. Let p be 14/4 - 3/(-2). Let n be y(p). Which is smaller: n or -1/22?
-1/22
Suppose -z + 4*z = -5*q - 9, 3*q + 1 = -4*z. Suppose -3*k - 2*k = -5, 2*l = -2*k - 6. Let r be 3*2/l*-2. Which is bigger: r or z?
r
Let z = -0.67 + -0.31. Let w = z - -1. Which is bigger: -2/5 or w?
w
Suppose 5 = 5*l - 5. Suppose 0*h - 14 = -l*h + 4*y, -2*h - 3*y - 7 = 0. Suppose -i + 0 + h = 0. Is -2/13 greater than i?
False
Let h be (-16)/40*((-6)/(-4))/3. Which is greater: h or 1?
1
Let b(o) = 2*o**2 - 4*o - 1. Let c be b(3). Let p(h) = h + 1. Let k be p(5). Is k < c?
False
Let y be (4/6)/(6/(-9)). Which is smaller: -4/17 or y?
y
Let h = 2689/13 + -207. Let x be 2/(-8) - 5/(-20). Is x at most as big as h?
False
Let x be (-3 - -1)*(-6)/(-354). Is 1 bigger than x?
True
Let k be -3 - -3 - (-16)/(-150). Let c = -2/75 + k. Suppose b = f - 2*f - 2, f = 4*b + 8. Which is smaller: c or f?
c
Suppose -y = -5*y - 56. Are y and -14 unequal?
False
Suppose -12 = 3*k - 3*q, -8 = 2*q - 18. Which is smaller: -1/53 or k?
-1/53
Let h = -52 - -154/3. Let p = 5 + -2. Suppose -3*m - 3 = 3*f - 8*m, 0 = p*f - m + 3. Is h bigger than f?
True
Let r(u) = 7*u - 1. Let v(f) = 8*f - 2. Let c(p) = 7*r(p) - 6*v(p). Let x be c(-4). Let d be 10*x/((-10)/4). Is d < -0.1?
True
Let d = -8 + 70. Is d equal to 64?
False
Suppose 0*o - 2*z = o + 7, -2*o + 2*z = -10. Which is greater: o or 2/117?
o
Suppose -3 = -5*h - 33. Is h at most -6?
True
Suppose -7 = 2*i + 5. Suppose 0 = 2*h + 5*g - 9, -h - 3*g = -6. Let j = -2 + h. Which is smaller: j or i?
i
Suppose -2*f = 5*j - 0*j - 7, 3*f - 4*j + 24 = 0. Let b be (-2)/f*0/5. Is -2/3 greater than b?
False
Let u(v) = -v**2 - 7*v - 9. Let k be u(-4). Which is smaller: -2 or k?
-2
Let g = -15 - -10. Let y(z) be the first derivative of -z**4/4 - 5*z**3/3 - z**2/2 - 4*z + 2. Let w be y(g). Is w greater than 2/11?
True
Suppose 42 + 43 = -3*k + 4*w, -5*k - 5*w - 95 = 0. Is k not equal to -23?
False
Let k(d) = -14*d**2 + 23*d + 8. Let o(p) = -3*p + 0*p + 0*p + 5*p**2 - 3 - 5*p. Let n(u) = -4*k(u) - 11*o(u). Let a be n(4). Which is greater: a or 6/7?
a
Let s(a) = a**2 + 2*a - 1. Let g be s(-3). Let l be g/(-5)*20/28. Which is bigger: l or -1/4?
-1/4
Let v = 0.2 - -0.5. Let s = 3.7 - v. Is s at most as big as 1?
False
Let m be (-1)/(-3) + 2/3. Suppose -3*v + 192 = -2*f, 2*v - 126 = f + f. Let c = 464/7 - v. Which is bigger: c or m?
m
Let k(g) = -4*g**3 + g**2 + 2*g + 2. Let a(u) = 5*u**3 - u - 3. Let x(s) = -3*a(s) - 4*k(s). Let o be x(5). Is o greater than -1/7?
True
Let z = 0.2 + -0.4. Let k = -1.2 - z. Let f = 2.1 + -2. Is f at most k?
False
Suppose -9*v = 3*v + 12. Which is greater: v or 1/9?
1/9
Suppose 0 = 3*g - 18. Suppose -5 = g*d - d. Suppose 2*i - 7*i = 0. Which is smaller: d or i?
d
Let a(l) = l**2 - 8*l - 1. Let j be a(8). Let w be (-6)/(-33)*9/(-6). Which is greater: w or j?
w
Suppose -h - h = -4*q + 6, 12 = 5*q + 2*h. Suppose q*y + 10 = 7*y. Do 3 and y have the same value?
False
Suppose 18 = 5*v - 17. Are v and 8 equal?
False
Let r(o) = 8*o + 4. Let n(i) = -3*i - 1. Let q(l) = -11*n(l) - 4*r(l). Let k be q(5). Are k and 0 unequal?
False
Let k(v) be the first derivative of -v**3/3 + 9*v**2/2 - 9*v - 2. Let a be k(8). Which is smaller: 0.1 or a?
a
Le