prime number?
True
Let z(t) = 84*t - 1. Let r(g) = 85*g. Let k(s) = 5*r(s) - 4*z(s). Is k(5) a composite number?
False
Is 2371/(-2)*16/(-8) prime?
True
Suppose -2*i + 4*i - 12 = 0. Let m = i + -16. Is 536/6*(-15)/m prime?
False
Suppose 67275 = -4*j + k + 254810, 5*j = 2*k + 234421. Is j composite?
True
Let q = 6009 + 11850. Is q a prime number?
False
Is 35/(-28)*4 - -12202 composite?
False
Let m = -46 + 116. Let u = -45 + m. Let q = 12 + u. Is q a prime number?
True
Let x(o) = 14*o**2 + 9*o + 34. Is x(-9) composite?
False
Let a(d) = -33*d + 58. Suppose -16 - 23 = 3*c. Is a(c) prime?
True
Suppose -3*o + 2*o = 3*f - 44, 63 = 4*f - 3*o. Suppose -5*l + f - 40 = 0, 2*l = -5*k + 545. Is k composite?
True
Let u = -1604 + 16573. Is u a prime number?
True
Let o = 2032 + -101. Is o composite?
False
Let z = -1062 - -1915. Is z composite?
False
Let h(b) = -2*b**2 - 4*b - 3. Let w(p) be the second derivative of -p**4/12 - p**3/6 - p**2/2 + 3*p. Let a(j) = h(j) - 3*w(j). Is a(3) composite?
True
Let u be 4 + (-1 - -2)*-3. Is (u - -1933)*(-2)/(-4) composite?
False
Let l = -1294 + 2087. Is l prime?
False
Suppose 2*z - 2 = 6*z + 2*r, -z - 3*r - 13 = 0. Is -3*((-986)/3 + -1 + z) composite?
False
Let m(q) = 248*q - 7. Let c be (-14)/(-4)*360/126. Is m(c) a composite number?
False
Let g(z) = -z**3 - 7*z**2 - 8*z + 6. Let u be (20/6 - -2)*3. Suppose 3*d = 5*d + u. Is g(d) a composite number?
True
Suppose -5*o - 909 = -3*s, 586 = 3*s - o - 335. Let h = -975 + s. Let f = 1214 + h. Is f prime?
True
Let h(q) = -q**3 - 8*q**2 - 8*q - 9. Let w be (-5)/(15/24) + 1. Let s be h(w). Is 3/(-1) + 154 + s a prime number?
True
Let c = 1837 + 0. Is c a prime number?
False
Suppose a = 5*q - 7, 3*a - 24 = -2*q + 40. Suppose -d = 51 - a. Let r = d + 66. Is r a composite number?
True
Suppose 0 = -2*f + 4*v + 5470, 4221 = 5*f + 3*v - 9493. Is f prime?
True
Let o(v) = -v + 3. Let p be o(1). Suppose 0 = -2*h - r + 765 + 501, -p*h + 1266 = -2*r. Suppose -19*z = -22*z + h. Is z composite?
False
Let i be (-15)/(-18) + (-2)/(-12). Suppose -3*j + i + 5 = 0. Suppose 1116 - 111 = 4*h - n, 0 = 2*h + j*n - 500. Is h a composite number?
False
Let q = 25333 - 16448. Is q composite?
True
Suppose 2*k + 6*a = 2*a, 3*a = -3. Is 2 - -16 - 2/(0 - k) a prime number?
True
Suppose 57*o - 5849 = -1460. Is o prime?
False
Is (-1761298)/(-176) + (-3)/8 prime?
True
Let q = -425 + 1564. Is q prime?
False
Let c = -24 + -5. Let q = -9 - c. Is 2195/q - 6/8 prime?
True
Suppose 5*i = x + 85010, x - 24447 + 7445 = -i. Is i a composite number?
True
Suppose 2*r + 52 = -8. Is (175/r)/((-1)/6) composite?
True
Suppose 0 = -g + 6*g - 450. Let a be (32/(-48))/(10/132)*5. Let v = g + a. Is v prime?
False
Is (-2)/(-8)*-2*(-1069 + -13) prime?
True
Let l be (-1644)/(-16)*(-16)/(-6). Let z = l + 105. Is z prime?
True
Let z(x) = -83*x + 81. Let j(m) = 55*m - 54. Let k(i) = -8*j(i) - 5*z(i). Is k(-20) a prime number?
False
Suppose 24*d - 2432789 = -569405. Is d composite?
False
Let n = -30 - -54. Suppose -398 = -2*q + n. Is q a prime number?
True
Let x(k) = -k**3 + 9*k + 1. Suppose 0 = 4*y - 6*y. Suppose y*d + 3 = -c - d, 42 = -5*c + 4*d. Is x(c) prime?
True
Let f = -100325 + 143716. Is f a composite number?
False
Suppose m = 5*t - 527, -4*t - 123 = -3*m - 538. Is t/8 + 3/(-12) prime?
True
Let f(r) = 7*r**3 - 14*r**2 + 19*r - 31. Is f(13) composite?
False
Let a = -33 + 47. Let d = a - 12. Suppose 5*s + d*g = 37, 17 = 4*s - 3*g - 8. Is s a composite number?
False
Let h be (-24)/(-4) + -3 + 51. Let b = h + -16. Is b a prime number?
False
Is (-25)/(-15) + (-21063)/(-9) a prime number?
False
Let a = 28 - -2. Let t = 34 - a. Is 11/t - 12/(-48) a composite number?
False
Suppose n + q + 1930 = -3*n, -5*n - 2417 = -q. Let c = 929 + n. Is c a composite number?
True
Let g be (-44)/6*(-7)/(21/(-9)). Let f be 107 - (4/(-2))/(-1). Let a = g + f. Is a a prime number?
True
Suppose 2*c - 3*c = -147. Is (-4 - -1 - 1) + c composite?
True
Suppose 0 = 2*s + 2*y + 376 - 36508, 0 = -5*s + 2*y + 90323. Is s prime?
False
Suppose 4*d - 6*d - 4*p + 8490 = 0, 3*d = 2*p + 12719. Is d a composite number?
False
Suppose 4*i = 3*n + 6799, 5*i - 3*n - 1177 = 7321. Let s = i - 188. Is s prime?
True
Let c = 20 - 9. Let z = c + 66. Suppose j - 2*b - z = 0, -4 = 5*j + 2*b - 329. Is j prime?
True
Suppose -12*o + 16 = -8*o. Is (3 - -3 - o)*(-879)/(-6) a composite number?
False
Suppose i + 2904 = -3*i. Let h = -398 - i. Let o = 819 - h. Is o a prime number?
True
Let k(s) = 7*s**3 + 2*s**2 + 2*s - 1. Suppose -8*v + 6*v = -44. Suppose -2*u = -2*h + 2, -2*h - v = -3*u - 4*h. Is k(u) prime?
True
Is (-1423)/((-5)/(30/6)) a prime number?
True
Let u(x) be the second derivative of -x**5/20 - 7*x**4/12 + 5*x**3/6 + 11*x**2/2 + 6*x. Is u(-8) a composite number?
True
Suppose 2*f + 4*b + 9788 = 6*f, 2*f - b - 4893 = 0. Suppose -f - 4390 = -4*t. Is t a composite number?
False
Let c = 3568 - 5087. Let h = c - -4926. Is h a prime number?
True
Let i = 18935 - -74052. Is i composite?
False
Let p = 37 - -121. Suppose 0 = -4*t + p - 22. Is t composite?
True
Let u(h) = 158*h + 50. Let n(g) = -79*g - 24. Let f(m) = -7*n(m) - 3*u(m). Is f(7) prime?
True
Let t(b) = 1846*b + 81. Is t(8) composite?
True
Suppose 6*v - 8668 = 16502. Is v a composite number?
True
Let s = 15 - 22. Let v = s + 10. Suppose 3*f + 3172 = v*t + 4*f, -2*t - 3*f = -2117. Is t composite?
True
Suppose 136 = -5*r + 1211. Let f = -148 + r. Is f composite?
False
Let m(n) = 26*n**2 + 32*n + 27. Is m(-17) composite?
False
Let a(n) = 3*n**2 - 3*n + 2. Let s be a(1). Suppose -s*m = 2*x + 2, -2*m + 2*x = -3*x - 19. Suppose -m*d + 310 = -3*b, 47 = 3*d + 5*b - 380. Is d prime?
True
Let s(m) = m**3 + 30*m**2 - 7*m - 151. Is s(-23) prime?
False
Let p(c) = 1079*c + 37. Let n be p(5). Suppose 0 = -9*a + a + n. Is a a prime number?
False
Let d be ((-344)/(-6))/(1 - (-66)/(-54)). Let t = 523 + d. Is t composite?
True
Suppose 2*l - 4 = l. Suppose -j = -171 + 172. Is ((-4)/l)/(j/37) composite?
False
Suppose 101923 - 15914 = 11*d. Is d a composite number?
True
Let h be (11/(-2))/(13/(-26)). Let g(q) = 159*q - 28. Is g(h) composite?
False
Let h(m) = m**2 + 9*m - 15. Let g be h(-11). Suppose p = -g*p + 23480. Is p prime?
False
Suppose 0 = -3*o + 21753 + 1128. Is o a composite number?
True
Let k = 172 + -81. Let n = -287 + 290. Suppose k + 14 = n*v. Is v composite?
True
Let z = 14160 + -6877. Is z a prime number?
True
Let j(p) = -p**2 + 4*p + 126. Let d be j(-9). Suppose 5 = 2*y + n, 0 = -3*y - n - 0*n + 10. Suppose -y*g + d*g = 1172. Is g composite?
False
Let i = 18599 - 10348. Is i a prime number?
False
Let y(x) = x**2 + 3*x + 2. Let w be y(-3). Let f(g) = -g - 2. Let l be f(-2). Is (223 + l)/(w/2) a prime number?
True
Suppose 3*a = 5*x + 5727, -2*a - 6*x + 3*x + 3799 = 0. Suppose -a = -11*o + 24177. Is o prime?
True
Let j = -27983 - -92004. Is j composite?
True
Suppose -h - 4*b = -15257, -4*b = -15 - 5. Suppose 4295 = 2*x + 2*j - 1811, 5*x - h = 2*j. Is x a composite number?
False
Let m(l) = 2*l**3 - 58*l**2 + 14*l + 43. Is m(31) a composite number?
True
Suppose 3*r + v - 1 = 6*v, 5*r + v + 17 = 0. Let u = r - 6. Let g = u + 15. Is g a composite number?
True
Let w be (-10)/(-35) - (-1796)/(-14). Let p = -606 + 329. Let x = w - p. Is x a composite number?
False
Let x(j) = -j**2 + 4*j + 2. Let s be x(4). Let y(n) = -s*n + 4*n + 9 + 7*n + 11*n. Is y(7) a prime number?
True
Suppose -2*h + 6440 + 11442 = 0. Is h prime?
True
Is 4/(-7) + 139528/56 a composite number?
True
Let p(t) be the second derivative of t**5/20 + t**4/4 + t**3/6 + 5*t. Let n be p(-3). Is 6/2*(-149)/n a composite number?
False
Let x(v) = -129*v + 121. Is x(-28) prime?
True
Let w be 4*(-2)/(12/(-3)). Suppose -5*v - 5*x + 4*x = -764, w*v - 308 = -x. Is 1/(-4*(-2)/v) prime?
True
Suppose 5*y - 185791 = 2*a, 3*y + 52*a - 51*a - 111479 = 0. Is y a composite number?
False
Let o(q) = -9*q**2 + 0*q + 2*q - 5 - 2*q**3 - 4*q - 3. Let f be o(-6). Suppose -c = w + 2*c - 61, -4*c = 2*w - f. Is w a composite number?
True
Let w = 13 - 14. Let f be 61 + ((-3)/w - 0). Let t = 421 + f. Is t a composite number?
True
Suppose v = -4*y + 20, -y = 4*v - 5*y. Suppose -2669 = -5*g - 3*f - f, -v*g = 2*f - 2134. Is g a prime number?
False
Is (4 + -449 + -4)*-1 a prime number?
True
Suppose 2*m + 2*x - 7