p = 14 + -15. Is 263 - (0 + p)*4 a prime number?
False
Let p(x) = -7*x + 1. Let f be p(-2). Suppose f*w - 2121 = 8*w. Is w composite?
True
Suppose -4*u = -y - 6132 - 8454, 4*y + 8 = 0. Is u composite?
True
Suppose 2*z - 7130 - 168 = -4*h, z = -5*h + 3643. Is z composite?
True
Let q = -31 + 43. Let s(y) = y**2 - 1. Let v(b) = 7*b**2 - 5*b - 1. Let g(x) = -6*s(x) + v(x). Is g(q) composite?
False
Suppose -16 = i - 12. Is (-886)/i*2 + 0 a composite number?
False
Let t(m) = -21*m + 5. Let r(q) = -q - 1. Let f(w) = 6*r(w) + t(w). Let z be f(-3). Let y = 133 - z. Is y a prime number?
True
Suppose -7*u + 5*u = 0. Suppose -s + 6 = -u*s. Suppose -5*h - 480 = -4*l, -s*l - 3*h + 448 = -2*l. Is l a composite number?
True
Suppose 3*d - 7*d - 12 = 0. Let j be (-84)/(-70)*(-10)/d. Suppose 3*i - 260 = -3*m + m, -j*i = -8. Is m composite?
False
Suppose 4*n = 5*a - 12, n + 2 + 1 = 0. Is (1 - 5) + a - (-3195)/3 a composite number?
False
Let m = -61 + 61. Suppose 3*g - 9583 = -4*d + 2*g, -5*g + 15 = m. Is d composite?
True
Is (-7)/21*-15 - -1112 composite?
False
Suppose 3*w + 6 = -0*w. Let b be 374/8 - w/8. Suppose -153 = -2*u - b. Is u composite?
False
Suppose 6*k - 3*u - 364 = 5*k, 0 = -k - 3*u + 370. Is k a composite number?
False
Let p(w) = -w**2 - 5*w - 14. Let r be p(-6). Let u be (-9)/12 + 5/r. Is 0/(4/u) + 6 a prime number?
False
Suppose -577325 = 217*l - 242*l. Is l a prime number?
False
Let w(t) be the first derivative of -133*t**2/2 - 17*t + 15. Is w(-6) prime?
False
Is ((-12)/(-18))/((-10)/(-265695)) composite?
False
Suppose 0 = -13*u + 282084 - 60941. Is u a prime number?
True
Let o = -6141 + 11779. Suppose -26*h = -28*h + o. Is h a prime number?
True
Suppose 2*n - 5*m - 3237 = 0, n - 1540 = 3*m + 76. Is n prime?
False
Let u be -1 + 6357 + 0 - -3. Is u/13 + 10/(-65) prime?
False
Suppose 3*b - 5*w + 2316 = 5*b, 4*w - 4644 = -4*b. Is b a prime number?
True
Let d(t) = -t**2 - 3*t + 4. Let o be d(-4). Suppose 5*k = 5*z - 2660, z - 535 = -o*z + 4*k. Suppose -4*x + 121 = -z. Is x prime?
True
Is 6/(-15) + (-6505773)/(-145) composite?
False
Suppose -5*d = -d - 380. Suppose 7*k - d = 2*k. Is k prime?
True
Is (3193340/(-20))/(4/(-4)) prime?
True
Let b be (-2)/(-2)*(1 + (10 - 6)). Suppose v + 2*u = -0*u + 1941, -u = -b*v + 9749. Is v prime?
True
Let p(l) = -6 - 4*l + 15 + 0*l + 0*l + 39*l**2. Is p(2) a prime number?
True
Let h = 45417 + -16354. Is h a composite number?
False
Suppose q + 2 = 4. Suppose 6*z - 12 = q*z. Suppose -z*h + 2340 = 3*p, -805 = -p + 3*h + h. Is p a prime number?
False
Let j(k) = -917*k - 5. Let n be j(-4). Suppose -2*q + 11*q = n. Is q a composite number?
True
Let y(t) be the third derivative of 25*t**4/12 - 23*t**3/6 - 5*t**2. Is y(18) composite?
False
Suppose 0 = 6*b - 169379 - 210283. Is b prime?
True
Suppose -6*h - 1232 = 1432. Is 34/((-4)/h*6) prime?
False
Suppose 39*d - 48747 = 1056. Is d composite?
False
Suppose 4*b - 642 = -3*p, 0 = -p + 5*b - 0*b + 195. Let r = p + -19. Is r composite?
False
Let c(f) = 5*f**2 - 8*f + 49. Is c(34) composite?
False
Let c = 12 + 10. Let j = c + -16. Suppose 0 = -4*x + j*x - 178. Is x composite?
False
Let g be (-13)/(-3) + (-10)/(-15). Suppose 5*t - 2*f - 1363 = -226, g*f = 4*t - 913. Let u = t + 404. Is u a prime number?
True
Let a(u) = -503*u + 205. Is a(-6) prime?
False
Is 4 - -13880 - (-1)/2*14 composite?
True
Is 3289 - -9 - (1 + -2) a prime number?
True
Let q(f) = -150*f + 4. Let p be q(-3). Is 4/20 + p/5 prime?
False
Let w(h) = 4*h + 69. Suppose 0 = -5*a - p + 4, p = 5*p - 16. Is w(a) a composite number?
True
Let p = 5 - 5. Suppose p = 5*h - 179 + 4. Suppose 0 = -l + 204 + h. Is l prime?
True
Let n(v) = -4*v**3 - 33*v**2 - 21*v - 9. Is n(-16) a composite number?
False
Let d = -29 - -40. Suppose 0 = -4*o + 5*f + 2, -o = 2*o + f - d. Suppose -q = 5*r - 44, -o*r = -3*q + 73 - 31. Is q composite?
False
Suppose -85267 = -54*o - 37*o. Is o prime?
True
Suppose -8111 = -2*g + 5*d + 2427, 2*d = -2*g + 10538. Is g a composite number?
True
Suppose 3*t + 2*t - 66295 = 5*g, 2*t = -g + 26518. Is t prime?
True
Let a(i) = 8*i**2 - 4*i + 7. Let q be a(3). Let r be (6/9)/((-4)/(-720)). Suppose r = j - q. Is j a composite number?
True
Let l = -1559 + 3276. Is l a composite number?
True
Is (343/42 - 8) + (-101890)/(-12) a prime number?
False
Let x = -8 + 10. Let n(z) = -1 + 12*z + z**x + 14*z**2 - 4*z**2 + z**3. Is n(-9) a prime number?
True
Let u(p) = 37*p**3 - 25*p**2 + 3*p - 44. Is u(11) a composite number?
True
Let i(z) = z**3 + 15*z**2 - 6*z + 3. Let d = 35 - 46. Is i(d) a prime number?
False
Let t = 30 - 20. Let x be (-214)/(-4) - 15/t. Suppose -3*n = -3*q - x - 206, 2*n = -q + 181. Is n a composite number?
False
Is (-9580)/20*4/(-2) a composite number?
True
Suppose -4*a + 16 = -0*a. Suppose -8*t = -a*t - 8. Suppose t*x - 217 = 73. Is x prime?
False
Suppose -2*o + 1079 + 3436 = 3*h, 3*o + 3*h = 6765. Let q = o + -1453. Is q a prime number?
True
Let t = -361 - -1634. Is t composite?
True
Let t(r) = r**2 + 17*r + 15. Let v be t(-16). Is v/3 - 1 - (-4430)/6 a composite number?
True
Suppose 1256 + 468 = 4*v. Let o = v + -12. Is o composite?
False
Let c be (-29 - -9)*5/(-4). Suppose -5*k - 5*x = -c, 10 = 2*k - 3*x - x. Suppose -u - 4 = 0, k*u + 471 + 248 = 3*o. Is o prime?
True
Suppose 5*g = 2*j - 12407, -j - 2*g + 1270 = -4947. Is j composite?
False
Suppose f + 0*d = 2*d + 7601, -5*f - d + 38005 = 0. Is f prime?
False
Let q = -23279 - -34126. Is q a prime number?
True
Is 49243/(-115)*(6 + -191) a composite number?
True
Let l(i) = i**2 + 15*i + 2. Let p be l(-15). Suppose -2*a - 3*a = 2*k - 3987, -2*a + p*k = -1592. Is a a prime number?
True
Let d(y) = y**3 + 2*y**2 + y + 3. Let n be d(0). Suppose 3*c = -3, 5*m - 36608 = -n*c - 7716. Is m composite?
False
Let a = -814 + 1603. Is a a composite number?
True
Suppose -3*z - 404 = -2408. Suppose -10*f + 9*f + z = 0. Suppose -93 = 5*b - f. Is b a composite number?
True
Is 2/(-3 + 69116/23036) a prime number?
False
Suppose 0 = 2*c - 5*p - 732 - 754, -2*p + 3773 = 5*c. Is c a prime number?
False
Let a(r) be the third derivative of 5/6*r**3 + 79/6*r**4 + 0*r - r**2 + 0. Is a(6) a composite number?
False
Let i = 32934 - 17923. Is i a prime number?
False
Let h be 3*1 + (-4 - -2 - 9). Is (h - -139) + 0/(-1*2) a prime number?
True
Let r be -712*1*4/(-4). Let b = r - 359. Is b a prime number?
True
Let w(v) = 2*v**2 + v - 2. Suppose -4*p + 4*t - 15 = 1, -5*p = -t + 36. Is w(p) composite?
True
Suppose 7*j - 3*j - 26 = 5*c, 14 = j - 5*c. Is (-1)/(2/j) - (-4 - 2397) a prime number?
True
Suppose -30474 = -4*u + 2*v, 5 = -4*v - v. Suppose 3044 = 2*k - 2*m, -5*k - 2*m = m - u. Is k a prime number?
True
Suppose 0 - 4 = 4*q - 4*r, 5*q = -4*r - 50. Let d be q*(-1)/2 + -3. Let n(w) = -w + 485. Is n(d) prime?
False
Let d = 19916 + -12301. Is d prime?
False
Let t = -5 + 9. Let d(k) = 106*k - 5. Is d(t) prime?
True
Let z be 2 - -132 - (-3 - -6). Suppose 0 = -5*d + z + 39. Is d a prime number?
False
Let c = 2930 - -1373. Let o = -2744 + c. Is o a prime number?
True
Suppose 0 = -u + 4*t + 197 + 166, 3*u - 3*t - 1125 = 0. Let x = u - 26. Is x prime?
True
Suppose -2*r + 152 = -32. Let k = r - -49. Is k prime?
False
Is 20/(-35) + 71394/14 a composite number?
False
Let a(t) = -t**3 + 14*t**2 - 5*t. Let i be ((-14)/(-6) - 2)*27. Let u be a(i). Suppose -4*w = -u - 404. Is w composite?
False
Let c(n) be the third derivative of -7*n**4/24 - 7*n**3/3 - 6*n**2. Let l be c(-4). Let h = l + 1. Is h a composite number?
True
Is 24791 + -1 + 30/(-6) a prime number?
False
Suppose 17*y + 150232 = 25*y. Is y composite?
True
Is 2/(-14)*0 - 29301/(-3) composite?
False
Suppose 0*m - m + 788 = 0. Let b(n) = 23*n - 78. Let a be b(13). Suppose -5*v = s - a, 6*v + m = 4*s + 2*v. Is s prime?
False
Suppose 0 = 3*u - 4*t - 5831, -5*t + 4*t - 3889 = -2*u. Is u a composite number?
True
Let q(f) = 35*f**3 + 4. Let n(j) = 4*j**2 - j. Let p be n(1). Let o be q(p). Suppose 5*v = -16 + 1, -5*x + o = 2*v. Is x a prime number?
True
Suppose 0 = x + 3*d + 32, 5*d - 38 + 12 = 3*x. Let k = -12 - x. Suppose 2*y - k*p = 392, 3*p = 5*y - p - 963. Is y prime?
True
Let i(l) = 19*l**2 - 1 + 16 + 7 + 5*l + 9. Is i(10) a composite number?
True
Let i(b) = -2*b**3 - 17*b**2 + 12*b - 4. Let w(k) = k**3 - 3*k**2 - 2*k - 7. Let l be w(3). Is