 + 5*s**2/2 + 6*s. Is j(5) prime?
False
Let s be 1/((-15)/12)*5. Let v(c) = -40*c - 3. Is v(s) prime?
True
Let d = 2047 - 1454. Is d a composite number?
False
Suppose 3*h + g - 6 = h, 2*g - 4 = -2*h. Suppose -4*c = 3*z - 463, 2*c - 604 = -h*z - 0*z. Is z a composite number?
False
Let u be (-10)/4*-2*1. Suppose -u*v + 307 + 358 = 0. Is v composite?
True
Let p(w) = 2*w**2 - 2*w**2 + 35 + w**3. Let c(h) = -h - 7. Let o be c(-7). Is p(o) a composite number?
True
Let g(b) = b**3 - 7*b**2 - 7*b - 3. Let k be g(8). Suppose 5*v - 5*n - 80 = -n, -k*v = -2*n - 80. Suppose -4*f + v = -20. Is f a composite number?
True
Let m(f) = -103*f. Is m(-1) a prime number?
True
Suppose 0 = -5*y - 2 + 202. Let v = y - -251. Is v prime?
False
Let u be (-1 - (2 + -2)) + 1. Suppose -5*o = -4*c - 189, u = -o + 3*o - 2*c - 76. Is o a prime number?
True
Is (-1545)/(-7) + (-16)/(-56) prime?
False
Let a(z) = 378*z**3 + 1. Let w(l) = l**3 - 15*l**2 + l - 14. Let n be w(15). Is a(n) prime?
True
Let j(a) = 2*a - 7. Let i be j(3). Let f(t) = -251*t + 2. Is f(i) composite?
True
Let z(m) = -7*m**2 - 7*m. Let g(c) = c**2 - 1. Let b(i) = 6*g(i) + z(i). Let h = -19 + 14. Is b(h) prime?
False
Suppose -2*b + 583 = 2*l - 255, -l - 1241 = -3*b. Is b a composite number?
True
Let u = -8 - -15. Let h = 5 - u. Let q = 9 - h. Is q a prime number?
True
Let g = 6257 - 3402. Is g a composite number?
True
Let q(t) = 26*t**3 + t**2 - 6*t + 6. Is q(3) a prime number?
False
Let i(n) = 324*n - 37. Is i(2) a prime number?
False
Let m = -470 - -1173. Is m a prime number?
False
Suppose -5*l + 3*s + 2642 = 0, -4*l + s + 342 = -1766. Let w = 743 - l. Suppose -4*c + w = 2*a + 37, 2*a + 8 = 0. Is c composite?
False
Suppose v = 2*o - 3682, -5*o - v - 2*v = -9205. Is o composite?
True
Let i(n) = -3*n**2 + 13*n - 4. Let j be i(9). Let g = -75 - j. Is g a prime number?
False
Let v = -1 - -3. Suppose -56 = -w + v. Is w a composite number?
True
Suppose 9*y - 4*y = 0. Suppose z - 4 - 3 = y. Is z composite?
False
Let m be (-12)/((-2)/1 - 0). Is (4/m)/((-2)/(-117)) a prime number?
False
Let m(u) be the third derivative of u**5/60 + u**4/24 + 39*u**3/2 - u**2. Let w be m(0). Suppose 2*y = 5*y - w. Is y prime?
False
Let w be 1/(-2) - 7/(-14). Let f(t) = t**2 + 91. Is f(w) composite?
True
Let w be 2/(-2) - 3/1. Is (w - 1)/(4/(-68)) prime?
False
Let d = -9 + 12. Suppose 3*b - 4*b = s - 109, 2*s + d*b - 214 = 0. Is s a composite number?
False
Suppose 2*c + 4*x = 18, 0 = -5*c - 0*x + 5*x. Suppose 4*h - 191 - 48 = -5*s, 0 = -c*h - 5*s + 183. Let w = 93 + h. Is w composite?
False
Suppose 2*u + 0*u = -14. Suppose 0 = -2*n - n + 3*v - 66, 4*n + v = -88. Let a = u - n. Is a composite?
True
Let g(s) = s**3 + 4*s**2 - 4*s + 5. Let x be g(-5). Suppose 21 = -5*y + 1, -m - 4*y + 114 = x. Let p = m + -79. Is p prime?
False
Is (-3)/3 - (-1 + 4102/(-2)) composite?
True
Let g(t) be the second derivative of 29*t**4/12 - t**2/2 - t. Let k be g(1). Suppose -f + 2*y - k = -149, -9 = -3*y. Is f a composite number?
False
Let z = -2486 - -3493. Is z composite?
True
Let z(j) be the first derivative of j**3 + 1/2*j**2 - 2 + j - 13/4*j**4. Is z(-2) composite?
True
Let o = -19 - -21. Suppose -7*v + o*v = -1085. Is v composite?
True
Let y(t) = -8. Let s(g) = -g - 1. Let h be 3/(-3) + 10/(-2). Let v(a) = h*s(a) + y(a). Is v(6) a composite number?
True
Let j(n) = -n**3 + 11*n**2 + 16*n + 3. Is j(12) a prime number?
False
Suppose 0 = -3*q + p + 1466, -2*p + 7*p = -3*q + 1472. Is q a prime number?
False
Let b = -1 + 1. Let h = 0 - b. Suppose -5*i + 655 = -h*i. Is i a prime number?
True
Let q = 11 - 7. Suppose q*f + 12 = 4*i, 0 = -0*f + 2*f + 6. Suppose 5*m - 5*y = -0*m + 815, 2*m + 3*y - 316 = i. Is m a composite number?
True
Let z(p) = 20*p - 1. Is z(6) composite?
True
Let y(w) = 4*w**2 + 4*w + w - 3*w - 3 + w. Is y(2) a composite number?
False
Let a be ((-20)/25)/(4/10). Is 3/(-3*a/42) composite?
True
Suppose -5*u - 22 = 4*w, 4 = -3*w + 5*u + 5. Let m be w - -3 - (0 + -3). Suppose 4*h + 27 - 276 = -5*f, -143 = -m*f - 4*h. Is f a composite number?
False
Let b = 1 - -2. Suppose -t - 2 = -b*u + 26, -3*t + 16 = u. Is u a composite number?
True
Suppose -y = 5*c - 44, 3*y + c - 127 = -9. Let f = y + -18. Is f a prime number?
False
Is (2 - -1) + 330 - -2 a composite number?
True
Suppose 5*q + 506 + 1524 = 0. Let r = -195 - q. Is r a prime number?
True
Suppose 2*v = 11 - 3, 2*v = 4*c + 20. Is (-38)/(-8)*(1 - c) prime?
True
Let a = -5 - -10. Let v = a + -11. Is (-112)/v + 4/12 prime?
True
Let l(d) = 21*d + 1. Let u(w) = w**3 - 6*w**2 - w + 7. Suppose 5 - 15 = -h + 2*v, -3*h = -3*v - 24. Let q be u(h). Is l(q) a prime number?
False
Suppose 0 = -4*s + 12. Let t(p) = -12*p + 16*p + 22*p - 1. Is t(s) composite?
True
Let c be (131/3)/(1/(-3)). Suppose -2*a + 142 = -l - l, -5*a - 237 = 3*l. Let h = l - c. Is h composite?
True
Suppose 0*r - 5*r = -635. Is r composite?
False
Let l(y) = -y**3 + 11*y**2 + 2*y + 5. Let d be l(11). Let m = d - 51. Let u = -5 - m. Is u a prime number?
True
Let z be (-2)/11 + 138/33. Suppose 0 = -z*t + t. Suppose -52 = -t*w - 2*w. Is w a composite number?
True
Is (-226)/(-6) - 20/30 prime?
True
Let c(z) = 2*z**2 - 17*z + 2. Let u = 17 + -5. Is c(u) prime?
False
Suppose 0 = -c - r + 2, -2*c = 5*r - 23 + 7. Is c + 2 - 3 - -214 prime?
True
Suppose -2*d + 6 = 32. Let s = 46 + d. Is s a composite number?
True
Let g = -17 + 73. Let t = -35 + g. Is (t/(-6))/(2/(-68)) prime?
False
Let o be 12/2*(-6 + -2). Let v = o + 85. Is v composite?
False
Is (-24854)/(-18) + 4/(-18)*-1 a prime number?
True
Suppose 2*y + 50 - 78 = 0. Is y composite?
True
Let j(s) = -3*s**2 - 4*s + 19. Let z(f) = 2*f**2 + 3*f - 20. Let q(m) = -3*j(m) - 4*z(m). Is q(0) prime?
True
Is 4/6 - (-1351)/6*2 a prime number?
False
Suppose 4*t + 5*f = 348, -f = -5*f + 16. Is t a composite number?
True
Let d(i) = -i. Let m(h) = -46*h + 1. Let u(p) = 2*d(p) - m(p). Is u(2) a prime number?
False
Suppose 0 = 2*t + 43 + 47. Is (-3326)/(-18) - 10/t composite?
True
Let o = -6 - -8. Suppose 0 = -o*h - h + 1980. Suppose -5*j - h = -5*k, 7*k - j = 2*k + 640. Is k a prime number?
True
Let d = 94 + -46. Suppose 3*f - d = 129. Is f a prime number?
True
Let g(i) = 3 - 4*i**3 - 1 - 8*i**2 + 3*i**3 + 2*i + 2*i**2. Let c be g(-4). Is 3*c*(-3)/18 a prime number?
True
Let m(q) = -38*q + 2. Let z be m(-4). Let k = -61 + z. Is k a prime number?
False
Let d(c) = 2*c**3 - 4*c**2 - 6*c + 7. Is d(4) composite?
False
Suppose 160 + 120 = o. Let a = 16 + -11. Suppose 0 = -5*x + a*z + o, 4*x - 2*z - 34 = 188. Is x prime?
False
Suppose 5*u - 3 = 7. Let h be 1*(u - 0) + -2. Suppose -3*m = -h*m - 159. Is m a composite number?
False
Suppose 4*t = 2*v - 262, 5*t - 157 = -4*v + 341. Is v a prime number?
True
Is ((-8)/(-4))/(4/290) a composite number?
True
Suppose -d - 4 = -3*f + f, f - 2 = 4*d. Suppose -w + 3*w - 4*q - 678 = 0, d = 2*w - q - 663. Is w a composite number?
True
Let x = 438 + -230. Suppose 4*w + 2*h = x, 3*h + 8 = -h. Is w composite?
False
Suppose 2*q - 4*q = -62. Is q prime?
True
Let j(k) = 3*k**3 + k. Suppose 6*l - 10*l - 4 = 0. Let s be j(l). Is (-87)/(-1) - (s + 2) composite?
False
Let m(x) = 8*x + 5. Suppose 0 = 4*g + 3*d - 28, -2*d + 20 = -3*g + 6*g. Is m(g) prime?
True
Let u(t) = 24*t**3 + 2*t**2 + 3. Let y(w) = -25*w**3 - 2*w**2 - w - 3. Let k(m) = 2*u(m) + 3*y(m). Is k(-2) a composite number?
False
Let z(j) = -37*j**3 - j - 1. Suppose 0 = q + 2 - 5. Suppose -q*p = -p + 2. Is z(p) a composite number?
False
Let q(f) be the second derivative of f**6/72 + f**5/40 + f**4/24 - f**3/3 + f. Let v(c) be the second derivative of q(c). Is v(-3) prime?
True
Suppose 2*j - 3*j + 122 = 0. Is j composite?
True
Suppose -b = -8 - 0. Let d = 7 + b. Is d prime?
False
Let w(n) = n - 5. Let h be w(5). Suppose h*g = -g + 397. Is g prime?
True
Let z(t) = -3*t - 9. Let a be z(10). Let v = a + 256. Is v composite?
True
Suppose -3*c + 5*p + 998 = 0, 3*c + 2*p + p - 990 = 0. Is c prime?
True
Is (-455)/10*-1*2 composite?
True
Let o be (-3)/9*-3 - -1. Suppose -o*z = -5*y - 105, -5*z = -4*y - 281 + 10. Is z prime?
False
Suppose 4*t + 4*s - 20 = 0, -30 = -2*t - 3*s + 5*s. Is t composite?
True
Suppose 4*m - 6 = m. Suppose 0 = 5*z - m*o + 42 - 264, 4*o = -3*z + 154. Let l = z + -15. Is l a composite number?
False
Suppose 0 = 2*