composite?
False
Let m(j) = 971*j + 5. Let r be m(-1). Let q = 4113 - r. Is q prime?
False
Let u(b) = 409*b**2 - 30*b + 148. Is u(5) composite?
False
Suppose -11550 = 1705*l - 1691*l. Let v(p) = 672*p - 2. Let w be v(-2). Let k = l - w. Is k prime?
True
Let s(b) = -b**2 - 17*b + 35. Let n be s(-19). Let k be n*-1*10/15. Suppose -k*i + 929 = 5*f, -3*f + 293 = 5*i - 253. Is f a prime number?
False
Let y(n) = 581*n**2 - n + 5. Let a = 138 - 136. Is y(a) a prime number?
False
Suppose 0 = -108*w + 19333900 + 4725584. Is w a prime number?
True
Is -1 + 3/(-4) + 314778/184 prime?
True
Let j(x) = -738*x - 9. Let i(d) = -751*d - 12. Let h(q) = -4*i(q) + 5*j(q). Suppose -2*a - 4*r - 14 = -0*a, 11 = -2*a - 3*r. Is h(a) prime?
False
Let u = -293669 - -487818. Is u prime?
True
Let g(z) = 5857*z - 626. Is g(7) a prime number?
False
Suppose -4433 = -8*p + 18935. Suppose 0 = -5*w + 414 + p. Is w composite?
True
Is (-6)/(-24)*(7 - (-625263 - 6)) prime?
True
Let r(p) = -12*p - 13. Let g be r(-4). Let c = g + -30. Suppose 0 = u + 3*n - 226, -u = 3*u + c*n - 869. Is u a composite number?
False
Suppose -8*k = -20 - 28. Let g be 86 - -1 - ((-18)/k + -1). Suppose -g = 4*j + q - 1152, -5*j + 5*q = -1320. Is j a prime number?
False
Suppose 0 = 3*j + 3*y - 2433219, -8*j + 11*j - 3*y - 2433255 = 0. Is j a prime number?
False
Suppose 3*g - 1604 = -b + 242, -5*g - 9170 = -5*b. Is b composite?
True
Let n(o) = 665 - 190 + 627*o - 183. Is n(25) a prime number?
False
Suppose -2290114 + 752737 = -29*f. Suppose -4*d = 2*h - 21198, 7*h - 12*h + f = d. Is h prime?
False
Let c be (509/(-2)*2)/((-6)/60). Suppose -3*h + 4*p - 6*p = -3047, -c = -5*h - p. Is h composite?
False
Suppose -354*c - 4*y - 398995 = -357*c, 2*c - 2*y = 265992. Is c prime?
True
Let p(t) = -t**3 + t**2 - 6*t + 18. Let u(n) = -7*n - 2. Let h be u(1). Let d be p(h). Let v = -619 + d. Is v a prime number?
True
Let n = 8703 - 6063. Suppose 6*m = 2*m + n. Let p = m + 193. Is p composite?
False
Let t(c) = -1686*c + 7. Suppose -4*n - 5*z = n + 20, -4*z = -4*n + 8. Is t(n) composite?
False
Let n(a) = 155*a**2 - 727*a - 23. Is n(37) a prime number?
False
Let q = -14761 - -21855. Is q a prime number?
False
Let a = -286 + 283. Is (6 - 2) + (a - -2202) a prime number?
True
Suppose -2*p = -2*r - 16, 2*r = -7 + 1. Suppose p = -j + 7. Is ((-343)/21)/(j/(-6)) composite?
True
Let s(x) = 2*x**2 + x - 2. Let b be s(-2). Let k = 5709 - 3798. Suppose -347 + k = b*w. Is w composite?
True
Is 2422244/18 - (768/108 - 7) a prime number?
False
Let j be (1 + -6 + (-10)/(-6))*-6. Suppose -9*s + j*s = 6941. Is s composite?
False
Let v = 9754 - -71773. Is v prime?
True
Suppose -4*a = 32 - 4. Let b(m) = -m - 8. Let y be b(a). Is -1561*(y/(-1) + -2) a composite number?
True
Let d(o) = -4*o**2 - 451*o - 243. Is d(-92) prime?
True
Is ((-327284)/28)/((-60)/420) a prime number?
False
Suppose 0 = -2*b - 801 + 145. Let l = b - -539. Is l a prime number?
True
Let k = -98597 - -180004. Is k prime?
False
Suppose 17*l - 7*l + 70 = 0. Is 241/l*-20 - (-18)/42 a prime number?
False
Let t(o) = 4*o**2 + 26*o + 17. Let w be t(-12). Let r = w + 798. Let s = r - 612. Is s a composite number?
False
Let k = 8088 + 12971. Is k prime?
True
Suppose -27*d + 2 = -26*d. Let q(h) = 3 + 1 + h**d + 4*h - 6. Is q(-17) composite?
True
Let u = -6 + 263. Let r = 1266 - u. Is r a composite number?
False
Let d = -3584 - -5622. Let q = d + -345. Is q a prime number?
True
Let g(v) = v**3 + 12*v**2 - 17*v + 5. Let n = 53 + -26. Suppose 0 = 4*j - 3*m + 39, -j + 2*j + n = -5*m. Is g(j) a composite number?
True
Suppose 5*k - 6*k = 14*k - 1925655. Is k a prime number?
True
Suppose -402*x = -405*x + 18. Is (11474/4)/((-3)/((-36)/x)) a composite number?
False
Let x = -319 + 336. Suppose 20*f - x*f - 34401 = 0. Is f composite?
False
Let w be -2 - (4*6/8 - -3). Is w/((-24)/5939)*3 a composite number?
False
Let d = -6223 - -10732. Let u = -3148 + d. Is u a composite number?
False
Let b be 440/75 - (-6)/45. Let o(p) = 2 - p**3 - 2 - 1 + 19*p - b + 18*p**2. Is o(15) a composite number?
False
Suppose 626*x - 634*x = -289632. Suppose 22*y - 10*y - x = 0. Is y prime?
False
Let g(x) = 1309*x - 3. Let p be g(-2). Let c = p + 4429. Suppose 4*j = -3*u + c + 547, 3*u - 5*j - 2328 = 0. Is u prime?
False
Let i(u) = -2*u**3 - 7*u**2 + 3*u + 22. Let w be i(-3). Suppose 4*x = 4*k + 448, -35 = x - 5*k - 151. Suppose -w*z = -x - 61. Is z a prime number?
True
Suppose -129*r + 146*r - 369208 = 12409947. Is r a composite number?
True
Suppose 2*b = 8*y - 6*y - 15540, 3*b - 5*y + 23308 = 0. Let n = b - -13508. Is n prime?
True
Suppose -s = -5*a - 3*s - 86, 0 = -a + 2*s - 10. Let w = a - -21. Suppose 5*x - 45 = w*c - 835, -633 = -4*c + 5*x. Is c composite?
False
Let j(w) = 6*w**2 - 4*w - 7. Suppose -15 = -r + 4. Let z be ((1 - 2) + r)/2. Is j(z) a prime number?
True
Let n be 0/3 - (-9361 + -2 + 4). Let w = 21160 - n. Is w prime?
True
Is (-31464)/(-1) - (4 + -9 - (-2 + 2)) prime?
True
Let h = 2145 - 622. Suppose 5*s = -k + 19500 - h, 2*k = -3*s + 10789. Is s prime?
False
Let l = 39027 - 17216. Is l a composite number?
True
Let v(w) be the second derivative of 235*w**4/24 - 5*w**3/2 + 13*w**2/2 - 10*w. Let a(p) be the first derivative of v(p). Is a(8) a composite number?
True
Is (2 - -15 - 18)*-563705 composite?
True
Suppose -3*p - 154 = -49. Let c = -35 - p. Suppose 4*m + 4*j - 716 = 0, m - 3*j + 0*j - 195 = c. Is m prime?
False
Let s be 1/(6/231)*-2. Is 22/s + 12758/14 a composite number?
False
Let w(b) be the third derivative of b**5/6 + b**4/2 + 7*b**3/6 - 59*b**2 - 2. Is w(15) composite?
False
Let z = -491514 - -1232207. Is z a prime number?
True
Suppose -4*p + 9*p = -3*a + 25, 0 = 2*p + 3*a - 19. Suppose n + 3 = -2*n, 0 = p*m + 4*n + 1378. Let g = -422 - m. Is g prime?
False
Suppose 5*k = 3*f - 85, k + 101 = 3*f - 0. Suppose -32*j + f*j - 4155 = 0. Is j composite?
True
Let n be -1 + 8/(-20) + (-34)/(-10). Is n*(-5 - (-7542)/4) composite?
False
Let z(i) = -i**2 + 12*i + 18. Let m be z(14). Let b = -12 - m. Is ((-10)/25)/(b/1465) a prime number?
True
Let r(g) = 2650*g + 5*g**2 + 20 - 882*g - 881*g - g**2 - 884*g. Is r(-18) a composite number?
True
Suppose -5*y - m - 3*m + 59 = 0, 5*y - 2*m = 53. Let j(x) = 390*x + 37. Is j(y) composite?
False
Suppose -4*w + 2*x + 150302 + 187784 = 0, x = 3*w - 253564. Is w prime?
True
Let v = -72844 + 147993. Is v a composite number?
False
Let k = -300593 + 482092. Is k a composite number?
False
Suppose -n + 4*n + 21 = -3*l, -4*l - 34 = -2*n. Let d(y) = 15*y**2 - 12*y - 15. Is d(l) prime?
False
Let u(v) = -456*v**3 + v**2 - 4*v - 2. Let x be u(-2). Suppose 10*c - x = 6252. Suppose 0 = 2*p + c - 2465. Is p a prime number?
False
Let w(r) = 30*r**2 + 56*r + 2. Let x be w(-2). Is 50/(-125) - (-146094)/x a prime number?
False
Let d = -432 + 1481. Let n(l) = -231*l - 1. Let h be n(-5). Let v = h + d. Is v a prime number?
True
Suppose -3*a = 5*n - 531321, -64*n + 177107 = a - 65*n. Is a a composite number?
True
Let r(o) = 4*o**3 + 11*o**2 - 24*o + 31. Let l be r(7). Suppose -4*m - 2*f + 45 - 1 = 0, f + 4 = 0. Suppose 0 = m*p - 15*p + l. Is p a prime number?
True
Let k = 5416 + -2045. Let w = k - 1894. Is w composite?
True
Let s(l) be the third derivative of 505*l**4/24 - 18*l**3 + 6*l**2 + l. Is s(11) composite?
True
Suppose -21060394 = -33*r - 3097999. Is r a prime number?
False
Suppose 4*r - 1575 = 2193. Let p = r + -72. Let c = 673 + p. Is c prime?
True
Let k(h) = -698*h + 13. Let b = -84 - -82. Is k(b) composite?
False
Let d = -423 - -433. Suppose -1858 = -d*c + 9012. Is c prime?
True
Let d = 1200 - 667. Suppose 0 = 2*c - 5*c + 3*f + 1833, -3*f - 605 = -c. Let k = d + c. Is k prime?
False
Let k = 173615 + 77628. Is k prime?
False
Let t be 3 - 6 - (-12)/(2 + 0). Suppose 10*w + 3*s - 5857 = 9*w, s = t*w - 17551. Is w a composite number?
False
Suppose -90*r = -38667883 + 13788373. Is r prime?
True
Suppose 5*f = -3*l + 12237, -2*l + 5*f + 6211 + 1922 = 0. Let o = -2437 + l. Is o a prime number?
True
Let k be 6/(-51) - (-70)/17. Suppose 0 = -5*f + k*i - 5, 2*f + 20 = -f - i. Is f/(-2)*(-3818)/(-115) a composite number?
False
Suppose -5*b - 2*z = -0*b - 37039, -2*b = -4*z - 14830. Suppose 606 = -v + b. Is v a composite number?
False
Let t(n) = 1736*n - 3. Let b be t(-5). Let o = 31