al to 2/43?
False
Let m(y) = 70*y**2 + 4*y + 3. Let j be m(-1). Is 69 at most j?
True
Suppose 4*z + 8 + 32 = 0. Which is greater: z or -11?
z
Let d = -120 - -128. Which is smaller: d or 3?
3
Suppose 5*m + 65 = 4*a, -3*m - m = 3*a - 41. Suppose a = -5*x, 0 = 4*k - 3*x + 12 - 33. Suppose -2*s - 2*s + 3*l = -k, -2*s + 5*l + 5 = 0. Are 1 and s unequal?
True
Suppose -q - 2*g = -4, 0*g = -3*q - 4*g + 8. Suppose 5*f + 25 = q, 0*f - 2*f = -4*i + 2. Which is smaller: i or 1/5?
i
Suppose 2*b - 2*p + 3 = -3, -4*b + 3*p - 7 = 0. Let m be (26 - 4)/((-4)/b). Which is smaller: m or -10?
m
Let d = 9 + -9. Is d > -6?
True
Let z = 1.5 + -1.8. Which is smaller: z or -2/5?
-2/5
Suppose 0*y = y + 3*m - 14, 0 = -y - 4*m + 19. Which is smaller: -2.3 or y?
-2.3
Let q = -0.1 - -0.13. Which is bigger: q or 0?
q
Let i = -21 + 17. Let t be 6*6/(-4)*-1. Let v be 6/t - i/(-15). Which is bigger: 1 or v?
1
Suppose 5*b - 14 = 31. Is 9 > b?
False
Let u = 58 - 43. Is u < 17?
True
Suppose 2*d + 6 = 4*u, -4*u + 3*d - 12 = 7*d. Suppose 2*a - 22 + 6 = 0. Suppose -2*p = 3*k + a, 3*p - k - k - 1 = 0. Is u smaller than p?
False
Suppose 4*s + 7 = -3*r, -4*r - 4*s - s - 8 = 0. Let p be ((-6)/r - -6)*1. Suppose -5*l - 1 = -p*l. Which is greater: -1/10 or l?
-1/10
Let u be (3/2 - 0)*4. Suppose 2*s - 4*k - 15 = 3, 4*s - 23 = -5*k. Which is bigger: s or u?
s
Let w be (-21)/(-13) - 24/8. Is -1 >= w?
True
Let d = 1/4 + -3/4. Suppose a = -a - 4. Is d at most as big as a?
False
Let j = 20/3 - 143/21. Is j at most as big as 1?
True
Let m be 2/4*(-5 + 5). Let b be 3 + 0/(-3) + -1. Suppose -g - 2*a = g, b*a = m. Is -1/2 < g?
True
Let x = 3 - 2.8. Let h = -1.5 - -0.5. Let m = -0.7 - h. Which is smaller: m or x?
x
Suppose 3*f - 20 = -4*v, 4*v - 11 - 9 = -2*f. Suppose 4*l = 2*y + y - 10, 0 = -4*l - v*y + 6. Is -3/8 at most l?
False
Let l = 112 - 90. Do l and 116/5 have different values?
True
Let t = 0.37 - 0.07. Is t at least as big as 0.2?
True
Suppose b - 4*o + 19 = 0, -8 + 2 = -b - o. Let u(i) = -i - 11. Let q be u(-12). Is q at most b?
True
Let h = -44/5 + 533/60. Which is bigger: 0 or h?
h
Let s be 3/(100/8*-1). Is 1 at least s?
True
Let w be ((-1)/2)/((-3)/18). Let z be 3/w*(0 + -1). Let g be (-1)/(-3)*9/7. Which is bigger: g or z?
g
Let t = 5.3 - 5.2. Is 106 at least t?
True
Let v = 2.7 - -0.3. Which is smaller: 0 or v?
0
Let i be (-2)/7 + (-12)/(-42). Is i <= 4/7?
True
Let k be ((-4)/8)/(2/24). Let b = 6 + k. Is 2 < b?
False
Let n = 0.03 - -1.97. Let x = -5 + n. Let z = -3 - x. Is 0 < z?
False
Suppose 2*b = 5*b. Suppose 3*o + 2*p - 19 = 0, 2*p = -b*o + o - 1. Are o and 6 unequal?
True
Let k = -1 - -1.05. Let j = 1.05 - k. Is -0.1 at least as big as j?
False
Suppose -75*w = -70*w - 30. Let g = 3 + -1. Is w at least g?
True
Let r = -2.6 - -3. Let d = -1 + 14. Let q = -11 + d. Which is bigger: q or r?
q
Let f be (1 - 4/6) + 4/(-3). Let l = -25/91 + -2/13. Which is smaller: l or f?
f
Let d(f) = f - 4. Let x be d(7). Suppose -2*h - x*h = 0. Let n = -63 + 191/3. Is n bigger than h?
True
Let h be (-1)/6*8/2. Let t = 131 + -653/5. Which is bigger: t or h?
t
Let y = -160/3 - -1144/21. Let q(k) = -k - 7. Let c be q(-7). Which is smaller: y or c?
c
Let h be 1/(-12) + 3/(-12). Let f = -11 + 34. Let x = -24 + f. Which is smaller: x or h?
x
Let c = -1.2 + 1. Let a be 120/135*(-3)/(-4). Which is greater: c or a?
a
Let d = -0.2 - -0.4. Let s = 2.45 - -0.05. Let h = s + -0.5. Which is greater: h or d?
h
Suppose 1 = -g - 0. Does 4/21 = g?
False
Let n = -23 - -86. Is -2/5 at most n?
True
Let j = 11 + -2. Suppose 3 = 3*s - j. Let m be (s + -2)/(1/(-1)). Which is smaller: -3 or m?
-3
Suppose 4*j + 44 = 4*h, h + h = -j + 37. Which is greater: h or 17?
17
Suppose 1 = -4*h - g, -3*h + 2*g = -5*h + 4. Is -1/35 > h?
True
Let y = 9/19 + -120/133. Let a be ((-3)/2 + 1)*2. Is y not equal to a?
True
Let l = -1434 - -4367/3. Which is smaller: l or 22?
l
Let u(d) = d**3 + 6*d**2 - d - 20. Let a be u(-5). Let g be (-19)/(-2) - (-2)/(-4). Does a = g?
False
Suppose w + 3*w = 0. Suppose 3*f - 16 = -5*b, w = 5*b + f - 4*f - 34. Which is smaller: b or 4?
4
Let k = 0.029 + 2.071. Let f = -1.1 + k. Which is smaller: -10 or f?
-10
Let d = -34 + 24. Let y be 1/((-4)/(-12)) + d. Which is greater: 0 or y?
0
Suppose 30 = 4*a + a. Let r be ((-4)/(-64))/((-3)/a). Is r greater than 0?
False
Let b(u) = u**2 - 5*u - 5. Let n(k) = -k**3 + 5*k**2 + 6*k + 6. Let z be n(6). Let t be b(z). Is t less than or equal to -1/17?
False
Let x(g) = -g**2 - 2*g + 5. Let u be x(-4). Is 0 smaller than u?
False
Suppose 0 = -2*d - 2*d - 12. Is d greater than or equal to -3?
True
Let w = -2 + 7. Let l(s) = 4*s**2 + 4*s**2 - s - 4*s**2 - w*s**2. Let i be l(-1). Is -2/3 >= i?
False
Let c = 0.11 + -0.07. Is -1 greater than c?
False
Let k be 9/(-3) + 10 - 1. Let f be (-13)/(-2) - (-1)/(-2). Are f and k equal?
True
Suppose o - 5*l - 9 = 3*o, 3*o + 4*l + 10 = 0. Let s be ((o - -3)*-2)/1. Let n be 1*(s + (0 - 0)). Which is smaller: -3/4 or n?
n
Let t(w) = 2*w - 1. Let f be t(1). Let k(l) = l**3 + 9*l**2 + l + 10. Let s be k(-9). Let d = 3 - s. Is f less than d?
True
Let c = -17 + 16.82. Let h = -0.02 + c. Is h at least as big as -1?
True
Let q = -0.9 + 0.6. Let z = -1 - -1.7. Let c = q - z. Is 2 > c?
True
Suppose 5*d = -5*j + 50, 0 = 5*d + 4*j - 0*j - 53. Is 14 greater than d?
True
Let n be 0 - -1 - (-29)/(-30). Let w = 41/30 - n. Which is smaller: 0 or w?
0
Let v = 525 - 15219/29. Are 0 and v nonequal?
True
Suppose 10 = 2*k - k. Suppose y = -3 + k. Let u be (1 + -3 + y)*-1. Is -4 < u?
False
Let p = -0.02 + 0.02. Let a = p - -0.3. Let y = -1.9 + -0.1. Is a bigger than y?
True
Let n be 4/(-6) - 1532/(-12). Let u be (n/21 - 2) + -4. Which is bigger: u or 1?
1
Let n be 0 - -1*0/4. Is -8/9 equal to n?
False
Let j = 19 - 12. Which is greater: j or -0.2?
j
Let a(v) = v**3 + 3. Let d be a(0). Let h = d + -1. Is h at least as big as 1?
True
Let i(m) = 3*m**2 + m - 4*m**2 + 7*m. Let g be i(8). Is 1/6 < g?
False
Suppose 0 = -5*u + u + 280. Let j = -37 + u. Let w be (0 - -2)*(-3)/j. Which is smaller: 0 or w?
w
Let t = -2221/9 + 247. Suppose 2*i - 4*i + 2*v = 2, 4*i - 5*v = -4. Is t at most i?
False
Let c(p) = -p**2 + 5*p + 1. Let h be c(5). Let s = -1 + h. Let o be s/(-2)*2/4. Which is bigger: o or -1?
o
Let a be -3 - 291/(-9)*(-2)/(-22). Which is bigger: a or 1?
1
Suppose 3*t - 4*v - 22 = 0, -5*v - 6 = 14. Suppose 3 = y - t*y. Let a = -3 + 2. Which is smaller: a or y?
y
Let c be 141/18 + ((-1)/2 - -1). Which is smaller: 8 or c?
8
Let o = -6 + 7.2. Let x = 1.3 - o. Is 2 smaller than x?
False
Let a = 1451/5401 - -2/491. Do a and 1 have the same value?
False
Let g = -3 + -6. Let w = g - -18. Let o be 1*-2*(-3)/w. Are 1 and o equal?
False
Let d be (-4)/6 - 104/(-195). Which is smaller: -1/2 or d?
-1/2
Suppose 4 = n + 4*s, 0*n - 2*n = -5*s + 18. Let y be (-6)/(-1) + (-4)/2. Let i = n + y. Is -2 > i?
False
Let w be 0/(4 - 0 - 2). Let u = 2/15 + -4/5. Is u > w?
False
Let t = -0.04 - 1.96. Let j = t - -3. Let f = 0 - -2/3. Is f greater than j?
False
Let p(a) = -a**2 - 2*a + 5. Let y be p(0). Suppose -y*h - o + 5 = 4*o, -9 = h - 4*o. Is 2/15 > h?
True
Let k be (-6)/(-7)*(3 - 26/11). Let l(j) = 2*j - 6. Suppose -u = 3*b + 1 - 13, -4*u - 20 = -5*b. Let m be l(b). Are m and k equal?
False
Let d(a) be the first derivative of a**4/4 + 8*a**3/3 + 4*a**2 + 9*a - 1. Let o be d(-7). Is 3 equal to o?
False
Let u = 21 + -12. Let i be u/((-9)/(-12)*14). Suppose -q + 9*q = 0. Which is greater: q or i?
i
Let u = 3143/22 + -143. Do 1/4 and u have different values?
True
Suppose 2*t - 14 = -3*u, 4*t - 10 = -3*u - 0*u. Which is smaller: 9 or u?
u
Suppose 7*b - 3*b = 16. Suppose -7 = -b*d - 3. Are 1 and d non-equal?
False
Let z = 0.75 + -0.55. Which is smaller: 8 or z?
z
Let p = 9.6 + -0.6. Let v = -13 + p. Let w = v - -4. Which is smaller: -1/2 or w?
-1/2
Let n = 2 - 1. Let t be (1/5)/((-84)/(-24)). Is n smaller than t?
False
Let h be 1 - (-2 + 3)/1. Let c(x) = 3*x**3 + x**2 - 1. Let b be c(-1). Let f be (1 + b)/(-8 + 0). Is f < h?
False
Let j(n) = n - 4. Let y be j(6). Let z(h) = -4 + h**y - 5 + 4*h + 1. Let a be z(-6). Is a < 5?
True
Let j = -0.22 + 0.12. Let t = -2.932 + 0.032. Let q = t - -3. Which is bigger: q or j?
q
Let m(r) = -5*r - 6. Let s be m(-3). Let q be -1 - (2 - (14 - 1)). Which is g