3*n + 5 + 4 = 0. Suppose -4*t + 11 = -n*b + 169, -4*t = 20. Is b greater than 0.1?
True
Let p(y) = y**3 - 2*y**2 - 4. Let q be p(2). Let r be ((-7)/q - 2) + 0. Is r <= 0.6?
True
Let y = -4.05 - -0.05. Let u = 83 - 79. Let i = u - y. Is -0.1 bigger than i?
False
Let b be 504 - 10*7/14. Is b bigger than 497?
True
Suppose -74 = 5*x - 24. Let o = 10 + x. Which is smaller: o or 3/5?
o
Let i = 353622/125 + -2829. Which is smaller: -1 or i?
-1
Let s = 3 + -3.2. Let q = s - -1.2. Let u = q + -1. Which is smaller: 2/5 or u?
u
Let l be ((-6)/(-144)*-4)/(1/(-6)). Which is greater: 7 or l?
7
Suppose -5*i - 1364 = -2*d, 5*d + 26 - 11 = 0. Which is smaller: i or -275?
-275
Let k = 14 - 12. Let b be k/(-1) + 46 + 2. Let c be b/(-3) + (-12)/(-9). Is -13 at least c?
True
Let y be (9 - (-56)/(-6))/(2/(-234)). Is 36 <= y?
True
Let a be (-3)/((-3)/(-2)) + 27 + -25. Let u be 7 + (0 + 2)*-1. Let z be 14/(-60) + 2/u. Which is greater: a or z?
z
Let p = -2478 - -378. Let q = p + 18878/9. Is q bigger than -3?
True
Suppose 10 = 2*n - 3*x, 2*n - 7*n - x = -8. Suppose 5*u - 14 = -2*g + 25, 53 = 3*g + n*u. Let s = g - 13. Is 5 at least as big as s?
True
Let a = -1.3 + 0.3. Let y = -0.04 + 0.16. Let i = -0.13 + y. Is a at most as big as i?
True
Let a(i) = -i**2 + 6*i - 5. Let s be a(3). Suppose 7*k = 2*k + f + 15, k - 4*f = 3. Let j be ((-9)/k - -1)/s. Which is greater: -2 or j?
j
Let h = -499 + 475.3. Let f = 0.3 - h. Let c be ((2 + -2)/9)/1. Is c not equal to f?
True
Suppose -4*p - 5*r + 38 = 0, 0 = -p - 2*p + 2*r + 40. Let j be (3 + -4)/(2/(-30)). Let u = -4 + j. Is u not equal to p?
True
Suppose -i = 4*h + 12, -9 = 3*h + 3. Suppose 0 = 4*u - 2*b - 10, i*b - 12 + 32 = 5*u. Let j be ((-54)/30)/(1 + u). Which is smaller: -1 or j?
j
Let t = 31 - 30.7. Let c = t - 2.3. Let b = -1.6 - 0.4. Is b smaller than c?
False
Suppose 0 = 5*d + 4*r + 8, -3*d + 3 = 4*r + 11. Suppose d = 2*a - 2*g - 10, 2*a - 2*g - g = 14. Which is smaller: a or 2/19?
2/19
Let g(x) = 8*x**3 + x**2 - 4*x + 3. Let h be g(2). Suppose 4*w + h = 19. Are w and -112/9 nonequal?
True
Let t(q) = q**3 + 2*q**2 + 2*q. Let p be t(-2). Let g = -49 - -41. Let j be ((-20)/g)/((-5)/p). Is 0 greater than or equal to j?
False
Suppose 23 = -2*d + 3*h - 8*h, -2*d - h = 3. Let c be 4/30*27/2. Is c greater than or equal to d?
True
Suppose 12*o - 22*o - 20 = 0. Is 22 smaller than o?
False
Suppose i - 48 - 85 = 2*a, -i - 4*a + 163 = 0. Is i > -0.1?
True
Let h be 4*(-2)/(-8)*7. Let r = 32 - 29. Suppose -3*t = 2*t - 2*f - 40, -t + 8 = r*f. Which is bigger: h or t?
t
Suppose -247 = -3*l + 2*f, 2*f = 3*l + f - 242. Which is smaller: l or -1/3?
-1/3
Let h be (3/4)/((-1)/4). Let b(o) = -o**3 - 4*o**2 - 4*o - 4. Let i be b(h). Let u = 802 - 24860/31. Is i at most as big as u?
True
Let p = -0.4 + 4.4. Let a = p + -5. Which is greater: a or 1/5?
1/5
Suppose 0 = 5*z - 5*s - 5, -2 = -z - 2*z + 4*s. Suppose -5*r + a = -88, -22 = -2*r + z*a + 18. Is r greater than 15?
True
Suppose -4*l + l + 27 = 0. Let t be (12/l + -2)*36/(-4). Suppose 5*h = 3*w + 36, -w - 19 = -4*h + 7. Is h bigger than t?
False
Let m = -176 + 77. Let z = m - -100. Is z < -0.1?
False
Suppose 0 = -6*v - 837 - 243. Let p = v + 367/2. Which is smaller: p or 4?
p
Let y(j) = -j**3 - 31*j**2 + 101*j - 14. Let l be y(-34). Which is smaller: 13 or l?
13
Let w be 2 - (2/133)/((-24)/(-5080)). Let y = w + -14/57. Is y greater than 1/2?
False
Let w = 29.27 - 29. Let q = 0.7 + 1.3. Which is smaller: q or w?
w
Let j be (-1)/(-2 - (-58)/26). Suppose -4*f = 5*d + 2, -4*f = -5*d + f + 25. Let b be 1*4*d/(-2). Which is smaller: b or j?
j
Suppose -2*d = -5*n - 18, -18*d + 23*d + 13 = -2*n. Is 2/3539 < d?
False
Let u(f) = 2*f**3 + 35*f**2 + 17*f - 1. Let k be u(-17). Which is bigger: -15/16 or k?
-15/16
Let v = -842 - -842. Is 3.56 less than v?
False
Let v = -1.53 + -231.47. Which is smaller: v or 2?
v
Let g be (-6)/(-4)*(-10)/15. Suppose -u - 5*f - 27 = 0, 5*u + 3*f + 69 = -0*f. Let i be 4/(8/u*3). Is g less than i?
False
Let i = 5684 + -15973/3. Which is smaller: i or 361?
i
Let m = -9 - -8.96. Let r = -0.16 + m. Let i be -3 + 26/7 - 1. Which is smaller: r or i?
i
Let y = 1/62 - -55/434. Which is smaller: y or 0?
0
Let c be 1 - (-6 - -1 - -4). Let k be (-574)/(-28) - c/4. Let l = -11 + k. Is l less than or equal to 10?
True
Let l be (-2)/15 - 5962/(-165). Let y = 38 - l. Is y equal to 0?
False
Let u be (2/38)/(0 + -3). Let j = -334 - -333. Does j = u?
False
Let y = -55.3 + 43.3. Which is bigger: -5/16 or y?
-5/16
Let t = 21/16 - 137/80. Which is smaller: -0.175 or t?
t
Let u = 39/10 + -4. Let t = 3.5 + -3.19. Let q = -2.31 + t. Is q less than or equal to u?
True
Suppose 34*k - 92*k = -78648. Is 1355 <= k?
True
Let z be (-8)/(-3) + 4/(-6). Suppose 4*u - 5*b = -b - 8, -z*u = -4*b - 6. Are -4 and u equal?
False
Let c = -422 - -17725/42. Let l be ((-61)/63)/(11/((-33)/(-4))). Let i = c - l. Which is smaller: i or 0?
0
Suppose 4 = -3*t - 2*y, -4*t + 15*y - 10 = 20*y. Which is bigger: t or -0.163?
t
Let s = 8 + -8. Suppose 4*h + 3*j + 47 = 0, h - 2*j + 9 = -s*j. Is -13 at most as big as h?
True
Suppose 0 = -0*k - 5*k - 150. Let s = 44 + k. Let v = -1030 - -1044. Are v and s nonequal?
False
Suppose 3*r = 2*g + 14, 0 = -4*r + 5*g + 23 + 5. Suppose 4*p + l - r*l = 28, 0 = -4*l - 16. Suppose -p = -y - 3*j + 2, -3*j - 12 = -3*y. Are 2 and y non-equal?
True
Let p be (6 + -5)/(57/(-444)). Which is greater: p or -9?
p
Let d = -281536/7 + 40300. Let i be (-1 + 50/(-4))/((-15)/90). Let g = d - i. Which is greater: -1 or g?
g
Let y(h) = 22*h + 571. Let t be y(-26). Is 4/133 greater than or equal to t?
True
Suppose -r + 5*r = 2*h + 42, -2*h - 54 = -5*r. Let g = 30 - r. Which is smaller: 19 or g?
g
Let o = 1 - 0.7. Let n = o + -0.8. Let m = n + 6.5. Is m at least as big as 0.2?
True
Let n(y) = y**2 + 7*y - 19. Let d be n(-12). Which is greater: d or 39?
d
Suppose 4*x = -q - 27, -q = 2*x + 3 + 12. Let w be ((-120)/198)/(4/x). Which is bigger: 0 or w?
w
Suppose -30*q = -35*q - 5. Let t be q/(3 + (8/(-4) - 2)). Is t < -13?
False
Suppose 11*s = 27*s + 272. Suppose 0 = 18*j - 16*j + 36. Are j and s non-equal?
True
Suppose -r + 2 = m, 3*r - 13*m - 22 = -8*m. Suppose 2*i + 3*i = -4*n + 43, n = -4*i + 30. Let u = -2 + i. Is u greater than r?
True
Let b(u) = u**3 + 2. Let c be b(0). Suppose -4*f - 4 = 0, 3*f + 6 = c*z + z. Let k be z*3*14/6. Is 7 smaller than k?
False
Let m be (-4)/(-174)*2*3/(-24). Which is smaller: m or 1?
m
Suppose -4*q + 20 = 8. Which is smaller: -36/7 or q?
-36/7
Suppose 0 = 4*i + i + 4*a - 60, -2*i + 24 = -5*a. Let j be 1/(-1 - i/(-9)). Let t be 10/25 - (52/(-45) - 0). Is t >= j?
False
Suppose -293 = 5*r + 5*z - 773, 5*z = r - 102. Is 98 at least as big as r?
True
Let m = 1675 + -1674.2. Which is smaller: -3/22 or m?
-3/22
Let v(h) = 6*h - 3. Let x be v(5). Suppose -4*o = x + 1. Suppose 0 = -5*z - 20, -12 = 4*b - 5*z + 3*z. Which is bigger: b or o?
b
Let p = -68 - -38. Let g be 5/(p/4) - (-4)/6. Which is smaller: g or -11?
-11
Suppose -234*v - 17 = -251*v. Let m be (-1 - 1)/(-1 - 1). Is m bigger than v?
False
Let b be ((-3)/(-2))/((-3)/(-4)). Suppose -b*z = -3*p - z + 4, -4*p + 20 = -5*z. Which is smaller: -1 or p?
-1
Let k = 10695/14 + -1326/7. Let c = k - 591. Is -17 equal to c?
False
Suppose -10*z = -z. Suppose z = -2*o + 2*m + 108, -m + 2*m + 219 = 4*o. Is 56 not equal to o?
True
Let d be -17 - -1 - (-10 - -7). Suppose 11*q - 7*q - 4 = 0. Is d less than q?
True
Suppose 5*l = 2*k + 9, k + 6*l = l + 18. Suppose 3*g + k*q = -6, 4*g - 5*q = -10*q - 3. Let c be 4/14*g/9. Which is smaller: 0 or c?
c
Let m = -1465 - -110. Is -1355 != m?
False
Let v(k) = -2*k + 7. Let z be v(1). Let g be ((-5)/490)/(z/10). Which is bigger: g or -1?
g
Let u(d) = 3*d - 1. Let q(v) = -2*v + 2. Let p be q(1). Let x be u(p). Which is bigger: -33 or x?
x
Let g be 12/20*(-1 - 542/(-8)). Let m = 163/4 - g. Is 0 greater than or equal to m?
False
Suppose 2*y + 349 = 19. Let o = y - -1159/7. Let l be 0*(-1)/2*2. Which is smaller: l or o?
l
Suppose -4*v = -14 - 14. Are v and -3 nonequal?
True
Suppose 2375 - 345 = -14*r. Is r > -144?
False
Let m be 6/33*1323/14. Let p = -18 + m. Is p <= 0?
True
Let r = 826 - 136291/165. Is -1 <= r?
True
Let r be (-10)/(-24) + 24/(-9) + 2. Is r <= 44?
True
Suppose -10 = -5*a, 4*a = 4*h + 2 