 - 415. Let w be (16 + b)*(-12)/(-10). Let n = -53 - w. Is n prime?
True
Let p(i) = 5*i**2 + 2*i + 5. Let z be p(-4). Let g be ((-3)/(-12)*974)/((-5)/(-20)). Suppose -912 = -y + 5*l, y - 2*l + z = g. Is y a composite number?
False
Let p = -382045 + 721164. Is p composite?
True
Suppose 0 = -4*k - 5252 + 60704. Is k composite?
True
Suppose -2*i = -4*j + 29814, 3*i - 22338 = -70*j + 67*j. Is j prime?
True
Let z be (-38 - -38)/((-1)/((-1)/3)). Let g = 51 - 50. Suppose z = q + g, -8*p + 3*p = -3*q - 4828. Is p prime?
False
Let h(c) = -2*c**2 + c + 57. Let o be h(14). Let k = o + 908. Is k composite?
False
Let y = -64068 + 101815. Is y a composite number?
False
Let p = 7007 + -2328. Let t = 7260 - p. Is t a prime number?
False
Is -31 + (-6594024)/(-54) + -3*(-8)/54 composite?
False
Suppose 5*s + 3*m = 16, 3*m - 7 = -s + 1. Suppose 9*j = s*j. Is j + -2 - 711*-1 a prime number?
True
Let d be (-317)/9 + -2 + 100/45. Let c = d - -37. Suppose 5*y - 599 = -c*s + 2634, -2*s = 4*y - 2586. Is y composite?
False
Suppose 4*j + 25 = -w, 5*w = -0*w + 4*j - 29. Let l be (-6)/9 + -1 + 39/w. Is (-10)/15 - 310/l composite?
True
Let v(l) be the third derivative of -l**6/120 + 13*l**5/60 - 11*l**4/24 + 19*l**3/6 + 3*l**2. Suppose -6 + 2 = -2*c, 0 = 5*d + 5*c - 50. Is v(d) a prime number?
True
Suppose -11*p - 20 = -64. Suppose 64430 = p*d + 6*d. Is d composite?
True
Suppose 198*r = 273838 + 761108. Is r prime?
True
Suppose -3*c = 18, -4*f + 258*c - 257*c + 2380490 = 0. Is f prime?
False
Let z = -407 + 397. Is 6952 - (z + 5 + -2) a prime number?
True
Is ((-18984882)/12*25/175)/((-1)/2) prime?
False
Is 80257 + (-16 - 130/(-10)) composite?
True
Let w = 271 + -273. Is w - -3 - ((-1986)/6 - 3) composite?
True
Suppose 12 = -3*d + 4*d - 3*q, 0 = -5*q. Let r be (-1*d/(-9))/(2/159). Let m = 217 - r. Is m prime?
False
Suppose 41 - 6 = 5*x. Suppose -4*s + 23 = x. Suppose 0 = 7*a - 3*a - 5*w - 117, -w = -s*a + 129. Is a prime?
False
Suppose -19095746 = 10*v - 370*v + 118040134. Is v prime?
False
Let a = -188 - -197. Suppose 2*d - 8813 = -l, a*d = 10*d - l - 4414. Is d composite?
False
Let c = -233679 + 589306. Is c prime?
False
Let v(y) = 3*y**3 + 22*y**2 + 4*y - 13. Let r be v(-7). Is 5735 - 6/12*r composite?
True
Let g = -21 - -25. Let u be (6/(-3))/(g/(-10)). Suppose f - 70 + u = 0. Is f a composite number?
True
Is (171/36 - 5) + (-688926)/(-24) prime?
False
Is 16343008/96 + -1 + (-3)/(-9) + 0 prime?
True
Suppose 3*j = -2*i + 16867, 3*j + 5*i - 11679 = 5185. Is j composite?
False
Is (3/5 + 6/15)/(51/4860861) composite?
False
Let g(l) = 4868*l + 2189. Is g(43) prime?
False
Let w be ((-3)/(-6))/(3/(-18)*-1). Suppose 2761 = 4*u - 3*m, -w*u + 0*m + 2070 = -3*m. Is u a prime number?
True
Suppose 8*u + 4237898 - 12534290 = -16*u. Is u a prime number?
False
Suppose -3*c = 2*t - 766, -19*t + 23*t + 5*c - 1532 = 0. Suppose -386*v = -t*v - 256791. Is v a prime number?
True
Let h(q) be the first derivative of 59*q**2/2 - 12*q + 10. Let d be h(6). Suppose 0 = -n + 449 + d. Is n composite?
True
Is (-6 + -28598)/(14/63 - 140/63) a composite number?
True
Let x be 54/(-189) - (-30)/(-7)*-1. Suppose -2*h - b = -38240, x*h - 4*b = -33408 + 109900. Is h a composite number?
False
Let s be -43 + 42/(3 - -3). Let w(n) = n**2 + 12*n - 11. Is w(s) a prime number?
True
Is -361409*(6 - (3 + 15 + -9)) prime?
False
Let n = -399 + 399. Suppose 0 = -3*b, 5*b = r - n*b - 10903. Is r prime?
True
Let v = 464 + -455. Suppose v*n - 11*n = 3*t - 30091, 3*n - 30087 = -3*t. Is t a composite number?
True
Let z(f) = -3 - 4 - 1 + 18*f + 5. Let a be 40/30*1*3. Is z(a) a composite number?
True
Suppose 3*c = 4*u - 429 + 3386, -2*c + 1970 = -4*u. Let f = -520 + c. Let z = -321 + f. Is z a prime number?
False
Let g(i) = 2703*i - 6611. Is g(159) a prime number?
False
Let k(l) = 805*l**2 - 156*l + 6060. Is k(49) a composite number?
True
Let s(c) = -419*c - 90. Let f be -4 + (-1 - 6 - -6). Is s(f) a composite number?
True
Let a(u) = -u**3 + 12*u**2 - 1. Let d be a(12). Let m(q) = -513*q**3 + 2*q**2 + q. Is m(d) a composite number?
True
Let o(k) = -k**3 + 14*k**2 - 22*k + 6. Let g be o(15). Let v = -386 - g. Let i = 354 - v. Is i a composite number?
False
Suppose -4*v - 128 = -5*h - 31, 0 = -4*v + 8. Suppose -s = h*s - 34386. Is s prime?
False
Let z(d) = 4*d**2 + 142*d - 69. Let x be z(-36). Suppose x*l = -5*b + 15401, l - 2 = -0*l. Is b prime?
True
Let n(f) = -f + 3. Let o be n(0). Suppose 0 = -o*w + 4*b + 16, 4*w + 0*b = b + 4. Suppose w = -0*z - 4*z + 3764. Is z a composite number?
False
Let f = 35839 - -1570. Is f composite?
False
Let s(f) = 270*f**2 - 4*f + 971. Is s(31) a prime number?
True
Suppose s - 2*v + 8 = v, 4 = -3*s + 4*v. Suppose 0 = -u + 4*p + 4869, -s*u - p + 18084 = -1358. Is u a prime number?
True
Let h = -6710 - -10155. Suppose 3441 = 3*q + 3*z, 0 = -10*q + 7*q - 2*z + h. Is q prime?
True
Let n(g) = g + 3. Let m be n(1). Suppose -11*y + m*y = 49. Is (y/2)/(267/134 - 2) a prime number?
False
Let f = -271 + 311. Let i = 151 + f. Is i a composite number?
False
Let b be 0 - -2 - (0 - -2). Suppose 89 + 1206 = 5*n. Suppose -3*s + 15 + 272 = -5*w, -3*s - 2*w + n = b. Is s composite?
False
Let c(z) = 291*z - 65. Let f be c(46). Suppose 56308 - f = 21*x. Is x prime?
False
Let y = 72 + -69. Suppose y*q + 2*d - 408 = q, 2*q = 5*d + 387. Suppose 5*a - 335 = -3*p, -a - 2*a = p - q. Is a prime?
True
Let u(r) = 3*r + 40. Let o be u(4). Suppose -64*a + 22692 = -o*a. Is a a prime number?
False
Let f = 23651 + 1856. Is f a composite number?
True
Let v(n) = n + 13. Let h(l) = l + 1. Let y(f) = 4*f + 22. Let u(r) = -2*h(r) + y(r). Let i(c) = -5*u(c) + 8*v(c). Is i(-9) a prime number?
False
Suppose 7*y - 17325 - 45052 = 0. Suppose y - 1293 = 2*s. Is s a composite number?
True
Let l be -6 + (-2 - 2 - 0). Is -2*((-15)/l)/3*-479 a composite number?
False
Let r(a) = 24*a**2 - 27*a - 76. Let m(d) = -12*d**2 + 13*d + 38. Let t(l) = -5*m(l) - 2*r(l). Is t(-8) prime?
False
Suppose 5830 = 4*i + 2*g, -i + 0*g + 1456 = g. Let p = i + -318. Is p a prime number?
False
Let u(g) = 9 + 27 - 19 + 59*g. Let c = -12 + 16. Is u(c) prime?
False
Let t = -127 - -135. Suppose t*r - 2199 - 2529 = 0. Is r prime?
False
Suppose 7*w = -0*w - 1631. Let j be w/((5/(-4))/5). Suppose -13*c + j = -11*c. Is c a composite number?
True
Is 274962/(-4)*(180/(-27))/10 a prime number?
True
Suppose -h + 16245834 = 5*n - 9324130, 3*h = 3*n - 15341982. Is n prime?
True
Let i(d) = -920*d + 781. Is i(-17) a composite number?
False
Let o = 15 - 12. Suppose 15 = 3*b, o*d + b = -4*b + 25. Suppose 4*p - 19035 = 5*s - 5038, -2*p - s + 6981 = d. Is p a prime number?
False
Suppose -2*u = -3*g - 199276, 5*g = -0*u + u - 99631. Is u a composite number?
True
Suppose 0 = -59*d - 151*d + 8070510. Is d prime?
True
Suppose 8*s = 15*s - 20853. Suppose 8*u = -s + 8851. Is u composite?
True
Let w = 449675 - 219846. Is w composite?
True
Suppose -4*c - 5*g + 26 = 0, -6 = -2*c + 3*g - 2*g. Let z be -2069 - (3 + (c - 3)). Let v = z + 3122. Is v prime?
True
Let b = -52 - -109. Suppose b*d - 121142 = 23*d. Is d a composite number?
True
Let b(c) = c**3 + 4*c + 74. Suppose 12 = -2*o + 3*t, 3*t - 12 = -2*o - 2*o. Is b(o) a prime number?
False
Suppose n = 3*g - 3*n - 73, -g + n = -25. Suppose -g = 3*b + 3. Let f(s) = -56*s + 13. Is f(b) prime?
False
Suppose 2898*s - 16648016 = 2786*s. Is s a prime number?
False
Suppose 9251493 = 277*z - 148*z. Is z a composite number?
True
Let i be (-5966)/(-4 + 4 - (-2)/1). Let u = 5726 + i. Is u a prime number?
False
Let a = 9568 - -42697. Is a a prime number?
False
Let s(o) = -o**2 - 13*o - 12. Let c be s(-12). Suppose 3863 = 5*u - 2*w, -4*w + 0*w - 16 = c. Is u a composite number?
True
Suppose 140 = -143*s + 150*s. Suppose 3356 = s*d - 2184. Is d prime?
True
Suppose -2*q + 11920 = -2*w, 0 = -2*q + w + 6496 + 5423. Suppose 4*u - q = -5*i, 2*i + 5*u - 1250 = 1120. Is i composite?
True
Let a be (-5 + -2)/(1*-1). Let k(y) = 2*y**2 - 10*y + 42. Let g be k(a). Suppose -7*p + 2*s = -3*p - 50, -g = -4*p - 2*s. Is p a composite number?
True
Let b(t) = t**3 - 16*t**2 - 11*t - 5. Let r be (7 - 6)/((-3)/(-6) - 1). Let i(w) = 2*w**3 - 33*w**2 - 22*w - 10. Let a(d) = r*i(d) + 5*b(d). Is a(16) prime?
True
Let b be 3 - (218 + 3/1). Let p = 1885 - b. Is p a composite number