 u(s) = 5*s - 17. Let x(z) = 7*n(z) - 4*u(z). Let h be x(0). Suppose h*d = d + 88. Is d a prime number?
False
Suppose -4534 = -2*z + 2*w, 0 = 5*z - 0*z - 2*w - 11335. Is z prime?
True
Suppose 3*p - h = -0*h + 47, 4*h + 48 = 2*p. Let y be -1 + (-2 - -1) + p. Suppose -w + 2*g = -13 - y, 3*g + 15 = 0. Is w a prime number?
False
Suppose d - 22 - 1 = 0. Is d composite?
False
Let k(x) = x. Let d be k(3). Suppose 2*p - 1731 = -d*p + 2*n, n - 1043 = -3*p. Is p a prime number?
True
Let w be 1/6 - (-46)/12. Let n = w - 3. Is (n + 0/3)*37 composite?
False
Let u = -439 + -112. Let f = u + 1002. Is f a composite number?
True
Is (1/3)/(2/1614) a prime number?
True
Suppose -2*t - 30 = 3*f - 5*f, 3*f - 33 = 2*t. Is 1172/6*(-18)/t prime?
True
Let r be (-1 - -2)/(4/332). Is r - 0/(3 + -6) composite?
False
Let n(p) = p**2 + p + 5. Let k be n(0). Suppose -495 = -2*j - j. Suppose -4*q - q = 5*s - j, 3*q = k*s + 83. Is q a prime number?
True
Let i(o) = o**2 + 7*o + 5. Let c be i(-7). Suppose c*z - 5*n = -0 + 20, -5*n + 16 = z. Is z a prime number?
False
Suppose -453 = -4*q - 5*t, 2*t - 5 = -3. Is (-3)/2*q/(-12) a prime number?
False
Suppose 847 = 4*v - 3*o - 9, v + 2*o = 203. Is v prime?
True
Suppose 2*w = -5*l + 1046, -5*l - 3*w + 7*w + 1028 = 0. Let v = 471 - l. Is v a prime number?
True
Let p = 5 + -5. Suppose 2*w + p*f + 2*f = 92, -2*w + 89 = f. Is w a prime number?
True
Let v = 2413 + -1606. Is v prime?
False
Let q be 4 + -5 - -1*2. Let c(p) = 39*p**2 + 1. Let x be c(q). Let u = x + -1. Is u prime?
False
Let m(v) = -15*v - 5. Is m(-8) composite?
True
Let t = 452 - 273. Is t composite?
False
Suppose -4*k + f = 0, 5*k = -2*f - 0*f. Let j(y) = -4 + y**3 + 41 + k*y**2 + 0*y**2. Is j(0) prime?
True
Let c = -584 + 973. Is c composite?
False
Let g(y) = 7*y**3 - y + 1. Let j be g(1). Let a(d) = d**3 - 5*d**2 + d - 3. Let o be a(5). Suppose j*t - o*t - 20 = 0. Is t a composite number?
True
Suppose 2*j - 4*q + 19 - 7 = 0, 5*j + 25 = 5*q. Let d be j/10 + 32/5. Suppose n - d*n = -45. Is n a composite number?
True
Let w(x) = x**3 + x**2 - 2. Let s(l) = l**3 - 3*l**2 - 3*l - 2. Let h be s(4). Let j be w(h). Is (8 - 11) + 1*j prime?
True
Suppose -4*v + 13 = 3*b - 0*b, v = 2*b - 5. Suppose -c = b - 5. Is 1/(177/(-89) + c) prime?
True
Let o be (-1)/(-2)*(-16)/(-2). Is (-508)/2*o/(-8) a composite number?
False
Let w(f) = 186*f**2 - 3*f + 4. Is w(3) prime?
True
Suppose -3710 = -19*j + 5*j. Is j a composite number?
True
Let n be (-39)/(2/(-8)*-6). Let s = n + 54. Suppose -o = 5*k - 275, -s = -2*k - 2*o + 82. Is k a composite number?
True
Let h(b) = -b**3 + 9*b**2 - b - 9. Let v(u) = -u**2 + u + 8. Let z be v(0). Let x be h(z). Is (-2)/6*-3*x prime?
True
Suppose i + 5*g + 17 = 44, -5*i - 3*g + 113 = 0. Let s(f) = 1 + 11*f + 5*f - i*f - 30*f. Is s(-1) a prime number?
True
Suppose -4*x - 337 = -5*x. Is x prime?
True
Suppose 5*l - 4 - 11 = 0. Suppose -2*u = -b - l, -5*b - u + 37 + 3 = 0. Is b a composite number?
False
Let d be (-152)/(-26) + (-6)/(-39). Suppose 4 - 19 = -5*m. Is 39/6 + m/d composite?
False
Let q = 265 + 98. Let o be (0 - (-1)/(-1)) + 5. Suppose 0*b - q = -3*b + 3*a, 0 = -5*b + o*a + 603. Is b composite?
True
Let x(c) = -11*c**3 - c**2 + 3*c + 2. Let t be x(-2). Let d(f) = -f + 2. Let k be d(5). Let b = t + k. Is b a composite number?
True
Let z(o) be the third derivative of 17*o**7/1260 - o**6/240 + o**5/120 + o**4/12 + o**2. Let u(g) be the second derivative of z(g). Is u(2) prime?
True
Let w(m) = -6 + 0*m + 3 + 0*m + 2*m**2. Is w(-6) composite?
True
Is 2*(-1676)/16*-2 composite?
False
Let f(c) = 2*c**2 + 3*c + 1. Let i = -8 - -14. Is f(i) a prime number?
False
Let p(u) = -u**3 + u**2 - u - 106. Let g be p(0). Let m = g + 175. Suppose 2*h = -h + m. Is h a composite number?
False
Let b(p) = -p. Let a be b(-1). Let l be a + 0 - 44/2. Let g = l - -36. Is g a prime number?
False
Let h = -5 - -3. Is 2*(h - 105/(-6)) composite?
False
Suppose 5*y = y + 12. Suppose 4*m = y*m - 5, 2*m = -3*p + 23. Is p prime?
True
Let z = -278 - -469. Is z composite?
False
Suppose -4*x = -x - 3*d - 714, -3*d = 2*x - 461. Let i = x - 120. Is i composite?
True
Suppose 3*t - 246 = -3*c + 6*c, 76 = -c - 5*t. Let y = 244 + c. Is y prime?
True
Let m = 1 + -2. Let a(i) = i**3 + 2*i**2 + i. Let v be a(m). Suppose 52 = -2*k + 4*k + 2*u, -4*k + 2*u + 86 = v. Is k a composite number?
False
Suppose 388 = 4*x + 4*y, 5 = 5*y - 10. Is x a composite number?
True
Suppose -2*m + 2640 - 558 = 0. Is m a prime number?
False
Let y(b) = -b**3 - 4*b**2 + 8*b - 13. Is y(-12) a prime number?
False
Let b(h) = 8*h + 1. Let i be (-16)/(-4) - (0 - -2). Let z be b(i). Let q = z + 8. Is q a prime number?
False
Let j(y) = 2*y**3 - 2*y**2 + 2*y + 8. Let o(n) = -n**3 + 2*n**2 - 2*n - 7. Let c(k) = -4*j(k) - 5*o(k). Is c(-4) composite?
True
Suppose -3*r = 2*r - 385. Is r composite?
True
Suppose -20 = 5*k, 0 = -4*g + g - 5*k + 613. Is g a prime number?
True
Let t be (-3)/((-55)/58 - -1). Let v = t + 89. Is v prime?
True
Let g(w) = 47*w**2 + 4*w - 7. Let i be g(7). Suppose -5*t + 236 + i = 0. Let h = -313 + t. Is h a composite number?
False
Let l(m) be the third derivative of 7/60*m**5 + 2*m**2 - 7/6*m**3 + 0 + 0*m + 1/120*m**6 - 1/12*m**4. Is l(-7) prime?
True
Suppose -5*b = -2*s - 3*b, s - 5*b + 8 = 0. Suppose s*y - 87 = -d, -3*d = 3*y - 6*d - 153. Is y a composite number?
True
Suppose 3*f - 4 = f. Suppose -q + f*q - 4 = 0. Suppose -q*v + 8 = -0*v. Is v composite?
False
Let z be (-3)/6*-1*-16. Is (z + 2)/(-3) - -47 a composite number?
True
Suppose 3*u - 192 = 7*u. Let s = -22 - u. Let z = s - 7. Is z a prime number?
True
Let v(z) = 40*z**2 - 9*z + 13. Is v(6) a prime number?
True
Let y = 167 + 27. Is y composite?
True
Let i(h) be the second derivative of -17*h**3/6 - 3*h**2 + 2*h. Is i(-5) prime?
True
Let o be ((-4)/12)/((-2)/12). Let x(t) = 4*t - t**o + 2*t**2 + 12 - 3. Is x(-6) composite?
True
Let g(p) = -p**3 - 2*p**2 - 2*p - 2. Let y be g(-2). Suppose -3*q + u - 77 = y*u, q - u = -27. Let t = q + 39. Is t composite?
False
Let h(j) = 67*j**2 - j + 1. Let f(r) = r**3 - 3*r**2 - 4*r. Let i be f(4). Suppose i = 4*z + 2*u + 3*u - 9, 5*z = u + 4. Is h(z) a composite number?
False
Suppose 4*l - 1979 + 31 = 0. Is l a prime number?
True
Let z = 6 - 3. Suppose -z*q = 482 - 1361. Is q composite?
False
Let c(g) = g**2 + g + 0*g - g**3 + 2*g**3 - 4. Is c(3) a composite number?
True
Let o be (3 - (-9)/(-3))/(-1). Suppose -3*d = -3*c - o*d + 291, 15 = 5*d. Let q = c + -54. Is q composite?
True
Let k = 415 + -204. Is k a prime number?
True
Suppose 0*v - 3*v - m + 1620 = 0, 4*v - 2170 = 2*m. Is v a prime number?
True
Let r(k) be the second derivative of 0 + 1/2*k**2 - k + 1/4*k**4 - 5/6*k**3. Is r(-4) a composite number?
True
Suppose 3*q + 3*x = -0*q - 9, q = -5*x - 15. Suppose -5*c - 5*v = -255, -2*v - 7 + 3 = q. Is c prime?
True
Suppose 3*b - 1447 = a, -3*b - 3*a + 2*a + 1439 = 0. Is b prime?
False
Let g(u) be the second derivative of -17*u**3/6 - 2*u**2 + u. Is g(-3) a composite number?
False
Let d(j) = -j**2 + 4*j - 1. Let s be d(5). Let g = 13 + s. Is g a composite number?
False
Let h = 21 - 23. Is 0/(-3) - 222/h a prime number?
False
Let o be (-4 + 2)/(4/6). Let r be 2/o + (-32)/(-12). Suppose -2*m - 2*g = -g - 54, m - 33 = -r*g. Is m a prime number?
False
Let l(p) = p**2 + 5*p + 6. Let n(g) = g**2 + 1. Let v(k) = -l(k) + 3*n(k). Is v(-4) a composite number?
True
Let h = 646 - -325. Is h prime?
True
Let l be 1*3/(5 + -2). Let s be (1/2)/(l/(-120)). Let a = -23 - s. Is a a composite number?
False
Let a = 13375 - 8118. Is a a composite number?
True
Let w = 407 - 236. Let h = w - 28. Is h a composite number?
True
Let z(u) = 3*u + 4*u + 8*u**2 - 7*u + 3. Is z(4) a composite number?
False
Suppose -4*c = -3*m - 110, 0*c + 3*c - 70 = -4*m. Is c a prime number?
False
Let n(j) = j**2 - 10*j + 4. Let x be n(10). Suppose x*s = 6*s - 416. Let i = s + -129. Is i prime?
True
Let j = 15902 + -8995. Is j composite?
False
Let x be ((-56)/(-21))/((-2)/(-9)). Suppose 0 = 2*j - 0 - x. Is 22/(3*j/27) prime?
False
Suppose o - 89 = -10. Is (-6)/33 + o/11 prime?
True
Let d be 18/(-4)*(-2)/1. Let k be 4*d/3*-1. Is -3*14/k*4 composite?
True
Let j be (-13)/(-3) + (-2)/(-3). Suppose -5*f - 2*s + 647 = s, 5*f - 655 = -j*s. Is f prime?
True
Suppose -x = -5 +