han p?
True
Suppose m + 5*j + 23 = 0, -j - 4*j = 5*m + 15. Suppose -s - 4*n = -m*n + 17, -2*s - 3*n = 33. Let u be (-5 + 2)*32/6. Is s <= u?
False
Let a(c) = 5*c**2 - 13*c + 4. Let m(v) = -v**2 + 3*v - 1. Let s(d) = -2*a(d) - 9*m(d). Let f be s(-2). Let g be (-2)/24 + (-4)/6. Are g and f equal?
False
Let s(b) be the first derivative of -b**3/3 + 4*b**2 - 14*b + 30. Let m be s(3). Which is smaller: -1/131 or m?
-1/131
Let p be -3*(5 + 12/(-4)). Let m be 2 - (p - (-6 - -3)). Suppose 6*n = m*n. Is -11 != n?
True
Let k = -27 + 16. Let d = -0.005 + 10.505. Let r = k + d. Which is smaller: 0.1 or r?
r
Let w = 0 - -8. Let c be 4 + -3 + -3 + (-120)/(-12). Do c and w have different values?
False
Let s = -1 + 5. Let w = -96 + 102. Is w <= s?
False
Let v be (42 + -36)/(10/6). Is v < 1/15?
False
Let n(v) be the first derivative of -1/3*v**3 + 4*v - 5*v**2 + 8. Let t be n(-9). Is t greater than 12?
True
Let l = 175/4 + -44. Let k = -18 - -37. Is l at least as big as k?
False
Let p = 15 - 11. Let h = 4 - 6. Let x be 5/(h/p*2). Which is smaller: -7 or x?
-7
Let y = 36163/49 - 738. Is y at least -1?
True
Let x(z) = z**3 - 12*z**2 + 34*z + 6. Let d be x(7). Let l(n) = -n**3 + 5*n**2 + 3*n - 6. Let p be l(5). Let j be -3 - d*(p + 2). Which is bigger: 9 or j?
9
Let o = -134 - -130. Suppose -4*w + i - 11 = 0, 3*i + 1 = w + 2*i. Let q = w - -6. Which is smaller: o or q?
o
Let g = 5.69 + -5.4. Let d = -0.36 + g. Which is smaller: d or -3?
-3
Let x = -22/17 + 252/221. Suppose 11*c + 5*c = -16. Is x greater than or equal to c?
True
Suppose -4*m + 32 = b + 4*b, -3*b = 2*m - 18. Suppose 12*w = 8*w + 48. Is w greater than b?
True
Let t = -5 - -8. Suppose 3*v = -2*w - 8 - 3, t*v - 13 = 4*w. Let m = 20/9 - 133/72. Is m at least as big as v?
True
Let z = -44932/5 - -8950. Is -36 at most z?
False
Suppose -5*x - 312 = -3*f - 79, 5*f - 4*x - 384 = 0. Let d be f/(-12) - (-2)/6. Which is smaller: d or -1/3?
d
Let t = -983/6 + 164. Is 0.061 at most as big as t?
True
Let f = 1891 - 2227. Is 1 > f?
True
Let m(t) = -t**3 + 14*t**2 - 12*t + 26. Let y(s) = -13*s**3 + s**2 + 2*s + 1. Let i be y(-1). Let a be m(i). Is 39 greater than or equal to a?
True
Suppose 0 = -3*d + 4*d. Let z be 10/3 + 2/3. Suppose -2*n + z = d, -3*n = -4*m + 7 + 7. Which is smaller: 4 or m?
4
Let t = -88 - -98.25. Let n = -0.25 + t. Which is smaller: -0.1 or n?
-0.1
Let s = 28.5 + -26. Let l = 2.4 - s. Let w be 3/7 + -3 - -2. Is w less than or equal to l?
True
Let h = -3.4 + 2. Let n = 1.4 + h. Which is smaller: n or 0.7?
n
Let u = -26 - -26. Let z(q) = q**3 + 7*q**2 - 8*q + 4. Let d be z(-8). Let k be (d/(-3))/((-14)/(-15)). Which is greater: u or k?
u
Suppose 0 = -4*l + 3*l + 4. Let p = -104 - -107. Is l bigger than p?
True
Let l = -5259/4 + 1315. Which is smaller: l or -1?
-1
Let t = 14 - 14.23. Let f = 0.17 - t. Is 4 at least f?
True
Let w be 3/(-11) - 37023/(-473). Which is bigger: w or -3?
w
Let s be (1/24)/(24/32). Suppose 2*a = 8*a. Suppose g + 1 = -a. Are s and g non-equal?
True
Let g be 0 + -1 + (-369)/(-36). Suppose 863*s - 875*s + 120 = 0. Which is smaller: s or g?
g
Let u(m) = 2*m**2 + 2*m + 1. Let o be u(-2). Let w(p) = p**3 - 8*p**2 + 6*p + 9. Let t be w(7). Suppose -o*x = -s - 8, -x = t*x. Is s less than -7?
True
Let a = -0.103 + -9.697. Let z = 2.8 + a. Let t = 6.7 + z. Is -5 less than or equal to t?
True
Suppose 14 = 6*w - 2*w - 2*l, -4*l - 13 = -3*w. Suppose w*x + 27 = 78. Let z = x - 16. Is 1 greater than z?
False
Suppose 0 = 16*r - 14*r - 2. Let x be (-2 + 5)*4/2. Suppose 3*w + q = 4*q - 15, -2*w = 2*q + x. Which is smaller: w or r?
w
Suppose 4*g - 360 = 10*g. Let r = g - -57. Is -1 smaller than r?
False
Let f = 2862262/463 + -6182. Are f and -1 equal?
False
Let k = 2355 + -1854. Which is greater: k or 1?
k
Let t be ((-72)/2)/(((-2040)/70)/(-6)). Which is bigger: -6 or t?
-6
Let n be (-390)/12 + (5/2 - 2). Does -33 = n?
False
Let r = -95 - -103. Let g = -2.8 - 5. Let p = g + r. Do p and 0.2 have the same value?
True
Let t be 8 + ((-25904)/8636 - 5). Which is smaller: t or 0?
0
Suppose -2*n - 4 - 2 = -2*y, -3*n = 5*y - 31. Suppose 0 = -5*g + 15. Let f be ((-8)/(-6))/(2/g). Is n at least f?
True
Suppose m - 12 = -m. Let p = -11 + m. Let n be 1/p + 36/105. Is 2 equal to n?
False
Let w be 1/(-3) + -2 - -2. Let d = 5624 - 5661. Is d less than w?
True
Let w be 5/(-10)*2 - -43. Let g be 40/15*w/(-4). Let d = g + 13. Is d at least -15?
True
Suppose 5*m + 1299 = -2*j, -3*j - 1301 = -2*m + 7*m. Which is smaller: m or -260?
-260
Let c = 2/3537 + 9143/2596158. Which is bigger: -1 or c?
c
Let v = -228/11 - -7307/352. Is v at most 0?
False
Let x(t) = -t - 7. Let u be x(-8). Let p be u/(((-72)/28)/6). Does -2 = p?
False
Let f = -340/7 - -365/14. Does f = -24?
False
Suppose -2*w + 0*w = 24. Let s be (-32)/(-6)*w/(-8). Let d = 4 - -4. Are s and d nonequal?
False
Let u = -66 - -68. Let v(p) = p**3 - 8*p**2 + 9*p - 9. Let y be v(7). Suppose -3*f + 1 = -y. Is f greater than or equal to u?
True
Suppose -5*l + 5 = -0*l - 5*r, 1 = 2*l - 3*r. Suppose -3*u + x + l = -17, x = -1. Let t be (0 - 2)/(16/(-40)). Which is greater: u or t?
u
Let f = -3934564 - -574631268510/146047. Let j = f + -62455010/146047. Let o = 428 + j. Which is greater: 1 or o?
1
Let i = -3769/5 + 648267/860. Are 0 and i non-equal?
True
Suppose 4*a + 4*s = 1412, -a + 28*s - 23*s + 371 = 0. Are a and 355 equal?
False
Let v be (-27)/(-21) - (-1 - -4). Let y = 9 - 10. Which is bigger: v or y?
y
Let y(x) = 8*x + 32. Let b be y(5). Which is smaller: 74 or b?
b
Let s be 0 + (-1)/(-4) - 25/20. Which is smaller: s or -2/883?
s
Let j = 44 - 65. Let a = -3166 + 3166. Is a > j?
True
Suppose 2*n = -t + 6, 2*n + 6 = -2*t - 2*t. Suppose -n*c - 3 = -2*c. Which is bigger: -2/161 or c?
-2/161
Let m(k) = k**3 + 6*k**2 - k - 4. Let i be m(-7). Let g = i + 45. Is -5/16 smaller than g?
False
Let r = 8.2 + -8.119. Let o = r - -0.019. Which is smaller: -3/5 or o?
-3/5
Let l(b) = b**2 - 17*b. Let c be l(15). Is -28 at least c?
True
Let f = -34 + 51. Let w = 18 - f. Let p = w + -11. Are 1 and p equal?
False
Suppose 2*s - 93 = -5*y, -5*s + 62 = 4*y - 9. Is 13 not equal to y?
True
Suppose 2*y - 82 = y. Let a = y + -57. Let b be ((-2)/a)/((-4)/20). Is -1 <= b?
True
Let z = -547 - -545.948. Let a = 0.052 + z. Which is smaller: 0.046 or a?
a
Let k = 0.01139 - 0.01139. Let m = -0.5 + -2.5. Is k at least m?
True
Let v = -3 + 3. Let z = 1.2 - -17.8. Let c = -14 + z. Which is smaller: v or c?
v
Let q = 316 - 689. Are -374 and q nonequal?
True
Let q be (-6)/9 - (-2)/3. Let d be 197*(3/(-25))/((-9)/5). Let s = -37/3 + d. Which is greater: q or s?
s
Suppose -4*s - 2*q + 182 = 0, -4*q - 169 = -3*s + q. Let l = s + -40. Are l and 9 equal?
False
Let g = -12 + 12. Suppose g*h = -3*h - 12. Let i = 4 + h. Which is greater: i or -0.5?
i
Let y be (1 - 1)/(8/8). Suppose -2*q = k + k + 6, y = -3*k + 3*q - 39. Is k bigger than -9?
True
Let t(k) = -17*k + 11. Let c be t(-1). Suppose c*v = 21*v + 7. Is -1/89 != v?
True
Suppose -3*j + z + 74 = 33, 2*z = 3*j - 46. Let t = 10 + 3. Which is smaller: j or t?
j
Let t = 51 + -42. Let d = 7 - 7.2. Which is smaller: t or d?
d
Let i be -4*9/(-60)*-5. Let p be (-42)/10 - i - -1. Which is smaller: 2/7 or p?
p
Let x = 14287/5 + -2847. Is x <= 9?
False
Let s(d) = 3*d**2 - 1. Let o be s(-3). Let j(i) = -i**3 - 6*i**2 - 7*i + 24. Let a be j(-8). Let k = a + -183. Is o equal to k?
False
Let u = 16 - 15.97. Let f = 1.57 + u. Let c = 1.6 - f. Which is smaller: c or 12?
c
Let g(v) = -v**3 + 4*v**2 + 5*v. Let w be g(-2). Suppose 0 = 5*u - w*u. Suppose -k - k = u. Which is greater: -2/21 or k?
k
Let y = -3948.209 - -3950. Let a = y - 0.091. Is 0.1 less than a?
True
Let h(f) be the second derivative of -f**3/6 - 3*f**2 + 4*f. Let j be h(-5). Let y be 0 + j - 13/(-15). Which is smaller: y or -1?
-1
Let u(g) = 12*g - 63. Let p be u(7). Which is greater: p or 19?
p
Let i = -52.8 - -53. Let g = i - -0.8. Which is bigger: g or 4/7?
g
Let x(j) = -j**3 - 10*j**2. Let c be (-3)/(-2)*(-220)/33. Let m be x(c). Which is greater: m or 2/35?
2/35
Let j be 7*(4/(-6) + 134/3). Is 308 greater than or equal to j?
True
Let r = -8.91 + 9. Which is smaller: r or -3?
-3
Suppose 69*r - 1023 = 68*r. Is 1021 less than r?
True
Let o = 30/283 + -38638/1415. Which is smaller: o or -28?
-28