?
1/3
Let s = 10 + -7. Is s < -1?
False
Suppose 5 = -5*g - 0*g. Is g < 1?
True
Let w be ((-1)/(-3))/((-4)/198). Let h = w + 17. Is h greater than -4?
True
Let l(d) = d + 16. Let b be l(-13). Is b less than or equal to 4?
True
Let m = 42 - 57. Is -15 at most m?
True
Suppose 3*g + 2*t + 29 = 0, -20 = 5*g + 5*t + 30. Let o be (-24)/g + 1 + -3. Let u = 1 + 0. Do u and o have the same value?
False
Let k = -0.8 - -0.3. Is 0.3 less than or equal to k?
False
Suppose 0 = -2*w + 2*b + 8, 2*w = -2*w - b + 6. Let f be (-12)/45 - w/5. Which is smaller: 1 or f?
f
Let a = -0.11 - 0.89. Let i = 5 + a. Let d = i + -3. Which is greater: d or -0.1?
d
Suppose 36 - 40 = -4*p. Is -2/47 less than p?
True
Suppose 0*l - 4*l = 0. Suppose l = -2*a + 10, -z + 4*a - 20 - 5 = 0. Let k = -6 + 1. Is z > k?
False
Let d be 1/(1/((-4)/(-4))). Suppose 4*y + 4*z = -d - 3, 0 = -3*y - 5*z - 3. Is y at least -1?
True
Suppose -5*a = -3*a. Is 1/37 >= a?
True
Let a be ((-12)/(-8))/(2/(-20)). Let g be a/(-10) + 10/(-4). Is g at most -1/3?
True
Suppose -m - 2*m = -9. Suppose 0 = 2*t - 5*x, 0*t = -m*t + 3*x + 18. Is 9 at least as big as t?
False
Suppose 2*r - 4*c + 38 = 0, -3*c = -3*r - c - 77. Let k be (-2)/10 + r/5. Let y(q) = -q - 6. Let w be y(k). Is w at most as big as -1?
False
Let d(t) = -7*t - 2. Let k be d(-1). Is k not equal to 14/3?
True
Let u = -5 + 8. Suppose 5*h = u*h - 12. Let n be (-4 - -6)/(2/(-5)). Is h at most n?
True
Let s = 7 + 0. Suppose -5*g - s = -2. Is g less than or equal to 1?
True
Suppose -131*s - 45 = -128*s. Which is greater: -59/4 or s?
-59/4
Suppose -4*r - 1 = -9. Suppose 3*q - 2*t - 32 = -q, r*q = 5*t + 8. Suppose 3*w + 5*b = 17, -3*w = -5*w - b + q. Which is bigger: w or 3?
w
Let i = -967/6 + 12715/78. Which is greater: 3 or i?
3
Let a be 58/6 - 1/(-3). Let d(m) = m**2 + 6*m - 1. Let z be d(-6). Let j be 12*z*(-3)/4. Which is smaller: j or a?
j
Let p be 4 + -5 + 3 + -6. Which is greater: -1 or p?
-1
Let i be 2/(-26) + (-14)/(-182). Let p be 0 - -2 - (5 + 1). Let c be 2/(-6)*(-6)/p. Is i <= c?
False
Let m be -1*8/(-5)*(-3)/(-12). Do 0 and m have different values?
True
Let n be 0 - (4/14 - (-86)/(-7)). Which is bigger: n or 11?
n
Suppose 8*p - 5*p - 2*c = 2, -4*c + 2 = -3*p. Suppose -p = 3*g - 4*g. Let z = -2 + 3. Which is smaller: z or g?
z
Let k = 18.4 - -1.6. Which is bigger: -1 or k?
k
Let j = 0.028 + 0.172. Is j at most 4/7?
True
Let r = 0.67 + -0.7. Let g = r - -3.03. Let l = 0.15 + -0.25. Is l at least as big as g?
False
Suppose 4*t - 5*f - 55 = 0, 4*t + 4*f - 19 = 9. Let l be 14/3 - t/(-30). Suppose l*d + 3*y - 9 = -3, 0 = 3*d + 2*y - 3. Is 2 bigger than d?
False
Suppose -4*t + 2*g = -18, 3*t + g - 6*g - 24 = 0. Suppose 0 = 5*f - 0*a + t*a - 19, -2*a = -6. Suppose f = 4*d - 2. Which is greater: d or 2?
2
Suppose d = -3*d + 64. Let k be d/(-33) - (-6)/(-33). Let t = -3 - -2.96. Which is smaller: t or k?
k
Let z(o) = o**2 + 10*o + 1. Let a be z(-10). Is 2/25 < a?
True
Suppose -2*g + 3*g = 3. Suppose 0*t = -2*t + 12. Let a be (g/(-9))/(7/t). Which is bigger: a or 0?
0
Let u(r) = 7*r**2 + 7*r + 6. Let a be u(-4). Let n = -632/7 + a. Let i(k) = k**3 - 2*k**2 - 4*k + 2. Let t be i(3). Is n bigger than t?
True
Let v(d) = -d**2 + 10*d - 8. Let m be v(9). Let g = 3 - m. Let j(y) = -y**3 + 2*y**2 - 2*y + 1. Let l be j(g). Which is greater: l or -4?
l
Let t be 12/3 + 100/(-24). Let u = 0 - -1. Let w be (-1 + 3)/(2/u). Which is smaller: t or w?
t
Let x = -6 + 17. Let i = x - 8. Which is smaller: i or 4?
i
Let w(i) = -i**2 + 5*i. Let q(s) = -s**3 + 5*s**2 - 4*s - 1. Let r be q(3). Let v be w(r). Let y = -42.99 + 43. Which is smaller: y or v?
v
Suppose -2*l = -u + 3*l - 12, -4*u = -5*l - 12. Let z be (u/12)/((-4)/(-66)). Which is bigger: z or 12?
12
Let p = 0.1 + -0.2. Let o = 0.3 + p. Let v = -6 - -7. Which is smaller: o or v?
o
Let b(u) = -u**3 - u**2 + 4. Let i be b(-3). Let w be i/4 + 3/6. Suppose w*q - 2*q = 8. Which is greater: 1 or q?
q
Let f = 11 - 16. Let x = 6 + f. Let q = x - 1.3. Which is smaller: q or -0.1?
q
Suppose 3*j = -13 - 5. Let d be 2/j - 16/(-12). Is d greater than 1?
False
Let p = -1640/21 + 78. Let w(m) = -m**2 - 26*m + 119. Let z be w(-30). Which is smaller: p or z?
z
Let x = 31 - 33. Let r be -1 - (-1)/(3 + -2). Is x greater than r?
False
Let g(y) be the second derivative of y**7/1260 + y**5/120 - y**4/6 - y. Let z(m) be the third derivative of g(m). Let b be z(1). Which is greater: 2 or b?
b
Let j = -0.6 - -8.5. Let x = j + -1.9. Is -1 greater than x?
False
Let x = -0.3 + -0.7. Let i(f) be the second derivative of -f**3/6 + 3*f**2 + 12*f. Let a be i(6). Which is greater: x or a?
a
Let v = -107 + 331/3. Which is bigger: 2 or v?
v
Let z = 8/1941 - 37103/54348. Let y = z + 3/7. Is 1 less than or equal to y?
False
Let c(q) be the second derivative of -q**3/3 - 3*q**2 + 3*q. Let s be c(-4). Let o be ((-4)/20)/(s/(-5)). Which is smaller: o or -6?
-6
Suppose -4*v = -d + 37, -4*d + 0*v + 2*v + 162 = 0. Is 42 < d?
False
Let t be ((-14)/(-5))/(1/5). Let z = -9 + t. Suppose -20 = -11*m - 9. Is m at least as big as z?
False
Let p be (-3)/((-9)/(1 + 2)). Let w(k) = -k**2 - 6*k - 6. Let d be w(-4). Let r = d - p. Which is greater: r or 0?
r
Let w be 2/12 - 23/(-6). Are w and 3 nonequal?
True
Let y be (-7)/(-2) + (-2)/(-4). Let u be (-1)/(y/(-2))*6. Is u greater than or equal to 3?
True
Let a = -43 + 49. Do 51/8 and a have the same value?
False
Let j = -3 + 3.1. Let c(l) = -1 - l**3 + 5*l**2 + l**2 - 5*l + 0. Let w be c(5). Which is greater: w or j?
j
Let c = 83 - 46. Which is smaller: -0.1 or c?
-0.1
Let a(j) = -j - 8. Let m be a(-11). Suppose 3 = m*o - 9. Let x = o + -6. Which is smaller: x or -4?
-4
Let y be 15/(-10)*(-8)/66. Suppose -11*t - 5 = -16*t. Is t bigger than y?
True
Let w = -53/70 - -6/7. Is 0 greater than or equal to w?
False
Let c be 4/(-98)*(-21)/(-27). Let m = c - 19/63. Let z(s) = s**2 - 3*s + 2. Let v be z(2). Is v > m?
True
Let p = 0.06 - 1.06. Let b(y) = -y**2 - 5*y - 1. Let c be b(-4). Does c = p?
False
Let p(d) = -d**3 + 3*d**2 + 4*d + 1. Let q be p(4). Suppose -7 = 4*n - 11. Is n at least as big as q?
True
Let h(f) = -f**3 - 5*f**2 - 3*f + 3. Let l be h(-4). Suppose 12 - 2 = -v. Let g be 4/(-10)*v/(-8). Is l less than g?
True
Let i(j) = 2*j - j - 2*j + 0*j. Let y be i(0). Which is smaller: 0.1 or y?
y
Let n(a) be the third derivative of a**4/12 - 2*a**3/3 + 3*a**2. Let c be n(3). Suppose 2*m = 7*h - 2*h - 3, 0 = 5*m - 2*h - 3. Which is bigger: m or c?
c
Suppose -23 = 2*v - 3*u + 6, 9 = 3*u. Is v at least -11?
True
Suppose -6*p + p = -15. Let w(j) = 2*j**2 - 2*j + 1. Let s be w(p). Are s and 12 nonequal?
True
Let y = 1 + 0. Suppose 5*x + 2*s - 29 = 0, -8 = 4*x + 5*s - 38. Suppose -2*p - 3*z + 6 = 0, 5*p + z = x - 3. Which is smaller: y or p?
p
Let m = 11/3 - 10/3. Let r = -0.3 + 0.2. Let g = r - 0. Is g less than or equal to m?
True
Suppose -4*f = 17*f + 3*f. Let z = 2 - 12. Let b be (1/3)/(z/(-3)). Is b less than f?
False
Let m be (4/(-27))/((-6)/(-9)). Let z = 5 + -8. Let l = z + 3.1. Is m >= l?
False
Let o = 16/99 - -4670/99. Let f = 47 - o. Let j(p) = -p**3 + 10*p**2 - 10*p + 10. Let b be j(9). Is f < b?
True
Suppose -2*a - 5*j = -0*j - 13, 0 = a + 4*j - 8. Let i = 1 - -4. Suppose 8 = 4*f + 4*b, 2*b = i*f - f - 14. Is a greater than f?
True
Let f be 2/(-6) + (-500)/12. Let u be 3/(-2*9/f). Is u less than 7?
False
Let i(w) = -w - 5. Let s be (-6)/(-21) + (-44)/7. Let h be i(s). Is 1 smaller than h?
False
Let f be (1/3)/(1/(-9)). Are -3 and f equal?
True
Suppose -3*t + 3 = 3*j, 0 = -5*t - 0*j - 4*j + 3. Let r be ((-16)/(-7))/(-2 + 3). Let g = r - 162/77. Is g less than t?
False
Let p(w) = 2*w + 2 - 5*w + 2*w. Let q be (-2)/1*(-15)/10. Let y be p(q). Is y greater than -2?
True
Suppose z = -1 + 4. Suppose -10 = -5*v + q + 6, 2*v - 3 = -z*q. Let j be (-3)/(-3*v/(-6)). Is j < -2/3?
True
Let r be 4/(24/(-1)) + 2/(-36). Which is greater: r or -27?
r
Let f be -2 + 2*20/24. Suppose 2*m = -m + 3. Let c be (m - 1)/(6/6). Do c and f have different values?
True
Let o be -2*(6 - 5)*1/3. Which is smaller: -1 or o?
-1
Suppose l + 4 = -3*l. Let z(u) = 3*u - 1. Let w be z(l). Is -4 less than w?
False
Let j be ((-2)/(-4))/((-7)/(-28)). Suppose 0 = -0*l + l - j. Let i be 2/4 - (-2)/4. Does l = i?
False
Suppose -5*l - 21 = -3*t + 19, 0 = 3*