 the second derivative of -17*c**3/2 + c**2 - c. Is o(-3) a prime number?
False
Suppose 0 = -3*j - 2*d + 19145, 0 = -j + 2*d - 4*d + 6375. Is j composite?
True
Suppose -363 = -5*d + 2*d. Is d composite?
True
Suppose 0 = -h + 4*z + 12 + 5, 5*h - 2*z = 157. Is h a prime number?
False
Let o(r) = r**2 - 7*r + 3. Let h(l) = -2*l**2 + 4*l - 3. Let k be h(2). Let p = 11 + k. Is o(p) a prime number?
True
Let s(d) = 3181*d - 13. Is s(2) a prime number?
False
Let h(i) = -25*i**3 - 3*i**2 + 10*i. Let n be h(-8). Suppose 0 = q - 5*q - n. Is q/(-20) + (-4)/(-10) prime?
True
Let c(w) = 7*w**2 - w - 2. Is c(7) a prime number?
False
Let n be -7 + 5 + (1 - 6). Let t(s) be the first derivative of 2*s**3/3 + 11*s**2/2 + 10*s + 1. Is t(n) a prime number?
True
Let c = 715 - -8. Suppose -t + 4*t - c = -4*u, -2*t = -10. Is u a composite number?
True
Let w be (-4 - 0) + (-250 - -5). Let d = w + 358. Is d composite?
False
Is ((-68)/(-8))/((-2)/(-20)) composite?
True
Let d(u) = 3*u**2 - 2*u - 3. Let t be d(3). Let a = t - -8. Let l = a - -7. Is l composite?
True
Suppose -j = -n - 2*n - 31, 3*n + 4*j = -56. Let g be 4*(1 + (-135)/n). Let b = -27 + g. Is b prime?
False
Let s(p) = -5 + 16*p + p**3 - 2 - 10*p**2 - 6*p. Let g be s(9). Let u(z) = 34*z**2 + 4*z - 3. Is u(g) a composite number?
True
Let c(f) = -4 - 8*f + 5 - 3. Is c(-8) a composite number?
True
Suppose 0 = -0*i + i + 2. Is 12 - (-1 - (i + -1)) a composite number?
True
Is (-5403)/(-6)*(-1 - -3) a composite number?
False
Let j(i) = -i**3 + 8*i**2 - i + 2. Let o be j(4). Suppose -4*y + 124 = 5*k, 2*y - 4*k = -5*k + o. Is y a prime number?
True
Is (0 + 15)*21/35 a prime number?
False
Let g = -597 + 854. Is g composite?
False
Let h(b) = -b**2 + 1 + 0*b + 5*b**2 + 2*b. Is h(2) composite?
True
Suppose 0 = -5*t + g + 591, 4*g = 5*t - 853 + 274. Is t prime?
False
Suppose -5*f - 77 = -2*s - 1006, -362 = -2*f + 4*s. Let o = 264 - f. Is o composite?
True
Let z(w) = 295*w**2. Is z(-1) a composite number?
True
Let g = 361 + -240. Is g a composite number?
True
Let g(s) = -s**2 - 6*s - 7. Let f be g(-5). Let i be -1 + (f - -4) - -489. Suppose -1 = -m, -3*o = -0*m + m - i. Is o a prime number?
True
Let l(i) = -4*i - 3*i + 1 - 24*i + 5*i. Is l(-2) a prime number?
True
Suppose 16*p - 14*p - 8 = 0. Suppose p*w - 155 = 41. Is w prime?
False
Suppose -18*c - 1174 = -20*c. Is c prime?
True
Suppose -2532 = -5*q - 422. Is q a prime number?
False
Let n(t) = -46*t**2 + t + 1. Let g be n(-2). Let a = 346 + g. Is a a prime number?
False
Let x(m) = -97*m**2 + m - 1. Let v(r) = 48*r**2 - r + 1. Let k(a) = -7*v(a) - 4*x(a). Is k(2) a composite number?
False
Suppose -3*m + 23 = -22. Is m a prime number?
False
Let n = 201 + -130. Is n a prime number?
True
Let r(s) = -2*s. Let h(g) = g**2 + 4*g - 1. Let y be h(-3). Let l be r(y). Suppose -24 = -l*f + 4*f. Is f a composite number?
True
Let b be ((-22)/3)/(1/(-39)). Let c be 4 - (3 + 4/(-2)). Suppose -c*q = -2*h - 3*h + 702, 2*h - b = -4*q. Is h a composite number?
True
Is ((-2)/6)/(-1) + 476/3 a composite number?
True
Suppose 5*v - 1 = 24. Suppose 16 = -p - v. Let r = p + 35. Is r composite?
True
Suppose -2*x - 3 = 2*c + 7, x - 4*c = 20. Suppose q = t + t + 111, x = 5*t. Is q prime?
False
Suppose 3*o - 3*m = 339, 0 = -2*o - 2*m + 67 + 155. Suppose -148 = -4*v + o. Is v a prime number?
False
Let t(q) = 5*q - 39*q - 30*q - 1 + 2. Is t(-4) composite?
False
Suppose 0 = z - 2*g - 2*g + 3, z - 5 = -4*g. Let c be 2/4*z*14. Let y = 26 - c. Is y a prime number?
True
Let u(i) = 2*i**3 - 6*i**2 - 3*i - 6. Let v be 16/3 + 2/(-6). Is u(v) composite?
False
Let a(r) = 6*r**2 + 1. Let t be (-28)/(-21) + (-2)/(-3). Is a(t) a prime number?
False
Let o(u) = u**2 + 8*u + 4. Let h be o(-8). Is h/2 + 3*8 composite?
True
Suppose -7*q = 4*g - 2*q - 21, -g + 2*q = -2. Let x be g/16 - (-813)/(-4). Let b = x - -334. Is b a composite number?
False
Suppose 2*n + 2063 = a, -a + 2*n - 4*n + 2055 = 0. Is a a composite number?
True
Suppose -a + 5 = 2. Suppose -a*j - 470 = -5*i + 2*j, -2*j = -4*i + 366. Is i prime?
True
Let w be 85/2*(-18)/(-15). Suppose -2*y = 2*o - 17 - 1, 5*o - w = -2*y. Suppose -193 = -2*l - o. Is l composite?
True
Suppose -3*h = 5*h - 10096. Is h composite?
True
Suppose -14*h + 282 = -12*h. Let k = h + -70. Is k composite?
False
Let w = -67 + 96. Suppose -4*x = -5*q - 112 - 19, -x + w = -5*q. Suppose -l + 21 = -x. Is l composite?
True
Suppose 5*o + 118 = -3*r, -r = 2*o - o + 38. Suppose -3*g - 304 = g - 3*x, -12 = -3*x. Let i = r - g. Is i a prime number?
True
Suppose 2*a + 98 = -j, 4*a - 3*j - j = -196. Let y = a + 102. Is y a composite number?
False
Suppose k = -2*z + 507, z + 177 = 2*k + 433. Suppose 3*f = -2*v - 3*v - z, 4*v + 216 = 4*f. Let b = v + 141. Is b a prime number?
True
Suppose -3 = -2*m + 1. Let n(p) be the second derivative of 2*p**4/3 + p**3/3 - p**2/2 - 6*p. Is n(m) prime?
False
Let n(v) = -v**2 + 5*v - 4. Let x be n(3). Suppose -x*q + 1020 = -414. Is 3/(-12) + q/4 a composite number?
False
Let d be -1 - (2/(-2) + -6). Let j = d + -4. Suppose -5*z + j*n + 8 = 0, 5*n - 2 = 3. Is z a prime number?
True
Suppose 0*f - 581 = -d + 2*f, -2333 = -4*d + 5*f. Is d composite?
False
Let b(u) = u**3 + 2*u**2 - 4*u - 2. Let t be b(-3). Suppose -d - t = -2*v, 0*d + 1 = d. Suppose -4*a + v = -7. Is a a prime number?
True
Let o(h) = -h**3 - 6*h**2 - 5*h + 6. Let c be o(-5). Suppose 0 = a - c*a + 60. Suppose 3*x = -i + 4, 0 = 4*x - 8*x - a. Is i a composite number?
False
Suppose 3*a - 47 = 5*s + 28, -2*a = -3*s - 51. Suppose -a = j - 79. Is j a composite number?
True
Suppose 6*f - 10 = 4*f. Suppose f*v - 131 + 16 = 0. Is v a prime number?
True
Suppose 0 = -4*l - l. Let q = l + 2. Suppose 33 = c + q*c. Is c a composite number?
False
Suppose 5*y - 1125 + 340 = 0. Is y composite?
False
Suppose 2*j - 2*o + 5*o = 397, -3*o = j - 206. Is j a prime number?
True
Suppose -2*w - 4 + 0 = 0. Let u be 5/w*1*-2. Suppose -3*l + 250 = u*a, 0*l + 5*a = -l + 80. Is l composite?
True
Let x be 119/35 - (-4)/(-10). Suppose -x*o = -156 - 93. Suppose -3*i + o = -148. Is i composite?
True
Suppose c + 402 = 2*r, 2*c + 3*c - 378 = -2*r. Is r a composite number?
False
Suppose 4*j = -2*t + 1010, -3*j - 3 = -4*j. Is t prime?
True
Let y be (-2 - (89 + -2))*-2. Let l be 256 + 1/2*-2. Let i = l - y. Is i a prime number?
False
Let r(z) = 4*z - 4*z**2 + 2*z**2 - 7 - 8*z + z**3. Is r(6) a prime number?
True
Let b = -2 - 4. Let r = b + 6. Suppose 3*v - 6*v - t = -264, r = -4*t - 12. Is v a composite number?
False
Let u(v) = 63*v + 7. Is u(4) prime?
False
Suppose a + 5*r - 2714 = 0, -r - 2*r - 9 = 0. Is a prime?
True
Let h(v) = -v**3 - 9*v**2 - 7*v + 8. Let u be h(-8). Suppose u*s = 3*s - 15. Suppose 0 = -s*p + 10*p - 275. Is p prime?
False
Let v(t) = -100*t + 7. Is v(-10) composite?
True
Let b be (-6)/3 + 1 + 7. Let u be (-30 - 2)*39/b. Let q = u - -351. Is q composite?
True
Let x = 2 - 2. Suppose 4*i - 12 = -x. Let s(n) = 5*n**2 + 2*n - 4. Is s(i) a composite number?
False
Suppose 3165 = -0*w + 5*w. Is w prime?
False
Let k(y) = 212*y - 1. Let c(r) be the second derivative of r**3/6 - 2*r**2 + 3*r. Let w be c(5). Is k(w) a composite number?
False
Is (-1)/(3/4 - 1) composite?
True
Suppose -1555 = -3*n + 4*w, -w = -3*n - 2*w + 1565. Is n a prime number?
True
Suppose -25 = -c + 3. Suppose 3*j - c = -7. Is j a prime number?
True
Suppose 0 = -4*j - 8430 + 23602. Is j a prime number?
True
Let q be 633*((-30)/(-9) + -3). Suppose -5*m = -4*r - 0*m + 844, 2*m = -r + q. Is r prime?
True
Let h(i) = -i**2 - 23*i - 1. Is h(-12) a prime number?
True
Let w(o) = o**2 + 1. Let s be w(-1). Suppose -3*k + 67 = -s*k. Is k a composite number?
False
Let r(l) = l**2 - 5*l. Let z be r(5). Suppose 262 = -z*j + 2*j. Is j composite?
False
Suppose 5 = 5*w + 25. Let h(n) = -5*n. Let k be h(-5). Let c = k + w. Is c a prime number?
False
Let a = 64 + -34. Suppose n = -n + a. Is n a prime number?
False
Suppose 0 = -2*y - 72 + 224. Suppose -5*w + y = -w. Is w a composite number?
False
Let j be ((-16)/20)/(-1)*5. Suppose j*u - 2*u - 30 = 0. Is u prime?
False
Let m = 1 + 34. Suppose 5*h - m = 2*c, 2*c = 4*h + 7*c + 5. Suppose -5*x + 70 = -4*q, 2*x + h*q - q = 0. Is x prime?
False
Suppose -4*q - 6 = 2*v, -3*v - 15 = -5*q + 2*v. Suppose -a + 787 = -3*y, q = -5*y + 15 + 5. Is