 + 7315 = n*x. Let j = x + -442. Is j a composite number?
False
Let l(s) = s**3 + 12*s**2 - 6*s + 17. Let x be l(-13). Let r = x + 74. Suppose m + 4*m = r, m = 5*p - 2395. Is p a composite number?
False
Let u(z) = 57*z**2 - 16*z - 2. Let h be u(-1). Let w = 375 + h. Is w composite?
True
Let z(a) = 4*a + 82. Let i be z(-22). Is (1 + -7 - -3)*3898/i a prime number?
True
Let v be 1 + -2 + 0 - (-1 + -5). Suppose -x + 1264 = -v*o, -3*x - o = 4*o - 3772. Is x a composite number?
False
Let u(m) be the third derivative of -m**5/60 + 5*m**4/24 + 4673*m**3/3 - 208*m**2. Is u(0) composite?
True
Let w(s) = -398*s + 3255. Is w(7) a composite number?
True
Suppose 5*k - 38 = 3*r, -4*k + 24 = -3*r + 7*r. Suppose k*x - 6412 = -378. Is x a prime number?
False
Suppose 3*k = 2*h - 1157309, -35*k - 10 = -33*k. Is h a prime number?
True
Let t = -720 + 722. Suppose 4*f - 27071 = w, t*f + 1844 - 15369 = -3*w. Is f composite?
True
Let k(q) = 64273*q**2 + 93*q + 91. Is k(-1) a composite number?
False
Let t be 216/60 - (-4)/10. Suppose -s + 3*y = 5*y + t, 2*s + 5*y + 12 = 0. Suppose 4*x + 1990 = 5*r + 9*x, -s*x - 1187 = -3*r. Is r a composite number?
False
Let j = 62 - 32. Let c be 129189/45 + 4/j. Let w = c - 1678. Is w prime?
True
Suppose 6*c + 5*c = 176. Let j(q) = 18*q**2 - 12*q - 145. Is j(c) prime?
True
Let a = 40897 + 3287. Let w = -27373 + a. Is w a composite number?
False
Suppose 2*v = 3*v + 427. Let f = v - -653. Suppose -4*d = -2*h - f, -25 = d - 3*h - 69. Is d prime?
True
Let l(i) = -i - 4. Let z be l(-4). Suppose g - 6*g = 5*c + 100, z = -4*c + 4. Is (-13308)/g - -1 - 2/(-7) composite?
True
Let t(m) = 7*m**2 - 47*m - 63. Is t(16) a prime number?
True
Let p = -437488 - -624405. Is p prime?
True
Let j = 4206 - 1627. Is j a prime number?
True
Suppose -16*a = 22658 + 24126. Let p = a - -5478. Is p a composite number?
True
Let x(d) = d**3 + 9*d**2 - 6*d + 15. Let j be x(-10). Is -4 - (15/j - (-14712)/(-5)) composite?
False
Let m(c) = -c**3 - 12*c**2 + 27*c - 9. Let w be m(-14). Suppose -2*y + 10 = q - 3, w*q + 5*y - 55 = 0. Let g(h) = 7*h**2 + 14*h - 16. Is g(q) prime?
True
Let f = 87144 + -56151. Suppose -i - 3*m - 2*m + f = 0, 0 = 3*i + 3*m - 93027. Is i a prime number?
True
Suppose 5*l + 20 = 0, p - 5*l - 3 = 27. Let b(u) = -u**2 + 8*u + 20. Let t be b(p). Suppose -2230 = -5*y - t*y. Is y prime?
False
Let r(s) = s**3 - s**2 + 415. Let o be 1085/25 - 4/10. Let c = o - 43. Is r(c) composite?
True
Let s be 3 - (35 - (4 - 5)). Let u = -28 - s. Is (-18)/30 + 313/u a prime number?
False
Suppose 9*a - 109632 = a. Suppose -a = -9*x + 30909. Is x a prime number?
True
Suppose 0 = -6*n + 27 - 9. Let u be -1*(-2 + 2)/(-3). Suppose n*y - 17232 - 5265 = u. Is y a prime number?
True
Is -14 - -24 - 613/(-2)*362 prime?
False
Is 94 + -101 - ((-216117)/(-22))/(1/(-24)) prime?
False
Suppose -63*k = 206*k + 63000 - 1420105. Is k a prime number?
False
Let d be 1 + -1 + (-5 - 3 - -8). Suppose -16*u + d*u + 22768 = 0. Is u a prime number?
True
Let n be 2/(-2) - 20/(-4) - 0. Suppose g + n*g = -15, -3*m + 1347 = -5*g. Let v = m + -265. Is v a prime number?
True
Let y(u) = 4003*u**3 + 19*u**2 - 57*u - 23. Is y(6) a composite number?
False
Is 4581*20/(-135)*(-27)/18 a prime number?
False
Let f(r) = 106*r + 407. Is f(52) a prime number?
False
Let n = -26991 + 47529. Suppose -198*r - n = -195*r. Is (((-12)/3)/4)/(6/r) a prime number?
False
Suppose 3*c + 5*l - 18 - 9 = 0, -5*l - 5 = -5*c. Suppose -12*b = -10*b - c. Suppose 4*x - 2*i = 834, -b*x - i + 432 = i. Is x a prime number?
True
Let m be (-7572630)/(-150) + 6/(-5). Suppose -10*d = -m + 273. Is d a prime number?
True
Suppose 5*v + 78 = 168. Suppose 0 = 4*q - v + 10. Suppose 1932 = q*c - 1586. Is c a composite number?
False
Let v(g) = 68*g**2 + 97*g - 45. Let y be v(-24). Suppose -5*p + 2*x = -y, -9*p - 7336 = -10*p + 5*x. Is p a composite number?
True
Let r(j) = -67*j**2 - 2*j + 6. Let d be r(4). Let c = d - -3407. Is c a composite number?
False
Suppose 0 = -3*u + 8999 + 145384. Is u a composite number?
False
Suppose 0 = -2*y - 2*f + 82, -y - 3*y + 163 = 3*f. Let z = y + -35. Suppose z*i = -0*i + 455. Is i composite?
True
Let u be 10/35 - (-411)/7. Let k = 838 - u. Let r = 1818 - k. Is r composite?
False
Let c(k) = -k**3 + 7*k**2 + 6*k + 9. Let m be c(8). Is 422 - 0 - (10 + m) prime?
True
Let y = -41751 - -158540. Is y a composite number?
False
Suppose -11*g - 5893542 = 51*g - 440826580. Is g composite?
False
Suppose 12*a + 116*a = 44*a + 50500884. Is a a composite number?
False
Let j(o) = -11*o**3 + 5*o**2 + 12*o - 20. Let y(h) = 5*h**3 - 3*h**2 - 6*h + 10. Let v(k) = 3*j(k) + 7*y(k). Let g be v(5). Let z = g - 21. Is z a prime number?
True
Let y = 1946 - 1245. Suppose -w = y - 2372. Is w a composite number?
True
Let d(l) = -6*l - 36. Let b be d(-5). Let t be ((-18)/15)/(b/223410). Is t/44*(-4)/(-6) composite?
False
Let r(x) = 142*x**2 - x + 232. Is r(61) a composite number?
True
Let i(x) = -4*x**3 - 50*x**2 - 38*x - 75. Is i(-27) a composite number?
True
Is ((-58)/6)/(46/(-519846)) a prime number?
False
Let m = -115 - -122. Let x be 0 + (-5 + m - 0). Suppose 4*s + x*s = 858. Is s a prime number?
False
Suppose -3*c - l = -28993, 0*l = 4*c + l - 38659. Suppose 5*o - 14*o + c = 0. Suppose 4*f - o = 1058. Is f prime?
False
Suppose 900 = 3*x - x. Let q(y) = y**3 + 12*y**2 - 3*y + 5. Let t be q(0). Suppose 3143 = t*j + w, 2*w + 183 = j - x. Is j prime?
False
Suppose -17*m = -16*m + 4425. Let c = -1228 - m. Is c a composite number?
True
Suppose 1068832 = -184*l + 216*l. Is l prime?
False
Suppose -3*f + g = -549 - 531, 2*g = 5*f - 1801. Suppose -2*b = -0*b - 330. Let p = f - b. Is p prime?
False
Suppose 4*r - 210593 = -2*p + 39261, 0 = 3*r - 3*p - 187368. Is r composite?
True
Suppose -3*r - 25615 = -5*d, 2*d - d + 2*r - 5136 = 0. Suppose -3*i + s = -40, 5*i - 9*s + 6*s = 72. Suppose i*g = 14*g - d. Is g a composite number?
True
Suppose -m + 5*v + 17550 = 9*v, 0 = 4*m - v - 70166. Suppose 12*g - 14942 = m. Is g prime?
True
Is (4/14)/(262/422497663) composite?
True
Let f = -159611 + 99378. Is f/(-5) + 16/40 prime?
False
Suppose -3*r - 177 = -3*p, 4*r = 7*r + 9. Suppose -5*s + p + 44 = 0. Is (-6)/((-5)/(s/(-6))) + 153 composite?
False
Let l = -10774 - -15114. Suppose y + 8794 = 5*u + 1565, 3*u + 2*y = l. Suppose u = 2*z + 2*a, -2*z - a - 3*a + 1454 = 0. Is z a composite number?
False
Let i(w) = 177771*w**2 + 12*w - 10. Is i(1) a prime number?
False
Suppose 207914 = 2*z + 3*u, 10*z = 9*z + 3*u + 103921. Is z a prime number?
False
Is (0 - (-1404204)/(-9))*4/((-288)/54) a prime number?
True
Let c = 61542 - -2035. Is c composite?
False
Let q(u) = -u**3 + 7*u**2 - 7*u - 12. Let r be q(6). Let b be ((-28)/(-126) - 4568/r) + 3. Suppose b = -y + 924. Is y a composite number?
True
Suppose 0 = j - 1, -3*k - 5*j = -575430 + 46894. Is k prime?
False
Let j(n) be the second derivative of 3/2*n**4 + 3*n**3 + 3/2*n**2 + 0 + 28*n - 1/20*n**5. Is j(18) composite?
True
Suppose 5*d + 2*y - 111 = 0, -5*d + 0*y + 102 = -y. Let o(g) = 6*g**3 + 71*g**2 - 44*g - 24. Let f be o(-12). Let t = d + f. Is t a composite number?
True
Suppose 0 = j - 4*g + 4501 - 21038, -5*j - 3*g + 82800 = 0. Is j prime?
False
Is (1816/6)/((-336)/(-87948)) a composite number?
True
Let d(o) = 11132*o + 2033. Is d(10) a composite number?
True
Let u(g) = -g**3 - g**2 + 623. Let j(k) be the third derivative of -k**5/60 - k**4/3 + 3*k**3/2 - k**2. Let a be j(-9). Is u(a) prime?
False
Let m be 0 + 462/78 + 5/65. Let x(z) = -2*z**2 - 5 + 3*z**3 - 2*z - 2*z**3 + 5*z. Is x(m) a prime number?
True
Suppose 12*y + 2*x = 10*y + 190118, -y - 5*x + 95043 = 0. Is y a prime number?
True
Suppose 0 = 5*l + 40, 988410 = 4*h - l + 168326. Is h composite?
False
Let g = 167 - 167. Suppose -w + 5*q + 1587 = 406, g = -4*q. Is w a composite number?
False
Let t(v) be the third derivative of 5*v**4/6 - 19*v**3/2 + 28*v**2. Is t(7) prime?
True
Let r = -688984 + 1601615. Is r prime?
True
Let z(g) = -16*g**3 + 3*g**2 - 36*g - 1227. Is z(-20) a prime number?
True
Let q(k) = k**2 + 5*k - 15. Let c = -77 + 80. Let r be q(c). Suppose -r*a = -6348 - 16665. Is a a prime number?
True
Let h(b) = b**2 + 13*b - 63. Suppose -6*v - 13 = 107. Is h(v) composite?
True
Let a(h) = -17504*h + 125. Is a(-3) prime?
False
Let a(k) = -2*k