- 127/6. Do b and 1 have the same value?
False
Suppose -4*f + x + 3*x = -24, f + 3*x = -6. Let p = -0.065 + 0.265. Which is smaller: f or p?
p
Suppose 1 - 9 = 2*c. Let t be (-2)/(-6) + c/(-24). Which is bigger: 1 or t?
1
Let m = -3 - -4. Is m at most 5?
True
Suppose -2*w + 29 = -5*k, 3*w - 5*k - 22 = 24. Is w greater than or equal to 18?
False
Suppose -4*i = 27 - 147. Suppose -5*d = q - i, -3*d + 3*q = -6 - 12. Suppose -d*j = -4*f - 4*j + 10, 3*f = 2*j + 10. Which is smaller: f or 1?
f
Let d = -2 + -4. Let a = d - -8. Suppose -3*c + 3 = -0*c. Is c at least as big as a?
False
Suppose -11*b = -15*b. Is 1/65 at least as big as b?
True
Suppose 3*u + 176 = -u. Let m be 2/u + (-10)/20. Is m less than or equal to -2?
False
Let n be ((-2)/(-2))/2*2. Let d = 3 + 7. Let y be 1/d*(-5 + 3). Which is bigger: n or y?
n
Let i be (-5)/((-15)/(-2))*-30. Which is smaller: i or 19?
19
Let l be 2/(-3) + 29/30. Suppose -s - 2*s + 3 = 0. Is l <= s?
True
Let t = -31.95 + 34. Let a = t + -0.05. Let s be (3/(-6) - 1)/(3/4). Is s equal to a?
False
Suppose -2*l + 3*s = -75, -2*l + s = 2*s - 71. Does l = 36?
True
Let p(n) = -2*n + 53. Let g be p(25). Let y be 42/20 + (-4)/(-10). Which is smaller: y or g?
y
Suppose 2*h = -2*h + 24. Let k be (-4)/6 - 2/(-3). Let l be k + 2/h*3. Which is greater: l or 2/19?
l
Let p be 306/30 - 2/10. Is p < 11?
True
Let f be ((-1)/(2/2))/1. Let n(a) be the second derivative of -a**5/20 - 5*a**4/12 + a**2 - 4*a. Let g be n(-5). Which is bigger: f or g?
g
Let q = 35 + -22. Let f = q - 25. Let i = 47/4 + f. Do i and -3 have the same value?
False
Let i be 6/(-9) + 88/78. Is -1 at least as big as i?
False
Suppose 2*m = 3*o - 8, 3*o = -3*m - 0*m - 12. Let f = -0.3 + -2.7. Let j = f - -2. Is j bigger than o?
False
Let d = 2 - 2. Let b be 27/(-63) + 0 + 1. Which is bigger: d or b?
b
Let j = -3 - -3.2. Let h = -17.8 - -18. Let g = h - j. Is g < 0?
False
Let a(q) = q**3 + 3*q**2 + 3*q + 2. Let z = 7 + -9. Let g be a(z). Are 2/21 and g non-equal?
True
Let m = 0.5 + -0.3. Let i = m + -0.1. Let u = 0.3 + -0.1. Which is smaller: u or i?
i
Let f = -348/6893 + 2/113. Are f and 2/3 nonequal?
True
Suppose k = 3 - 2. Let p be (1 - (0 - -1))*k. Let f be 13/(-7) + p + 2. Which is bigger: 0 or f?
f
Let k be (194/4)/(66/276). Let t = -203 + k. Is t != 4?
True
Suppose 12 = 4*h - h. Suppose -3*u - 129 = 3*w, 3*u - u - h*w = -68. Let o = 122/3 + u. Is 2 at most o?
False
Suppose 3*m = -2*m - 15. Let h = 5/17 + -95/34. Which is smaller: h or m?
m
Let i = 34 - 20. Let l be (-144)/14 + 4/i. Which is bigger: l or -9?
-9
Let a = -0.956 - 0.044. Is a less than -0.4?
True
Suppose 9 = -2*q - 3*x, -q - 5*x + 5 + 1 = 0. Which is bigger: -8 or q?
-8
Let q = -209/868 - 2/217. Which is smaller: -8 or q?
-8
Suppose 4*c - 9 - 11 = 0. Suppose 12 = -9*r + c*r. Which is bigger: r or -2?
-2
Let f(j) = -j**2 - 4*j - 3. Let h be f(-4). Let d be (h/(-4))/((-6)/4). Suppose 5*i - 8 = 9*i. Is d less than or equal to i?
False
Let b be ((-3)/10)/((-12)/70). Suppose -2 = 3*g - g - 2*y, -4*g - y + 6 = 0. Which is smaller: g or b?
g
Let d = -47/198 - -1/66. Do d and -0.1 have the same value?
False
Suppose -4*d = -7*d. Which is bigger: d or 1/4?
1/4
Suppose 0*s + 8 = 2*s. Suppose 6 = 4*u - m, -s*m + 6 = 2*u - 3*u. Which is greater: 3/2 or u?
u
Suppose -4*c = -3*d, -2*d + c = 2*c. Let v = -0.32 - -0.52. Is v smaller than d?
False
Let o = 7.83 - -0.17. Let r = -13 + o. Let y = r - -4. Is y < 0?
True
Suppose 2*u + 29 = -2*u + y, 13 = -3*u - y. Is -5 less than or equal to u?
False
Let z = 0 - -2. Suppose 10 + 0 = z*h. Which is smaller: h or 3?
3
Let n = -6 - -5. Let y = -6 - -3. Which is smaller: n or y?
y
Suppose 3*z - z - 3*h + 3 = 0, -4*z - 5 = -5*h. Let q = -1 + 1. Let u be q/(-2) - 6/(-8). Is u > z?
True
Let q be (-37)/56 + (-6)/(-21). Which is smaller: -1 or q?
-1
Let t = 5/94 - 23/5734. Which is bigger: t or -1?
t
Let s = -0.01 + -2.39. Let p = s - -0.4. Let u = 1.8 + p. Which is greater: -1/3 or u?
u
Suppose 16 = -4*m + 116. Suppose 3*y - 8*y - m = 0. Let t = y + 0. Is -5 greater than or equal to t?
True
Let h(t) = -t + 4. Suppose 0 = 2*j - 4*g - 2, 4*j + 2*g - 14 = -0*g. Let i be h(j). Suppose 4 = 3*n + n. Are n and i unequal?
False
Let t be (-66)/(-45) + (-4)/6. Suppose -g - 4 = -6. Is t smaller than g?
True
Let l be (16/24)/((-2)/39). Is -13 > l?
False
Let i = 39.9 - 40. Let t = -6 + 4. Let g = 2 + t. Which is smaller: i or g?
i
Let z = -24 + 45. Let f = -30 + z. Is f greater than or equal to -10?
True
Let i be 487/(-3) + 26/(-39). Are 0.1 and i unequal?
True
Suppose 3*u = -1 + 4. Let y be (-3)/u*(-6)/(-9). Is y != -1?
True
Suppose -10 = 5*r, 3*s = -2*s - 2*r + 1. Is s smaller than 3/4?
False
Suppose -5*b = -2*f - 6, 5*f = 2*b + 9 - 3. Let h be 45/42 - 3/b. Is h <= -0.2?
True
Let k = 1/3 - 11/6. Let n be 2/(2/(-1 - -2)). Suppose 0 = -t - n. Which is greater: k or t?
t
Let w = -16.2 + 37.2. Is -2 greater than or equal to w?
False
Let b = -4 - -4. Let v be 1226/(-420) + (-2)/3. Let a = -33/10 - v. Which is greater: a or b?
a
Let l(b) = -b**3 + 5*b**2 + b - 6. Let z be l(5). Let g be -3*z/42*-4. Which is bigger: -1 or g?
g
Let h = -19 - -17. Is h smaller than -9/8?
True
Let u be (-9)/(-12) - 2/4. Let o be 36/8*20/6. Let l be (6/o)/((-8)/(-10)). Which is smaller: l or u?
u
Suppose 4*r - 25 = -5*p, 0 = -3*p - 5*r + 41 - 13. Let i(a) = -2*a**3 + 3*a**3 - 2*a**3 + 5*a + 4*a**2. Let n be i(5). Is n at least p?
False
Let x = -6.15 + -1.95. Let t = x + 8. Which is smaller: 0.3 or t?
t
Suppose -p - 2*r = 3*r - 2, -r + 4 = 2*p. Suppose -2*q = d - p, 4*q - 8*q + d = 2. Which is smaller: q or 4/5?
q
Let d = 406 - 2039/5. Let z = -14 - -11. Which is smaller: z or d?
z
Suppose -217 = 6*g + 35. Which is greater: -41 or g?
-41
Let h = 87 + -57. Let m be h/25 - (-1)/(-5). Let u = -107/3 + 36. Is u at most as big as m?
True
Let t = -0.2 - -0.3. Let b = -0.1 + t. Let h = 2 - 1.7. Which is bigger: h or b?
h
Let q(n) = -n**3 + 12*n**2 - 11*n - 7. Suppose 0 = 4*x + b - 40, 5*x + 3*b + b = 39. Let h be q(x). Which is bigger: -8 or h?
h
Let n = 45.3 + -51. Let f = -10 + 4. Let k = f - n. Is k <= -1?
False
Let h = 1/128 + 749/2432. Which is smaller: -1 or h?
-1
Let o = -36 + 38.8. Let a = -1 + -2. Let v = o + a. Which is smaller: v or 0?
v
Let r be -27 + 1*((0 - -4) + -4). Is r >= -30?
True
Let d(h) = -h**3 + 8*h**2 - 11*h - 8. Let y be d(6). Let w be (-81)/66 - (2 - 0). Let t = 30/11 + w. Which is smaller: y or t?
y
Let c = -4 - -6. Suppose 0 = x + 2, -2*x + 4 = c*w - 7*x. Is w equal to -1?
False
Suppose 3*x + x = 4, 3*x - 71 = 2*k. Let j = 48 + k. Which is smaller: 15 or j?
j
Suppose f = 3*x + 12, -3*x + 9 + 15 = 5*f. Let k be ((-3)/(-2))/(f/(-12)). Is 0.1 < k?
False
Let m = -7 + 7. Let j = -551/14 + 79/2. Which is smaller: m or j?
m
Suppose 0 = 4*s - 12, 2*x - 5*s = -2*x - 31. Let a = 0 - x. Is 4 at most a?
True
Let j be 7/28 + 86/8. Suppose 5*k - 5 = -0*k - 3*c, -3*k - j = -c. Let w be (1/k)/(3/6). Is -4 not equal to w?
True
Let u = 22 + -10. Let g be 1706/42 + u/(-6). Let o = 115/3 - g. Is -2/7 equal to o?
True
Let b = -0.9 + -0.9. Let z = b - -2. Let n = -5 + 7. Are z and n equal?
False
Let d be (3/9)/((-20)/84) + 2. Is d <= 2?
True
Let a be 12 - (-1 - 2/(-2)). Let g = 4 + -6. Let b be g/6 + 8/a. Do -2 and b have the same value?
False
Let o = 49/10 - 13/2. Is -2 >= o?
False
Let m = 0.892 + 0.108. Is m less than -2?
False
Suppose 0 = -2*y + 3*y - 2. Let c(a) = a**3 - 6*a**2 + 7*a - 7. Let n be c(5). Let h be (-4)/6*n - -3. Which is bigger: h or y?
y
Let b = -112 - -107.3. Let y = 8 - 13. Let s = y - b. Is -1 less than or equal to s?
True
Let n = -0.11 + 0.19. Is -1 at least as big as n?
False
Suppose -o + 13 = 12. Suppose 4*z = 15 - 107. Let f be z/21 + (-6)/(-9). Which is smaller: o or f?
f
Let f = -29392/119 + 1724/7. Are -2 and f unequal?
True
Let a(g) = g - 2. Let t be a(-3). Let b(d) = 8*d - 101. Let m be b(12). Is m smaller than t?
False
Suppose 8*w - 8 = 4*w. Let u be 1/(-4) - (-50)/8. Let c be 3/(-9) - (-20)/u. Is w smaller than c?
True
Suppose 6*n - 276 = -6*n. Are n and 23 nonequal?
False
Let c be (-5)/(-415)*(0 + -2). Is -1 greater than or equal to c?
False
Let m be 0 + 0 + (-4)/2. Suppose 2*u - 4*u = -24. Suppose -4*f - 3*z - u = 0, 0 = f + 5*z - 2 + 5. Is f greater than m?
False
Let l = 1.1 + 0.