alse
Suppose 2*a - 10 = -2*z, -4*z + 8 = 3*a - 6. Let g be (a/(-32))/(153/(-18) - -4). Is g less than or equal to -1?
False
Suppose 13*q - 12*q - 12 = 0. Let i be 99798/q*(-2)/9235. Let g = 2/1847 + i. Which is smaller: g or -2?
-2
Let y = 751602589/11545 + -65102. Which is smaller: y or -1?
-1
Let h = -342 - -109. Let u = 232 + h. Which is smaller: -42 or u?
-42
Let j(x) = x**3 + 31*x**2 - 15*x - 34. Let p be j(-32). Let d be (-4675)/p - (-3 - -11). Is d greater than -0.1?
True
Let f be (-10)/(-35) + (-12)/(-7). Suppose 0 = -2*r + 2*v + 6, 4*v - f*v + 8 = 0. Let o = -22 + 14. Which is greater: r or o?
r
Let t = 109 + -110. Which is smaller: -146 or t?
-146
Let z = 46434 + -2832540/61. Which is smaller: -1 or z?
z
Suppose 0 = -3*s + 4*s - 3. Suppose -2*f = -s*g - 9, 4*g - f + 23 = -2*f. Let b be ((-54)/20)/(184/368). Which is smaller: b or g?
b
Let a = 0.013 - 22.013. Let h = a - -58. Let w = -35.84 + h. Are -1 and w equal?
False
Suppose 3*b + 1439 = 5*g - 2055, 0 = -2*b + 5*g - 2321. Do b and -1168 have the same value?
False
Suppose 2*m - 48*g = -51*g + 380, 3*m + 4*g = 574. Do 187 and m have the same value?
False
Suppose 4102*a - 4133*a = -31. Is -9.17 != a?
True
Suppose 1026*f + 2740 = 1030*f. Let x = 712 - f. Is x > 27?
False
Let s = -4670820532 - -110740484044954/23709. Let b = s + 8/1129. Which is greater: 2 or b?
b
Suppose 16 + 23 = -41*f - 2. Let z be ((-4)/(-30))/(-1 + 0). Are f and z equal?
False
Suppose 3*c + 5*u - 1127 = 1203, -5*c + 3908 = -4*u. Which is bigger: 778 or c?
c
Let b be (-6)/(-10) - (0 - -1). Let k(n) = n**3 - 2*n**2 - 2*n - 5. Let x be k(0). Let d be x + 2 - 95/(-35). Is b at most d?
True
Let w = -377 - -240. Let c = w + 136.9. Are c and -33 equal?
False
Let p = -25.894 + -0.106. Let y = 22 + -66. Let q = y - p. Is 1 less than q?
False
Let t(v) be the first derivative of -v**4/2 - 6*v**3 - v**2/2 + v + 21. Let c be t(-9). Suppose -103 = c*z + 57. Which is greater: -17 or z?
z
Let l = -2 + 9.2. Let h = 540 + -550.2. Let x = h + l. Is -0.01 != x?
True
Let j = 3182 - 3311. Are -773/6 and j non-equal?
True
Suppose -1165 = 16*g - 4029. Suppose -4*f + 19 - g = 0. Is f <= -40?
True
Let w = -110 + 111. Let y(q) = 6*q - 1. Let g be y(w). Suppose 0 = -5*z + 6*z - g. Is z equal to 0?
False
Let s be -2 + 5 + -10 + 250. Let y = 240 - s. Let g = -41/2 + 18. Is y smaller than g?
True
Suppose 0 = -29*a + 22939 + 120408. Which is smaller: 4942 or a?
4942
Let r be ((-36)/(-8))/(3/(-6)) + (0 - -7). Let d(m) = 4*m**2 + 6. Let k(a) = -5*a**2 + a - 6. Let w(c) = -6*d(c) - 5*k(c). Let x be w(5). Is x smaller than r?
True
Let d be 10/45 + 50197/63. Let q = 100423/126 - d. Let y = -2.9 - -3. Is y <= q?
False
Let f(h) = 104*h + 122. Let w be f(5). Let r = 25036/39 - w. Which is smaller: r or 0?
r
Let g(x) = -6*x - 64. Let j(q) = -9*q - 96. Let n(f) = 7*g(f) - 5*j(f). Let m(v) = -v. Let p(c) = -4*m(c) - n(c). Let a be p(15). Is -16 at most as big as a?
False
Let l be (-50)/10*((-12)/(-5) + -2). Let d be 3*(l + (-4 - -3) - -4). Suppose -2 = d*i + 1. Which is smaller: i or -2/45?
i
Let q be (1 - 19/7) + 44/(-154). Suppose -7*k = 2*k - 252. Let j be 14/k + q/4. Which is smaller: 3/17 or j?
j
Let h be (-2 + (-2)/(-4))*2. Let b be h/6*0/1. Let k = -344 + 6542/19. Which is greater: k or b?
k
Let c = 2127303/2360 - 4507/5. Do c and 1 have different values?
True
Let u = 1.6 + -7.6. Let k = u + 8. Let g = 275 - 276. Which is bigger: g or k?
k
Let p(f) = -4*f**3 + 3*f**2 - 15*f - 24. Let t(x) = -5*x**3 + 4*x**2 - 16*x - 24. Let y(b) = -6*p(b) + 5*t(b). Let g be y(-3). Is g smaller than 40?
True
Suppose x + 10901 = -0*x + 2931. Is -7969 at least as big as x?
True
Let i be -2*2 - (-41951)/728. Which is smaller: i or 53?
53
Let l(m) = -6*m. Let y be l(-14). Let h(f) = 176 + 4*f - 3*f**3 + 5*f - y - 2*f**2 - 82. Let n be h(-3). Do 44 and n have the same value?
False
Let h = 13677 - 14591. Is h less than or equal to -915?
False
Suppose 2*z + 2*i - 8 = 0, 5*z - 14 - 5 = -4*i. Suppose 70 = -5*x - 5*b, 2*x + z*x = -4*b - 73. Which is bigger: -0.09 or x?
-0.09
Let m be (385/(-14))/(-11)*(-30)/(-3). Suppose -45*i + m = 1285. Do i and 8 have the same value?
False
Let v = 287 + -283. Let a be (-24)/360 + v/10. Which is smaller: -0.79 or a?
-0.79
Let s be 3309/1749 + (-195)/(-13) + -17. Which is smaller: s or 0?
s
Let n = 230.3 + -276.21. Let w = 3487 + -3441. Let l = w + n. Is 2 != l?
True
Let k(w) = 3*w**3 - 2*w**2 + 2*w - 1. Let i be k(1). Let l(m) = m**3 - m + 3. Let s be l(-3). Let b(n) = -n - 21. Let x be b(s). Is x at most as big as i?
True
Let u be (2/(-48))/((-180)/400). Suppose 2*f - 3*n - 9 = 0, -5*f = -2*n - 5 - 1. Is f less than u?
True
Let t = -13.3 - 122.7. Let l = 143 + t. Is 0.8 >= l?
False
Let q = -53/975 + 246251/4525950. Let y = q + 90820703/543114. Let i = y + -167. Which is smaller: i or -15?
-15
Let v = -7050 + 6802. Is v > 4?
False
Suppose 3*m = -9, -4*b + m - 21 = 4. Let g be (6 - 28) + -3 + b. Which is smaller: g or -29?
g
Let i = 6575 - 5970. Is i equal to 600?
False
Let v be (10335/(-4134))/((-2)/(704/(-10))). Let u(a) = -5*a**2 - 5. Let l be u(4). Is l at least v?
True
Suppose 2793 = 4135*q - 4131*q + 597. Which is smaller: 541 or q?
541
Let w = -18350 - -18349.889. Which is smaller: w or 5/23?
w
Let v(b) = b**3 + 22*b**2 + 36*b - 30. Let d be v(-20). Let n(j) = j**3 - 2*j + 8*j**2 - 7 + j + 0 + 2. Let c be n(-7). Is d at least c?
False
Suppose -27*g - 29*g + 10098 = 10*g. Is 132 at most g?
True
Let k = 1435 + 307. Suppose -26 = -13*x - k. Which is greater: -135 or x?
x
Let g = -10256 - -358898/35. Which is greater: g or 0.1?
0.1
Let o = -1050 - -966. Is o != -4?
True
Let n = 6474/11 - 17292120/29381. Does 1 = n?
False
Let a(t) = 12*t + 22. Let y be a(5). Suppose -3*h - y = 80. Which is greater: -53 or h?
-53
Suppose -2*r - 17 = -15. Let i be (189/(-18))/(34 + r). Is i greater than or equal to 0?
False
Suppose 11*l - 6*l + 3*l + 8 = 0. Is -8/31 greater than l?
True
Suppose -39*g + 53*g - 9165 = -70471. Which is smaller: -4378 or g?
g
Let s = -11131 + 11131. Which is greater: 2/35 or s?
2/35
Suppose -4*j - 324 = -5*n, -5*j = n - 17 - 42. Suppose -n*x + 70*x + 6 = 0. Is x >= 1/69?
False
Let o(g) be the third derivative of -g**6/60 - 7*g**5/30 - 7*g**4/24 - 3*g**3 + 4*g**2 - 3. Let p be o(-4). Does -86 = p?
True
Let y = -618 + 305. Let c = -312 - y. Is c > 100?
False
Let a be (264/34)/4*1013. Let r = a + -1967. Is 0 < r?
False
Let i(j) = j**3 + 4*j**2 - 4*j - 2. Let z(k) = -k**3 - k**2 + 2*k. Let w(c) = i(c) + 2*z(c). Let b be w(-1). Is b greater than or equal to 1/115?
True
Let z = 886 + -606. Let s be (-4)/(-18) + z/36 + -2. Suppose 2*n = -4*a + 2, -2*n - a + 5 = -s. Which is greater: 9 or n?
9
Let n = 310342/15 - 60986/3. Which is smaller: n or 360?
360
Suppose 5*s - 13*s = 624. Let j = s + 75. Let y = -4/1497 - 10966/4491. Is j > y?
False
Suppose 5*r - l = 209, -4*r + 0*r + 5*l = -184. Let a = -59 + r. Let m be (120/a - -6)*(-6)/4. Is m less than -4/29?
False
Let t be (-1)/((-9)/(-218)) - -2. Let g = t - -1558/45. Let f be ((24/10)/(14/15))/((-3)/(-14)). Which is bigger: g or f?
g
Let o = 1/8573 - -17143/25719. Is o not equal to 2218?
True
Let l be (-6 + (-135)/(-36))/(1/220). Let n be (-46)/l - 48/264. Which is greater: -1 or n?
n
Suppose -5 = 5*c - 2*m, 0 = -5*c - 5*m + 3*m - 25. Let l be (c/6 + 1430/2852)*4. Let n = l - -5652/9269. Which is bigger: -2 or n?
n
Let y(m) = m**2 - 23*m + 108. Let l be y(6). Let u be l - ((-224)/35)/(-1). Which is smaller: u or -4/13?
u
Let a be (0 + 6)*((-9)/(-2) + -4). Suppose 0 = -a*k + 2*k - 2. Let n be (-57)/621 + -3*k/27. Which is smaller: 0 or n?
0
Let x = -89052 + 89051. Let w be 2/12*21/(-2). Is w < x?
True
Suppose 5*v = -3*q + 25814, -5*v + 4892 = q - 3726. Is q at least as big as 8597?
True
Let z = -5017 - -3533. Let p = -1487 - z. Suppose 5*a + 3 = 8. Which is greater: p or a?
a
Let y be 39/(-27) + -26 + 21 + 6*1. Which is smaller: y or 15?
y
Let z(t) = -2*t**3 + 120*t**2 - 117*t + 8. Let d be z(59). Is d bigger than 40?
True
Suppose 4*p + 3 + 0 = -5*z, -2*z - 4 = 3*p. Let i be (-12)/((-42)/7) - z. Which is smaller: 1/64 or i?
1/64
Let l = 656 - 660. Let f be (2/(-3))/(2/3). Let i be f*(-11)/(-9) - l/18. Which is smaller: 10 or i?
i
Let n = -2215 + 2215.2. Which is bigger: 0.1045 or n?
n
