10. Let y be t(-5). Let s = -29 - y. Is -43 greater than or equal to s?
True
Let w = -0.5 + -1.1. Let x = w - 1.4. Let q = x + 2. Which is greater: q or 1?
1
Let l(z) = -11*z + 157. Let m be l(14). Let q = -1.04 + 1. Let b = q - -6.04. Does b = m?
False
Let k = -47 - 40. Let c = k - -614/7. Let u = 7 - 5. Which is greater: u or c?
u
Let j = 1.853 - 1.719. Which is smaller: 6 or j?
j
Let k(c) = -c**3 - 12*c + 2 - 3*c**2 + 13*c + 0. Let w be k(-3). Is w smaller than 2?
True
Let g be ((-244)/(-60) - 4)/((-32)/920). Which is greater: -1 or g?
-1
Suppose -1313 = -7*o + 20*o. Is -101 at least as big as o?
True
Suppose 0 = 2*k + 5*m - 14, -6*k + 2*k - m = -10. Suppose 0 = k*o + 9*o. Let i = -2144/13 - -165. Is o at most as big as i?
True
Let d be 141/(-6) + 14/21. Which is smaller: -24 or d?
-24
Suppose 8*q - 8 = 4*q. Suppose -2*k - s + 25 = 4*s, 4*k = -q*s + 10. Suppose k = -0*b - 2*b + 2. Is 1/2 at least b?
False
Let s be -1 - -1 - -5 - (-30 + 21). Suppose -4*u - x = -57, -2*u - x - 2*x + 31 = 0. Are s and u non-equal?
False
Suppose 100*p - 256 = 7*p + 116. Let c = 25 + -14. Which is smaller: p or c?
p
Suppose -c = y + 3, 0*y = -y - 5*c - 3. Which is smaller: y or -2?
y
Let f = 439 + -624. Are f and -556/3 nonequal?
True
Let j = 5 - 30. Let q = 24 + j. Which is bigger: q or -5/4?
q
Suppose q - 25 = n, -5*n - 3*q = -n + 79. Let f = -22 - n. Is 7/6 greater than f?
True
Let o = -2.2 - -5.6. Let w = o - 4.4. Suppose -2*s = -3*s. Are s and w equal?
False
Let i = 19 - 13. Let d = 6.1 - i. Which is greater: 23 or d?
23
Let f = -2 - -5. Let i = -1 + f. Let l = -1379/3 + 460. Which is smaller: l or i?
l
Let u = 1884/7 - 270. Suppose 2*j + 14 = 3*k, 4*j + 3*k - 5 - 3 = 0. Is u equal to j?
False
Let k be (0 + -1)/((-3)/39). Let z be 6/(-9)*(1 - k). Let n = 33 - 25. Are n and z non-equal?
False
Let u = 106420 - 13728877/129. Let z = 16/3 + u. Do 0 and z have different values?
True
Let n be (-56)/252 + 31/18*10. Suppose -3*f + 5*o + 8 = -3, n = f + 5*o. Which is greater: 28/5 or f?
f
Let j(f) be the third derivative of -f**4/12 - 13*f**3/6 - 9*f**2. Let l be j(-8). Let k be 1/l + 2/(-6). Which is smaller: k or 1/6?
k
Let l = 896778 - 22425171/25. Let z = -229 - l. Which is greater: -1 or z?
z
Let y = 7.01 - 0.01. Let m = -8.31 - 0.69. Let p = m + y. Does 5 = p?
False
Suppose -2*f - 5*n = 14, 3*f - 2*n + 5*n = -12. Suppose -2*l + 6*l = -g + 17, 3*l + 5*g - 34 = 0. Let h be 3*(-2)/l - (-60)/48. Which is smaller: f or h?
f
Let z = -2123/17 - -125. Let d(k) = -k + 2. Let r be d(-1). Suppose -5*s + 4 = j, j = s + 5*j + r. Which is bigger: z or s?
s
Let t(w) = 2*w + 29. Let q be t(14). Let p = q - 49. Do -0.2 and p have the same value?
False
Let n be ((-2000)/(-26875))/((-58)/(-60) - 1). Which is smaller: -3 or n?
-3
Let v = 43 - 35. Let i be (-15)/(-12)*v/20. Let u = -2 + 2.12. Is u >= i?
False
Let a(b) = 2*b**2 + 8*b - 37. Let y be a(-7). Suppose 5*z = g + 2*z + 14, 2*z = 5*g + y. Is -1/20 not equal to g?
True
Let p = -899 + 1721. Which is greater: p or -2/7?
p
Let r = -18 + 19. Let c = 91/23 - 4. Which is greater: c or r?
r
Let m be (-26 + 30)*((-21)/(-4))/3. Let w = 26 - 22. Is w greater than or equal to m?
False
Suppose -5*v = -3*m - 14, -2*v + 3*m = -v - 10. Let a be (v/6)/(55/20 + -3). Which is greater: 22 or a?
22
Let l = 16/1079 + 102377/8632. Is 11 not equal to l?
True
Suppose 0*w + 4*w + 4 = 0. Suppose 5*x + 3*p = 2*p - 6, -4*p = 4*x - 8. Is w smaller than x?
False
Let r be 0 - (-4)/10 - 69646/157140. Is r at least as big as 0?
False
Let g = 425900/113 + -3769. Is g greater than 1?
False
Let l(o) = o + 1. Let w be l(0). Let s be 1281/(-2394) - (7/(-2))/7. Which is bigger: s or w?
w
Let d = 1182 - 1168. Which is greater: -65 or d?
d
Let h = 7 - 6. Let y = 110/1767 - -4/93. Is h less than or equal to y?
False
Let p be (-3 - 27/(-12))*(6 - 10). Suppose -18*d + 17*d - p = 0. Is -2 bigger than d?
True
Let i = -1 + 8. Let v be (-182)/(-30) - 4/10. Which is smaller: i or v?
v
Let q = 16 - 12. Suppose -5*f + 8 = -l, 4 + q = 2*f + 2*l. Let i be (2 - -4) + (1 - f). Which is greater: i or 7?
7
Let m = -221.18 - -221. Does -7 = m?
False
Let g be (-36)/(36/15 - 2). Let b(x) = -280*x**3 + x**2 - 2*x + 1. Let h be b(1). Let t be 3/8*h/g. Which is greater: 2 or t?
2
Let q be (-9)/12 - (-1 - 0). Suppose 7 = -4*x + 19. Suppose -x*p = -2*z + 23, 2*p + 5 + 29 = 4*z. Which is smaller: z or q?
q
Let l(x) = 31*x - 703. Let g be l(25). Suppose 2*k + 292 = 6*k. Is k bigger than g?
True
Let t = -92.226 + -0.774. Which is bigger: 1/5 or t?
1/5
Suppose -2*j + 9 = -f - 1, -5*j + 22 = -f. Which is bigger: f or -176/5?
f
Let x be 2 + -4 - (16 + -2). Let n = -2 - x. Let a be 58/4 - (-1)/(-2). Is n != a?
False
Let l be 2 + (1 - 2 - -17). Let w be l + -17 - (1 - -1). Is 5/13 at least as big as w?
True
Let b(d) = d + 13. Let a be b(-11). Suppose -a*l = 2*g + 40, -g + 2 = -2. Which is greater: l or -25?
l
Let w(a) = -2*a**3 + 1. Let f be w(1). Is f greater than -9/17?
False
Let m be (11 - (-2)/(8/(-20))) + 4. Let h(c) = c**2 + c - 1. Let v be h(-4). Is m greater than or equal to v?
False
Let b = -338 - -345. Which is smaller: b or 1?
1
Suppose 15 = 3*q - 0*q. Let y(x) = x**2 - 5*x + 5. Let v be y(q). Suppose -2*h = 4*o + 22, 2 + v = -4*o + h. Is -3 >= o?
True
Let s be 1 - 6/(1 - 7). Let u be (0 - 1)/(s/250). Which is smaller: u or -126?
-126
Suppose 0 = -3*m - m - 60. Let y = -5 - m. Suppose -5*b = -5 + y. Is -2 bigger than b?
False
Let q = -2681/4 - -658. Is q less than or equal to -13?
False
Suppose 5*f + 4*m + 59 = 0, 4*m = -3*f + 2*m - 37. Let k be (-1*1)/(-5 + (-189)/f). Which is greater: k or 1?
1
Suppose 3906 = 14*l + 48*l. Which is smaller: l or 2?
2
Let a = 51 + -503. Is -452 > a?
False
Let q be -8*(-4)/8 + -15 + -845. Does -857 = q?
False
Let f be 1984/(-40) - (22/5 + -4). Is f smaller than -43?
True
Suppose 0 = -0*z - 3*z, 3*c + 5*z - 9 = 0. Suppose 2*a = -c*a + 55. Let u be a - (3 - 1 - 0). Is u <= 10?
True
Suppose 11 = 3*k + 4*h - 12, k = -3*h + 11. Is 5 not equal to k?
False
Let l = 18 + -27. Let m be (-6)/(-8)*2/l. Suppose 3*n + 7 - 1 = -3*h, -3*h - 2*n - 4 = 0. Is m > h?
False
Let t be 1 + (-1)/(14/8). Let j = 34 - 16. Let a be (-9)/(-7) + j/(-63). Which is bigger: t or a?
a
Let p = -770 - -770.1. Let d = -0.1 + -3. Which is smaller: p or d?
d
Let o = 2.51 + -2.5. Is -0.03 equal to o?
False
Let d be (180/(-69) - -2)*(-7)/(-14). Which is smaller: d or 1?
d
Let y = -157 - -157.01. Which is greater: y or 3/5?
3/5
Let t = 2 - -1. Suppose -t*m - 3 = 0, -l + 2*m + 10 + 1 = 0. Let n be 14/6 + l/(-27). Which is smaller: 3 or n?
n
Suppose 0 = 5*c - 4 - 6. Suppose -a = -c*a. Let r = 83/63 + -10/7. Which is greater: a or r?
a
Let c = 11680/33 - 354. Let x = -68 - -71.2. Let g = x + -3.3. Which is smaller: c or g?
g
Let f = 1504 - 1506. Let z = 0.2 + -0.3. Is f < z?
True
Let h(d) = 26*d - 421. Let a be h(16). Let j(t) = 0 - 5 + t + 3. Let o be j(-2). Is a greater than o?
False
Let b be 7420/1650 - -2*4/(-60). Which is smaller: b or 4?
4
Let b be ((-7)/((-175)/45))/(6/90). Which is bigger: b or 55/2?
55/2
Let y(l) = -25*l + 116. Let k be y(5). Which is smaller: -17 or k?
-17
Suppose -3*k + 0*k = t + 26, 5*t - 32 = 3*k. Suppose 0 = -4*p + 1 - 9. Let g be 0 + (p + -11 - -2). Which is greater: k or g?
k
Suppose -4*w = -z + 22 - 227, 3*w - 171 = -5*z. Let g = 61 - w. Let p be 2/(-4) + 23/2. Are g and p equal?
False
Suppose 24 = -3*b + 36. Suppose 0 = b*k + k + 2*z - 4, z = -3. Let a be ((-3)/6)/(k/(-4)). Does 1/30 = a?
False
Let n(o) = 10*o - 80. Let f be n(4). Which is smaller: f or -0.03?
f
Let h be (-167)/(-11) + (-6)/33. Which is bigger: 12 or h?
h
Let a be (-12)/(-16) - ((-19)/(-4) - 14). Let w = 14 + -13.93. Which is greater: w or a?
a
Suppose 3*j - 11*f + 1740 = -8*f, 3*j + f = -1756. Is -2 < j?
False
Let p = 36 - 33. Let s be (2 + 132/(-56))*(p + -1). Is s less than or equal to 0?
True
Suppose -2*b = -5*p + 21, 5*p = -4*b + 17 + 16. Suppose -u + b*j = -8, -j = -0*u - 4*u + 4. Which is greater: u or 3/25?
3/25
Suppose 3*u = o - 5, 11 + 9 = -4*u + 4*o. Is u at least as big as -1/323?
True
Let k = -0.541 + -0.009. Let c = 0.65 + k. Which is smaller: c or 0.054?
0.054
Let p(w) = -2*w + 5 - 17 - w + 8. Let y be p(-11). Which is bigger: 31 or y?
31
Let t be -20 - (-1)/((24/6)/(-12)). L