j + 3. Let r be k(0). Let t(o) = 412*o**2 - 16*o + 31. Is t(r) prime?
True
Let v(d) = -1586*d**3 + d**2 - d - 2. Let m be v(-1). Let n = 4863 + m. Is n composite?
False
Let s(j) = j**3 + 97*j**2 + 100*j - 149. Is s(-87) a prime number?
True
Is 30/12 + (-8037481)/(-34) prime?
True
Let t(i) = -3*i + 62. Let u be t(19). Suppose 3*d - 2*l = 6157, 9*d - 10*d = u*l - 2058. Is d a prime number?
True
Suppose -613987 = -64*b + 37*b + 357014. Is b prime?
True
Is 383*-1893*(-27)/81 a prime number?
False
Suppose -4*t + 11*w - 6*w = 5, -4*t = -w - 15. Suppose t*m + o - 2*o = 15757, 2*m - o = 6304. Is m a prime number?
False
Suppose -n - 399 = -8*n. Suppose -2*f - 31 = -3*b, 5*f + n = -2*b - 11. Is 26874/63 - 6/f prime?
False
Let n = 136634 + -15871. Is n composite?
False
Suppose 0 = -4*m + 5*f - 28, f - 4*f + 35 = -5*m. Let s(h) = -45*h**3 + 8*h**2 - 4*h - 2. Is s(m) a prime number?
False
Suppose -28 = 7*a + 119. Is 5/((-10)/(-74791)) - a/14 a prime number?
True
Suppose -400*n + 446*n - 76499886 = 0. Is n a composite number?
True
Suppose 326 - 436 = 11*z. Is 15578/26 - z/(-65) a prime number?
True
Suppose -15653 + 3389 = 4*j. Let o(y) = 23*y**3 + 2*y**2 + y - 11. Let i be o(3). Let m = i - j. Is m prime?
True
Let y = 268882 + 172275. Is y a prime number?
True
Let g = -25 - -13. Let c be (-4)/g*-3 - 2181/3. Let j = -97 - c. Is j a prime number?
True
Suppose 75 = -20*v + 25*v. Suppose -3*w = 5*h, -v + 5 = -5*w - 5*h. Suppose -2*g + 540 = w*c, -3*c + 26 = g - 297. Is c a prime number?
False
Let o = -240 + 484. Let l = o - 117. Is l a composite number?
False
Let u = 10031 - 6584. Is (u/(-18))/(4/(-56)) a composite number?
True
Let v(y) = y**2 + 3*y - 14. Let f be v(-4). Let d be f/(-40) - (-62)/8. Let i(c) = 40*c + 11. Is i(d) prime?
True
Suppose -30 = -5*j - 3*i + i, 0 = 2*i - 10. Suppose g + 7755 = j*g. Let f = -1516 + g. Is f a composite number?
False
Suppose 5555243 + 16780369 + 2603468 = 40*b. Is b a composite number?
False
Suppose -5*k = -13*x + 11*x - 653515, -5*x = 6*k - 784255. Is k composite?
True
Let x be (29/2 - 5)/(3/162). Suppose 7476 = 11*z + x. Is z prime?
False
Suppose -243868353 + 35389340 = -173*t. Is t composite?
False
Suppose -4*n + 7*n = -f - 9130, -n - 3042 = f. Let d = 5646 + n. Is d a prime number?
False
Suppose 5*h - 255140 = -3*i, 20*h - 19*h - 51026 = -i. Is h a prime number?
True
Let b = -2940 - -7558. Is b - 6/(-5 + 3) a prime number?
True
Suppose 149676 = 4*v + 4*r, -24*v = -28*v + 4*r + 149692. Is v a prime number?
False
Suppose -2*v + 17 = 5. Suppose 4*p - v*k = -3*k + 26194, 0 = -3*p - 4*k + 19633. Is p composite?
False
Let v(a) = 2*a**2 + 0*a**2 - 7 + 1 - a**2 + 10*a. Let o be v(-16). Is 3974/18 + 20/o a composite number?
True
Let c(h) = -96 - 10*h**2 + 23*h - 4*h**2 + 35*h**2 - 7*h**2. Is c(7) composite?
False
Let n = -45 + 45. Suppose n = -2*h - 4*h + 30. Is (283 - h)*((-6)/(-4) + -1) a composite number?
False
Suppose 3*m + 1121 = 4*l, 0 = 5*m - 18 - 7. Suppose 5*y - k + 25 = 0, -5*y - 3*k + 7*k = 10. Is (l/y)/(8/(-12)) composite?
False
Suppose 0*r - 7*r - 42 = 0. Let p be (8 - 26)*2/r. Let v(a) = 30*a**2 - 3*a + 11. Is v(p) prime?
False
Suppose -419951 = 102*p - 106*p + q, -5*p - 2*q + 524955 = 0. Is p a prime number?
False
Let b(g) = 237*g - 118. Let o = -140 + 163. Is b(o) composite?
False
Let z(k) be the first derivative of 2935*k**2 - 21*k + 118. Is z(1) a composite number?
False
Let y be (-205)/(-30)*21 - 2/(-4). Suppose -32*j + y = -28*j. Suppose -3*u - 5*z = -1168 - j, u = -4*z + 413. Is u composite?
True
Suppose 4*h + 20 = 0, -i - 3*i - 2*h = -250002. Is i prime?
False
Is (-1196)/414*(-1210086)/12 composite?
True
Is -480 + 484 + 313167/9*(-6)/(-2) a composite number?
False
Let y(b) = 5*b**3 + 10*b**2 + 4*b. Let j(m) = 4*m**3 + 9*m**2 + 3*m - 1. Let q(w) = 4*j(w) - 3*y(w). Let i be q(-6). Is 19*2/i*-26 a prime number?
False
Suppose 5*l = 438 + 1112. Suppose 20*t + l = 22*t. Suppose -b + 2*b - t = 0. Is b prime?
False
Let h = -3714 - -658. Let n = h - -8671. Is n a prime number?
False
Let i be (4/10)/(1/15). Let t be (i/8)/((-3)/2)*-6. Suppose 5*g + 0*g = -4*a + 86, -4*g - 49 = -t*a. Is a a prime number?
True
Let x = -339 + -1143. Let n = 3205 - x. Is n composite?
True
Suppose -5*x = 3*x - 272. Suppose -3*u - 10 + x = 0. Let h(i) = 2*i**3 + i + 11. Is h(u) composite?
True
Is (19 + -52082)/(-2 - (2 - 3)) prime?
False
Let n = 161997 - 85966. Is n composite?
False
Let a(o) = o**2 - 18*o - 4. Let h(g) = 3*g**2 + 24*g + 2. Let b be h(-8). Suppose -b*u - 35 = p, -2*u - 20 + 5 = -3*p. Is a(u) a prime number?
True
Suppose 8*v - 2*v + 120 = 0. Let l be (v + 19)/(1/2 - 0). Is 133 + (4 + -8)*(-1)/l a composite number?
False
Let k be (-15)/2*(-10 - -12). Is -1 + 3154 - (k - (-16 + 3)) prime?
False
Let t(o) = -10*o + 23*o + 12*o + 29. Let a = 25 + -19. Is t(a) prime?
True
Suppose 3*w - 10 = -5*d, 2*w - 11 = 9*d - 8*d. Suppose -72 = -w*q - z - 1, -q - 5*z - 5 = 0. Suppose -12*y - 363 = -q*y. Is y a composite number?
True
Suppose -2*q + 2*y = 10, -3*q - 5*y + 22 = -7*q. Is 1/((-3)/(-3221)*(-1)/q) prime?
True
Let v(w) = -w**2 + w. Let j(l) = -l**2 - 19*l - 2. Let f(x) = j(x) - 3*v(x). Let y be f(-15). Let p = 369 + y. Is p a composite number?
True
Is -4*(-41)/(-2)*(-1758)/12 prime?
False
Is ((-32661)/513)/(1/69*(-4 - -3)) composite?
True
Suppose -12*a - 5*f + 558835 = -17*a, -2*f = 6. Is (a/60)/((-1)/6) a composite number?
False
Let l be 1/(-1) + 1 + 2. Let s(j) = 113*j**2 + j + 97*j**2 - l*j. Is s(-1) prime?
True
Let k(n) = -772*n + 391. Let x(h) = 771*h - 392. Let a(v) = -4*k(v) - 3*x(v). Is a(9) composite?
True
Is 3 - (-3 - -5) - (-1 + -87814 - 1) prime?
False
Suppose 9*j - 3*j + 246 = 0. Let f = -52 - j. Let h = f - -32. Is h prime?
False
Let o(x) = 581*x**2 + x - 1. Let z(m) = 194*m**2 + m. Let g(j) = 4*o(j) - 11*z(j). Is g(-3) a prime number?
False
Let b = -1216956 - -1803853. Is b composite?
False
Suppose 2*g = 8*g - 18. Suppose 4*v - 3*v + 1175 = g*a, -a + 383 = 4*v. Is a a prime number?
False
Suppose 71*k + 73*k = 4944528. Is k a composite number?
False
Let o(u) be the third derivative of u**4/3 - 53*u**3/6 + 35*u**2. Let k be o(7). Suppose -k*s + 2276 = -6007. Is s a prime number?
False
Let g(a) = 799*a**2 - a - 4. Let v be g(2). Let u = v - 1653. Let h = u - 570. Is h a composite number?
False
Is -6 + (1138/(-6))/((-4)/3636) a composite number?
True
Suppose -2*k - 2546 = -2*y + 2*k, -3*k - 5097 = -4*y. Suppose 8*u - 1153 = 3855. Let i = y - u. Is i a composite number?
True
Let h(w) = -7*w - 3. Let m be h(-1). Suppose 4 = -m*j, 2*c = 3*c - 2*j - 6. Suppose -5*x + a = -0*a - 2706, -c*x = -5*a - 2169. Is x prime?
True
Suppose 0 = -392*u + 396*u - 12. Suppose -u*m - 2*n + 40165 = 0, -2*m + 26766 = 7*n - 11*n. Is m a prime number?
False
Is (-1 - (-189766)/14)*399/114 composite?
True
Suppose 2*p = -2*h + 82158, 0 = 53*p - 50*p + 2*h - 123235. Is p a composite number?
False
Let q = -1038 + 3174. Suppose 0 = 6*k - q - 30150. Is k composite?
False
Let r(o) = 11983*o + 45. Is r(4) prime?
True
Is 25841 + -2 - 11 - -13 composite?
False
Suppose -4*q = 5*c - 33, -c = q - 1 - 6. Let o be -8 - -12 - (q + 83 + 1). Let v = -24 - o. Is v a composite number?
True
Let k(n) = -10*n - 10. Let u be k(-2). Suppose z + 5 = -5*m + 23, z + u = 2*m. Is (-642)/z + -4 + 2 a prime number?
False
Suppose 38 = -2*a + 4*c, 0 = 2*a - 3*a - 2*c - 31. Let g be (-5746)/(-5) - 20/a. Suppose g = -2*m + 5692. Is m composite?
True
Suppose -4*y = -5*u - 0*u - 8, -22 = 2*y + 4*u. Let k be 2/((-12)/(-9))*8/y. Is ((-2)/k)/((1 + 3)/12248) a prime number?
True
Suppose 5*d - 3*d + 55484 = 4*q, -20 = 5*d. Let b = 254 + q. Is b prime?
False
Let k be (-1)/(-2*(-1)/(-12) - 0). Suppose -n = -6*n, 2*j - 4*n = k. Suppose -8*r + j*r + 3995 = 0. Is r prime?
False
Let a(j) = -j + 1. Let c(v) = 14*v - 26. Let q(w) = w**2 - 41*w + 77. Let t(f) = -8*c(f) - 3*q(f). Let u(z) = -6*a(z) - t(z). Is u(-8) prime?
False
Suppose -3*h - 2*y - 3*y = -47, 3*h - 5*y = 97. Suppose h*t = 25*t - 2813. Is t composite?
True
Suppose 50*u + 889549 = 3*r + 45*u, -2*u - 4 = 0. Is r a prime number?
False
Let s = -27 - -26. Let f be s/1 + 4576 + -4. Suppose -23*n + 16*n = -f. Is n a prime number?
True
Let a(m) = -m**2 - m. Let p(f) = -76*f**2 + 10*f + 1. Let g(o) = -6*a(o) - p(o). Let i = 9027 + -9025. 