 1. Let f be (10/(-25))/((-2)/60). Let c be f/4*(-4)/33. Which is greater: m or c?
m
Suppose -4*v = 3*g - 2, 4*g + 3*v = -v. Let w be -2*(-3)/150*g. Is -1 greater than or equal to w?
False
Let k(b) = 12*b - 35. Let p be k(3). Is p not equal to 5/16?
True
Let r be (-1 - 1) + 2 - (-4)/26. Is r smaller than -1?
False
Suppose -c = 3*l - 12, 5*c + 2*l + l - 12 = 0. Let z be ((-3)/(-20))/((-2)/(-8)). Which is smaller: z or c?
c
Suppose 10 = j - 2*d, j = d - 3*d + 14. Let r be (j/(-32))/(3/2). Is r less than or equal to 1/2?
True
Suppose -v + 8 = 3*v. Suppose f = -v + 6. Suppose 3*n = -5*t - 15, 3*t + f + 1 = -n. Which is greater: t or -1/6?
t
Suppose s + 4*s - 4*b + 20 = 0, s - 3*b = -15. Let c(k) = -k**2 - k + 3. Let u be c(0). Let l be (-2 + u)*(-1)/8. Which is smaller: l or s?
l
Suppose 5*v - 25 = 3*o - 0*o, -3*o = 0. Let q = 6 - v. Is q at most 1?
True
Suppose -24 = r + 2*r. Let d = -173 + 165. Is d smaller than r?
False
Suppose 3*w = 4*w + 28. Which is greater: -29 or w?
w
Let x = -24 + 24.4. Which is smaller: x or 5/4?
x
Let d be (-1)/(-1) - 1*3. Suppose -22*c = -20*c - 12. Let w be d/3 - (c - 6). Is w greater than or equal to -2/7?
False
Let p = 0 + -2. Let l be 1*(p + 4 + -2). Is -1/4 equal to l?
False
Suppose 5*z + 28 = -2*x, 5*x + 3*z = 11 - 43. Is x greater than -3?
False
Let h be ((-78)/65)/(1/5). Let c = h - -6. Which is smaller: -3/4 or c?
-3/4
Let x = 36 + -37. Is x != 1/40?
True
Let c(n) = n**3 + 4*n**2 - 4*n + 7. Let i be c(-5). Suppose -3*s - 2 = -d, i*d - 12 = -2*s - 0*d. Let l be (-4*1/(-6))/(-2). Which is greater: l or s?
s
Let i = 9 - -4. Let x = -6 + i. Suppose -4*f + 3*f = -2*b + 12, 4*b = -f + 18. Is b less than x?
True
Let v = -13045 - -743605/57. Let m be 232/(-114) + (-6)/(-3). Let l = v + m. Are -1/4 and l equal?
False
Let s = 95 + -96. Let t = 44/441 - -6/49. Which is greater: s or t?
t
Let b = 315 - 4413/14. Which is smaller: b or 0?
b
Suppose v = -4*v + 40. Let l be (4/v)/((-6)/4). Which is smaller: -0.4 or l?
-0.4
Let s be (45/12)/(3 - 90/32). Which is smaller: 19 or s?
19
Suppose z - 1 = 10. Suppose -6*i + i - 7 = c, z = -i + 3*c. Let k be 2*1*i/4. Is k bigger than 1?
False
Let s be 1*(-23 + 0) + 3. Is -20 greater than or equal to s?
True
Let j = -1.1 + -6.9. Let k = j - -8.1. Is -4 greater than or equal to k?
False
Let q = -0.4 + 0.5. Let w = 0 + -0.1. Let v = w - q. Which is bigger: v or 1/4?
1/4
Let z = -4 - 4. Let t = 10 + z. Is t less than 0.2?
False
Let l be 14/8 + -1*2. Let h be -4 - (-132)/30 - 1/2. Which is bigger: h or l?
h
Let q(v) = -3*v - 6. Let l be q(-7). Suppose -15 = 2*r - n + 2*n, -5*n + l = 0. Let x = r + 4. Is x != -6?
True
Suppose -p = -4*p + 42. Let h be (-4)/p - 24/14. Let q be (1/h + -1)*2. Is -2 equal to q?
False
Suppose 2 = s - 4*m - 7, -4*m - 7 = s. Which is smaller: -0.08 or s?
-0.08
Suppose 2*f = u - f, 0 = 5*u + 5*f. Do -41 and u have different values?
True
Suppose -5*s + 5*y + 5 = 0, 0*s - 3 = s - 3*y. Suppose 0*h - h = -5*w - 5, s*w + 20 = 4*h. Which is bigger: w or -2/5?
w
Let i = -74003/33913 + 1/3083. Is -3 <= i?
True
Let r be -2 - (-2 + ((-34)/(-14) - 3)). Suppose -o - 2 = -4. Which is greater: o or r?
o
Let z = -4.3 + -0.7. Let r = -78 - -78.1. Is r smaller than z?
False
Let m be 224/(-392) - -589*(-1)/(-1043). Does 1 = m?
False
Let d be (-10)/72 - 2/(-8). Is -0.2 >= d?
False
Let w = -3 - -4. Let h = w - 0.98. Let i = -0.08 - h. Is i != -0.6?
True
Let j = -3 + 6. Suppose -4*s = -j*s - 2. Suppose -5 - 1 = -s*l. Is 4 > l?
True
Suppose -4*q + q + 2*l = 19, q = 4*l - 23. Suppose 14*a - 11 = 25*a. Which is greater: q or a?
a
Let q be -2*1*(-1 + 66/(-12)). Is 13 smaller than q?
False
Let g be 0 + 4 + -7 + 7. Is 2 <= g?
True
Let b be 12/54 + (-50)/(-18). Suppose 0 = -i - b, 3*z - 5*i = 5*z + 19. Which is smaller: -3/4 or z?
z
Let q = 43/8 + -11/2. Let b be -2 + -1 + 4/2. Which is smaller: q or b?
b
Let y = -37/51 - -1/17. Is -3/5 equal to y?
False
Let n(x) = -x**2 - 9*x - 9. Let j(h) = -2*h**2 - 17*h - 17. Let f(z) = -3*j(z) + 5*n(z). Let q be f(-4). Which is smaller: 0.05 or q?
q
Let j = -16 - -10. Let l = 3 + j. Suppose 3 = -2*t + 5*t, 3*t + 9 = -3*d. Which is smaller: d or l?
d
Suppose 0 = b + m - 3 - 4, 0 = 5*b - m - 5. Suppose -2*k = l - 4, 0 = 4*l - b*l - k + 2. Is 0 at least l?
True
Let d = -0.14 + 11.14. Let t = d + -11.3. Which is smaller: -1 or t?
-1
Suppose 0 = 4*s + 2 - 22. Suppose -5*c = -s*p, c = -3*p - 0*c + 8. Suppose -p = -2*a + 8. Is a at most as big as 4?
False
Let o be -1 - (-1 - 2 - -2). Suppose a = -o*a + 2. Suppose -i + 6 = a*i. Which is greater: 2/3 or i?
i
Let a(x) be the first derivative of x**2 + x + 2. Let z = 25 - 26. Let g be a(z). Which is greater: g or 0?
0
Let f be -22 + 3 - (-3 - -7). Is -22 < f?
False
Let k = -77 + 461/6. Which is smaller: 1 or k?
k
Let n be 5/(-30) + (-17)/6. Let t be (-3 - (-7)/2)*-10. Which is smaller: n or t?
t
Let y(w) = 4*w - 3. Let j be y(2). Suppose 3*h + 0*h = 15. Is h < j?
False
Suppose 3*z + 2 - 5 = 0. Suppose -d = -3*p - 5*d - z, 3*p - 3*d = 6. Suppose -2*q - 6 = 2*u - 2, 6 = -2*q. Is u less than p?
False
Suppose 2 = 2*d + 3*f - 7, -d - f = -4. Suppose -1 = -n - t + 4*t, -d*t - 7 = 2*n. Is n < -0.2?
True
Let s be (0 - -1)*(3 - 10). Which is smaller: s or -3?
s
Let a(k) = -3*k. Let y be a(0). Is 1/6 less than y?
False
Let y = -2 + 5. Let g(u) = u**3 - 4*u**2 + 3*u - 1. Let r be g(y). Let a = -173 - -1209/7. Which is smaller: r or a?
r
Let b = 73/145 - 3/29. Which is smaller: b or 1?
b
Let n be (-1)/4 - 9/(-36). Let r = 0.6 + -0.68. Which is smaller: r or n?
r
Let o be 12/15*5/(-2). Let x be 3/(-2)*o + 2. Suppose i = -x*r - 5 - 1, -5 = 5*r. Is i > 0?
False
Let d(v) = -2*v**2 + 4*v + 1. Let t be d(8). Let f = t - -1046/11. Is f at least as big as 0.2?
False
Suppose -3*w + 3 = 0, t + t - 28 = 2*w. Let p be ((-2769)/t - 1) + 2. Let k = -183 - p. Is 0 less than k?
True
Let q be ((-16)/12*-21)/2. Which is bigger: q or 13?
q
Let z = 9 - 1. Let q be (-10)/z + (-11)/(-44). Is q >= -4/23?
False
Let f = -15 + 14.9. Which is smaller: 2 or f?
f
Suppose -4 = -4*x - 0*s - 4*s, 3*x + 4*s = 5. Let u = -10758/13 + 828. Which is greater: u or x?
u
Let v be 14/(-49) + (-274)/(-28). Is 11 != v?
True
Let d = 0.75 - 0.85. Is -32 greater than d?
False
Suppose -6 = -h - 2. Suppose 4*s + 2*k - 9 = -1, -2*s = -h*k + 16. Is 1/14 at least as big as s?
True
Let i be -2*((-27)/6 - 2). Suppose 3*q = -2*q - 15, 4*q = -5*o + i. Let w = -4 - -8. Is o bigger than w?
True
Suppose -50*g + 55*g = -10. Is g >= -1?
False
Let a(t) = t**3 - 12. Let s be a(0). Let d = 10 + s. Is d less than -3?
False
Let g be (2/(-6))/((-3)/2). Let u = -1.41 + 0.41. Do g and u have the same value?
False
Suppose 5*n + 2*w + 2*w - 9 = 0, 4*n - 4*w - 36 = 0. Let c(r) = r**2 + 7*r - 4. Let u be (2 - 13) + 3*1. Let f be c(u). Which is smaller: f or n?
f
Let s be (4/(-5))/(2/(-5)). Let r = -84 - -85. Which is greater: r or s?
s
Let l = -334 + 1046/3. Let k = l + -29/2. Let p be 2/6 - (-32)/(-24). Is p >= k?
False
Let f = 133 - 259/2. Are 3 and f equal?
False
Suppose -5*f = -f + 4. Which is smaller: f or 0?
f
Let v = -27.6 - -27. Let k = 8.3 - 9. Let s = k - v. Is -0.2 at least s?
False
Let m = -15/2 + 7. Let h(j) = -j**2 - 14*j + 2. Let q be h(-12). Suppose 5*a + q = -0*t - 3*t, -4*a - 8 = -4*t. Which is smaller: t or m?
t
Let n = 631/17 - 37. Which is smaller: -1 or n?
-1
Let q = 155 + -180. Which is smaller: q or -26?
-26
Let y = -622/133 - -32/7. Which is bigger: y or 0?
0
Let m = -21 + 50. Is 29 > m?
False
Let g = 6 - 7. Let q = g - -6. Is q at least 5?
True
Let u = 13 + -79. Let l = -129/2 - u. Which is greater: 0 or l?
l
Let g be -5 + (-22)/(-4) + (-74)/(-36). Which is bigger: 4 or g?
4
Suppose 25 = -g + 3*d, 4*d + 10 = -g - 2*g. Let x be (4/g)/((-70)/(-21)). Is x at least 0?
False
Suppose 3*l - 15 = 0, q - 3*l = -l - 26. Is -15 >= q?
True
Let i = 6/61 - 223/1647. Is -1 >= i?
False
Let o be -8 - -9 - 2*-5. Let s = -12 + o. Which is bigger: s or 2/15?
2/15
Let i be (-5 + 2 - -2)*1. Which is bigger: i or 2/43?
2/43
Let c = 41 + -40.91. Let w = -1.99 + 2. Let f = c + w. Is 6 greater than f?
True
Suppose 5*k + 21 = -o, -6*k = 5*o - k + 5. Let a be -2*3/o - -1. Is 2/3 less than or equal to a?
False
Let w be -4 - ((-15)/4 - 0). Which is bigger: w or 0?
0
Suppose -3*x + c + 33 = 4*c, x 