 4*m - w. Is m composite?
True
Suppose 0 = -n + 4*m - 6, -n - 12 = 4*n - 2*m. Let q be n - -1*(1 + 2) - -622. Let o = q - 174. Is o composite?
False
Let y be 26 + -1 - (-4 - -5). Suppose -18 = 2*k + 3*a, -3*k - y = -0*k + 3*a. Is (k/10)/((-2)/10) + 155 a composite number?
True
Let v = -114 + 118. Let r = v - -18. Suppose -r*z = -11*z - 15367. Is z composite?
True
Let q(s) be the second derivative of -29/2*s**3 - 17*s + 0*s**2 + 0. Is q(-1) prime?
False
Let v = 200 - 191. Is (4/14)/(v/80451) prime?
False
Suppose -27800453 = -69*v - 4546556. Is v composite?
False
Suppose 5*x - 3252 = -82. Suppose -x - 287 = -y. Is y a prime number?
False
Let s(t) = 11091*t**2 - 3*t - 1. Is s(-4) a prime number?
True
Let v(a) = -8*a**3 - 66*a**2 - 47*a - 96. Is v(-19) a prime number?
False
Suppose -20 = 4*z, -4*z + 12 = -4*w - 8*z. Suppose -k + 2555 = 3*k + 5*u, w*k - 2*u - 1264 = 0. Suppose 7*q - k = 2*q. Is q a prime number?
True
Let i(t) = 6*t - t**3 + 5*t**2 - t**2 - 10*t - 1. Let l be i(3). Let o(c) = -710*c - 1. Is o(l) prime?
False
Let j = -72 - -64. Suppose 2*s = -2*t + 444, s - 443 = -2*t - 0*t. Let o = j + t. Is o a prime number?
False
Suppose 6*h = -4*h. Suppose 3*l + h*l + 4*v = 95, -3*l - 2*v = -103. Is l prime?
True
Let m = 539747 - 232938. Is m composite?
False
Let y(h) = -h**2 + 10*h + 5. Let w be y(11). Let b(d) = -d**3 - 6*d**2 + d + 13. Let a be b(w). Let g = a + 82. Is g composite?
False
Let a(y) = 249*y**2 - 11*y - 16. Let g be a(-9). Let c = g + -9937. Is c a composite number?
True
Is 513426*(-5)/(-60)*(7 - 5) a prime number?
True
Let c be (0 - (-9)/15)*5. Suppose p - c*f = 5645, -p + 5*f = -1643 - 4006. Is p a composite number?
False
Let g = 2852007 - 1482412. Is g a prime number?
False
Let c be ((-2)/(-4))/((-3)/((-58230)/3)). Let p = c - 1652. Is p composite?
False
Let m(w) be the first derivative of -w**4/4 - 20*w**3/3 - 17*w**2/2 + 42*w - 213. Is m(-19) prime?
False
Suppose 35*o - 241079 = 692406. Is o a composite number?
True
Suppose -5*p + 8*w - 12*w = -494941, 494983 = 5*p - 3*w. Is p a composite number?
False
Let r = 76446 + 7300. Suppose -r = -4*c - 22*c. Is c a composite number?
False
Suppose 0 = -4*i - 5*f + 688, 0*i + 3*i + 4*f = 517. Let t = -107 + 508. Suppose 3*u - 2*g - t = 0, -i = -u - 4*g - 52. Is u a composite number?
False
Let b = -72 + 74. Let v(x) = -1 + 14*x**2 + 5*x**2 - 10 - 6*x**b. Is v(-8) a prime number?
True
Is (2/(-10) - (-14592114)/(-380))*-2 a composite number?
False
Let t(u) = -4*u**3 - 16*u**2 + 6*u + 17. Let h be t(-17). Suppose -2*k - 959 = -j + 2793, -4*j = 5*k - h. Suppose 0 = -9*n + j + 9857. Is n a prime number?
True
Suppose -2*k = 659 - 6219. Let j = 4611 - k. Suppose -j = -8*h + 7361. Is h a prime number?
False
Suppose -339103 = -132*m + 676901. Is m prime?
False
Suppose 0 = -4*v + 2*c + 22452, 2*c - 2651 = -v + 2962. Let i = 1334 + v. Is i a composite number?
False
Let c be (-39)/65 + (-18)/(-5). Suppose -g - 22 = 3*f, -4*g + 3*g = f + 16. Is g*(-18 + (2 - c)) a prime number?
False
Suppose 0 = -23*p + 25*p. Let t be p + 4 - (-18)/(8 + -2). Suppose 0 = -4*d - 2*n + 1278, -11*d + n = -t*d - 1275. Is d a composite number?
True
Let i = 185096 + -101995. Is i a prime number?
True
Is (-220)/(-2090) + (-194)/38 - (5 - 266183) a prime number?
False
Let d(y) = 626*y + 2 - 15 - 162*y. Is d(6) prime?
False
Let r(x) = -6*x + 14. Let m be r(2). Let q be 1 + 4 + -5 - (-4)/m. Suppose -q*n = -z - 322, -2*z + 88 = n - 73. Is n a composite number?
True
Suppose -2*q - 4 = 0, -4*f - 47*q + 145192 = -51*q. Suppose -7*j + 130537 = f. Is j a composite number?
False
Suppose -3*n + 477730 = o, 0 = 4*o - 4*n - 412664 - 1498208. Is o a composite number?
False
Let p be (-6)/(3 + (-243)/72). Suppose p*o = 64*o - 873552. Is o a composite number?
False
Suppose h - 3 = 0, 53832 = f + 21*h - 26*h. Suppose -17632 = -2*n + 2*y + 3914, 4*y = -5*n + f. Is n a prime number?
True
Let l(o) = 61*o**2 - 61*o + 645. Is l(11) composite?
True
Let z be 0 - (-1 + 3 + -42). Is ((-10)/z)/(2/(-35368)) a composite number?
False
Is 6/(-30) - 25/((-1125)/3422304) prime?
False
Let f = -103547 - -187809. Is f a prime number?
False
Let n(j) = -j**2 - 11*j - 15. Let b be n(-9). Suppose 0*k = -b*k + 12369. Suppose 5*r = -2*r + k. Is r prime?
False
Let w = 66 - 61. Let s be ((-4)/w)/(3 - 856/285). Suppose 2*o - 2*x = 108, x + s = 5*o - o. Is o composite?
True
Suppose -2*s + 108 = -8*s. Is (-3262)/s - (6 - 312/54) prime?
True
Is (12*10/720)/((-1)/(-268662)) a composite number?
False
Let d = 1871 - -436. Let k = 4154 - d. Is k prime?
True
Let l(n) = -2*n**2 - n - 1. Let r = 32 + -34. Let f be l(r). Is -2 - (-7)/(f/(-657)) a composite number?
True
Let l be 2630/1*8/(-16). Is ((-2)/5)/((-1)/10) - l a prime number?
True
Let o = 115571 + 131948. Is o prime?
True
Let i(f) = 521*f - 2. Let r(v) = -260*v + 1. Let d(c) = 2*i(c) + 5*r(c). Suppose -1 = 29*u + 28. Is d(u) prime?
False
Let k(q) be the second derivative of -q**5/20 + 8*q**4/3 + 71*q**3/6 + 29*q**2/2 - 118*q. Is k(33) prime?
True
Suppose -21*f + 0*f + 377675 = 4*f. Is f a prime number?
True
Let l(w) = -606*w - 30. Let t be l(-1). Suppose 0 = 2*y + 5*s - t, 5*s = -2*y + 7*s + 590. Is y composite?
False
Suppose 1 = -w + 11. Suppose w*m + 5*m = 606795. Is m composite?
True
Let n(u) = -1565*u**2 + 15*u - 11. Let y(z) = -1564*z**2 + 18*z - 11. Let r(w) = 2*n(w) - 3*y(w). Is r(3) composite?
False
Suppose 3*j - 4*u = 11, -2*j + 4*j = -u. Is -4 - (-42)/j*(-8700)/(-40) a composite number?
True
Let m = 25388 + 14273. Is m a prime number?
False
Let q(s) = 7*s**2 + 17*s - 8. Let t be q(8). Let f = t - -1945. Is f prime?
True
Let k(j) = j**3 - 25*j**2 - 52*j - 52. Let r be k(27). Suppose 4*u + 5562 = r*h, -2*h - 5*u - 1049 = -6593. Is h a prime number?
True
Let s(k) = -94*k**2 + 15*k - 79. Let r be s(-14). Let a = -9180 - r. Is a a prime number?
True
Let h(d) = d**2 + 20*d + 36. Let x be h(-18). Suppose x = 8*s + 7 + 9. Is 2/8*(s + 358) a prime number?
True
Let k = 54 + -58. Let u be k/(-3 + -1)*0*-1. Suppose -2*w + 2831 = 5*r, u*r + w = 2*r - 1127. Is r a composite number?
True
Let y be 3 - ((12/2)/(-3) - 1). Suppose -164 = -2*r + y*r. Let d = 200 + r. Is d a prime number?
False
Let t be -6*9/(3 + -6). Suppose -t*v - 18660 = -3*v. Let c = 1879 + v. Is c a prime number?
False
Let n(g) = -5*g + 448. Let d be n(0). Suppose d = 3*y - 2*y - 2*z, 3*y + 3*z = 1371. Is y a composite number?
True
Suppose -5*b + 2 = -33. Suppose -5*i - b = 5*k - 77, 0 = -2*k + 5*i - 7. Suppose 13*z - k*z = 148. Is z composite?
False
Is -8*(-17)/136*3067631 a prime number?
False
Suppose -2*n - 8703 - 3061 = 0. Let m = 9225 + n. Is m a prime number?
True
Suppose 3*v - 4*r - 307121 = 0, 57*v - 5*r + 511810 = 62*v. Is v prime?
True
Suppose 3*j - 5 - 19 = 0. Suppose 447*u - 16 = 443*u. Suppose -u*n + j = -4, -2*r = 5*n - 513. Is r composite?
True
Let n = -159 - -153. Is (-16866)/(-12) + 3/n a composite number?
True
Let b(a) = -7454*a - 686. Is b(-8) prime?
False
Let t(u) = 1090*u**2 - u. Let d be t(-2). Suppose d = -2*c + 4*y, 5*c - y + 10845 = -3*y. Let h = c - -3342. Is h a prime number?
True
Suppose -38 = -2*u + 10*n - 5*n, 5*n = -5*u + 95. Let r(k) = 29*k - 340. Is r(u) composite?
False
Let s(n) = n**3 - 7*n**2 - 3*n + 16. Let g be (8 + -1)*6/(-24)*-4. Let b be s(g). Is (((-40)/(-12))/b)/(1/(-2517)) a composite number?
True
Let c(r) be the first derivative of -2*r**3/3 + r**2/2 - 2*r + 19. Let d be c(0). Is (d + 0)*-118*(-3)/(-12) prime?
True
Let u = -157 + 163. Is (-55173)/(-9) - u/(-9) a prime number?
True
Suppose 5*r + 5105374 = 3*d, -3*d + 42*r = 38*r - 5105381. Is d a prime number?
True
Suppose 18*t - 22 = -256. Is 13/(t/(-4)) - -6135 a prime number?
False
Let v be 24/32*349884/27. Suppose -22*q - v = -4*a - 21*q, 4*a - 2*q - 9722 = 0. Is a a prime number?
False
Let x(y) = 9*y + 3. Let h be x(-3). Let z(o) = 16*o - 88*o - 11*o + 59*o + 55. Is z(h) a composite number?
False
Suppose 2*r + 2 = 0, -3*r + 1908 = -4*i + r. Let p = i + 869. Is p composite?
True
Let d be 2 + (4 + -4)*1/2. Suppose -872 = -d*t - o, -3*t + 2*o - 5*o + 1308 = 0. Suppose -y + t = -5*g + 2896, -y - 1969 = -4*g. Is g a prime number?
True
Let x(a) = -3226*a - 2287. Is x(-14) a prime number?
False
Let f be (-253)/(-46) + (-2)/4. Let p be (f/20 + -1)*-4. Suppose -t = -