060076 = 1264303. Is j a prime number?
True
Suppose 3*v + v = -5*z - 2, 0 = -3*z + 4*v + 18. Suppose 26549 = z*x - 36651. Is 8/6 + x/24 prime?
False
Suppose -3*t = 15, 5*y - 217061 = 3*t + 260699. Is y a prime number?
True
Let z(b) = -390*b - 23. Let n be -4 + 3*(-6 - -5). Is z(n) a prime number?
True
Suppose -337620 + 109785 = -9*c. Suppose 0 = 5*t + 4*d - 63291, -16*t = -18*t - 3*d + c. Is t prime?
True
Suppose -2*q - d = 6 + 10, -4*d = -16. Let k(x) = x**2 - 19*x + 29. Is k(q) prime?
False
Let w(y) = y**3 - 2*y**2 + 3*y - 5. Let g be w(2). Let c(x) = 77*x + 2. Is c(g) prime?
True
Let q(y) be the first derivative of -79*y**2/2 - 14*y - 39. Is q(-3) a composite number?
False
Let r(z) = -269*z + 11. Let b be r(-2). Suppose 4102 = -542*p + b*p. Is p a prime number?
False
Let f(y) = y**2 + 25*y - 47. Let x be f(21). Let p = x + 1584. Is p composite?
False
Suppose 8*t - 7*t - 161703 = -4*r, 646712 = 4*t - 4*r. Is t prime?
True
Let f(n) be the first derivative of 152*n**3/3 - 5*n**2 - 145*n + 70. Is f(-8) a prime number?
False
Let h(r) = 147*r**2 - 112*r + 17. Is h(-8) a composite number?
False
Suppose 28*d + 854955 = 32*d - b, -2*d + 427482 = 4*b. Is d a prime number?
False
Let m(t) = 4086*t - 110. Let l be m(14). Suppose 2*z - l = -3*c, -5*z + 142753 = 6*c - 3*c. Is z a composite number?
True
Suppose -6*o + h = -562634, -h - 736 = -740. Is o a composite number?
True
Let x be 53/((-424)/128)*(0 + (-79)/2). Let c = 2 + 0. Suppose -c*o = -814 - x. Is o a composite number?
True
Let w(y) = y + 58. Let z be w(0). Let q be (-75)/6*((-2128)/(-10))/(-2). Suppose 4*d - q = z. Is d prime?
True
Suppose 13*f + 2880 = 9*f. Let p = f - -2413. Is p a composite number?
False
Suppose 0*p + 5*p + 4*k = 5, 2*p = k + 2. Is 3231 + -30 + (-1 - p) a composite number?
True
Let i(h) = h**3 - 7*h**2 - 6*h - 16. Let p be (-4)/1 + -3 + 15. Let c be i(p). Suppose 5*w - 1397 - 1208 = c. Is w composite?
False
Suppose -3*v - 5*a - 21 = -v, a = v. Let q = v + 7. Suppose -i = -4*c - 3355, q*i + 4*c + 1544 = 14984. Is i composite?
False
Let d be -7 + 4 - (-30 - -1). Suppose 0 = -2*s - 0*s - 5*q + d, s - 8 = -5*q. Is (1 - 1459/(-3)) + (-6)/s composite?
False
Let f be (-168)/72 - 2/(-6). Let h be (4 + -7)/(f - (-3)/3). Let n(d) = 351*d - 14. Is n(h) a composite number?
False
Let u(r) = 378*r - 1. Let c(k) = 379*k - 1. Let j(g) = 6*c(g) - 5*u(g). Is j(5) prime?
False
Let z(l) = -l**3 + 10*l**2 + 12*l - 15. Let o be z(11). Let i be 30/o*(-30)/75. Is i - (5 + 2)*-64 a prime number?
False
Suppose 731330 = -2*z + 5*z - 487237. Is z a prime number?
False
Let j = 291252 + -154309. Is j a composite number?
False
Let z = 932 - -6442. Let s = z + -2701. Is s composite?
False
Suppose -14*f + 2287 - 649 = 0. Let p = f + -109. Suppose p*j = 725 - 13. Is j a prime number?
True
Suppose 3*i = 3*o - 171108, 19650 = -3*o - 3*i + 190734. Suppose -4*d + o = 5*z, -9644 = -d + 3*z + 4631. Is d a composite number?
True
Suppose -3*z = -7*s + 1638568, -s + 88934 = z - 145140. Is s composite?
True
Let j = -25 + 27. Suppose -3*m + 1260 = 2*s - j*m, 4*m - 623 = -s. Is s a prime number?
True
Let a(f) = 3*f**2 - 3*f. Let s be a(-3). Let n be ((-3)/4)/(9/s). Is ((-446)/n)/(10/105) a composite number?
True
Suppose 4*r - n - 14 = 0, n - 4 = -6. Suppose 631 = p - q, r*p - 5*q = p + 1262. Is p prime?
True
Is (-747)/(-39) - 19 - (197804/(-26) - 1) a prime number?
False
Let j = 13 - 11. Suppose 4*l + j = 310. Let h = 216 + l. Is h composite?
False
Let q(p) = 199*p**2 + 2*p + 5. Let w be q(-2). Let s = 565 + w. Is s*(-3 + 4) + -1 composite?
False
Suppose 0 = -4*o - 2*d - 55736, -3*d + 13934 = -3*o + 2*o. Let p = o + 23805. Is p a prime number?
True
Let y = -58 + 101. Let g = -35 + y. Suppose 398 = -g*n + 10*n. Is n a composite number?
False
Let m be -1 + (-10)/(-15) + 322/(-6). Let s be 1460/4*(-1)/1. Let f = m - s. Is f a composite number?
False
Suppose 75*n - 609350 = 25*n. Is n composite?
True
Let r(q) = -q**3 - 9*q**2 - 21*q - 8. Let x(a) = -a**3 - 7*a**2 - 21*a - 7. Let u(w) = 7*r(w) - 6*x(w). Let z = -48 - -27. Is u(z) a prime number?
False
Let x = 808 + -796. Suppose d - 14596 = z, -4*z - x = 8. Is d prime?
True
Suppose 3*i = -2*z + 24, z - 6 = -3*i + 5*z. Suppose i*w = 3*w + 12. Suppose w*p = 643 + 1105. Is p a composite number?
True
Let b(y) be the first derivative of -21*y**2 + 25*y + 35. Is b(-21) a composite number?
False
Let y(v) = v**2 + 4*v + 6. Let f be y(-4). Suppose -7*u = -f*u - 5. Suppose -555 = -3*l - u*s, 3*l - 237 = s + 318. Is l a composite number?
True
Let k(a) = 2*a**3 - 34*a**2 - 2*a + 34. Let n be k(17). Suppose 13*g - 92757 + 4318 = n. Is g a prime number?
True
Suppose 3 = -21*r + 24*r. Is 5/(10/16708) - (2 - r) a composite number?
False
Let u(h) = 414531*h + 2561. Is u(6) a prime number?
False
Let z = -5422 + 8531. Is z a composite number?
False
Let q(s) = 6*s - 48. Let i be q(11). Suppose 0 = -i*w + 11*w - 98. Let y(t) = t**3 + 19*t**2 - 27*t - 15. Is y(w) prime?
False
Is (6604/(-6))/(18/(-27)) a prime number?
False
Let v be (-1)/(-3*(356/180 + -2)). Let r be (5/(v/696))/((-1)/(-4)). Is (-5)/(35/(-3)) - r/7 a composite number?
True
Let w(z) = 458*z**3 + 12*z**2 + 24*z + 17. Is w(7) composite?
False
Suppose -3*v + 0 = -6. Let k(c) = -7*c + 12*c**v - 3 + 3 - 4 - 2. Is k(11) a prime number?
False
Suppose -57*a + 4798776 = 2244867 - 7022832. Is a composite?
False
Let v = -820 - 835. Let k = 1104 - v. Is k prime?
False
Let h(o) = 3812*o + 395. Let s be h(1). Let f = -4380 + 10894. Let j = f - s. Is j a composite number?
True
Let b(j) = 674*j + 1259171. Is b(0) a prime number?
True
Let p = 103718 + -46861. Is p composite?
False
Suppose 3*t + 2*z = 795679, -61*t + 67*t - 1591351 = -5*z. Is t a prime number?
True
Let f(c) = 1722*c**2 + c - 2. Let y(p) = -p**2 + 4*p - 2. Let i be y(0). Let u be f(i). Suppose -u = -3*d + 1885. Is d a prime number?
False
Let y(i) be the first derivative of -107*i**3/3 - i**2/2 + 8*i - 20. Let b(m) be the first derivative of y(m). Is b(-3) a prime number?
True
Let p be 1/(2 - 7 - (-16)/3). Is (-1358)/(-35)*5 - p composite?
False
Let k(c) = 340*c**2 + 5*c + 9. Let r be k(4). Let o = r + -3108. Is o a composite number?
True
Suppose 7104 + 7789 = v - 2*u, 5*v + 3*u - 74504 = 0. Is v prime?
False
Suppose 210*u = -r + 208*u + 251211, -4*r + 2*u + 1004884 = 0. Is r prime?
True
Let q be 949313/1017 + 8/(-18). Suppose 3*h = -0*h + 3*x + 6, -4*x = 4*h - 24. Suppose 0 = -4*u + h*v + 3672, 2*u = 3*u + 2*v - q. Is u a prime number?
False
Let y(c) = c + 1. Let d(n) = 68*n**2 + 7*n + 19. Let o(f) = d(f) - y(f). Is o(-4) prime?
False
Let l(v) = -2*v**3 + 154*v**2 - 92*v - 147. Is l(74) a composite number?
True
Let h(m) = 155*m + 7. Let p be h(21). Suppose 0 = 2*q + 3*x - p, -q - 764 + 2397 = x. Is q a composite number?
False
Is 3069052/60 + (-2)/(-15) a composite number?
False
Let n(k) = -22*k - 105. Let l be n(-5). Suppose -798 = -l*c - 163. Is c composite?
False
Let s = 210989 - 53368. Is s composite?
True
Let q(h) = -12*h - 39. Let v(b) = b**2 - 24*b - 78. Let t(j) = -9*q(j) + 4*v(j). Is t(-31) composite?
False
Let j(g) = -1344*g**2 - 11*g + 11. Let d(r) = -672*r**2 - 5*r + 4. Let t(s) = -9*d(s) + 4*j(s). Is t(3) prime?
False
Suppose 241 = -2*x + 3165. Suppose -x = -3*o + 5*k + 1866, 4*o - 4429 = 5*k. Is o prime?
False
Let i(t) = -5*t**3 - 12 + 0 + 2*t**2 + 7*t**2 + 11394*t - 11393*t. Is i(-17) a composite number?
True
Let i(h) = -518*h**3 - 6*h**2 + 25*h - 17. Let c(v) = -260*v**3 - 3*v**2 + 12*v - 8. Let x(d) = -9*c(d) + 4*i(d). Is x(3) a composite number?
False
Suppose -k + 2*n - 3 = -0*k, -4*n + 24 = 4*k. Is (k/3)/((-2)/(-2918)) composite?
False
Let d be (-3 - -1709)*(-1)/(-2). Suppose 2*v - 369 = d. Is v prime?
False
Suppose -5074*a - 637648 = -5090*a. Is a composite?
True
Let n(l) = 3*l**3 - 18*l**2 - 17*l - 23. Let a(g) = -g**3 - g**2 + 2. Let s(y) = -2*a(y) - n(y). Is s(15) prime?
True
Suppose 582*g + 230316 = 594*g. Is g a prime number?
False
Suppose 24*x - 166802 - 426725 = 97841. Is x composite?
False
Let h = -159464 - -362449. Is h a prime number?
False
Let r = -482 + 1038. Suppose 0 = -n - 3*y + r, 5*y + 1293 = 3*n - 431. Let z = n + -273. Is z a composite number?
True
Suppose 22*v = 21*v + 26402. Suppose v = 16*a - 34478. Is a a prime number?
False
Let c(h) = -