5812 = -x, 2*u + 5*x - 4089 = -236. Is u prime?
False
Suppose -s = 5*d + 7, -s - 2 = 3*d + 3. Let r be -3 + -3*s/2. Suppose 10*g - 10550 = -r*g. Is g a composite number?
True
Suppose 3*y = -5*o + 3291, -3*y - 3*o = -2079 - 1212. Let q(l) = -78*l**3 - l - 2. Let b be q(2). Let z = b + y. Is z prime?
False
Let x = -30460 + 145437. Is x composite?
True
Let k(d) = 21588*d**3 - d**2 + d - 1. Let i(a) = -8*a + 25. Let b be i(3). Is k(b) a composite number?
False
Suppose 62361*f - 62389*f = 168. Let b be -6 + 2*(-1)/2. Is (-456)/f*b/(-4) a composite number?
True
Is 2 - ((-1524)/7)/(8/3808) composite?
True
Let a = -3278 + 12919. Is a a composite number?
True
Let m = -9948 + 24479. Is m prime?
False
Suppose 5*v + 8*m - 6*m = -49, -3*v = -m + 36. Is (-850452)/(-42) + v/(-77) composite?
False
Let k(n) = 2515*n**2 + 2*n - 17. Is k(4) prime?
True
Suppose 5*s = -4*a + 236233, 3*a + s - 108332 = 68840. Is a a prime number?
False
Suppose -6*r + 0*r = 2*r. Let f be (29 + r + -3)*(-2)/4. Let b = -2 - f. Is b a composite number?
False
Let c(x) = 2*x**2 + 18*x + 41. Let o(n) = 3*n**2 - 8*n + 11. Let t be o(2). Suppose t*i - 264 = 19*i. Is c(i) a prime number?
True
Suppose -119 = -8*k - 79. Suppose 2*g + 6 + 0 = 0, k*y + g = 31042. Is y prime?
False
Suppose 2*v = -3*w - 10362 - 27144, 0 = -3*v + 4*w - 56293. Let a = v + 32282. Is a prime?
True
Let a(g) = g - 17. Let p be a(19). Suppose 3*h + 7064 = 2*x + 866, -4*h - 6202 = -p*x. Is x a prime number?
False
Let v(z) = -260*z**2 + 5*z + 8. Let t be v(-3). Let c = -1481 - t. Is c a composite number?
True
Suppose s + 486*v = 491*v + 249039, 0 = -v + 4. Is s a composite number?
False
Suppose -20 = 5*n, -n - 53942 = -2*z - 6*n. Is z composite?
False
Let f = 135 + -76. Let m(k) = -f + 413*k - 113*k + 35 + 31. Is m(1) prime?
True
Let m(g) be the first derivative of -1423*g**2 - 99*g - 159. Is m(-12) a composite number?
True
Let h be 4/(-6)*((-210)/4)/7. Suppose 0 = -5*o + 2*a + 56, -4*o + h*a + 23 = -32. Is (-15)/o*-2*227 prime?
False
Suppose 2*c - 12 = q, 2*c = 3*q - 5*q + 12. Suppose -o + 48 = 5*s, -2*s + c*o + 9 = 3*o. Is ((-6)/(-4))/(5/12660*s) composite?
True
Let k = -34 + 34. Suppose k = 5*l - 10*l + 10. Suppose -l*c = 5*o - 518, 4*c + o - 1503 + 467 = 0. Is c prime?
False
Suppose 0 = 19*p - 31*p. Let b(q) = 6*q - 3*q - 4*q**2 + 3*q**2 + 301. Is b(p) prime?
False
Let c(t) = -8*t - 60. Let h be c(-8). Suppose 5*k - a = 8116 + 18934, -5431 = -k - h*a. Is k a prime number?
False
Let a(h) = 35*h**2 - 16*h + 91. Is a(20) a prime number?
False
Let s(i) = 160*i**2 + 8*i + 5. Let w be 1 + 4 + (3 - 8). Suppose -4*n + 11*n + 49 = w. Is s(n) a composite number?
False
Suppose 2*d - 77677 = a, 8*d - 6*d - 77702 = -4*a. Let b = d + -27022. Is b a prime number?
False
Suppose -9*h + 33 = 2*h. Suppose -h*j = -3*l - 8802, -20*j - 2*l = -25*j + 14685. Is j a composite number?
False
Is 5 - (-53949430)/205 - (-54)/1107 a prime number?
False
Is 1/(1/(-2))*(1839466/(-4))/19 a composite number?
False
Suppose 5*v = -2*c + 4*v + 36, 0 = 2*v. Suppose -c*p + 9138 = -12*p. Is p composite?
False
Suppose 0 = -32*u + 29 + 99. Suppose -j - 2*g + 158 = 3*g, 3*g = -u*j + 649. Is j composite?
False
Let x(f) = 7*f + 12689. Let v(t) = -t**3 + 6*t**2 - 8*t - 3. Let j be v(3). Is x(j) a composite number?
False
Let b = -15031 - 912. Let y = 28226 + b. Is y prime?
False
Suppose -z + 56374 = z. Suppose 101374 = 4*f - 5*h + z, -2*h = -f + 18293. Is f prime?
False
Suppose -6*j - 6 = l - 4*j, 4*j + 36 = 4*l. Suppose 0*h + 3843 = i - h, 0 = l*h + 8. Is i a prime number?
False
Suppose 2*q - 10 = 3*q + 3*r, 20 = -4*r. Suppose 11542 = 2*x - 4*o, 10*o = q*x + 11*o - 28866. Is x a prime number?
False
Suppose -21 = -3*d - 6. Suppose -4*j + d*r + 5776 = 0, 5*r - 1922 - 936 = -2*j. Is j a composite number?
False
Let x be 10/(-3)*42/(-28). Is (10454/x)/((-24)/(-60)) composite?
False
Suppose 0 = -1525*h + 1523*h - 5*f + 1177242, -4*h - 4*f = -2354508. Is h prime?
True
Let j be ((-8)/(-20))/(2/(-60)). Let f be (-2)/j - 4540/(-120). Suppose 7 - f = -r. Is r a composite number?
False
Suppose 20504 = 7*a - 3*a. Let n = a - 277. Is n prime?
False
Let k(r) be the third derivative of -r**4/12 - 5*r**3/3 - 2*r**2. Let v be k(-6). Is 200 + 1/(v/24*4) a composite number?
True
Let c = -49730 - -142027. Is c a prime number?
True
Let w(l) = -16066*l - 109. Is w(-21) a composite number?
False
Suppose d + 4*y + 37 = 4*d, -d + 3*y = -19. Let u be (3/d - -1) + (-4)/(-7). Suppose 3*f = -2*f - u*z + 721, 4*f - 587 = -5*z. Is f composite?
True
Let w(y) = -173*y + 74. Let h(n) = 208*n - 37 - 226*n + 105*n. Let l(q) = -5*h(q) - 2*w(q). Is l(-14) composite?
False
Suppose 197388 - 31192 = 4*g. Is g a prime number?
True
Let j(c) = 7 + 64*c**2 + 70*c**2 + 2 - 2 - 2*c. Suppose -3*l = d + 15, -4*d + 7 + 1 = -5*l. Is j(l) a composite number?
True
Let s = -1657 - -3471. Let h = 4605 - s. Suppose -8*f - h = -16671. Is f composite?
True
Let d = 163 + -163. Suppose -4*k + h + 19921 = d, 0 = -3*k + 3*h - 5*h + 14949. Is k a prime number?
False
Is ((-2429)/1041)/((-1)/60213) a composite number?
True
Suppose 4*k + 8 = 0, -332*w + 336*w = 3*k + 298202. Is w composite?
True
Let y(d) = 62293*d - 2211. Is y(16) a prime number?
False
Let r(l) = 6*l - 54. Let o be r(9). Suppose 6*d - 27822 = -o*d. Is d a composite number?
False
Suppose 5*t - 3*t + 4 = 0. Is ((-4938)/24 - t)/((-1)/4) a prime number?
False
Suppose 1291*x - 1296*x + 774462 = -176903. Is x a prime number?
False
Suppose 3*t - 544184 = -4*y, -5*t + 272078 = -158*y + 160*y. Is y a composite number?
True
Let h(d) = -d. Let r(t) = -708*t - 41. Let k(z) = 3*h(z) + r(z). Let i(n) = 3*n**2 - 4*n - 140. Let v be i(-6). Is k(v) composite?
False
Let l = -416 - -1097. Let m = 2570 + l. Is m prime?
True
Let k(j) = 5*j + 202. Let g(w) = -15*w - 605. Let p(b) = -3*g(b) - 8*k(b). Let n = -33 + 33. Is p(n) a prime number?
True
Suppose 31*s = 19*s - 19*s + 616001. Is s composite?
True
Suppose -6*j - 7 = -19. Suppose -j*y - 2*w = 36, 2*w + 74 = -3*y + 3*w. Is (-477)/(-2) - y/46 a prime number?
True
Let m(z) = 688*z**2 - 246*z + 2317. Is m(10) prime?
False
Let h(b) = -126701*b - 1106. Is h(-3) composite?
False
Is (-350)/(-280) + (-116879)/(-4) prime?
True
Suppose 4681266 = -53*f + 16011392 + 10078323. Is f composite?
False
Let g = 16616 - 16620. Suppose -2*f + 31559 = -12205. Is 2/g*f/(-21) composite?
False
Let m = -835519 + 1322634. Is m a prime number?
False
Let b be (-1)/(3*(-6)/72). Suppose -b + 7 = 3*t, 73583 = 4*u - 5*t. Is u a prime number?
True
Let f(w) = w**3 + 20*w**2 + 13*w + 70. Let i be f(-20). Let x = 3129 - i. Is x a prime number?
True
Let o = 466051 - -152640. Is o prime?
False
Suppose 3*j + 3*h = 107004, -18*j + 19*j = 4*h + 35683. Is j a prime number?
True
Suppose 0 = -b - 2*u - 10, -6*b - 3*u = -5*b + 15. Let r = -567 - -569. Suppose 3*w + z - 4865 = 0, b*z - r*z - 6500 = -4*w. Is w a prime number?
False
Let u(c) be the first derivative of c**4/4 - 13*c**3/3 + 31*c**2/2 + 28*c - 60. Is u(17) composite?
True
Let r = -297141 - -591410. Is r a composite number?
False
Let q = 154221 + -58640. Is q a prime number?
True
Let w be 6/18*(9/12)/((-2)/16). Let c(i) = 4*i**3 + 3*i**2 + i + 3. Let d be c(3). Is (-3 - -1)/(w/d) composite?
True
Let c(u) = 151490*u**2 - 16*u + 19. Is c(1) composite?
True
Let f be 252/3*304/24. Suppose -2*w + 410 = 4*z, -4*w = -9*w + 3*z + f. Is w composite?
False
Is (-8)/(-36)*-96519*(-168)/16 prime?
False
Let g(k) = 5880*k**2 - 3*k + 2. Let p be (-5 - (-2 + -4))/1. Is g(p) a composite number?
False
Let p(b) = -42*b + 59. Suppose 0 = x - 5*k, 4*x + 102 = k + 7. Is p(x) a composite number?
False
Let q(a) be the second derivative of -3*a**5/20 - a**4/4 + a**3/3 - 7*a**2/2 - 6*a. Suppose 28 = 6*w - 13*w. Is q(w) a composite number?
True
Suppose -g + 5*a = -45386, -2*a = 5*g - 8*g + 136093. Is g prime?
True
Suppose -4*i = -13 - 3. Suppose 3*w + 465 = i*b + 2009, 4*b + 504 = w. Let v = w + -297. Is v prime?
True
Let z(r) = 238438*r + 4747. Is z(9) a prime number?
True
Let m = -11398 - -19037. Is m prime?
True
Suppose -3*b - 2*l + 1114679 = 0, -578*l + 580*l = -2*b + 743122. Is b a composite number?
True
Suppose -5*u - 90*w = -92*w - 1965, 5 = -w. Is u a composite number?
True
Suppose 48 = -30*a + 22*a. Is (-116874)/(-108) - (-1)/a pri