q + 162068 = -7*q - 2*i, 3*q = 2*i + 121549. Is q prime?
True
Let c(f) be the third derivative of -f**4/24 - f**3/2 - 12*f**2. Let v be c(-1). Is 1042 - ((-4)/1 - v)/(-2) composite?
True
Let i(l) = -l**3 - 3*l**2 + 9*l + 41. Let m be i(-5). Is (-1)/2 + 253/m + 11562 a composite number?
True
Let p(r) = -395*r**2 - 3*r - 21. Let j(b) = 393*b**2 + 4*b + 20. Let i(z) = 3*j(z) + 2*p(z). Is i(-4) a prime number?
False
Let x be 6/(-12) + 2/(-4). Let a(p) = 7 + 0*p - 3 + p - 4*p. Is a(x) composite?
False
Let o be (-4 - -9) + 2/(4/(-4)). Suppose p = 4*d + 66, 0*p - d = -o*p + 176. Suppose -460 = 54*r - p*r. Is r prime?
False
Is (-1*(-2)/10)/(((-1428)/(-7945700))/51) composite?
True
Let w(p) be the third derivative of 9*p**2 + 0 + 5/2*p**3 + 7/24*p**4 + 1/12*p**5 + 0*p. Is w(-10) a composite number?
True
Suppose 0 = 6*q - q + 4790. Suppose -5 = s + 3*j + 8, -3*j - 1 = -2*s. Is q*4/(-6)*(-3)/s composite?
False
Let u be (-3 - -4)/(8/248). Suppose 27*w + 15868 = u*w. Is w composite?
False
Suppose -12894*m = -12890*m - 531332. Is m prime?
True
Suppose 265*g = 253*g + 3374203 - 641287. Is g prime?
True
Let n(r) = 8*r**3 - 3*r + 4. Let z(o) = 10*o + 73. Let x be z(-7). Is n(x) a prime number?
True
Let p = 70524 - 26462. Is p composite?
True
Let l(b) = b**3 - b**2 - 3*b - 6. Let o be l(-3). Let s = -29 - o. Suppose 0*d + d - 3*z - 1580 = 0, 6330 = s*d - 2*z. Is d composite?
False
Let v(o) = o**2 + 5*o - 101. Let d be v(-13). Suppose 0 = 3*w - 4*t - 23573, 2*t - 31438 = d*w - 7*w. Is w a prime number?
False
Let n(c) = 59*c**2 - 53*c - 5483. Is n(-67) composite?
True
Let v be (1 + 3/(-21))/((-18)/(-63)). Suppose 5*a = -3*u - 21, 0*a = -3*a - 9. Is -3 + 868 - v*u/(-3) a prime number?
True
Let g be (3 - 1)/(-2)*-5. Let z(h) = g + 25*h - 5*h + 36*h. Is z(12) prime?
True
Is 2204538/(-14)*(-3 + 2 + 0) a composite number?
True
Suppose 69*t - 58*t - 242176 = 0. Suppose 5*l + 2*k = 150935, -l - 4*k + t + 8171 = 0. Is l a prime number?
True
Is 2*50818/6*(-24)/(-16) a prime number?
True
Let z(y) = -9871*y + 5254. Is z(-13) a prime number?
False
Let f = -176 - -231. Suppose 46*u = f*u - 7551. Is u prime?
True
Let y be 158904/(-2)*(-61)/183. Suppose 10*z - y = 23386. Is z prime?
True
Suppose 0 = -240*s + 16919499 + 5660558 + 3103063. Is s a composite number?
True
Let v(f) = -442*f + 395. Is v(-24) a composite number?
False
Let m(y) = 40*y**2 - 36*y. Let r be m(6). Let q = 2783 - r. Is q a composite number?
False
Suppose 0 = 5*k - 32 + 12. Suppose 0*i - 3*x = -2*i + k, 0 = -3*i + 3*x + 9. Let z(m) = 35*m**2 + 12*m - 24. Is z(i) composite?
False
Let i(w) = 138*w**2 - 137*w - 11. Let r be i(-41). Is (-25)/(-15) - r/(-24) composite?
False
Suppose 0 = -14*x + 7084595 + 11084703. Is x composite?
True
Let o(j) = -470*j - 639. Is o(-46) a prime number?
True
Let u(l) = -2*l**2 + 20*l + 26. Let p be u(11). Suppose 3*s + 2*q - 8*q - 6789 = 0, p*s = -2*q + 9052. Is s composite?
True
Suppose -2915907 = -39*r + 1323596 + 2206690. Is r composite?
False
Let w(f) = f**3 + 10*f**2 - 86*f - 11. Is w(18) a composite number?
True
Let i = 49774 - 28217. Is i a prime number?
True
Let x = 65 - -20. Suppose x*h - 54274 = 74*h. Is h prime?
False
Is (-23701545)/(-55) - ((-8)/(-10) - 204/330) a prime number?
False
Let q = -506193 - -718936. Is q composite?
True
Let n(q) = 26*q**2 - 1483*q - 101. Is n(88) a composite number?
True
Is ((-217428)/(-16))/(-3)*(-3 + 1)*14 prime?
False
Let r(w) = 4914*w - 77. Let f(c) = c**2 - 22*c - 42. Let m be f(24). Is r(m) composite?
True
Let i(u) = -51*u + 104. Let x be i(2). Suppose 9*k + 5057 = x*w + 6*k, 3*k + 7590 = 3*w. Is w composite?
True
Is (1/6*33 + -3)*418448/40 a composite number?
False
Suppose -3*s = k - 22, 4*k + k - 2*s - 59 = 0. Suppose 18*f - k*f = 20. Suppose -5*d = f*u - 1671, 5*u + d - 1675 = u. Is u a prime number?
True
Suppose -5*q + 48 = -17. Suppose 5*c + 2*z - q = 0, z = -2*z - 3. Suppose 52 - 549 = -2*i - c*b, -9 = 3*b. Is i prime?
False
Let b(s) = -723*s - 33. Let u(q) = -2*q**2 + 11*q - 12. Let z be u(6). Is b(z) a composite number?
True
Let n(j) = 4201*j + 2841. Is n(32) a composite number?
False
Let k(x) be the second derivative of 0 + 1/12*x**4 + 10*x**2 - 1/3*x**3 - 24*x. Is k(9) a composite number?
False
Let x(u) = 13324*u + 391. Is x(18) a prime number?
False
Let j(o) = -20*o**2 - 36*o - 31. Let q be j(-17). Suppose 0*k - 2*k + 10 = -u, 5*u + 5 = k. Is u + 2/((-6)/q) prime?
True
Let r(j) = 746*j + 45. Let v be r(-12). Let m = 13768 + v. Is m a prime number?
True
Let u = -3177 - -5537. Let v = 3447 - u. Is v composite?
False
Let j(i) = 5*i**3 - 9*i**2 - 130*i - 18. Is j(14) composite?
True
Let p(w) be the first derivative of -10 + 43*w - 7/2*w**2. Is p(-12) a composite number?
False
Is ((-13)/4)/(559405/(-55940) + 10) a prime number?
False
Suppose 204720582 = 209*a - 143*a. Is a a prime number?
True
Is (14/(-28) + 1)*0 - -527677 composite?
True
Let s(d) = 354*d**2 - 10*d - 14. Suppose -5*g - 42 - 3 = 0. Let r be s(g). Is r/18 - (-4)/(-18) prime?
True
Let g = 45 - -15. Suppose -13*d - g = -7*d. Is (d + 12)*(-233)/(-2) composite?
False
Suppose 0 = -6*c - 1 - 17. Is (c/(-15)*1)/(50/265250) prime?
True
Suppose -8 = -5*t + 7. Suppose 2*z + 3*z = 4*b - 28, -14 = t*b + 5*z. Suppose -190 - 132 = -b*j. Is j a prime number?
False
Suppose 8*y - 50 = -10. Suppose t = -z - y, -5*z - 13 = -t + 3*t. Is (2/t)/(3/(-150)) a composite number?
True
Let n(j) = 9*j**2 + 43*j. Let f be n(-5). Suppose -37407 = -f*l - 8957. Is l a prime number?
False
Let i(k) = -k**3 - 16*k**2 + 7*k - 19. Let v be i(-16). Let x = v + 194. Suppose -x = -4*h + 4181. Is h prime?
True
Suppose 1508779 = 5*b - 133*w + 135*w, b - 2*w = 301775. Is b a prime number?
True
Is ((-1411369)/(-3))/(-35 + (-2226)/(-63)) prime?
True
Let b(i) be the third derivative of i**5/10 + 17*i**4/24 + 5*i**3/2 + 288*i**2. Suppose 3*d - 3 + 51 = 0. Is b(d) composite?
False
Let r(k) = -k**3 + 8*k**2 + 5*k - 58. Let p be r(4). Suppose -3*b + 278 = 4*i, 27*b - p*b + 144 = 2*i. Is i a prime number?
True
Suppose -17*z - 13*z - 4095387 = -39*z. Is z a composite number?
True
Is 810 - -7 - 12/(-3) a prime number?
True
Suppose -3*h = 15*l - 14*l - 73406, -3*l + 48928 = 2*h. Suppose -29*w - h = -39*w. Is w a prime number?
True
Let p(u) = u**3 + u**2 - u + 228. Let z be p(0). Let x be (1*-2)/((-14)/(-7)) + 5. Suppose -x*h = -z - 5912. Is h a composite number?
True
Suppose 0*z = -5*z + 15. Suppose -k - z*k + 12 = 0. Suppose -5*c + 16375 = 5*t, 0 = k*c - 5*t - 5847 - 3946. Is c a prime number?
True
Suppose 0 = -3*t + 4*t + 5*n - 57, -4*n = -t + 48. Suppose 21*j - t = 17*j. Suppose -75 = j*c - 16*c. Is c prime?
False
Is -3*((-446)/(-5))/((-972)/438210) prime?
False
Let z(y) = -2*y**3 - 10*y**2 + 69*y + 438. Let v be z(-10). Let o = -32 - -51. Suppose o*x - v = 15*x. Is x a prime number?
False
Let r(t) = -21*t - 33. Let c be r(5). Let w = c - -1775. Is w a composite number?
False
Let y = 17572 + -16423. Is y a prime number?
False
Let b be ((-2)/(2/3))/(5/(-325)). Let w = 8 + b. Suppose 0 = g - 2*g + o + w, 0 = g + 5*o - 191. Is g a prime number?
False
Let k = -98060 + 291483. Is k a composite number?
False
Suppose c = -4*v - 6864, 4*v + 5*c = 8*v + 6840. Is 48/(-28)*(-56)/16 - v prime?
True
Suppose -29*w + 28*w + 82647 = -2*f, -413261 = -5*w - 3*f. Is w a prime number?
True
Suppose z = 3 + 2. Let i(h) be the second derivative of 25*h**4/4 + 7*h**3/6 - 9*h**2/2 + 23*h. Is i(z) a prime number?
True
Let z(f) = -33*f**3 - 6*f**2 - 40*f + 14. Let y be (-34)/(-1 - -3) - -4. Is z(y) composite?
True
Let n(g) = g**3 - 17*g**2 + 70*g - 5. Is n(11) composite?
True
Let m(k) be the first derivative of -k**4/4 + 2*k**3 + 9*k**2 - 14*k - 32. Let l be m(8). Suppose -8*x + 6906 = -l*x. Is x composite?
False
Suppose 4*y + y - m - 265 = 0, -2*m = -2*y + 98. Suppose 57*r - y*r = 29301. Is r prime?
True
Let v(g) be the third derivative of 1/30*g**5 + 0 - 5/6*g**3 + 0*g - 17*g**2 + 5/12*g**4. Is v(-10) a prime number?
False
Suppose t - f = 359843, 5*t = 2354*f - 2358*f + 1799134. Is t prime?
False
Let d(x) = 18*x**3 + 7*x**2 - 3*x - 5. Let h be (4 + -5 - -4)/1. Is d(h) prime?
False
Let c(v) = -10271*v + 123. Let z(p) = -5136*p + 58. Let g(h) = -5*c(h) + 9*z(h). Is g(4) a prime number?
True
Suppose 8*n - 5*n + 4*w - 298 = 0, -2*n - 3*w = -