posite?
False
Let n(s) = s**2 - 2*s**2 - 3*s + 3 + 0*s**2. Let i be n(-4). Let l(u) = -4*u**3 + u + 1. Is l(i) a prime number?
False
Let f(z) = -z**2 - 14*z + 13. Suppose 0*a + 43 = -4*a + q, -5*a + q - 54 = 0. Is f(a) a composite number?
True
Suppose 4*s - 8*s + 1436 = 0. Is s a prime number?
True
Suppose l + 3*l - 23303 = -3*d, 2*d + 4*l = 15538. Is d a prime number?
False
Let u(s) be the second derivative of -s**6/120 - s**5/60 + s**4/24 + 41*s**3/2 - 3*s**2/2 - s. Let d(c) be the first derivative of u(c). Is d(0) prime?
False
Suppose 2*s = -r - 3*s + 121, -5*r + 542 = 4*s. Is 4*2*r/16 a prime number?
True
Let v be 1/3 + 336/(-9). Let f = 30 - v. Is f composite?
False
Suppose 0 = -0*u - 4*u + 2*h + 658, -513 = -3*u - 5*h. Is u a prime number?
False
Suppose 4*a + 64 = 4*d, -a + 2*d - 12 = -0*d. Suppose 2*i - 2 = 0, -214 = -2*o - 0*i + 4*i. Let x = o + a. Is x a prime number?
True
Let u(q) = -7*q**3 + 3*q**2 - q. Is u(-3) composite?
True
Let q = 320 + -154. Suppose 0 = -3*d - 31 + q. Suppose -2*b + 4*b - d = 5*y, -2*b + 2*y + 60 = 0. Is b a prime number?
False
Let u be (3 + -3)/(0 - 1). Suppose u*y - 90 = -2*y. Suppose 0 = 2*v + 19 - y. Is v prime?
True
Let h = 14 + -8. Let q(b) = -b + 8. Let i be q(h). Suppose 0 = i*o - 21 - 31. Is o a prime number?
False
Let k(v) = -v + 18. Let m be k(9). Suppose -5*l - m = -5*b + 1, -l + 2 = -5*b. Is 52/8*(-1 - l) a composite number?
False
Let i(s) = -3 + 6 - s**2 + 6 + 27*s. Is i(11) a prime number?
False
Suppose 0 = 2*l + 3*o - 19, 4*o - 2*o = 2. Suppose 2*u - 4*i + l = 0, 3*u + 8 = -3*i + 5*i. Let q(f) = -82*f - 3. Is q(u) a composite number?
True
Let f be 6*((-14)/(-4))/7. Suppose 4*a = f*o + 580, -3*a + 0*o = -2*o - 435. Is a composite?
True
Suppose 8 = -2*g, 4*r + 3*g = g. Suppose 6 = r*j - j. Is j composite?
True
Suppose -5060 = -9*g + 14*g. Is 3/2*g/(-6) prime?
False
Suppose 0 = -2*c - 2*h + h + 796, c = 5*h + 387. Is c composite?
False
Let l = -1 + 2. Let a(q) = -2*q**3 - q + 1. Let c be a(l). Is (-10)/c*(-8)/(-10) prime?
False
Is (1336 - -1)*(-2)/(-7) a composite number?
True
Let m be (-534)/(-10) - (-2)/(-5). Let w = 90 - m. Is w composite?
False
Let x(u) be the third derivative of -u**4/12 - 2*u**3/3 - u**2. Let b(p) = -p**2 - p - 3. Let s(v) = -5*b(v) + 4*x(v). Is s(4) a composite number?
False
Let s(k) = 9*k**2 + k + 11. Is s(-7) composite?
True
Suppose 190 = 4*b - 3*s - 73, 5*b - 3*s = 325. Is b composite?
True
Suppose 784 = -5*o - 3*k + 6*k, 0 = -4*o + 3*k - 629. Let h = -76 - o. Is h a composite number?
False
Suppose 5*n - 19 = -2*w, -5*w - 6 = -16. Suppose 327 = -n*o - 0*o. Let p = -70 - o. Is p a composite number?
True
Suppose -499 = -m + 130. Is m a prime number?
False
Let o be (-16)/6*(-126)/24. Let s(h) = 16*h - 1. Is s(o) a composite number?
False
Suppose 3*m - 753 = -3*g, -257 = -g - 2*m - 2*m. Let j = g - 136. Is j a composite number?
False
Let l be (-8)/6*66/(-44). Suppose 3*t = 2*m - 0*m - 65, -t - 23 = -2*m. Is ((-20)/6)/(l/t) composite?
True
Suppose -5*i + 36 = -3*k, -2*k = i - 6*k + 3. Suppose -x - 16 = -2*f, -4*f = 2*x - 7 - i. Suppose c - f*c + 189 = t, 3*c - 119 = -2*t. Is c a composite number?
False
Let f(i) = 6*i**2 + 7*i - 5. Let d(r) = -3*r - 2. Let q be d(-6). Suppose 0*h = -4*h + q. Is f(h) a composite number?
True
Suppose 0 = -6*v + 4*v + 3554. Is v composite?
False
Let v = 6 + 4. Suppose 3*f + 58 = -u - v, 2*u + 144 = -2*f. Is (2 - 0)*u/(-4) a prime number?
True
Let q(m) = 0*m + 34*m**2 + 1 + 0*m. Suppose 0 = -0*f + f - 1. Is q(f) a composite number?
True
Let n(k) = k**3 + 7*k**2 - 11*k - 11. Let c be n(-8). Let d = 7 - c. Let f(m) = 2*m**2 + 7*m + 4. Is f(d) prime?
False
Let r = 13 - 12. Is 1574*r/(-2)*-1 a composite number?
False
Let r(t) be the first derivative of -27*t**2/2 - t - 1. Let j(y) = -y**3 + 17*y**2 - 16*y - 2. Let p be j(16). Is r(p) a prime number?
True
Suppose 5*f + 5 = 5*m, -2*m - 2*f = 2*m + 14. Let v(s) = 7*s - 4. Let k be v(-8). Is 5/(-10)*(k + m) composite?
False
Let r be 4/18 - (-136)/36. Suppose -1 + 7 = x - r*m, -4*m = -4*x + 12. Is (186/9)/(x/3) composite?
False
Let i = 25 - 23. Suppose -n = 3*z - 476, 3*z - i = z. Is n a prime number?
False
Suppose 4 = 4*o + 12. Let q = 5 + o. Suppose q*l = 6*l - 429. Is l composite?
True
Suppose d - 3*d - 66 = 0. Let a(x) = 11*x**2 - x. Let s be a(-2). Let j = s - d. Is j a composite number?
False
Let x(g) = -g**3 - 2*g**2 - 5*g + 4. Let l(v) = v**3 + 3*v**2 + 4*v - 4. Let i(d) = -6*l(d) - 5*x(d). Let o be i(-8). Is o/8 - (-102)/4 a composite number?
True
Let i(g) = 5*g - 4*g - 3 - g + g**2. Is i(-4) prime?
True
Suppose -358 + 2691 = n. Is n prime?
True
Suppose -5*a + 0*a + 25 = 0. Suppose -a*r = 16 - 1. Is r*((-285)/9 + 2) composite?
False
Let s = 48 + -47. Let c(f) be the first derivative of 113*f**2/2 + 2. Is c(s) prime?
True
Let u be (-2379)/(-6) + 2/4. Let k be (4 - 3/(-3)) + -2. Suppose k*o + u = 4*o. Is o a prime number?
True
Suppose -820 = -2*l + 954. Is l a prime number?
True
Let f be (-136)/(-14) - (-2)/7. Suppose h + f = 6*h. Suppose k + 10 = h*k. Is k a composite number?
True
Let f(x) = x + 8. Let l be f(-8). Suppose 3*t - 12 = -l*t. Suppose -t*j + j = -42. Is j a composite number?
True
Suppose -9*v + 633 = -6*v. Is v a composite number?
False
Let w(u) = -u**3 + 9*u**2 - 7*u - 6. Let a be w(8). Suppose -2*t - 115 = -d - 0*t, 0 = -2*d + a*t + 228. Let o = d - 55. Is o a prime number?
False
Suppose 2*j + 5*b + 0*b = 5127, -2*b - 5092 = -2*j. Is j composite?
False
Let f = -98 - -227. Is f prime?
False
Let f(o) = -2*o**2 + 4*o - 1. Let v(d) be the second derivative of 5*d**4/12 - 2*d**3 + 2*d**2 + 2*d. Let h(y) = -11*f(y) - 4*v(y). Is h(5) prime?
False
Suppose q = -5*l + 962, -3*l - q + 655 = 77. Suppose -5*s = -2177 + l. Is s a prime number?
True
Is (-2)/5 - 3/(-30)*5914 a prime number?
False
Let t(o) = -146*o**3 - 2*o**2 - o. Is t(-1) composite?
True
Let c = 781 - 310. Is c a composite number?
True
Let y be ((-33)/(-22))/(1/(-2)). Is 35 + 0*y/9 a prime number?
False
Let t(x) = -x**3 + 3*x**2 + 4*x - 1. Suppose -20 = -3*a + 8*a. Is t(a) composite?
True
Let s = -9 - -9. Suppose s = 2*o + o - 537. Is o a composite number?
False
Let b(z) = 325*z**2 - 2*z. Is b(1) a composite number?
True
Suppose 0 = -2*l - 2*z + 2, 2*l + 10*z - 5 = 5*z. Let d = -1 + 1. Suppose l = 2*r - y - d*y - 51, r + 4*y = 30. Is r prime?
False
Suppose 4*o + 10 = 2. Let c(t) = -2*t. Let a be c(o). Suppose a*m - 5*m = -127. Is m a prime number?
True
Suppose -p + 6 = 2. Let w be (6/p)/(6/248). Let d = w + -31. Is d prime?
True
Suppose c + 0 = 4. Let j = 37 - c. Is j composite?
True
Let n = -6 - -17. Suppose k = 2*h - 2*k + n, 3 = -h - k. Is -2*(178/h + 0) a composite number?
False
Let i = -10 - -19. Suppose 3*g = i, 0 = -3*u + 4*u + 5*g - 19. Suppose -u*x + 3*o + 204 = o, 220 = 4*x + 2*o. Is x composite?
False
Let p(s) = -s**3 + 3*s**2 + s - 2. Let o be p(3). Suppose 0 = -5*j + 3*l + o + 2, -5*l = j + 5. Suppose -4*i - 3*w + 28 = j, 3*w + 21 = 5*i - 2*i. Is i prime?
True
Suppose 0 = 5*k - 2*o - 159, 8*o = -4*k + 3*o + 114. Is k a prime number?
True
Let y = 5 + 78. Is y composite?
False
Let a(o) = o**2 - 2. Let i be a(-4). Let d be 4/i - 26/(-7). Suppose 0 = d*y + 139 - 407. Is y prime?
True
Let a be 2*3/(-2) - 34. Let t(g) = -g**3 - 4*g**2 + 3. Let z be t(-3). Let q = z - a. Is q a prime number?
True
Suppose 5*g = -2*q + 8, 0 = 2*g - 0*g - 5*q - 9. Suppose 2*l = 4*w, 4*l + 2*w - 24 = -g*w. Is (-2 + l - 3) + 3 a prime number?
True
Let s(c) = -2*c**2 + c + 43. Is s(0) prime?
True
Let r = 7 + -4. Suppose 7*c + 5*s = 3*c + 1469, 5*c - 1864 = r*s. Is c a composite number?
True
Let h(l) = 18*l - 2. Let u(z) = -3*z - 3. Let a be u(-5). Suppose -a = -4*p - 4. Is h(p) composite?
True
Suppose 5*g - 3 = 12. Suppose 0*z = -3*z + 4*x - 8, g*x = 15. Suppose -4*t + 29 + 7 = 4*d, z*t - d = 41. Is t prime?
False
Suppose -g + 40 = 3*g. Let z = g - 0. Is z composite?
True
Let w = 8 + -13. Let x = w + 4. Is (0 + -1)/x + 37 composite?
True
Suppose -2*y = -8, -4*y + 10 = i + i. Let s = i + 3. Is (s + 62)/(-1 + 3) a composite number?
False
Suppose 5*f = -2*y - 40, 25 = -2*y - 3*y. Let d = f + 6. Is (4 - d)*89/4 composite?
False
Suppose 885 = 7*s - 2*s. Is s composite?
True
Suppose 5*z = 1633 - 168. Is z prime?
True
Let k = -76 - -285. Is k a prime 