 composite?
False
Suppose 15*b - 9796 = -346. Let x(k) = -440*k + 1. Let l be x(1). Let t = b + l. Is t prime?
True
Suppose -c - 3*u + 18 = -2*u, -4*c + 64 = 2*u. Let z = 24 - c. Is z composite?
True
Let p(t) = -t**3 - 12*t**2 + 17*t - 13. Let s be (3/6 + -1)*32. Is p(s) composite?
False
Suppose 5*a - 4*z - 4 = 0, a - 5*a = 3*z + 3. Suppose a*x + 3*x = -9. Is (x - 10/(-4))*-258 a prime number?
False
Let j = -84 + 36. Is (-2)/(-4) + (-8)/(j/1503) composite?
False
Let v = -48 - -52. Is -1055*-1*1*(v - 3) composite?
True
Let g(n) = 2*n**2 + 100*n - 71. Is g(36) prime?
True
Let j(l) = -3927*l + 1071. Let b(r) = r - 1. Let v(c) = -1071*b(c) - j(c). Let u(w) = -119*w. Let q(z) = -119*u(z) - 5*v(z). Is q(-1) prime?
False
Let s(u) = -6*u**2 + 165*u - 49. Is s(22) a composite number?
False
Suppose 0 = 4*h - 8 + 12. Let d be (-10*(-13)/2)/h. Let s = d + 256. Is s a composite number?
False
Let g(s) = -s**3 + 19*s**2 + 28*s - 12. Let m be g(14). Is (-1 - m/(-15))*3 prime?
True
Let s = 644 + 1886. Let v = s - 1215. Is v composite?
True
Is (157 - 153)*(-76522)/(-8)*1 a prime number?
True
Suppose -3*r = -4*b + 2*r + 5876, 0 = -2*b + 4*r + 2938. Is (3/(-2))/((-3)/(-8)) + b composite?
True
Let s(n) be the third derivative of -n**6/120 - n**5/10 - n**4/12 - 3*n**3/2 + 2*n**2. Let r be s(-6). Is (-50)/(-1) + r + 0 a composite number?
False
Let x(p) be the second derivative of p**7/1260 - p**6/240 + p**5/30 - 5*p**4/12 - 7*p. Let y(w) be the third derivative of x(w). Is y(13) composite?
True
Suppose -d + 26 = -4*c, -5*d + 18 = -4*d - 2*c. Let i = d - 10. Suppose 0*a - a + 293 = i. Is a composite?
False
Suppose 4*i + 43 = -37. Suppose -3*t - 3*v = -132, 5*t + 67 = -3*v + 291. Let s = i + t. Is s prime?
False
Let t(u) = 11*u**2 - 13*u + 7. Suppose -3*h = 2*h. Suppose -3*q + 4*r - 45 = 0, h = 3*q - 4*q - 5*r + 4. Is t(q) prime?
True
Let v be -2 + -1 + 5 + 383. Let c be (-2)/(-8) - (-45)/12. Suppose z = -c*z + v. Is z a composite number?
True
Suppose -2*p - 8 = 0, -p + 2787 = n - 2*p. Suppose 8*d = 10*d - 10, 2*x = 3*d + n. Is x a prime number?
True
Suppose 2 = -4*f + 14. Suppose 0 = -4*a - s - f*s + 816, 3*a = s + 628. Suppose 3*t - 281 - a = 0. Is t composite?
False
Let a(x) be the second derivative of 0 + 1/20*x**5 + 1/12*x**4 - 1/2*x**3 - 13/2*x**2 - 11*x. Is a(10) prime?
False
Suppose 0 = 5*w - 21756 - 114. Suppose -2*j - 5830 = -3*z - z, j + w = 3*z. Is z a composite number?
False
Suppose -3*u + 428 = -3*i + 98, 4*u = 20. Let j = i - -316. Is j a prime number?
True
Suppose -3*u + 10*o = 5*o - 25, 3*u = 3*o + 15. Let p be (-3)/6*1*-6. Suppose p*r - 2*d - 37 = u, 4*r - 4*d + 0*d - 48 = 0. Is r prime?
True
Let v(f) = -f**2 + 5*f - 6. Let t be v(2). Suppose t = -112*p + 117*p - 12385. Is p a composite number?
False
Let a(o) = o + 1. Let b be a(4). Suppose 0 = -5*n - 0*p - 5*p + 25, 5*n = -4*p + 20. Suppose n = g - b*g + 580. Is g composite?
True
Let m(q) = -9*q**2 - 3*q + 11 + q**3 + 4*q - 19. Let g be m(10). Suppose -f + 7 = -g. Is f a composite number?
False
Suppose 4*s = -5*n + 11, 0 = 5*s - 4*n - 6 - 59. Let l = 16 + s. Is l a prime number?
False
Let h be 4/(-14) + 64/28 + 0. Suppose -2*y = f - 101, 4 = -h*y - 4*f + 102. Is y composite?
True
Suppose -2*c + 13 = -3*o - 4, 31 = -5*o + 2*c. Let h be (-56)/(-49) + 1/o. Let f = 12 + h. Is f prime?
True
Suppose -5*c - 8*o + 3*o = 0, 3*o + 6 = 0. Suppose c*j + 3*j + 2*l = 629, -l = 3*j - 378. Is j a composite number?
False
Let m(c) = 0 - 4 - 1 + 4 + 12*c**2 - 4*c. Is m(6) prime?
False
Suppose 0 = -3*n - 2*n + 3*w + 4876, -w = -3*n + 2924. Suppose -2*y - 1972 = -4*r, r + r + 2*y - n = 0. Is r a prime number?
True
Let f be 6/45 + 64/(-30) + 1. Is f/2 - 179/(-2) composite?
False
Is (-21)/14*(1 + 979805/(-15)) a composite number?
True
Let p(q) = -5*q**3 - 3*q**2 + 2*q - 1. Let w be p(3). Suppose -8*g + 1672 = -27*g. Let x = g - w. Is x prime?
False
Let a be 1/(((-5)/32995)/(-1)). Is (a*1)/(12 + -11) a composite number?
False
Let g be (-12)/42 + (-3471)/(-21). Suppose -y = 4*y - g. Is (y/12)/((-2)/(-296)) prime?
False
Suppose 40*p = 38*p + 10. Suppose 3*v - 5007 - 5292 = 4*i, -5*i = -p*v + 17165. Is v a prime number?
True
Let x = -38184 - -69653. Is x a composite number?
False
Let r(m) be the third derivative of -181*m**6/120 - m**4/24 - m**2. Let s be r(-1). Let a = s + 305. Is a a composite number?
False
Suppose -13*o = -10*o. Suppose o*v + 5*v = 530. Is v composite?
True
Suppose -5*z + 3*r - 3 + 6 = 0, 5*r = 5*z + 5. Suppose 0 + z = u. Suppose -u*d = 2*y - y - 346, 2*d = 5*y - 1645. Is y a prime number?
True
Let j = -21 - -23. Suppose -2*u = -j - 2. Suppose 0 = 2*y + u*y - 1468. Is y composite?
False
Suppose -4*a = -2*c - 4, -c = 5*a - 17 + 5. Suppose 2*h = -4*r + 3234, -r = c*h - 919 + 106. Is r prime?
False
Let b(t) = -t + 5. Let m be b(2). Is (-53)/m*1*-3 a composite number?
False
Let i(m) = 0*m**2 + 403 + 3*m - 2*m - m**2 + 20. Let s be i(0). Suppose -s = -2*g + 47. Is g prime?
False
Suppose 4*f - 1300 = 5*i, -1006 = -3*f + i - 5*i. Suppose q + 5*p + f = 2*q, 4*q + 4*p = 1344. Is q a prime number?
False
Let q = -8314 - -24332. Is q prime?
False
Let m(o) = -2140*o + 371. Is m(-5) a prime number?
True
Let l = 35 + -14. Let t = l + -19. Suppose 5*k = t*k + 537. Is k composite?
False
Let d = -73 + 438. Let g(u) = 624*u**2 + 3*u + 3. Let i be g(-1). Let q = i - d. Is q composite?
True
Suppose -j - 1935 = -2*m, -m + 4*j + 410 = -561. Is m composite?
False
Let m = 1676 - -6031. Let t = m + -5248. Is t a prime number?
True
Suppose 3*i - 180 = a - 12, -3*a = 5*i - 294. Suppose 13*r - 3*r = 0. Suppose -3*x = -r*x - i. Is x a prime number?
True
Let z(u) = -3*u. Let m be z(1). Let l(c) = 3*c + 2 - 3*c**3 + 0 - 1 - 3*c**2. Is l(m) prime?
False
Suppose 0 = 5*y + 2*o - 97, -43 = -3*y - 4*o - o. Let c be (-56)/y*(-558)/4. Suppose c = 3*q - 93. Is q a prime number?
False
Let s = -7 - -6. Is s/(-4) + (-7587)/(-36) a composite number?
False
Let h be (32/(-5))/((-3)/(-195)). Let g = 633 - h. Is g a composite number?
False
Let a be -6*(-4)/12 - 0. Suppose 0 = a*g - 0*g - 8. Is g composite?
True
Let b(k) = 186*k - 11. Is b(4) prime?
True
Suppose t = -3*h + 4079, -10*h + 4*t = -5*h - 6821. Is h a composite number?
False
Suppose 2*x - 664 = g, -5*g + 983 = -0*x + 3*x. Is x a composite number?
False
Let a(r) = -r**2 - 6*r + 2. Let c be a(-6). Is (c - 6)*-92 - -3 prime?
False
Let z(f) = 380*f**2 - 83*f + 467. Is z(6) a composite number?
False
Let t = 27 + 227. Is t a composite number?
True
Suppose 2*x + 2*m - 29392 = 0, 4*x - 72445 + 13636 = m. Is x a composite number?
True
Let w(b) = b**3 + 6*b**2 - 4*b - 5. Let s = -63 - -57. Is w(s) prime?
True
Suppose 3*f + 3*u = 9, -3*u = 2*f - 9 + 2. Suppose -f*a - 2*p + 1482 = 0, -p + 0*p = -a + 737. Is a prime?
True
Let x = 4 + -4. Suppose -2 = 7*w - 23. Suppose -5*h - w*n + 333 = x, 4*h + 13 = -n + 285. Is h a prime number?
False
Suppose 0 = -4*x + 12124 + 4632. Is x a prime number?
False
Suppose 0 = 4*s - 26 + 2. Suppose d - 2779 = -s*d. Is d prime?
True
Let f = -12 + 17. Is 4/(32/7350) + f/20 a prime number?
True
Suppose -3*t = -t - 3820. Suppose k + k = 2*u + t, 5*u = 4*k - 3824. Suppose -3*i + 5*b = -583, 5*i + b + b = k. Is i prime?
True
Let v = 540 - -1003. Is v composite?
False
Let h = 8 - 1. Let n be -2 + h/((-7)/(-4)). Suppose 4*w - n*f - 86 = 0, -w + 6*w - 4*f = 106. Is w prime?
False
Is 8/7 + (-11229930)/(-210) a prime number?
False
Let y be 12/(-9) + 2562/(-9). Let g = 523 + y. Is g a prime number?
False
Let f(h) = -h**3 + 11*h**2 - 10*h - 5. Let t be f(10). Let p(u) = 89*u**2 + 12*u - 12. Is p(t) a prime number?
True
Suppose 0 = j - 10*h + 7*h - 301, -5*j = -5*h - 1495. Is j a prime number?
False
Let q(v) = 1265*v - 104. Is q(3) composite?
False
Suppose -v - 12 = -l + 2*v, 2*l = 3*v + 24. Suppose -18 = -3*z - 2*z - c, -c - l = -5*z. Suppose 0 = -z*h + 2*u + 237, 0 = -h + 2*u - 3*u + 79. Is h composite?
False
Let y(z) = -154*z + 1. Let s(o) = 770*o - 4. Let f(g) = 2*s(g) + 11*y(g). Is f(-10) a composite number?
False
Suppose -83*z + 1015894 + 1731987 = 0. Is z a composite number?
False
Let o(i) = -i**2 + 16*i - 39. Let k be o(17). Let j be 225 + -1 - (-1 - -2). Let t = k + j. Is t composite?
False
Let h = -15235 + 30746. Is h prime?
True
Let m = 26 - 24. Is 3129*(3 - m)/3 prime?
Fal