 -39 + 57. Suppose 26 - x = 4*b. Is ((-1779)/(-12))/(b/8) prime?
True
Let x be 9*1*91/7. Suppose -41*c = -40*c - x. Let y = c - -17. Is y composite?
True
Let p = -114 + 116. Suppose -4*d - 24429 = -3*q, p*d - 11112 = 5*q - 51841. Is q a composite number?
False
Suppose -55866 = -23*d + 77373. Is d a composite number?
True
Let j(n) = 8*n - 186. Let c be j(24). Suppose 661 = m - 2*z, -c*m + m - 2*z + 3257 = 0. Is m prime?
True
Suppose -3*m + 2*g = -16, 2*m - 8*g + 5*g - 19 = 0. Suppose 2*q + m*q + 1717 = 5*w, 2*q - 349 = -w. Is (w/(-6) - -2)*(-16)/24 prime?
True
Let g(y) = 4469*y + 212. Is g(13) prime?
True
Let o be (2 - (-2 + (-3 - -7)))/(-2). Suppose -3*j - 4 = a - 24, o = 2*j - 10. Is a/((-30)/(-3))*1082 prime?
True
Is -2 + 15201 - (4 + 10) composite?
True
Let f(m) = 325*m**2 - 48*m + 312. Is f(7) composite?
False
Suppose -751690 + 7732092 = 286*g. Is g a prime number?
True
Is 17028356/51 + 6 - (-16)/6 composite?
True
Let q(n) = -n + 11. Let a be q(2). Let f(b) = -20*b + 9*b - a + 6 + 3*b**3 + 12*b**2. Is f(7) composite?
True
Suppose 3*l = -5*s + 3, -1 - 1 = -4*s - 2*l. Suppose 7*u - 15*u + 164256 = s. Suppose -7*g + u = 5*g. Is g prime?
False
Let s(u) = -2*u + 13. Let v be s(6). Is 963 + ((-2)/4)/(v/(-4)) prime?
False
Let t = 149401 + -82496. Is t a composite number?
True
Let c(o) = 38*o - 1880. Let g be c(49). Suppose 3*l - 48 = 4*v, -v + 2*v + 12 = -2*l. Is (g/v)/((-3)/(-138)) prime?
False
Let q(w) = -310*w**2 + 2*w + 26. Let o be q(-4). Is (o/4)/(6/(-12)) composite?
True
Is (-3 - (-40)/15)/(3/1014462*-2) composite?
False
Let b = -24 - -24. Suppose -4*y + 5*m = -b*y - 15868, 3*m - 11901 = -3*y. Is y prime?
True
Let k(z) = 23216*z**3 + 72*z**2 - 267*z - 7. Is k(4) a prime number?
False
Suppose -5*m + 103379 = 4*o, 86*o + 5*m = 84*o + 51697. Is o a composite number?
False
Let q = 136507 - 48074. Is q prime?
False
Let f = 435 - 431. Suppose 2*j = 4, 4*w = f*j + 25873 + 4531. Is w prime?
True
Let k(g) = -3*g + 4*g - g**3 + 19*g**2 - g - 9*g. Is k(11) a prime number?
False
Let k(z) = -6640*z + 119. Let t(v) = 2213*v - 40. Let x(f) = -6*k(f) - 17*t(f). Let d be x(4). Suppose -7*b + 9*b = d. Is b composite?
False
Is (5 + (-8 - -10490))*(4 - -1) a composite number?
True
Is ((-47635)/20)/(8/(-32)) composite?
True
Suppose -5*g = -3*w + 316503, 48*w + g = 49*w - 105497. Is w a composite number?
False
Is -11 + (12 - 4) + 3274 composite?
False
Let c(o) = -208*o + 15. Let n be c(-3). Suppose -100*h + 109*h = n. Is h composite?
False
Suppose 3*b + 848 - 165 = -4*w, -3*b - 681 = 3*w. Is 87614/5 + b/125 composite?
True
Suppose 5*l = -5*n - 10, l + 4*l = -3*n - 14. Let g be 0*(3 + (-5)/2). Suppose -6*a + 5040 = -n*a + 2*j, -a + 2*j + 1255 = g. Is a composite?
False
Let a be (2 + 3)*(-2)/(-5). Let k be 423/63 - a/(-7). Suppose 0 = k*f + 3*f - 7690. Is f composite?
False
Suppose 2903770 = -4*w + 19*w - 7903445. Is w a composite number?
False
Let v(m) = -m**2 + 5*m - 1. Let h be v(5). Let w be (-1)/(h/(-163)) + (7 - 3). Let q = -20 - w. Is q prime?
True
Suppose 4 = -2*y, -4*j - 3*y + 2 = 52. Let u(v) be the first derivative of v**4/4 + 14*v**3/3 - 9*v**2/2 - 25*v + 555. Is u(j) prime?
False
Suppose 0 = 3*h - 12, -2*h = 5*z + 3 + 4. Let p be (z/4)/(3/(-8)). Suppose p*r = 7*r - 4175. Is r prime?
False
Let b = 2519 - 1508. Let f = -507 + b. Let s = f - 302. Is s a prime number?
False
Let k(w) = -65*w - 9. Let h be k(3). Let z be h/(-28) - (-8)/(-28). Suppose -5365 = 2*x - z*x. Is x a prime number?
False
Let k(c) = -141959*c**3 + c**2 - 36*c - 37. Is k(-1) a composite number?
False
Let q be 6110 - (-6)/(18/(-21)). Suppose 0 = 135*g - 136*g + q. Is g prime?
False
Suppose 3*d + 59 = 5*g, 3*g - 2*d - 22 = g. Let u(m) = m**2 - 14*m + 11. Let o be u(g). Is (o/(-8)*-1)/((-6)/5064) a composite number?
False
Suppose 418 + 600 = 2*b. Is b/2*-3*492/(-18) a prime number?
False
Let r(h) be the second derivative of 7*h**6/180 - h**5/15 - 11*h**4/24 + 25*h**3/3 + 41*h. Let q(o) be the second derivative of r(o). Is q(8) composite?
False
Suppose 0 = 3*t - 5*x - 503826, -4*t + 6*t - 2*x = 335884. Suppose 15*f - t + 26927 = 0. Let a = f + -5835. Is a a prime number?
False
Let k(u) = 17*u**3 - u**2 + 12*u - 20. Let t be k(9). Suppose -4*g + 2*y + 9914 = 0, t = 9*g - 4*g + 5*y. Is g a composite number?
True
Let d = -31739 - -66520. Is d a prime number?
True
Suppose -51*r = -50*r - 2308. Let d(j) = 274*j - 3. Let g be d(6). Let z = r - g. Is z prime?
False
Let t be (-4)/(-24)*-3*(1 - 1). Suppose 21 = 5*l - 4*g, l + t*g = -g + 6. Suppose 2*z - 4*i = 622, l*z - 6*i + 4*i - 1539 = 0. Is z a composite number?
False
Suppose 60*c + 210720 = 68*c. Suppose 4*p + 4*l + 17546 = 6*p, l - c = -3*p. Is p composite?
False
Suppose 0 = -187*c + 186*c + 2*i + 215635, 646884 = 3*c - 3*i. Is c prime?
False
Suppose 175*t = -636606 + 118542331. Is t a composite number?
False
Suppose 0 = 5*u + 4*u - 7*u. Suppose 18 = 3*n - 4*s, u = -0*n + 4*n - 2*s - 14. Is (1/n)/((-3)/(-1542)) a prime number?
True
Let g(q) = -6*q + 5*q - 11*q - 2*q**3 - 6 - 9*q**2. Let z be 54/(-7) + 4/(-14). Is g(z) a composite number?
True
Let q = 166 + -274. Let j = -109 - q. Is 1642/10*(4 - j/1) a composite number?
False
Let h = 670871 + 169812. Is h a composite number?
False
Let h be (18129 - -3)*22/8 + 5. Suppose 3*t + 5*c = h, 4*t + 44660 = 3*c + 111199. Is t composite?
False
Is (7 - 5)*27872272/32 composite?
False
Suppose 3 - 15 = -3*i - 2*o, 3*o - 3 = 3*i. Suppose -3*s - 2*r - 11 = 2*r, 0 = -4*s + i*r - 22. Is ((-7608)/20)/(2/s) composite?
True
Suppose -51*u + 57*u + 6 = 0. Is u/(6 - 36446/6074) a prime number?
True
Let v be ((0 - (-56)/(-20))*5)/(-2). Suppose -v = 3*m - 19. Suppose -4*y = 3*i - 1945, i + i = -m*y + 1946. Is y composite?
False
Suppose 59*w = 58*w - 1. Let h be (-658)/(1/5*w). Suppose -2*k - h = -12*k. Is k a prime number?
False
Suppose 0 = -2*i + 2*f + 2, -9*i = -11*i - f + 5. Suppose 2*z = -5*o + 173985, 0*o - i*z = -3*o + 104391. Suppose -o = -17*w + 14*w. Is w composite?
True
Suppose -3*d + 81 = 2*v + 265, -4*d - v - 247 = 0. Let a(c) = 202*c - 1. Let x be a(2). Let q = d + x. Is q a prime number?
False
Suppose 11*u + 10 = u. Is 4*u - (-458 + -39) a composite number?
True
Suppose 0 = -6*d + 5 + 7. Suppose 5*r = 5, -3*l + l = d*r - 6. Suppose -4*x + 4*c = -1176, -l*c = 2*x - 7*c - 591. Is x composite?
False
Suppose 7*d = 5*i + 3*d - 36, 0 = 3*d + 12. Suppose 15*l = 16*l - i. Suppose -3*j + 4*p + 1228 = j, 0 = l*j + 5*p - 1264. Is j a composite number?
False
Let q be 672/(-40)*60/(-18). Suppose 0 = -q*f - 10746 + 37570. Is f composite?
False
Suppose -z - 3808 = -17*z. Suppose 7*s = 5*s - 4*a + z, 0 = s + a - 120. Is s a prime number?
False
Let f = -166132 - -643109. Is f a prime number?
True
Let n = 407 + -4626. Is (-21 - n)/(6/15) a prime number?
False
Let q(i) = -33*i - 34. Suppose -t + 450 = 5*v, -5*v + 0*v - 5*t = -470. Let a = v - 98. Is q(a) a prime number?
True
Suppose -4*v - 99716 - 123055 = -c, -2*v - 1113819 = -5*c. Is c prime?
False
Let a(q) = -2*q**2 - 420*q + 428173. Is a(0) prime?
True
Suppose -1316 = -y + x, -5*y = 4*x - 3690 - 2890. Let l = 5457 - y. Is l a prime number?
False
Suppose -14*l = -18*l - 96. Let a be (-16)/l + (-4645)/(-3). Suppose 7130 = s + a. Is s composite?
False
Suppose 5*h - 3*a = 2431024, -6*h + 11*h = 5*a + 2431030. Is h a prime number?
True
Suppose -8 = 3*s + 4*b, 7*s - 3*s = -b + 11. Let w(a) be the second derivative of a**5/10 - a**3/3 + a**2 - 3*a. Is w(s) prime?
False
Let d(z) = z**3 + z**2 + 1. Let j be d(0). Let c(r) = r - 61. Let q be c(-34). Is (-463)/(-5) - j - (-57)/q a prime number?
False
Is (5 - 18/(101540/(-101532) - -1)) + -1 a prime number?
True
Let y(h) = -9*h**3 - 394*h**2 - 64*h + 6. Is y(-45) composite?
True
Let k = -9 - -13. Suppose -v + 2*l + 78 = -14, -374 = -k*v + 2*l. Is v prime?
False
Suppose 21*w - 3257470 - 973463 = 0. Is w a composite number?
False
Is (-6)/(-8)*47386264/366 prime?
True
Let y(i) = 27*i**2 + 4*i - 7. Let f be y(3). Suppose 2*l = 4*l - f. Is (l/4)/((-1)/(-69)*3) a prime number?
False
Let t be ((-2)/(-4))/(9/(-18)). Is (-11)/((-2 + t)/447) composite?
True
Suppose 5*f = -2*n + 23 + 3, -3*n - 2*f = -17. Suppose -2*u = n*q - 16135, 0 = q - 2*q - u + 5377. Is q a prime number?
True
Let c(r) = -47552*r - 4899. Is c(-9) a composite numb