 605515 = -3*j. Is p a composite number?
False
Suppose 1532 = -10*t - 708. Is (-32618)/(-16) - 84/t a prime number?
True
Let x(n) be the second derivative of 5*n**4/6 + 29*n**3/6 - 9*n**2/2 - n + 15. Is x(14) prime?
True
Let m(z) = 17*z**2 + 15*z - 65. Let s(o) = -2*o**2 - o - 1. Let a(i) = m(i) + 2*s(i). Is a(-19) a composite number?
True
Let t be (2/((-4)/(-2)))/1. Let x be 7 + (-6)/(0 + 6) + -2. Is 1/x - (3598/(-8) + t) a prime number?
True
Suppose -4*s = 2*h - 1090, 2*s + 6*h - 4*h = 540. Suppose -4*m + s = k, 3*k - 5*m + 277 = 4*k. Is k prime?
False
Let b = -256 + 254. Is ((-111)/(-15))/(b/(-3970)) a composite number?
True
Suppose -4*b - 18 = -5*j, -2*j - b - b = -18. Suppose -28 - 260 = j*o. Let t = 29 - o. Is t a composite number?
True
Suppose 0 = 2*x + 34 - 22, 4*x = 5*u - 653869. Is u a prime number?
True
Let u(x) be the first derivative of -57*x**2/2 - 49*x + 1. Is u(-6) composite?
False
Suppose 417 = -5*n + 3*w, 2*n + 253 = -n - w. Let x = n + 86. Is x/(3 + (-1564)/524) composite?
False
Let n = -119 - -160. Suppose 35*i - n*i + 14718 = 0. Is i a composite number?
True
Is -2*(-33)/6 - (-296 - 473326) composite?
False
Suppose 4*c + 5*o = o + 28280, o = 2*c - 14152. Suppose c = x + 2041. Is x a prime number?
False
Is 9 - ((2 - -4) + (-38 - 63426)) a composite number?
False
Suppose 0 = -3*u + 4*h + 33814, -4*u + 2*h = -7*u + 33826. Suppose 4*c + 2*n = c - 41, 0 = -c + 3*n - 21. Is u/4 - c/30 a prime number?
True
Let m(g) = 1751*g**2 - 16*g + 13. Let q be m(7). Suppose r + 501 = 4*l - q, 0 = 2*l - r - 43099. Is l a composite number?
True
Suppose -8*m = 2*m - 176410. Suppose -5*g - 4*f = -m - 10596, g - 4*f - 5633 = 0. Is g a prime number?
False
Suppose 835*q - 2*l - 1339683 = 832*q, -l = 4*q - 1786244. Is q a composite number?
False
Let n(v) = -v**3 + 9*v**2 + 8*v + 22. Let k be n(10). Suppose 114 = k*t - 788. Is t a composite number?
True
Let x(w) = 189*w + 804*w + 307*w - 63 + 4*w. Is x(8) prime?
True
Let p(h) be the first derivative of h**4/2 - 6*h**3 + 12*h**2 + 45*h - 31. Is p(13) composite?
False
Let i(l) = 2*l - 41. Let s be i(20). Is s/(5710/(-5705) - -1) a prime number?
False
Let b = 86 - 54. Let a be b/(-12)*189/(-12). Is (40 - a)/((-237)/235 - -1) prime?
False
Suppose -5*x = 5*f - 7112055, 0 = f + 2*x + x - 1422395. Is f a prime number?
True
Is 18/27*13334820/40 a prime number?
True
Let m(q) = -10*q**3 + 15*q**2 + 14*q + 11. Let p(y) = -y**3 - 4*y**2 + 8*y - 30. Let o be p(-6). Is m(o) a composite number?
True
Let j be (11 - 5)/18*0. Let g be (-9 - 149)*(-2)/4. Suppose j = 82*i - g*i - 2721. Is i a prime number?
True
Let y be (-4 + 0)*5/(-60)*4989. Suppose y = r - 5910. Is r a prime number?
True
Suppose 0 = l - 30*l + 295287 + 117470. Is l a prime number?
False
Let k = -162 - -184. Suppose -24439 = 21*m - k*m. Is m prime?
True
Let o = 27070 + -2592. Is o a prime number?
False
Let k(a) = a**2 + 10*a. Let w(n) = -n. Let d(j) = 2*k(j) + 22*w(j). Let t be d(2). Is 1167*((-33)/9 + t) composite?
False
Suppose 0 = -3*m + 121 - 100. Is m*(-20)/210 - 3167/(-3) a composite number?
True
Let o = -145735 - -205568. Is o composite?
False
Let p(v) = -2*v**3 - 35*v**2 - 29*v - 67. Let t be p(-27). Suppose 2*o + 38 = 4*l, -5*l + 60 = -5*o - 0*o. Suppose -l*s = -14*s + t. Is s prime?
True
Suppose 756 = -4*t + 2936. Let y = t - -224. Is y a composite number?
False
Suppose 0 = -3363*g + 3347*g + 1139666 + 408670. Is g a composite number?
True
Let b(g) = -17 - 10 + 25*g - 33*g - 12*g**2 - 2*g**3 + 0*g**3. Is b(-8) composite?
False
Let o(c) = 2108*c + 2093. Is o(15) a composite number?
False
Let s(u) = -85*u**3 - 4*u**2 - 5*u - 1. Let y = 6 + -8. Let k be s(y). Suppose 2*f + 59 = k. Is f composite?
False
Suppose 0 = -2*b + 3*r + 21311, 42607 = 21*b - 17*b - r. Is b composite?
False
Let k be 12/21*1001/26. Suppose -k*m = m - 312271. Is m prime?
True
Suppose 4*h = 3*z + 29717, -5*h + 10*z + 37175 = 12*z. Is h a composite number?
False
Suppose -22*t - 20*t - 143195 = -55*t. Is t composite?
True
Let j = 3315 - 5572. Let a = j + 10608. Is a a prime number?
False
Let j(s) = -1906*s + 75. Is j(-14) a composite number?
False
Let l = 3120 + -2203. Let y = l - 610. Is y a composite number?
False
Let h(v) = -165 + 69*v + 80 + 96. Let t(a) = a**3 + 4*a**2 - 2*a + 2. Let j be t(-4). Is h(j) a prime number?
True
Let v(y) be the second derivative of -y**4/12 - 5*y**3/6 - y**2 - 20*y. Let f be v(-4). Is 2208 - 1 - (2 + f) a prime number?
True
Suppose 15*n + 39*n + 2418727 = 33003949. Is n a prime number?
True
Let h = -11 + 0. Let y(s) = -48*s - 20 + 3*s**2 - s**3 - 8*s**2 + 45*s. Is y(h) prime?
True
Let t = 1017 + 428. Let d = 7813 - t. Suppose -4*i - p = -3*p - d, -7957 = -5*i + p. Is i a prime number?
False
Suppose -4*v - 190 = -5*z, 0 = 2*z + 6*v - 11*v - 93. Let q = z - -513. Is q composite?
False
Let d(p) = p**3 - 17*p**2 - 37*p. Let t be d(19). Suppose 8*y = -t + 3. Is (-1)/(0 - y/(-3970)) a composite number?
True
Suppose -26*p - 37937 = 17885. Let c = 3070 + p. Is c a prime number?
False
Let s be (-3)/1*420/(-18). Let u be 6/27 + s/9. Suppose f = 5*b + 316, u = 2*b + 2. Is f a prime number?
True
Let i = -87921 + 166919. Let j = i - 53407. Is j composite?
True
Let x(t) = 12*t + 23. Let k be x(-8). Let d = k + 159. Suppose 2*u - 389 + d = -5*a, 0 = -5*u - 4*a + 749. Is u a prime number?
True
Suppose 0*n - 7564 = -3*k + n, -5*n = -2*k + 5047. Is k a composite number?
False
Let f(y) = y**3 + 12*y**2 - 16*y + 12. Let b be f(-13). Suppose -b*j = -55*j + 36. Is ((j/3)/(-3) - -3) + 252 prime?
False
Let f(m) be the second derivative of -m**5/20 + 19*m**4/12 - 19*m**3/6 + 41*m**2/2 - 2*m + 13. Is f(12) composite?
False
Suppose 0 = -5*x + 2*z + 1418 + 6448, 0 = -2*x - 3*z + 3154. Suppose -3*t = -5 + 17, 2*h = t + x. Is h a composite number?
True
Suppose 5*p - 10 = 2*i, i + p = 2*i - 1. Let o be 96/(-54) - -2 - 68298/(-54). Suppose -d + o = i*l, 0 = -3*d - 0*d - 15. Is l composite?
True
Let f = -82 - -79. Is f*((-11946)/18 + 6) a composite number?
False
Suppose 2*k = -5*f + 41, 0*k - 2*f = 4*k - 58. Let w(d) = d - 2*d - 14*d - 5 + k*d**2 + 6. Is w(-5) a prime number?
True
Let s = 194176 - 138413. Is s composite?
False
Is 28143 + -1 + (2 - 19) + 22 composite?
True
Suppose -4*a + 5*c + 5824 = 0, 0 = -2*a - 3*a + c + 7301. Let x = 1466 + a. Is x a prime number?
True
Suppose 2755 = 3*q + 2*l, 3*q - 4*l = 2*q + 937. Let n = -3781 - -4089. Let b = q - n. Is b composite?
False
Suppose -309*j - 1117732 = -2*p - 306*j, -4*p - 4*j + 2235444 = 0. Is p a composite number?
False
Let l = -279 + 245. Is ((-51)/l)/((-6)/(-146764)) prime?
True
Let z be 4/5*220/(-8). Let l(x) = 8*x**2 + 9*x + 9. Is l(z) a composite number?
True
Let y(h) = 5140*h**2 - 237*h + 5. Is y(6) composite?
True
Let i(a) = -265*a - 39. Let l be i(-8). Let b(h) = -1102*h**3 - 2*h**2 - 2*h + 2. Let r be b(1). Let n = r + l. Is n a prime number?
True
Let f(h) = 51 - 1643*h + 87 - 184 + 96. Is f(-1) a prime number?
True
Suppose -26*d - 115475 = -433559. Suppose 15881 = 5*s - d. Is s a composite number?
False
Suppose 4*o = 51 - 39. Let g be (((-24)/(-18))/(-1))/((-2)/o). Suppose 0 = y + g, 0 = 4*r - 5*r + 2*y + 915. Is r a composite number?
False
Let b be (1/3)/(12/252). Is ((-642)/(-8) - b)*4 prime?
True
Let a(g) = -137*g**3 - 9*g**2 - 11*g - 17. Let h be a(-8). Suppose -27*q - 3678 = -h. Is q composite?
True
Is (-31575)/(-12) - ((-737)/44 - -15) a prime number?
True
Let q = 113024 - 77658. Is q a prime number?
False
Let p(h) = h**2 + 17*h + 50. Let x be p(-13). Is 9965 + (-8 - (x - 8)) a prime number?
True
Let c(v) = 1417*v - 874. Is c(77) a prime number?
False
Let m be (-7 - 8/(-2)) + 4879. Suppose 4046 + 5041 = 3*p. Let h = m - p. Is h a prime number?
True
Suppose -11*h = -2*h. Suppose -5*l - 40038 - 79487 = h. Is (-6)/9 - l/15 - 2 composite?
True
Suppose -14*r - 600 = -2*r. Let j = -40 - r. Is (-2)/(8/j)*(-3972)/10 a composite number?
True
Let w be 148 + (6/(-18))/((-3)/(-9)). Suppose 0 = -2*c + 9*c + w. Is (0 - 1/(-3))/(c/(-71505)) a prime number?
False
Suppose -4*a + 130 = 126. Is a/(-7*(-6)/18438) prime?
True
Let z(y) = 8*y - 54. Let w be z(3). Is (15/w)/((4 + -2)/(-10316)) a composite number?
False
Suppose 7*v - 2*v = 5. Let a be ((-4515)/10)/(v/(-16)). Is 1/3 - a/(-36) composite?
True
Let p(k) = 4120*k**