?
False
Let s(k) = 5*k - 22. Let v(f) = 2*f - 11. Let a(j) = 3*s(j) - 7*v(j). Let x be a(-8). Is x/(30/745)*2 a prime number?
True
Let w(t) = 23*t**3 + 14*t**2 + t - 32. Let f(k) = -8*k**3 - 5*k**2 + 11. Let b(r) = -11*f(r) - 4*w(r). Let u be b(-3). Is 5/40*u*4 a prime number?
True
Suppose -22*u + 3*u + 698478 = 0. Suppose 66*p - 60*p = u. Is p a composite number?
True
Let m(i) = 28369*i + 5216. Is m(21) prime?
False
Let v(x) = 4*x + 449. Suppose 4*b - 11 - 1 = 0. Suppose 3*i + t = -b*t + 16, 8 = i + 2*t. Is v(i) composite?
False
Let p = 31 - 11. Suppose p*t + 879 = 17*t. Let n = 438 + t. Is n a prime number?
False
Let t = -23 - -54. Let x = t + -29. Suppose 2*v + 3*h - 622 = 0, -x*h = 3*v - 5*v + 602. Is v a composite number?
True
Let j(g) = 16*g**3 + 19*g**2 - 110*g + 2321. Is j(19) a prime number?
False
Let k(x) = -737*x - 2132. Is k(-77) a composite number?
False
Let h(j) = 38*j**2 - 10*j + 25. Let d be h(4). Let t be -3*(-4)/(-12) + 1264. Suppose -2*x - i + t = 0, -5*i + d = 5*x - 2567. Is x prime?
True
Let h = 83 + -146. Is h/6*1358/(-21) composite?
True
Suppose -38*j - 2080120 = -17231442. Is j composite?
True
Let q = -326 + 705. Suppose 0 = -45*r + 46*r - q. Is r composite?
False
Let b(p) = -12*p**3 + 50*p**2 + 155*p - 106. Is b(-45) a composite number?
True
Let r(a) = 1306*a**2 + 15*a + 33. Suppose 17*m + 21 = -13. Is r(m) a prime number?
True
Let z = 302 + -302. Is -1 - (z + 768)/((-9)/72) a composite number?
False
Suppose -3*k = -354 + 45. Let d(b) = -5 + 2*b - 3*b + 2 + k*b**2 - 56*b**2. Is d(-2) prime?
False
Let m(c) = -433*c - 9. Let b be m(-7). Suppose 0 = -104*l + 65*l + 305*l + 559398. Let d = l + b. Is d prime?
True
Let t = -18 - -19. Let b be t/(17212/5736 + -3). Let c = 2653 - b. Is c prime?
False
Let p = 4662 + -3034. Suppose -x - 3*b = -407, 4*x - 2*b - p = -6*b. Is x prime?
False
Let i(b) = -119*b**2 + 1. Let s be i(2). Let k = -212 - s. Suppose 3*f = 2*m - 797, m + 4*f - 108 = k. Is m a composite number?
True
Suppose 3*c - 3 = 2*c. Let y(a) = -a**3 + a**2 + 2*a - 2. Let j be y(1). Suppose -4*n - 17 = 2*m - 159, -3*n + c = j. Is m prime?
False
Let g(h) = h + 8. Let u be g(6). Suppose u*r - 10*r = 16. Suppose -r*y + 1267 = k, y + 0*y = -5*k + 312. Is y prime?
True
Let d(f) = 7*f + 16. Let g be d(-2). Suppose 0 = -k + 11*r - 6*r + 2991, 5*k = g*r + 14955. Is k composite?
True
Let r(t) = 5*t**3 - 2*t**2 + t + 7. Let i be r(6). Let d(a) = -606*a**2 - 2*a - 4. Let s be d(1). Let l = i + s. Is l composite?
False
Let k(b) = 21*b**2 + 315*b + 2449. Is k(-180) composite?
True
Let m be -5*-42*(-7)/(35/(-2)). Let l = m + -82. Is 1*l*(-2932)/(-8) prime?
True
Let r(s) = 2524*s**2 - 304*s**2 + s + 1 + 0*s. Let l be r(1). Suppose 2*y = -4*o + l, -3*o = -5*y - 4*o + 5600. Is y composite?
True
Let x = -58 + 48. Suppose -4*a + a - 3 = 0. Is (a - -2)/(x/(-6940)) a prime number?
False
Let q(x) = -x**2 - 7*x - 5. Let c be q(-2). Suppose 4687 = r + 4*w, -23495 = -c*r - 17*w + 12*w. Is r a composite number?
False
Suppose 3*v = -5*b + 1398061, -3*v - 732811 + 173595 = -2*b. Is b composite?
True
Let w be (-6)/(-4)*(-72)/81*-3. Suppose -z = -w*r + 4*z + 18212, 2*z = 2*r - 9106. Is r a composite number?
True
Suppose 2*p - 116 = -2*m + 88, 108 = m - p. Suppose o + m = 3142. Is o a prime number?
True
Let h(t) = 5768*t - 901. Is h(4) a prime number?
True
Suppose -228*p + 84*p + 10013728 = -112*p. Is p a composite number?
False
Let u = -10235 - -6818. Let h = 709 - u. Is h prime?
False
Let z be 2/((35/(-1981))/(-5)). Suppose m - z = -13. Is m a composite number?
True
Let p(t) = -681*t - 2. Let i be p(-3). Is i/8 + 6/(-48) + -4 a prime number?
True
Suppose -z + 5 = 0, 5*b = 7*z - 82 + 17. Let g = -4 - 0. Is b/g*(-4656)/(-36) a prime number?
False
Let l(y) = 39341*y**2 + 60*y + 95. Is l(-4) prime?
True
Let y(a) = -a**2 - 18*a + 13. Let j be y(-19). Let d(s) be the third derivative of -s**4/4 - 5*s**3/6 - s**2. Is d(j) a composite number?
False
Let z(l) = l**3 + 8*l**2 - 8*l + 10. Suppose 0 = 6*g + 166 - 118. Is z(g) a composite number?
True
Is (5/((-675)/(-3654666)))/(1/5) a prime number?
False
Suppose -3*c = 5*a - 5, -21 = a - 2*c + 7*c. Suppose 0 = q + 5*j - 690 + 3, 0 = a*j + 16. Is q composite?
True
Suppose 8893 = 5*m - 41512. Suppose -5*z + m = -4*l, z = -l - 0*z - 2518. Let k = 4016 + l. Is k prime?
False
Let r(f) = 5*f**2 + 3*f - 16. Suppose -115 = 3*o + 65. Let x = 55 + o. Is r(x) a composite number?
True
Suppose -113*d = -123*d + 576890. Is d composite?
False
Suppose -6167415 - 1766366 - 339062 = -113*r. Is r composite?
True
Let x be ((-1)/(-7))/((-2)/(-8116)) - (-34)/119. Let a(w) = -47*w**3 + 3*w**2 - 1. Let v be a(2). Let f = x + v. Is f a prime number?
False
Suppose -15*w + 1360462 = -953888. Suppose -21*o - 58509 = -w. Is o a prime number?
True
Let g(c) = -2*c**3 - 89*c**2 - 134*c + 102. Is g(-61) a prime number?
False
Let c(b) = -50*b. Let d be c(-1). Let u = d + -38. Let a(f) = -f**3 + 13*f**2 + 11*f - 25. Is a(u) a prime number?
True
Let z(c) = -c**3 - 3*c**2 + 6. Let k be z(0). Is (3 - -918)*k - 7 a prime number?
True
Let f be 42639/(-27) + 2/9. Let k = -2855 - f. Let m = k + 2129. Is m composite?
False
Let b(y) = 49*y. Let m be b(1). Let f = 51 - m. Suppose 951 = f*n + n. Is n prime?
True
Is 894286/69*(-6)/(-4) a composite number?
False
Suppose 4*a + 5*y = 11 + 4, 5*y = -2*a - 5. Let p(x) = 3*x**2 + 2*x**2 + x**2 + 4*x**2 - 23 + 15*x - x**3. Is p(a) a prime number?
True
Suppose -96*n + 108*n - 281172 = 0. Is n a composite number?
False
Let p(q) = 12001*q**3 - 2*q**2 + 2*q. Let b(m) = -2*m**2 - 14*m - 11. Let o be b(-6). Is p(o) a composite number?
True
Let t(u) = -u**3 + u**2 + u + 213. Let g = -86 - -86. Let p be t(g). Let o = 164 + p. Is o prime?
False
Suppose -5*y - 4 = -4*r + 1, -2*y = 5*r + 2. Let i = 78 + -35. Let c = r + i. Is c prime?
True
Let u(i) = -i**3 + 6*i**2 + 25*i + 26. Let d be u(9). Suppose d*n = 6*n + 5402. Is n composite?
True
Suppose -804*k + 698*k = -7766090. Is k a prime number?
False
Suppose 334*z - 319*z = 0. Suppose 4*o + 2*w - 9832 = z, 2463 = o - 6*w + 4*w. Is o a prime number?
True
Let a(b) = -27 + 12*b**2 - b - 2*b + 2*b - 6*b. Is a(-8) a prime number?
True
Is ((-30297)/15)/(((-47)/(-470))/((-47)/2)) a prime number?
False
Let p(q) = -q**3 - 6*q**2 - 10*q + 2. Let t(h) = h**2 + 28*h + 62. Let m be t(-25). Is p(m) composite?
True
Let v be (3 - 3569)/(2*1/(-4)). Let k = -4091 + v. Suppose 25*p + k = 26*p. Is p prime?
True
Let c = 3950 + -1476. Let i = c - -4605. Is i prime?
True
Let f = 3004915 + -1684254. Is f prime?
False
Suppose -19*l + 995568 + 116094 = -71525. Is l a composite number?
False
Let x = 199 + -85. Suppose x - 1090 = -4*k. Let v = k - -19. Is v a composite number?
False
Let u = 5371 + -10. Suppose 4*a - 851 = u. Is a prime?
True
Let j be (-8)/(-4 + 0) - -1. Suppose 15 = 4*z + j. Suppose r - z*r = -4306. Is r a composite number?
False
Suppose 9*t + 0*t = 27. Suppose 0 = 3*f - t*g + 9, -f = 2*f - 5*g + 19. Suppose 938 = 2*o + 5*x, -f*x = 3*o - 3*x - 1441. Is o a composite number?
False
Let a(s) = 3249*s**2 + 77*s + 347. Is a(-6) a composite number?
False
Let n(i) be the third derivative of 25*i**4/12 + 7*i**3/6 - 10*i**2. Let d be n(6). Suppose 916 = 3*t + d. Is t prime?
False
Let n = -38068 - -100437. Is n a composite number?
True
Suppose f = 295531 + 253134 - 48002. Is f a prime number?
False
Suppose -3*j - 19710 = 3*n - 357111, 4*n = 5*j + 449904. Is n composite?
True
Suppose -14055*p + 2967366 = -14052*p. Is p a composite number?
True
Let v(o) = 11 - 117*o - 2 - 7. Suppose -10 = 2*q - 2*x, -5*q = -3*x + 15 + 14. Is v(q) prime?
True
Suppose 4*l - 4*w - 8 = -0, -3*l = w - 14. Suppose 4*u + 12 - 22 = s, 4*s - 4*u = -4. Suppose -s*y = 2*y - l*m - 2552, -y = 3*m - 626. Is y composite?
True
Is ((-6910752)/(-24))/(6 - 2) a composite number?
False
Let h = 1528 + 1346. Suppose -h = -3*v - 0*v - 5*g, -4774 = -5*v - 3*g. Is v a prime number?
True
Suppose 672*k - 95422656 - 14802529 = 58892351. Is k a composite number?
False
Suppose -130318 = -994*j + 992*j. Is j composite?
True
Let p = 1076929 + -530882. Is p a composite number?
False
Suppose v + 27 = -3*t, -2*v - 2*v = 3*t + 27. Let r be (-2)/(-3) + -129*(-2)/t. Is (1732/(-7))/(-1) - (-12)/r a prime number?
False
Suppose 4*o = -5*w - 100828, 3*o