 12 = 4*f. Is t a composite number?
True
Suppose -4*b = -i + 466, -5*i + i - 2*b = -1918. Suppose 0 = m - i - 9. Suppose 812 + m = z. Is z a prime number?
False
Let z be (3 + -1 + -1)*4. Let t be (-12)/(-9)*6/z. Suppose 3*c + 525 = t*r + 125, -211 = -r - 4*c. Is r a composite number?
True
Let s = -2 + 4. Let l = 48 + -45. Suppose 0 = s*r + l*n + n - 390, 3*r = n + 613. Is r a composite number?
True
Let f = 63 + -61. Is (1/((-20)/3455))/(f/(-8)) prime?
True
Let t be (-3)/(4/(16/6)). Is (t + 1)/(-7) - 1644/(-7) composite?
True
Suppose -a - 5*c + c = -98, -a = 2*c - 90. Is a composite?
True
Suppose -2*r + 3*s + 1 = 0, 2*r - 3*s = -6*s + 19. Suppose -5*f = 5*t + 50, 2*t - r*f - 14 = t. Is (478/t)/(1/(-3)) prime?
True
Let n(z) = -7 + 140*z**2 - 3 - 29*z + 3 + 35*z. Is n(2) a composite number?
True
Let l = 6112 - -487. Is l composite?
False
Suppose -4*q = -n - 19802, q - 4*n - 5852 = -909. Is q composite?
False
Suppose -7831 = 4*p + 5*s - 33303, 19103 = 3*p + 4*s. Is p composite?
False
Suppose y + z + 3232 = 6*y, y + 5*z - 662 = 0. Is y a prime number?
True
Let g = 77 - 73. Is (-14)/(g/10*5/(-439)) composite?
True
Suppose -883 = -v + 3*y, -3*v - 865 = -4*v - 3*y. Let o = v + -555. Is o composite?
True
Suppose 10*u - 1669 = 85601. Is u prime?
False
Is ((-1566)/(-72))/((-6)/(-2344)) a prime number?
False
Let n = -78 + 80. Is 1322/4 + n/4 a prime number?
True
Let g(c) = -c + 22. Let u be g(18). Suppose 20144 = u*a - 4*k, 0 = 4*a + 3*k + k - 20168. Is a a prime number?
True
Let l be (-8 + 9)/(3/(-6)). Is (l/(-2))/((-12)/(-2820)) a composite number?
True
Suppose 5 = 4*y + 41. Let x = y + 12. Let l(a) = 10*a**2 + a + 2. Is l(x) composite?
True
Suppose -2*f + 5*b + 15 = 0, 2*f = 2*b - 6*b + 6. Suppose 3*h - f*c = -6*c + 447, 2*h - 3*c = 298. Is h composite?
False
Let n = -5205 + 11368. Is n a prime number?
True
Suppose 8*d + 3300 - 15788 = 0. Is d prime?
False
Is 6/24*-4 - -1622 a composite number?
False
Is (-26)/(-104) - 339/(-4) prime?
False
Suppose -u - 51630 = -7*u. Is u a composite number?
True
Suppose 5*u = -4*r + 3446, -2*u - 2*r + 57 + 1321 = 0. Suppose -7*a + u = -a. Is a prime?
False
Let j = -3014 - -12753. Is j composite?
False
Let f(k) = k**3 - k + 87. Let v(t) = -t**2 - t. Let x be v(0). Is f(x) composite?
True
Suppose -3*r - 32 = 2*k, -48 = r + 4*r + 2*k. Let s be 2954/r*(3 - 7). Suppose -5*q + 3*m + s = 0, 4*m - 863 = 2*q - 5*q. Is q prime?
True
Suppose -13*g + 192784 = -70375. Is g a composite number?
True
Suppose -2*s - 26 = 162. Let m(u) = -66*u + 2. Let k be m(-3). Let f = s + k. Is f a prime number?
False
Let x be 10*1 - (67 - 67). Let y(o) be the second derivative of o**5/20 - o**4/6 - 2*o**3/3 - o**2 + o. Is y(x) composite?
True
Let t be (-2)/4*-64*1. Suppose 4*p + 4*d - t = p, 0 = -3*d + 15. Is 2 + 410 + 1 - p a prime number?
True
Suppose -5*r + 3*z - 8*z = -32615, 5*r - 32607 = -z. Is r composite?
False
Let z be (-2)/(-12) - 4/24. Suppose -o - 1 = z, 2275 = -j + 3*j + 3*o. Is j composite?
True
Let o = -8 + 21. Suppose -5*u = n + 7, 5*u - o = -5*n + 4*u. Suppose 150 + 152 = 2*j + 3*s, 0 = n*j + 2*s - 463. Is j prime?
True
Suppose -4*h - 2 = -22, 3*w - 3142 = h. Is w prime?
True
Let x be (-9 - 13)*(-154)/(-4). Is -2 - 1 - (x - 7) a prime number?
False
Let q = 14691 - 5578. Is q composite?
True
Suppose -y = 2*m - 923, -y + 0*y = 3*m - 924. Is y prime?
False
Suppose -12*q - 3488 = -10532. Is q composite?
False
Let g(x) = x**3 - 2*x**2 + 4*x - 1. Let a(t) = 2*t**2 - 4*t + 3. Let d be a(2). Suppose 3*n - 15 = -d*r, 1 = -r - 5*n + 6. Is g(r) a prime number?
False
Suppose i = 4*o - 3*o + 90, 2*i = -5*o + 173. Is i prime?
True
Suppose 10 = -5*w - 2*r, 2*w + 21 = -2*w + r. Let b(n) = -n**3 - 4*n**2 - 5*n - 13. Is b(w) a composite number?
False
Let b(z) = -z**2 - 77*z + 427. Is b(-37) prime?
True
Let c(v) = -v**3 + 8*v**2 + 2*v + 4. Let x be c(5). Let m be (-16)/104 - x/13. Let p = 29 + m. Is p composite?
True
Suppose -18 = -15*l + 27. Suppose 15824 = i + 4*i - l*r, -i + 2*r + 3169 = 0. Is i a prime number?
True
Let l be (-114)/(-9) - (-2)/(-3). Let f = 12 - l. Suppose 149 = 4*t + 3*k, 4*t - 2*k - 38 - 96 = f. Is t prime?
False
Let n = -76 - -50. Let q be (-438)/n - (-22)/143. Suppose -q = -w + 392. Is w prime?
True
Suppose 2*l = 7*l + 3*j - 104614, 0 = 4*j - 12. Is l a prime number?
True
Is (8 - -12505)*1/3 prime?
False
Suppose 606 - 1656 = -5*j - 5*v, v = -4. Let b = j - -36. Suppose b - 15 = r. Is r composite?
True
Let c = -6366 - -11126. Suppose -2003 = 3*n - c. Is n a prime number?
True
Let k be (-33386)/14 + (-4)/14. Let o be k/(-3)*(-2)/(-5). Is (1 - 0)/1 + o a prime number?
False
Let y = -3 - -5. Suppose 311 = 2*i + 2*j + j, y*i - 4*j - 318 = 0. Is i composite?
False
Suppose -3*y + 11 = -4. Suppose -y*o - 4*z = -157, 2*o - 70 = -z + 3*z. Is (2/(-2))/((-3)/o) prime?
True
Let g = -3759 + 12112. Is g a prime number?
True
Is (1537264/56)/((-4)/(-14)) a composite number?
False
Suppose -5*z + 8*z = 5*l, 3*z - l = -12. Is z - (-13 + 5) - -2434 composite?
False
Let s be 2 + 0*1/(-3). Suppose -s*k = 2*j - 0*j + 2532, 0 = k + 1. Is j/(-15)*(2 + 1) a prime number?
False
Let j be 6/(-14) - (-318)/(-42). Let l(h) = -28*h**2 - 6*h - 1. Let f be l(j). Let n = -1231 - f. Is n a composite number?
True
Is ((-140)/(-105) - 2/6)*13669 a composite number?
False
Let b(k) be the third derivative of 2*k**2 + 0 + 1/60*k**5 - 1/120*k**6 + 91/6*k**3 + 0*k + 1/24*k**4. Is b(0) prime?
False
Suppose 583*d = 601*d - 1586286. Is d composite?
True
Suppose 2*i - j + 4 + 1 = 0, 5*j - 25 = 0. Let b(t) = -18*t + 332. Let g(c) = -5*c + 111. Let z(r) = -2*b(r) + 7*g(r). Is z(i) a prime number?
True
Let x(m) = -m**2 - 28*m - 89. Is x(-20) composite?
False
Suppose -19*v + 10919 + 190538 = 0. Is v a prime number?
False
Suppose -5*b + 48 = -b. Suppose -c = c - 4*r + 12, 2*c + 4*r - b = 0. Suppose c = 3*j, 5*w + j - 10 = 25. Is w a prime number?
True
Let w(m) = 143*m**2 + 2*m + 8. Let q be w(-11). Suppose 14*g - q = 5*g. Is g prime?
False
Let g(y) = y**2 + y - 1. Let w be g(-4). Suppose -5*r + w = h, -31 = -6*h + h - r. Is 159/15 + h/15 a composite number?
False
Suppose -4 = 3*a - v, -3*v - 2 = 4*a + a. Is a/1 + 5 + 643 a prime number?
True
Let u(l) = 2*l - 1. Let m be u(3). Is (-2)/10 + 5 + 811/m composite?
False
Let v(j) be the first derivative of 5*j**2/2 + j + 5. Let z be v(1). Let w(t) = 8*t**2 + 2*t + 7. Is w(z) a prime number?
True
Let j(f) = 163*f**2 - 39*f - 5. Is j(-5) prime?
False
Suppose -2*s + 3*w = -2204, 2*w = -3*s + 7*w + 3305. Suppose s = 4*k - 523. Is k a prime number?
False
Let r = -31775 + 67962. Is r a prime number?
True
Let u(d) = -2*d**3 - 5*d**2 - 14*d - 22. Suppose -2*h - 32 = 4*f, -h = 2*f + 4*h. Is u(f) a prime number?
False
Suppose 25*d - 12*d - 154063 = 0. Is d prime?
False
Suppose -16*s + 61136 = -11616. Is s prime?
True
Let u = 26 - -11. Let b = u + 34. Is b a composite number?
False
Let j be 10/(-35) - (-7928)/14. Let c = j + -301. Is c a composite number?
True
Let p(k) = 2*k**2 - 3*k + 1. Let l be p(3). Let v(g) be the first derivative of g**4/4 - 3*g**3 + 6*g**2 - 9*g - 2. Is v(l) a prime number?
True
Let w(n) = -n + 1. Let z be w(6). Is 423 - z*(-1)/5 a composite number?
True
Suppose 20 = p - 6*p. Let j = p - -6. Is (j - 0 - 3) + 144 a composite number?
True
Suppose -658 - 718 = -4*v. Suppose -3*m = -8*m + 3245. Let n = m - v. Is n a prime number?
False
Suppose 2*q + 4*z = -z + 517, -z - 499 = -2*q. Is q a composite number?
False
Suppose f - 2*f = v + 274, -2*f - 819 = 3*v. Let u = -6 - v. Is u a prime number?
False
Let r(h) = 104*h + 193. Is r(36) a prime number?
False
Let d(b) = b**2 + 12*b + 9. Let j(q) = -2*q**2 - 23*q - 19. Let m(o) = -5*d(o) - 3*j(o). Let p be m(-8). Let c(i) = i**3 + 2*i**2 - 3*i - 5. Is c(p) composite?
False
Let x be ((-2)/3)/(2/(-111)). Let m(o) = o**3 - 5*o**2 + 9*o - 4. Let f be m(4). Suppose p - f = x. Is p prime?
True
Let w(o) = o - 6. Let y be w(8). Suppose 0 = -l + y, 0 = -2*a + l - 16. Let t(u) = -u**3 + u**2 + 2*u + 3. Is t(a) composite?
True
Let o = 1099 - 762. Is o a composite number?
False
Let u(x) = -4*x**3 + 4*x**2 + 14*x - 7. Is u(-11) a prime number?
True
Let r be ((-1464)/(-9) - 2)/(1/60). Suppose 5*p = 2*x + 9625, 5*x + r = 4*p + p. Is p a composite number?
True
Let t(o) = -o**3 + 18*o**2 + 21*o -