9*x. Is j(-6) prime?
False
Suppose 0 = 5*o - o - 2348. Suppose -4*t - 2064 = -4*g, -o = -2*g + 5*t + 460. Is g a composite number?
True
Let z(w) = w**2 - 11*w - 5. Is z(-7) prime?
False
Suppose -c + 268 = 4*c + 3*i, 0 = -c + 3*i + 68. Let y = 37 - c. Let x = 38 + y. Is x a composite number?
False
Suppose 0 = -3*g + 3*o + o + 794, 2*o = 3*g - 784. Is (g - 4) + 1 + -2 a composite number?
True
Suppose 0 = 4*j - 0 + 16. Is (-5)/j*8476/13 composite?
True
Let w(s) = -s + 4. Let m be w(3). Let r = 4 - m. Suppose 5*f - 1329 = -r*n - n, 665 = 2*n + 3*f. Is n a prime number?
True
Let m(h) be the second derivative of 3*h**3/2 + 7*h**2/2 - 2*h. Let b be m(-6). Let d = -14 - b. Is d a prime number?
False
Let j = 3 + 13. Let v be (-112)/(-6)*(-156)/j. Let g = 297 + v. Is g a prime number?
False
Let k(y) = 5*y**2 + 3*y + 4. Let p be k(-4). Suppose -3*s + i = -214 - p, 0 = -s + 5*i + 72. Is s a composite number?
False
Is 25/5 + 851 + -3 a composite number?
False
Let g(t) = -t**2 - 4. Let i be g(0). Let d = i + 14. Is d composite?
True
Let o = 378 + -269. Is o composite?
False
Suppose 2*d - 4 - 2 = 0. Suppose 0 = -3*i + i - d*l - 7, 0 = -5*l - 15. Let x = i + 8. Is x composite?
True
Suppose 6*p + 510 = 7*p. Suppose -4*s = -26 - p. Is s a prime number?
False
Let h be ((-3)/6)/(3/(-18)). Let y(u) = u - 5. Let g be y(5). Suppose 43 = k + 2*v - 56, -h*k + v + 262 = g. Is k prime?
True
Suppose -5*w + 4*t + 18 = 0, 3*t + 20 = 5*w - 2*t. Let n(m) = 2*m + 1 - 3*m + m - 2*m + 3*m**2. Is n(w) a prime number?
False
Suppose -5*h + 8 = -2. Let x(i) = 0*i**2 + i**2 - 8*i + h*i. Is x(7) a composite number?
False
Let c(m) = -m - 4. Let a be c(-2). Is 152/7 - a/7 a prime number?
False
Let k(d) = -5*d + 3. Suppose -5*b = -2*v + 6*v + 71, 5*b + 59 = -v. Is k(b) prime?
False
Suppose 114*o - 20531 = 107*o. Is o a prime number?
False
Let r = 2 - 5. Let n(p) = -4*p**3 + 7*p**2 + p. Let w(g) = 3*g**3 - 8*g**2 - g + 1. Let f(u) = r*w(u) - 2*n(u). Is f(5) a composite number?
False
Let j = 42 - 42. Let g(i) = -5*i**2 - 8*i - 2. Let f(k) = 3*k**2 + 5*k + 1. Let c(h) = -8*f(h) - 5*g(h). Is c(j) a composite number?
False
Let s = 549 - 128. Suppose 405 = 5*q + 5*v, 5*q + v + 0*v - s = 0. Is q a composite number?
True
Let l(k) = -k**3 + 10*k**2 - 3*k + 11. Is l(8) prime?
False
Let h = 103 + -51. Suppose 0 = -3*j + h + 107. Is j composite?
False
Let t = 14 - -923. Is t a composite number?
False
Let k = -7 + 6. Let v be k/4 + 605/4. Suppose -2*n - 167 = -3*p, 6*p - v = 3*p - 2*n. Is p a prime number?
True
Let d(y) = -y**3 - 2*y**2 - y - 5. Suppose v + 18 = -4*z, -v - z + 6 - 15 = 0. Is d(v) a composite number?
True
Let q = -140 + 681. Is q a prime number?
True
Is (-99)/(-7) - (-1 - 16/(-14)) composite?
True
Let n(k) = -k**2 + 19*k + 19. Is n(13) a composite number?
False
Let c be -1 + (0 - -1) + 2. Suppose 183 = f + c*f - 4*r, -f + 2*r = -59. Is f a prime number?
False
Let r(t) = t**3 - 8*t**2 - 7*t + 4. Suppose 3*z - 7*z = -40. Is r(z) composite?
True
Let l = 1007 - 434. Is l composite?
True
Let l be (-14)/(-3) + (-2)/(-6). Suppose -k - 4 = -5*s, 4*k - 7 = l*s + 7. Let u(t) = t**3 - 3*t**2 + 7. Is u(k) a prime number?
False
Let g(d) = -d**2 - 6*d + 4. Let s be g(-6). Let n(c) = c**3 + 11*c**2 + 2*c + 11. Let f be n(-9). Suppose s*t + t - f = 0. Is t prime?
True
Suppose -h + 19 = -k, 53 = 10*h - 8*h - 5*k. Is h composite?
True
Let b be (-18)/4 + 4/8. Let v(h) = h**3 + 6*h**2 + 6*h + 1. Let d be v(b). Let l = 12 + d. Is l a composite number?
True
Suppose 5*v = -5, -4*v + 3*v = 4*p - 2083. Is p a prime number?
True
Let t(q) = -q**3 - 3*q**2 + 2*q - 3. Let x be t(-4). Suppose 0 = 2*z - z + x. Let v(h) = 3*h**2 + 2. Is v(z) prime?
False
Suppose 4*r - 5*k - 1709 = 0, -2*r - 321 = 5*k - 1168. Let l = r + -89. Is l a prime number?
True
Let i = 3 + 5. Let v(h) = -h**2 - h + 3. Let n be v(0). Is 1/n - i/(-3) a prime number?
True
Suppose -4*r + 8*h = 3*h + 48, 0 = -4*r + 2*h - 60. Let n = r - -9. Let l(w) = w**2 + 7*w + 7. Is l(n) prime?
False
Let u(w) be the first derivative of -15*w**2/2 + w - 1. Suppose 2*j - 18 = 4*d + 4*j, j = -5*d - 18. Is u(d) a prime number?
False
Suppose 30 + 273 = 3*r. Suppose 5*w - r - 29 = 0. Is w a composite number?
True
Suppose 0 = 4*u - s - 2042, 3*s - 759 - 780 = -3*u. Is u composite?
True
Let q = 66 + -118. Let k = 96 - 65. Let w = k - q. Is w a prime number?
True
Let k be -1*(2 + 5) - -2. Let n be (-10)/25 + (-487)/k. Suppose 3*q - n = 4*r - 6*r, 0 = 2*q - 4*r - 54. Is q a composite number?
False
Suppose 4*r = -5*s + 4*s - 53, -67 = 5*r + s. Is (-1326)/r - (-22)/77 prime?
False
Suppose 3*o = -3*o + 1506. Is o a prime number?
True
Let n(o) = 2*o**3 - o**2 - 10*o - 10. Let f(g) = -g**3 + 5*g + 5. Let z(r) = 5*f(r) + 2*n(r). Suppose 0 = 5*q - 3*q + 10. Is z(q) a prime number?
False
Let u(s) = 41*s - 4. Suppose 4*t - 5*b = 37, -3*b = -5*t - 0*b + 30. Let g be u(t). Let n = g + -84. Is n composite?
True
Let o(k) = 35 - 36 - 2*k**2 + 6*k**2. Is o(-2) composite?
True
Let l = -788 - -2047. Is l prime?
True
Let x(j) = 9*j**2 - 9*j + 9. Let u be x(6). Suppose 0 = 4*o - o - u. Suppose o + 2 = 5*r. Is r a composite number?
False
Suppose -2*b = -5*d - 1368, 0*b + 3*d + 2750 = 4*b. Is b prime?
False
Let a = -1 - -9. Let x = a + -8. Suppose x = 4*y + 5*t - 562, -2*y - 435 = -5*y + 3*t. Is y a composite number?
True
Let p = 469 + -258. Is p a composite number?
False
Suppose -5*h + 15 = 5. Suppose -h*c + 4 = -0*c. Suppose -3*n + 132 + 7 = -g, -c*g - 43 = -n. Is n a composite number?
False
Is (-584)/(-6) + 2/(-6) composite?
False
Let y(q) be the second derivative of 2*q**4/3 - q**3 - 3*q**2/2 - 4*q. Is y(-4) prime?
True
Let y = -918 - -1333. Is y a prime number?
False
Suppose 0 = -3*l - 7 + 19. Is 2/l + (-531)/(-6) prime?
True
Is 1123/(-1 + 2)*1 composite?
False
Suppose 5*h + 205 = 2100. Is h a prime number?
True
Let g be (-2364 + -3)*(-8)/(-6). Let b = 21 + -14. Is g/(-28) - (-2)/b composite?
False
Suppose 237 = 4*c - 483. Is c + ((-6)/3 - 0) composite?
True
Suppose 0 = 4*q - 5*j - 1067, 3*q - 815 + 32 = -2*j. Is q prime?
True
Suppose 5*a = -0*a - 40. Let x(g) be the second derivative of g**4/12 - g**3/3 - 3*g**2/2 + 6*g. Is x(a) a prime number?
False
Is (-1)/1 - (-721 + 7) a prime number?
False
Is (-3 - -503) + -1 - (-2 - -2) prime?
True
Suppose -7 = -4*l + 1, d - 13 = -5*l. Let r be (-2)/2 - 480/d. Let a = -102 - r. Is a a prime number?
True
Let o(g) = 5*g**3 + 2*g - 1. Let p be o(1). Suppose t = -2*t - p. Is t/(-11) - 152/(-11) prime?
False
Let n = 579 + -1129. Let x = -309 - n. Suppose 3*a + 0*l + l - 236 = 0, -3*a + x = -4*l. Is a prime?
True
Let c = 276 - -835. Is c a composite number?
True
Let z = -4 + 7. Suppose -z*r + 144 = -69. Is r a composite number?
False
Let h = 6 + -6. Let f be (1 + 3 - -1) + h. Suppose f*o - 50 = 165. Is o prime?
True
Suppose -5*c + 358 + 423 = 2*v, -2*v - c = -785. Is v prime?
False
Let q = -3 + 3. Suppose q = 3*k - 8*k + 805. Is k composite?
True
Let f = 3 + 5. Let c be 9/(-12) - (-1046)/f. Suppose -c = -5*s + 2*q, 4*s + q - 104 = 5*q. Is s prime?
False
Suppose -3*h - 26 = 4*j, -2*h + 0 = -2*j - 6. Let m(r) = 14*r**2 + 2*r + 1. Is m(h) a composite number?
False
Let n = -2 - 2. Let y(k) = -k**3 - 5*k**2 - 5*k - 4. Let b be y(n). Is 0 + -2 + b + 17 a prime number?
False
Suppose 0 = 2*f + 3*f. Suppose f*u + 206 = 2*u. Is u composite?
False
Let t(g) = 3*g**2 - 17*g - 1. Let r(w) = 4*w**2 - 25*w - 2. Let d(p) = -5*r(p) + 7*t(p). Let m be d(-6). Suppose 0 = -m*k + 237 - 78. Is k composite?
False
Suppose 1290 = 5*u + 85. Suppose 5*x = -5*l + 590, 0*x = -2*x - 3*l + u. Is x composite?
False
Let d = 1601 - 928. Is d prime?
True
Suppose 8 = 5*s - 2. Let v be s - 1 - (0 + -15). Is (44/v)/((-2)/(-40)) a composite number?
True
Let f be (-971)/(-7) - (-2)/7. Suppose 4*g + 12 = 0, -4*r + 9*g = 4*g - f. Is r a prime number?
True
Suppose y + 4*y - 90 = 0. Is (-4)/(-18) - (-2174)/y composite?
True
Suppose -3*j = 2*l + 2, -3*j - 9*l + 4*l + 4 = 0. Let c be (-12)/(-9) + j/(-3). Is (-1310)/(-5)*c/4 a prime number?
True
Is 91 - 1*(-6 + 4) a composite number?
True
Let u(s) be the second derivative of s**4/4 + s**3/2 + 3*s**2/2 - 3*s. Let z(w) be the first derivative of u(w). Is z(3) composite?
True
Let m(z) = 5*z**2 - 31*z - 25. Is m(-29) composite?
True
Let j(x) = x**