f 871*g**4/24 + g**3 - 26*g**2. Is y(1) a prime number?
True
Let o = -1143 - -2012. Is o a composite number?
True
Let c(k) = 101*k - 29. Is c(3) a prime number?
False
Suppose -q + 1791 = 2*q. Is q composite?
True
Is (23461/87)/((-2)/(-30)) prime?
False
Suppose 60*l + 900 = 64*l. Let n(u) = -33*u**2 - 3*u - 2. Let v be n(-2). Let x = l + v. Is x prime?
True
Let d(g) = g**3 + 6*g**2 - g - 4. Let u be d(-6). Suppose 0 = 3*y - u*a - 153 - 9, 5*y + a = 270. Suppose 5*q - 116 = -2*k, -2*k = q - y - 54. Is k prime?
True
Suppose -11 = -5*n - 2*a + 8, -5*n - 4*a = -23. Let u be 8/(-20) + 14/10. Is -67*(n + u*-4) composite?
False
Let g(o) = 19*o**2 + 44*o + 83. Is g(20) prime?
True
Suppose 0 = -6*c - 3*c + 103293. Is c a prime number?
False
Suppose -137015 = -9*f + 108892. Is f a composite number?
True
Suppose s - 1 = 5*x, 3*x + 29 = -3*s + 2*x. Is (-2)/1 + 33*s/(-3) a prime number?
True
Let u be (-1*19)/(15/(-195)). Let d be 1/(-4) - 54/(-24). Suppose 783 + u = d*g. Is g prime?
False
Suppose -2*g - 21 = -5*r, -3 = -r + 3*g - 2*g. Suppose -o = r*b - 728, o + 2*b = -2*b + 723. Is o composite?
True
Suppose 35*a - 190285 = 450250. Is a composite?
False
Suppose -7*c + 18637 + 3301 = 0. Is c a prime number?
False
Let x be (-1 - -1)/((-6)/6). Let k(d) = -5*d**3 + 5*d**2 + 2*d + 314. Let c(p) = 3*p**3 - 3*p**2 - p - 157. Let m(o) = 7*c(o) + 4*k(o). Is m(x) a prime number?
True
Let f be 9/6*(-30)/(-9). Suppose -f*i = -0*i + 2*b - 326, 336 = 5*i - 3*b. Suppose -w = w - i. Is w a prime number?
False
Let f = 15368 - 10539. Is f a prime number?
False
Suppose 2*y = -y + 6. Suppose -4*v = 16, 0 = -y*o + o + 2*v + 427. Is o a composite number?
False
Is -6 - (-19608 - (7 - 2)) a composite number?
True
Let q = 31 - 28. Suppose p + 1254 - 358 = 3*s, -q*p = 5*s - 1484. Is s a composite number?
True
Let j(y) = -2252*y**3 + 3*y**2 + 3*y - 1. Is j(-1) a composite number?
False
Is 3291 - -1*(-24)/(-3) a prime number?
True
Let m(o) = -156*o - 14. Let z(f) = 52*f + 5. Let r(a) = 6*m(a) + 17*z(a). Suppose 3*p + 9 = -2*l, 5*p - 5*l + 3*l + 15 = 0. Is r(p) prime?
True
Let j = -72 - -5. Let d = 199 - 361. Let l = j - d. Is l a composite number?
True
Let p = -7142 - -11557. Is p a prime number?
False
Suppose -20*i + 220 = -10*i. Suppose -23*u + 631 = -i*u. Is u prime?
True
Let b(a) = 14*a**2 + 19*a - 2. Let x(r) = 3*r**2 + 19*r + 1. Let d be x(-6). Let t(k) = 7*k**2 + 10*k - 1. Let w(z) = d*t(z) + 3*b(z). Is w(-8) composite?
True
Suppose 0 = 3*n - 2*w + 474, -2*n + 4*w = -4*n - 332. Let h = -63 - n. Is h a prime number?
True
Suppose -2*k + 13 = -l + 4, 4*l - 4*k + 28 = 0. Let p(d) = 5*d**2 - 8*d - 7. Is p(l) composite?
True
Let l be ((-2 + 150)/(-2))/((-2)/45). Let p = -268 + l. Is p prime?
False
Suppose 3*x - 5*p = 43 - 11, -4*x + 3*p = -28. Suppose 5*t - 3939 = -0*t + x*w, 3*t = 3*w + 2364. Is t prime?
True
Let v = -191 - -1704. Is v composite?
True
Let p = 1702 - 59. Suppose -3*t - s + p = -2552, 4*t - 5*s - 5568 = 0. Is t a prime number?
False
Let x = -46 + 51. Suppose 8*a = x*a + 11085. Is a a prime number?
False
Let a = -1381 + 4614. Is a prime?
False
Let k(g) = -g**2 + 10*g - 3. Let z be k(10). Let i(f) = -10*f**3 - 2*f**2 - 4*f + 1. Is i(z) a composite number?
True
Suppose -87 = 3*l - 3*p, -36 = 5*l + 5*p + 59. Let h = l - -23. Is (-20 - h)*-1*17 a prime number?
False
Suppose 2*x + 3*g = x + 283, 3*g = 4*x - 1117. Suppose -571 = -i + x. Is i composite?
True
Let b(c) = -c**3 + 11*c**2 - 2*c - 2. Let q be b(7). Let m(h) = -13*h**3 + 2*h**2 - h + 1. Let x be m(2). Let g = x + q. Is g a prime number?
True
Let i = 310 - 48. Let m = i - 83. Is m a composite number?
False
Let x(w) = 36*w**2 + 4*w + 97. Is x(21) a prime number?
True
Suppose h - 3*o = 2 - 3, 3*h + 68 = -4*o. Let z be 5*(h/10 - -2). Suppose 0 = 3*l - l - 10, -2*q + 316 = -z*l. Is q a composite number?
False
Let m(c) = 114*c**2 - c. Let p be m(-1). Suppose -2*v + 230 = h, -v - p = -2*v + 5*h. Is v composite?
True
Let q(r) = 364*r + 12. Let d be q(-5). Let w = d - -3020. Let u = -773 + w. Is u prime?
True
Let r = 357 + 3508. Is r a composite number?
True
Suppose 3*m - 24352 + 232 = 0. Suppose -2*f + 6*f = m. Suppose 5*r - f + 45 = 0. Is r a prime number?
False
Let t = 1698 + -611. Is t prime?
True
Let q(t) = 50*t**2 - 455*t + 13. Is q(28) composite?
True
Let y = 25 - 23. Suppose y*b - 4*u = 14966, 4*u - 14945 = -2*b + u. Is b a composite number?
False
Suppose 87435 = 5*n + 27400. Is n a composite number?
False
Let x = -2195 - -11118. Is x a composite number?
False
Let c = -17251 - -30828. Is c a composite number?
False
Let z = -4 - -5. Let c(v) = 109*v**2 + 1. Let d be c(z). Suppose 815 + d = 5*x. Is x prime?
False
Suppose 14*w - 8*w = 15522. Is w prime?
False
Suppose -p + n + 1 + 7 = 0, 0 = n + 4. Suppose 2*v + p*y - 3138 = 0, -y = -5*v - 6*y + 7825. Is v a prime number?
False
Let x = 166 + -300. Let w(l) = 49*l + 10. Let z be w(-1). Let u = z - x. Is u composite?
True
Let b(l) = -13*l - 5. Suppose 0 = -0*p - 2*p - 8. Let w be b(p). Let t = 66 - w. Is t composite?
False
Let a(i) = -2*i - 13. Suppose 0 = 5*h + 27 + 18. Let q be a(h). Suppose -2*g + 148 = -5*b, -q*g + 2*b = -0*b - 349. Is g a prime number?
False
Is (156095 - (1 - -1))*(-71)/(-213) composite?
True
Let c(t) = t**3 + 8*t**2 + 4*t + 5. Let p be c(7). Let q = p + -187. Is q composite?
True
Is (499*2/10)/((-7)/(-35)) prime?
True
Is (-462566)/(-30) - (-34)/255 composite?
True
Let s = -114 - -192. Let v be 46*(((-21)/6)/(-7) + 1). Suppose -y - 5*q = -v, -3*q = 5*y - 511 + s. Is y prime?
True
Let c(f) = -f**2 - 2*f**2 - 2*f**2 + 7*f + 4*f**2. Let i be c(7). Suppose -7*u + 9*u - 326 = i. Is u a composite number?
False
Is (-3 - 14*92 - -2)*-7 composite?
True
Suppose -11 = 2*t + 7. Let x be -9*(2/(-3) + (-110)/(-15)). Let v = t - x. Is v a prime number?
False
Let l = -710 + 1573. Is l a prime number?
True
Suppose k = 1 + 3. Suppose 0 = -3*h + 2 + k. Is (1298 - (h + -2))/2 a composite number?
True
Let p(f) = -8*f**3 - 2*f**2 - 9*f - 5. Let a be p(-4). Suppose -2*r = 579 + 121. Let g = r + a. Is g a prime number?
False
Suppose -67005 = -13*r + 304262. Is r a composite number?
False
Suppose 4*w + 3*v - 7*v + 12 = 0, 3 = -5*w - v. Is (w - 202)*3/(-3) a prime number?
False
Let u(o) = 28*o**2 + 4*o - 1. Let f(b) = 2*b**2 + b. Let m be f(1). Is u(m) a prime number?
True
Suppose -4*f - 1138 + 7718 = 0. Suppose 0 = -y + 5*m + 361 + 1293, 0 = y - 2*m - f. Is y a prime number?
False
Let n(k) = 2*k**2 + 9*k + 41933. Is n(0) a composite number?
True
Suppose 0 = -2*a + 8, 26*a - 115473 = -5*o + 24*a. Is o composite?
True
Suppose -9485 = -14*x + 8141. Is x a composite number?
False
Suppose 4*j = 8, -18*v - 2*j + 7688 = -14*v. Is v a prime number?
False
Suppose -296 - 49 = -z. Suppose -z = -10*j + 5*j. Suppose -q + j = y - 6*q, -3*q = -6. Is y prime?
True
Is (145072/32)/((-3)/(-6)) prime?
True
Let z be 28/6 + 11/33. Let v be ((-14)/z)/((-14)/35). Let w = v + 8. Is w prime?
False
Let n(r) be the third derivative of r**5/60 - r**4/6 - r**3/3 + 2*r**2. Let b be n(4). Is (94 - -3) + (b - -2) composite?
False
Is 3899 - ((-28)/(-7) - 4) a composite number?
True
Let m(l) = -l**3 - 3*l**2 + 5*l + 6. Let o be m(-4). Suppose -o = n - 3. Is (n - -1)/((-4)/(-422)) a prime number?
True
Let z(c) = -4*c**3 + c**2 - c + 2. Let d(p) = 3*p**3 - 1. Let l(y) = 3*d(y) + 2*z(y). Let v be l(-2). Suppose -187 = -v*h + 258. Is h a composite number?
False
Let y(w) = 2*w + 12. Let n be y(-9). Is 14/42 - 760/n prime?
True
Suppose -2*h = -2*i - 10, -2*h - h = -2*i - 15. Let m = -418 + 421. Suppose 2*o = 5*t - 1374 - 277, -h*t - m*o + 1661 = 0. Is t prime?
True
Let o = -21 + 27. Suppose 0 = -0*w - 2*w + 636. Is (w/12)/(1/o) prime?
False
Suppose 18 + 33 = -3*t. Let k be (t/(-2))/((-13)/26). Is (k + -2)/(4 - 5) a composite number?
False
Let t = 3742 + 1357. Is t prime?
True
Let d(f) = -f + 17. Let k be d(14). Suppose k*z - 181 = 161. Suppose -3*s + z + 255 = 0. Is s composite?
True
Suppose 3*y + 0*y = 108. Is 8/y + (32718/27 - -1) a prime number?
True
Let v be 1*-2*(-6)/4. Suppose d = 2*d + v*m + 57, -4*m + 36 = -d. Let q = -29 - d. Is q composite?
False
Suppose 338*q + 119575 = 343*q. Is q a prime number?
False
Let y(c) = 22*c**2 + 114*c - 77. Is y(-32) a composite number?
False
Let x(s) = 3*s**3 - 10*s**2 