 i = 10 - 11. Let t = -8 + 3. Let b be t/4 - 2/(-8). Is b at least i?
True
Let c(y) = -54*y + 46. Let l be c(3). Which is smaller: l or -117?
-117
Let b = -1 - -1. Let r = 454 - 449. Which is smaller: b or r?
b
Let y = 139/357 + -5/17. Does y = 1?
False
Let h be (2 - (-1 - -3)) + 2. Let y = h - 2. Let w be (-12)/48 - (-3)/2. Which is greater: w or y?
w
Suppose 4*q - 5*k + k - 152 = 0, -2*q = 4*k - 88. Let u be ((-6)/q)/((-1)/4). Which is smaller: 1 or u?
u
Suppose 3*w - 2*c - 3 - 6 = 0, 5*w - 3*c = 15. Let v = -18 - w. Let l be (-2)/8*24/v. Which is bigger: l or 0?
l
Let c = 0.04 - 0.14. Let m = -1.1 - c. Is 2 at least as big as m?
True
Suppose 0 = 5*r - 2*l + 7*l - 5, -2*r - 10 = -2*l. Let i = 4 + r. Let g(w) = w**3 + 4*w**2 - 7*w - 7. Let z be g(-5). Is z smaller than i?
False
Suppose -3*p - 2*f + 10 = 0, -3*f + 7*f = -3*p + 20. Suppose 3*a + 12 + 0 = p. Which is smaller: a or -2?
a
Let b(g) = g**2 + 5*g - 3. Let q be b(-6). Let t(f) be the second derivative of f**4/12 - f**3/3 - 3*f**2/2 - 22*f. Let z be t(q). Are 0 and z nonequal?
False
Let g be 6/(-8) - (-2)/(-8). Let h = 61753/8190 + -1/630. Let l = h - 745/104. Do l and g have different values?
True
Suppose -2*p + 2*m + 8 = 0, -5*m = -4*p + 6 + 10. Let f be (-1)/((-4)/3)*p. Let u be (-2)/(-3) + (-5)/f. Which is greater: u or -0.3?
-0.3
Suppose 14*q = 13*q. Which is greater: 3/20 or q?
3/20
Let o = -21688/5 - -4440. Let l = o + -102. Let q be (6/9)/(2/3). Which is bigger: l or q?
q
Let k = -0.48 + -29.52. Let g = k + 30.21. Is g less than 0?
False
Let s be (-33)/22*8/(-402). Which is bigger: s or -2?
s
Suppose i + 0*i - 40 = 5*k, 2*i - 4*k = 68. Let g be 4/(-6)*i/4. Is -3 less than or equal to g?
False
Let a = 0.1 + -0.2. Let c = -1.1 - a. Suppose -4*b + 1 = -5*b. Are c and b non-equal?
False
Suppose 0 = -g - 3*x + 1 + 2, 0 = 5*g + 4*x + 18. Let c be (-3)/g - 10/4. Is c at most as big as -4/7?
True
Let b(u) = -u**2 - 7*u - 1. Let w be b(-8). Let a be (-2)/(-6) + 3/w. Let m be (a + (-4)/(-2))/14. Which is bigger: m or 0?
m
Let k = -18 + 17.8. Which is greater: -1/3 or k?
k
Let z be (-12)/18 - (-4)/15. Is z less than 2/35?
True
Suppose 3*w + w = 4. Which is bigger: w or -2/165?
w
Let b = -98.5 - -99. Let w = -0.08 - 2.42. Let f = w + b. Is -0.2 at most f?
False
Let n = 2.5 - 2.5. Let d be ((-2)/8)/(6/(-34)). Let t = d + -7/6. Is t < n?
False
Let x be (-53)/(-7)*35/10. Let n = x + -27. Which is smaller: -1.8 or n?
-1.8
Suppose o - 7 = 2*o + 3*i, 4*o + 3*i = -1. Suppose -2*k + 4*k + o = 0. Are -4/3 and k unequal?
True
Let n = -30 + -51. Is -81 at most as big as n?
True
Let n(q) = q**3 - 4*q**2 + 4*q - 2. Suppose -4*k + 9 = -k. Let v be n(k). Which is bigger: 6/5 or v?
6/5
Let p = 14 - 14. Are -12 and p nonequal?
True
Let h = -85 + 85. Is 4 < h?
False
Let c be 4/6 + 231/(-9). Let z be 2/(-5) + (-10)/c. Which is bigger: -1/2 or z?
z
Let y(w) = -w**3 + 7*w**2 - 7*w - 3. Let t be y(6). Let a = 5 + t. Let b = -5 - a. Which is smaller: b or 1?
b
Let d(w) = 110*w - 8. Let b be d(1). Is b >= 102?
True
Let n = 172/369 - 10/41. Let v(o) = -o**2 - 7*o + 8. Let q be v(-8). Suppose i + i = q. Is n smaller than i?
False
Let f be (4/6*3)/5. Let v = -5 - -19/4. Is f >= v?
True
Let z = 3 - 0. Let o be (1 + 0)*(z + -4). Let u be (-3 - -4)*(0 + o). Which is bigger: 2/11 or u?
2/11
Suppose -3*w = 4*u + 28, -5*w - 13 = 4*u + 31. Suppose -3*a + 8 = -2*a. Suppose -d + 0 = a. Are d and w non-equal?
False
Suppose 0 = -z + 2*z. Suppose 2*i = 6*i - 364. Let n = 641/7 - i. Is n at most as big as z?
False
Let c be 0 + -1 - (-2)/3. Let z(d) = d - 3. Let y be (-4)/1*6/(-8). Let m be z(y). Is m at least c?
True
Let m = -27 + 19. Let u = -5 - m. Let w be (2/28)/(2/8). Which is bigger: w or u?
u
Let t = 11 - -5. Let z = -9 + t. Which is greater: 1 or z?
z
Let v = 67.06 - 67. Which is greater: v or 0.1?
0.1
Suppose -2*l = -6*l + 20. Suppose -m - l*k + 9 = 0, 0 = -4*m - 2*k - 3*k + 6. Is m greater than or equal to -1?
True
Suppose -2*w + 55 - 11 = 0. Which is bigger: w or 23?
23
Let t = -0.57 - -0.07. Let u = -0.14 + -0.06. Which is smaller: u or t?
t
Let f(c) = -3*c + 2. Let o be f(3). Let r be (-76)/(-70) - (-2)/o. Which is smaller: r or 0?
0
Let g be (2 - -4 - 1)/1. Let f be 5/g*(-4)/14. Suppose -s + 2*s + 1 = 0. Is f > s?
True
Let p(v) = 10*v + 2. Let y be p(2). Is y bigger than 23?
False
Suppose -2*z - 10 = 0, -2*z = -2*y + 3 + 9. Let q = 398.98 + -399. Is q equal to y?
False
Let x be (-2)/(-9) - (-190)/(-45). Let h be (-2)/x + 1/(-2). Let v be ((-20)/15)/(-2 - h). Is -2 <= v?
True
Let t = 0.2 + -0.2. Let s = 33 - 28. Is t < s?
True
Let u be 37/(-12) - 0 - -3. Suppose 4*g + 2*a + 4 = g, -29 = -2*g + 5*a. Suppose -2*m = y, -5*y = -5*m + g*m. Which is smaller: m or u?
u
Suppose 4*q - 22 = -6. Let c = q + -2. Let o be (c - 7) + (-4)/(-2). Are -3 and o nonequal?
False
Let l(h) = h**2 - 7*h + 7. Let w be l(5). Let o be ((-1)/w)/((-3)/27). Which is smaller: o or -4?
-4
Suppose 5*q = 6*q + 1. Are -1 and q nonequal?
False
Let d be -4*(-4)/((-8)/(-3)). Let w be 22/d + (-4)/(-12). Is -1/4 smaller than w?
True
Let f be (-1 + 2)/(1/6). Let q be (4/18)/(10/f). Let b(r) = r**2 + r - 1. Let z be b(1). Which is smaller: q or z?
q
Suppose 3*w + u = 15, -3*w = -0*w - 4*u. Let t be w/14 + 48/(-21). Suppose 3*m + 10 = -2*m. Is t equal to m?
True
Suppose 0*n + 2*n - 5*m + 3 = 0, 4*n - m - 3 = 0. Let y = 1 - 0. Suppose -2*a + 5 = -3*k, -2*a = -2*k - 5 + y. Is k > n?
False
Let n be ((-21)/(-6))/(2/48). Is 83 smaller than n?
True
Let x = -46 - -31. Let c = 18 + x. Which is greater: -1/3 or c?
c
Let i = -0.19 + -7.81. Which is smaller: i or -1/3?
i
Suppose 0 = -0*a + 2*a - 4. Suppose -h + 6*h = 3*g + 8, 12 = -a*h + 5*g. Is 5 smaller than h?
False
Suppose -5*p - 3*k = -12, 4*p - 5*p + 6 = -3*k. Suppose 0 = 4*i - 4*a + 4, 1 = p*i - a + 4. Which is smaller: i or -3/5?
i
Let o be 2 - (1 + 0 + -3). Suppose -4*g + 18 = o*j - g, -g = -5*j + 13. Let q(d) = d - 4. Let l be q(8). Is l less than j?
False
Let m be 9*(12/(-9) - -1). Let p be m/(-7) + (-75)/(-21). Let k(q) = q - 4. Let x be k(p). Which is smaller: 2/9 or x?
x
Let s be -1 - -1 - (-8)/3. Suppose 2*g - 11*g + 27 = 0. Which is smaller: g or s?
s
Let d be (-3)/(33/(-15) - -1). Let q(a) = a**2 + 2*a + 1. Let w be q(-3). Which is bigger: d or w?
w
Let f(y) = -4*y**2 - 2*y. Let u be f(-1). Which is smaller: u or 0?
u
Let p = -9.9 - -10. Which is smaller: p or -24/7?
-24/7
Suppose -2*p - 8 = 2*g, 7*p - 2*p - 2*g = 8. Let m = 47 + -41. Is m equal to p?
False
Let p = -0.04 + 0.01. Let a be -1 + 0 - (70/(-15) - -3). Is p greater than or equal to a?
False
Let i = 11 - 8. Suppose 5*y + 1 = 4*k + 7, -2*y - i*k - 16 = 0. Is y at most as big as -2?
True
Let t be 7*((-4)/(-8)*4 - 3). Which is smaller: t or -29/5?
t
Let r = 1264 + -1241.94. Let i = r + -22. Is i greater than 1/3?
False
Let o = 5 + -8. Suppose -3*d = -6*d - 18. Is o < d?
False
Let s be 1 + 34/(-10) + 2. Is s at most as big as -2?
False
Let v = -9 + 15. Let d(g) = -g**3 - 6*g**2 - 3*g + 6. Let m be d(-5). Let x be 14/6 - m/v. Which is greater: x or 2?
x
Let p be 0/(3/((-9)/3)). Suppose -3*j = -6*j - 3*w + 3, p = -j + 2*w + 16. Which is smaller: j or -1?
-1
Let c = 34 + -33.9. Which is greater: -0.34 or c?
c
Let k = 8 - 8. Which is bigger: 22 or k?
22
Let j be 3/2*48/36. Is j equal to 3?
False
Let p = -0.2 - -0.1. Let g = 1 + -6. Let b be (-22)/(-30) + 2/g. Which is smaller: p or b?
p
Let m(q) = -5*q - 1 + 4*q - 4*q + 2*q. Let r be m(-2). Suppose -u + 3*g = u - 5, 0 = -r*u - 5*g. Is 3 smaller than u?
False
Let q = -0.3 - -0.5. Suppose -55 = -3*m - 5*p, 2*m - 5*p + 30 = 4*m. Let g be 10/m - 6/40. Which is greater: g or q?
g
Let m = 628 - 633. Let c = -0.1 + 0.2. Is m at least as big as c?
False
Suppose 0 = x + x - 10. Suppose 2*a + 2 = b, b = 5*b - x*a - 5. Let f = b + 0. Which is greater: 1 or f?
1
Suppose 4*b - 14 = -3*m, -5*m - 12 = -10*m - b. Let i = -6 + 3. Are m and i non-equal?
True
Let d be 16/42*9/12. Is d >= 0?
True
Let a = -126 + 1769/14. Which is greater: a or 0?
a
Suppose -4*g - 45 = 3. Let l be 1/(-3) - 16/g. Is 1 > l?
False
Let y be 0 + -3*4/(-54). Let g = 12 + -11.9. Which is smaller: g or y?
g
Let u = 436/51 + -26/3. Suppose 3*w - 21 = -4*t + 2*t, -2*w = -10. Suppose 3*f - t = 4*i, -5*f = 3*i - 4 - 1. Which is smaller: u or i?
