 -328*a + 329*a - 2. Suppose r - 3*y - 815 = 234, -2118 = -a*r + y. Is r prime?
True
Suppose -154 = -100*b + 89*b. Is 25104/b + (-7)/(43 + 6) composite?
True
Let z = 8720 - 8394. Let l(r) = 11*r - 2. Let w be l(2). Is (0 - (w + 1))*z/(-6) a prime number?
False
Is (-54)/(-351) - 2409620/(-52) composite?
True
Let o(x) be the third derivative of x**6/360 - x**5/15 - 5*x**4/8 + 5*x**3/2 - 18*x**2. Let j(z) be the first derivative of o(z). Is j(-6) a prime number?
False
Let x be (4/(-4) + 0)*1. Let t be ((-6)/(-18) - 2/6)/x. Suppose 3*f + 922 = d - 2*f, -d + 2*f + 931 = t. Is d a prime number?
True
Let n = -12474 + 7001. Let t = 7344 - n. Is t prime?
False
Let h(u) be the third derivative of -3*u**6/40 - 5*u**5/12 + 3*u**4/4 - 29*u**3/6 - u**2 - 62*u. Is h(-12) a prime number?
False
Let a(f) = 5*f**2 + 7*f + 25. Let w(o) = 6*o - 5. Let b be w(0). Is a(b) prime?
False
Suppose -2*l = 2*x + 10, -3*x = -58*l + 59*l + 5. Suppose -7*s + 22*s - 4515 = x. Is s composite?
True
Let c = 688 + -673. Suppose -65575 = -c*p - 2770. Is p prime?
False
Let r(p) = -27700*p - 6037. Is r(-8) prime?
True
Suppose -24*c = -4*c + 4*c - 672072. Is c a composite number?
True
Let f be ((-30)/(-12) - 3) + 9439/(-2). Let t = f + 19973. Is t a prime number?
False
Is (-3257434)/(-30) + (-3 - (-430)/150) composite?
True
Suppose 4*h = -4*u + 209 - 189, -5*u - 3*h + 21 = 0. Let m = -3 + 5. Suppose 2940 = m*t + u*t - c, -3*c - 2363 = -4*t. Is t a prime number?
True
Let a be 10 + 36480 + 2/2. Suppose 5*g = 3*u + 12538 - a, -2*g = -3*u + 23965. Is u a composite number?
True
Let z(i) = -i**3 - 4*i**2 - 8*i - 6. Let r(l) = -l**3 - l**2 + l + 1. Let t(c) = 5*r(c) + z(c). Let x = 113 - 120. Is t(x) prime?
True
Let n(r) = 522*r + 1589. Is n(6) composite?
False
Is (11 + -10)/(383488/(-1917790) + (-3)/(-15)) a prime number?
True
Let v be (5 - 40/(-15)) + (-2)/(-6). Suppose -3*x - t = t - 8, 2*t = -4*x + v. Suppose 8*b + 151 - 3119 = x. Is b composite?
True
Let q = 1043 - 1035. Let x(r) be the first derivative of 221*r**2/2 + 9*r + 2. Is x(q) a composite number?
False
Suppose 49*b = -141*b + 47*b + 21847969. Is b composite?
False
Let j(k) = -612*k + 33 + 1245*k + 90. Is j(6) a composite number?
True
Let w be 2 + ((-1284)/(-36))/(2/84). Suppose 24*d + w = 26*d. Suppose 0 = 2*p + 4*x - d, x - 776 = -5*p + 1090. Is p a composite number?
False
Let y = 1586 - 912. Let d = y - 119. Suppose 596 = a - d. Is a prime?
True
Suppose 3*w - b - 18996 = 7*w, -5*w = -5*b + 23745. Is (w/3)/(-1 + (1 - 1)) prime?
True
Let x(p) = 52*p**3 + 43*p**2 - 159*p + 27. Is x(4) prime?
True
Suppose 110*w + 127791 = 395861. Is w a composite number?
False
Is 400/40 + (1 - -94292) prime?
False
Suppose 0 = -0*y + 2*y - 12. Suppose l + l = y. Suppose -l*n + 43 = w - 1083, -5*n - w = -1880. Is n prime?
False
Suppose 0 = 2*b - 4*x + 844, -b - 799 = b + 5*x. Let r = 743 + b. Let j = -118 + r. Is j a composite number?
True
Let p(h) = 9*h**3 + 9*h**2 - 5*h - 9. Let b(s) = -s**3 - s**2 + s. Let x(a) = -5*b(a) - p(a). Is x(-8) a composite number?
False
Let j be -8 + 12/2 - (-2566)/2. Suppose 3636 = 3*v + j. Let t = v - 306. Is t composite?
False
Suppose -x = -5*w - 38 + 10, -x = 5*w - 28. Suppose 0 = 3*c - x - 14. Suppose -c = 7*d - 3969. Is d a prime number?
False
Let v = 3 + -2. Let d(g) = g**2 - 153*g + 5451. Let p be d(96). Is v*72 - (-18 - p) a prime number?
False
Suppose 51*m - 109903 - 13058 = 0. Is m a prime number?
True
Let a(c) = 53*c + 457. Is a(-7) a prime number?
False
Suppose 3*f - u - 305495 = 0, 3*u = 4*f - 80536 - 326784. Is f composite?
False
Suppose -224*n = -94096292 - 22541676 - 46077648. Is n prime?
False
Let o = 332 + -328. Suppose 3*u - 12117 = -5*m + 3075, o*u = 5*m + 20291. Is u composite?
True
Suppose 10*k - 8*k + 2 = o, 0 = 2*o - k - 10. Is (4 + -1 + o/(-3))*11179 composite?
True
Let w(a) = 220*a**2 + 3*a - 406. Is w(15) a prime number?
True
Let w be (2 + 15)/(4/16). Suppose 0 = -7*i + 1101 + w. Is i a composite number?
False
Let b(d) = 22*d**3 + d**2 - d. Let z be b(1). Suppose y = -2*o, 2*o + 2 - z = 4*y. Suppose -l = -o*x + 316, -122 = -4*x - 4*l + 498. Is x a composite number?
False
Suppose -5*p + u + 122494 = 0, 17*u = 15*u + 2. Is p prime?
True
Let q(n) = -n**3 + 16*n**2 + 17*n + 5. Let o(j) = 4*j + 3. Let r be o(-1). Let y(l) = 15*l**2 + 2*l + 1. Let c be y(r). Is q(c) a composite number?
True
Suppose 13*z - 1730921 = 393942. Is z a composite number?
True
Suppose 638*x + 10119300 = 59587906. Is x a prime number?
False
Is (20/12)/(-55*(-9)/426015909) a composite number?
False
Suppose -3*t + 2 + 10 = 0. Suppose -4*v + 8 = -3*y - 3*v, t*v - 6 = -y. Is (-460)/(-15) + y/(-6) a composite number?
False
Let z(a) = 191*a - 96. Let h be z(18). Let f = h - 2333. Is f composite?
False
Suppose -3*j + m + 125 = 0, 3*j + 42*m = 39*m + 105. Is (j - 41) + 12880/(0 + 2) a prime number?
False
Suppose -4*p = -16*p. Suppose p = 32*o + 7*o - 49101. Is o a composite number?
False
Let i(u) = u**2 + 8*u - 13. Let o be i(-10). Suppose -2*l - 2 = 2*h - 6*l, -o = -2*h + l. Is 21324/60 - 2/h a prime number?
False
Let j be -40 + (2 - -2) - 4. Let g be (-60)/j + (-7)/(-4)*10. Suppose -7*w = -g*w + 35016. Is w prime?
False
Let i(b) = -9*b**2 - 19*b + 60. Let g be i(3). Is 27285/13 + 66/g + 1 prime?
True
Let q(c) = -c**3 + 15*c**2 + 19*c + 6. Let t be q(16). Let m(b) = b**2 - 2*b + 76. Let p be m(0). Let f = p - t. Is f a composite number?
True
Let v = 259798 - 157401. Is v a prime number?
True
Let c(n) = 18235*n - 363. Is c(28) composite?
False
Is (-276023)/(-9) + 344/(-1548) a prime number?
False
Let t be ((-1404)/(-45))/((-2)/655). Let n = -6385 - t. Is n a composite number?
False
Let k(c) = 3*c + 6*c - 2*c - 24 + 18*c**2. Is k(-10) prime?
False
Let d(o) = -o - 5. Let r be d(-11). Suppose 11*g = r*g + 4345. Let n = g - 568. Is n composite?
True
Let u = 674 - 585. Let r = -17 + 19. Suppose 5*q + 353 = 4*m, 0*q - r*q = -m + u. Is m a prime number?
False
Let f = -108 + 154. Suppose -4*h + f = 30. Suppose 0 = -h*k - 0*k - 4*y + 2520, -2*k - 3*y = -1259. Is k prime?
True
Let v(t) be the third derivative of t**6/4 + t**5/10 + 23*t**3/6 - 243*t**2. Is v(4) prime?
True
Suppose 14084215 + 10464106 = 71*o. Is o a prime number?
False
Let g = -2 - -2. Let q = -80 + 95. Let k = q - g. Is k a composite number?
True
Suppose 2*x - 5511 = -1829. Suppose 5*z + 3*b - x = 0, -3*b = -2*z - 2*b + 732. Is z composite?
False
Suppose 2*u = -3*s - 9, u + 5*s + 10 = -4*u. Suppose u*w = w + 7438. Is w composite?
False
Is (210/10 + -2)*5209 a composite number?
True
Let v(h) = 51*h + 109. Let s be v(-2). Suppose -2*k - 2 = 0, 0 = -2*a + s*k - 8*k + 36273. Is a a composite number?
True
Let v(g) = 25*g + 4. Let r(f) = -4 - 13*f + 3*f**2 + 9 + 0. Let s be r(5). Is v(s) a prime number?
True
Let u(p) = -1497*p - 11. Let c be u(-5). Suppose -5*q + 2*r = -0*q - 9338, -4*q + c = 2*r. Let w = 491 + q. Is w composite?
True
Let k(y) = -101696*y - 1969. Is k(-7) a prime number?
False
Suppose 0 = 2*w + f - 14560, 0 = 3*w + 218*f - 213*f - 21819. Is w composite?
False
Let b be (-2)/(-12) + (-710)/(-60). Suppose -8*h + b*h - 20788 = 0. Is h a prime number?
True
Suppose -3*f + 3*i = -78924, 3*f + i - 131546 = -2*f. Is f a composite number?
False
Suppose -6 = -j - 23. Is (-11 + 0)*(j + 16) a prime number?
True
Let i be 0/(-2) + 0 + (-1 - -4284). Let b = 14550 - i. Is b a composite number?
False
Let g be 570/14 + (42/49)/3. Suppose 6594 = v + 36*q - g*q, 0 = 4*v + 4*q - 26400. Is v a prime number?
True
Suppose -4*x - 234987 = -5*d - 3800, 3*d - 138708 = 3*x. Is d a prime number?
False
Let l(q) = 123*q - 5. Suppose 0 = -131*x + 136*x + 20. Let v be l(x). Let o = v - -966. Is o composite?
True
Suppose -20*n + n + 2085842 = -8*n. Is n a prime number?
False
Suppose -19360 = -5*t + 38630. Suppose 2*u - 13981 = 3*b - 2399, 0 = -2*u - 5*b + t. Is u a prime number?
False
Let a(d) = 1559*d + 197. Let m be a(-11). Is (-14)/(-2)*(m/(-28) - -3) a composite number?
False
Is 168/60 - 846972/(-35) composite?
True
Let r(u) = -860*u**3 - 31*u**2 - 64*u + 18. Is r(-11) prime?
True
Suppose -20 = 4*l, -r - 4*l = -7*l - 23428. Is r a composite number?
True
Let k = -17974 + 25272. Suppose 4514 + k = 4*b. Is b prime?
True
Is 583/4081 - ((-4)/(-70))/(1/(-7163955)) composite?
False
Let s be -4 - 