= -6161. Let j = -617 - s. Is j a prime number?
True
Suppose 6220597 + 1288353 = 104*s - 6635986. Is s a prime number?
False
Is (-12)/(-8)*2721326/51 a composite number?
False
Let d(m) = 240*m - 5. Let l(j) be the third derivative of 241*j**4/24 - j**3 - 17*j**2. Let n(x) = 3*d(x) - 2*l(x). Is n(5) prime?
True
Let s(j) be the second derivative of 73*j**3/3 - 19*j**2 - 4*j - 20. Is s(6) composite?
True
Is ((-6197)/(-4))/(-12*8/(-4224)) a prime number?
False
Let w(u) = 1355*u**3 + 5*u**2 + 6*u + 37. Is w(5) a prime number?
True
Suppose 0 = -372*n + 366*n + 392982. Is n prime?
True
Is (-2)/(-12)*((-331539219)/(-198) - (-10)/(-4)) a prime number?
True
Let f(v) = 873*v**2 + 14. Is f(-5) composite?
False
Let t(n) = -14587*n + 2295. Is t(-74) a prime number?
True
Let t(c) = 1 - 4*c + 5 + 345*c**2 - 5 - 3. Let w be t(-3). Suppose 3*m - w = -2*m. Is m a prime number?
False
Let j = -272 - -277. Suppose -z + 4*w = -0*w - 1107, 0 = -z + j*w + 1111. Is z a prime number?
True
Suppose 0 = 2*r - h - 3339, 0 = 3*r - r - 2*h - 3334. Suppose -5*a = 4*y - 4180, 2*a + 4*y = 6*y + r. Let w = a + -285. Is w a composite number?
True
Suppose 0 = z - 2. Suppose 2*n + 3*n = 5*c - 25, -z*c - n = -1. Suppose -4*x - c*w = -8392, -3721 - 487 = -2*x + 5*w. Is x prime?
True
Let t = 427 - 424. Suppose 3*b = 5*s + 80987, -30273 = -t*b - s + 50690. Is b prime?
False
Suppose 31*c - 32*c + 268884 = -5*y, -4*c - 4*y + 1075656 = 0. Is c prime?
True
Let z be (-4840)/(-6)*(-7)/(70/(-15)). Suppose 4*k + 5*x = -3668, 3*k + 4*x = -z - 1541. Is k/(-2)*(7 - 5) a prime number?
False
Suppose 243*c - 8610388 = 67346002 + 14762071. Is c a prime number?
True
Suppose -2*x + 11 = -i, 2*i = 4*i - 2. Suppose 3*g - 5905 = 4*j + 15466, x = -3*j. Is g prime?
True
Suppose -3*o - 6 - 20 = -4*v, 5*v = 2*o + 29. Let c = -7 + -9. Is (4664/c)/(1/o) a prime number?
False
Let z = -129 + 132. Suppose -2*x + 28274 = -7*i + z*i, 3*i - 28295 = -2*x. Is x composite?
False
Is 85 + 565030 + 3/((-1)/(-1))*-2 a composite number?
False
Let p = -39 + 35. Let a(f) = 155*f**2 - 3*f + 11. Is a(p) composite?
False
Suppose 8*v - 232550 = 21218. Is v a composite number?
False
Is 12 - (18 + -15 - 274148) a prime number?
False
Suppose -136*i + 69*i + 16338499 = -8358438. Is i composite?
True
Let j(q) = q**2 - 18*q - 15. Let n be j(5). Is -577*(1 + (n/4)/5) a prime number?
False
Is -7*28345*(-15)/105 prime?
False
Let s(h) = -2296*h - 821. Is s(-52) composite?
False
Let r be (-6)/(-21) + 133/49. Is (-9)/((-108)/22276) - (-2)/r a prime number?
False
Let c be (-1 - -5) + 31 + -17. Let r(h) = h**2 + 11*h - 35. Is r(c) prime?
True
Is -7 + (-10 - (-145959 + -1)) prime?
False
Is (-6430116)/(-378) - (4 + 111/(-27)) composite?
False
Suppose 8*u + 5*t = 4*u + 186, -5*t + 10 = 0. Suppose 3*d = -28 - u. Let b(y) = -3*y - 5. Is b(d) a composite number?
False
Let l = 1757812 - 1241729. Is l a prime number?
False
Suppose -4*k = -2*r + 2534, 0 = 16*r - 14*r + 3*k - 2520. Suppose -5*p + 9079 = 2*g, -2*p - 2*g + r + 2365 = 0. Is p composite?
True
Let i = -4 + 5. Let y be i + 0 - (1 - 2/2). Is 888*y - (3 - 8/2) composite?
True
Suppose 0 = 2*z + l - 19, 9*z - 7*z - 34 = -4*l. Suppose 24205 = z*k + 1448. Is k a prime number?
True
Suppose 75*q - 14227399 = -9*q - 107*q. Is q composite?
False
Let w(k) = k**3 + 85*k**2 - 99*k + 1505. Is w(-84) a prime number?
False
Suppose 36*p + 44447 = -40981. Let x = 4147 + p. Is x a composite number?
True
Let w = 37756 - -12361. Is w a composite number?
True
Is 436957824/(-96)*1/(1 - (-20)/(-4)) prime?
True
Let w be 1/(1*(-3)/69). Let o = w + 25. Is (0 + (-4)/o)/((-2)/47) composite?
False
Let j = 3012 + -5405. Let v = 5684 + j. Is v prime?
False
Suppose -1164955 - 7844054 = -27*l. Is l a prime number?
True
Let h(k) = 1108*k**3 + 3*k**2 + 4*k + 1. Is h(2) composite?
True
Let m(h) = h**3 - 4*h**2 - 6*h + 9. Let x be m(5). Suppose 0 = -3*u - 15, -1135 = 3*l - x*l + 4*u. Is l a composite number?
True
Let l(f) = -4*f**2 - 32 - 34*f - 5*f**2 + 6*f**3 + 17*f**2 + 5*f**2 + 2. Is l(13) a composite number?
True
Let l = 165 - 169. Is 2307749/101 - (l/1)/1 a composite number?
False
Let o(l) = 270*l**3 - 2*l + 1. Let f be 12/(-54) + 800/36. Let c = -21 + f. Is o(c) a composite number?
False
Suppose -5*x = 3*k - 21, -4*x - 2*k + 9 = 3*k. Suppose 0 = -2*b + 4*b + x, g + 3*b = -9. Suppose g = -v + 375 + 874. Is v prime?
True
Let v(n) = -n**3 + 3*n**2 - 3*n + 5. Let f be v(2). Suppose 2*r + m - 490 = -f*m, -r + m = -257. Is r composite?
True
Let k(y) = 0*y - 257*y**2 + 15*y**3 + 263*y**2 - 5 - 2*y. Is k(4) composite?
True
Suppose 2*h + 3*g = -g + 4, 0 = 2*h + 2*g - 14. Let b be 28/h + (-4)/(-6). Suppose 0 = b*a - 6, -5*m - 8*a = -11*a - 3709. Is m a prime number?
True
Let x(z) = -z**2 + 14*z + 36. Let j be x(16). Let n = 109 + j. Is n a prime number?
True
Suppose -16388 = -68*z + 64*z. Is z a prime number?
False
Let c(k) = 10*k - 14. Let s(i) = 3*i - 5. Let q(j) = -5*c(j) + 16*s(j). Let o be q(-6). Suppose o*f = -4*h + 218, -5*f + 558 = h - 32. Is f a composite number?
True
Let u(x) = x**3 + 13*x**2 + 23*x + 69. Let g be u(-13). Let m = g - -249. Is m composite?
False
Suppose -4*u + 12*h - 11*h = -12, -3*h - 9 = -3*u. Suppose 0 = -4*l - 5*d + 325, -489 = -4*l + u*d - 140. Is l a prime number?
False
Suppose 223495 = 21*m - 974282. Is m a prime number?
True
Let a = 362 - 357. Is (a/30*-17722)/(4/(-12)) prime?
True
Is 8/(-2 - (-96654)/48324) - -1 a prime number?
True
Let x(c) = -c**3 - 9*c**2 + 9*c - 10. Suppose 4*k - 66 = 5*h, -4*k = -2*h - 0*k - 36. Let y be x(h). Suppose a - 118 - 41 = y. Is a prime?
False
Let o(w) = 37*w + 5. Let x be o(12). Let u = 1343 + -954. Suppose 2*l = x + u. Is l composite?
False
Let d(x) = -2*x**2 - 11*x + 11. Let a be d(-6). Suppose -y + a = -0. Suppose -n + y*t + 300 = 0, -2*n + 232 + 361 = -3*t. Is n prime?
False
Suppose 6*d = -47465 + 139139. Suppose d = -28*a + 61675. Is a prime?
True
Suppose -906417 = 59*y - 64*y - 2*l, -5*y - 5*l = -906420. Is y a prime number?
True
Suppose -4*y - 183 = 257. Is y/(-44)*2498/5 a composite number?
False
Let h(i) = 2*i**3 - 42*i**2 - 67*i + 126. Is h(31) a prime number?
False
Suppose 4*z + 2*g = 4, -4*g + 12 = -z + 31. Suppose 5*o - z*h = 41423, 4*o - h = -o + 41431. Is o prime?
True
Suppose -8*c = -110 - 178. Suppose -c = -15*d + 9. Suppose -d*r + 17837 = 4*f, 0*f + 11868 = 2*r - 2*f. Is r a composite number?
False
Let y = 136366 - -585427. Is y a composite number?
False
Let h = 74151 + -17956. Is h a prime number?
False
Let l be 24/8 + -1*143654/(-2). Suppose -5*i - l = -5*s, -3*s + 0*i = -i - 43108. Suppose 2*x - 9*x + s = 0. Is x composite?
False
Let y be 0 - -32*(2*-62)/4. Let b = 89 - y. Let i = -164 + b. Is i composite?
True
Let b(z) = 7124*z**2 - 2*z - 3. Suppose -8*m - m - 9 = 0. Is b(m) prime?
False
Let h(b) = b + 6. Let m(t) = -t**2 + 15*t - 21. Let c be m(14). Let g be h(c). Is g*(1/(-2) + (-762)/4) a prime number?
True
Let o(m) = m**2 + 2*m - 4. Let i be o(-5). Suppose 2*s - 5697 = i*s. Is ((-4)/(-2) + s)/(4 - 5) prime?
True
Let x = -5812 + 5806. Suppose 0*p - 16 = 4*p, 0 = 3*h - 4*p - 70. Is x/h - (-1870)/3 a composite number?
True
Suppose -10*l = 16*l - 8538790 - 5415384. Is l a composite number?
False
Let t(z) = z**2 - 10*z + 41. Let h be t(5). Suppose -h*j + 8705 + 35919 = 0. Is j prime?
True
Let t(h) = h**3 - 4*h**2 - 23*h - 4. Let y be t(-3). Suppose -2*i - y*o + 5534 = -6*o, 3*i - o = 8311. Is i composite?
True
Let v = -35 + 34. Let u be -2*((-3 - v) + 7). Is 2397/5 - u/(-25) prime?
True
Let p = -730 + 408. Is (-2093616)/p - 4/(-46) prime?
False
Suppose -5*h - 5*j = -104460, 12*h - 10*h - 41789 = -j. Is h composite?
False
Let r be -4 - 5/(20/(-16)). Suppose p - 5*f - 963 = r, -4*p - p + 4*f + 4731 = 0. Is p a prime number?
False
Let p(l) = -l**3 + l**2 + 3*l - 4. Let s be p(2). Let c be (s/(-13) - (-22)/26)*2. Suppose 0 = 2*y, 2*f - 225 - 5 = -c*y. Is f a prime number?
False
Suppose h - 12 + 11 = 0. Suppose 5*l + 5*y = -20, -2*l + h = -y - 3. Suppose l = 12*j - 16*j + 2636. Is j a prime number?
True
Is (-56)/(-35)*(11 + -6) + -4 - -623313 a composite number?
True
Let n(z) be the third derivative of z**6/120 - z**5/30 + z**3/6 - 24*z**2. Let d be n(3). Suppose -d*p + 13*p - 26229 = 0. Is p a prime number?
False
Suppose 0 = 8*z + 2*z + 9370. Let