h**2 - 10*h - 4. Let y be m(-8). Is (1228/(-12))/((-4)/y + 0) prime?
True
Let s = -1397 - -2304. Is s prime?
True
Let k(o) = -o + 20. Let b be k(9). Let z(g) = 3*g**2 - 27*g + 5. Is z(b) prime?
True
Let f(a) be the first derivative of -a**3/3 - a**2 + 1509*a - 31. Is f(0) composite?
True
Let j = 4 + 26. Let c be (0 - -6)/(j/(-20)). Let w = c - -19. Is w a composite number?
True
Suppose -19*v - 7335 = -14*v. Let g = v - -2608. Is g a prime number?
False
Suppose -910 = -95*p + 2225. Is p a composite number?
True
Let s be (-4)/(-10)*(-15 - -5). Is 1314/3 + (s - (-3 - 2)) composite?
False
Suppose 22*u = 48020 + 104022. Is u a prime number?
True
Is (3/(-18))/((-8)/84)*5708 prime?
False
Suppose -x - 3*x - 5*i = 101, -5*i - 63 = 2*x. Let s = 70 - x. Suppose -78 - s = -f. Is f a composite number?
False
Let s = 10690 - 7563. Is s composite?
True
Let y(t) = 6*t**2 - 7*t + 20. Let k be y(-11). Suppose j - k = -122. Is j prime?
True
Suppose -15*l + 1039159 = 2*l. Is l a composite number?
True
Let v be (-16)/(-40)*(1 + 4). Let i(x) = 119*x**2 + 4*x - 6. Is i(v) prime?
False
Is (-2)/(1/(-489)*6) a composite number?
False
Let g(i) be the third derivative of 107*i**4/12 + 3*i**2. Let z be g(7). Suppose 241 - z = -3*c. Is c a prime number?
True
Let b = 16616 + -8419. Is b a prime number?
False
Suppose 3*l + 7 = 16. Suppose -4*o - 1339 = l*u - 351, 5*u - 988 = 4*o. Let m = o - -376. Is m composite?
True
Let u(d) be the second derivative of 1396*d**3/3 - 5*d**2/2 + 2*d - 4. Is u(2) a prime number?
False
Let c be (1/(-2))/((-4)/(-24)). Let d(h) = 8*h**3 + 2*h**2 + 4*h - 1. Let i be d(c). Is (2 + (-12)/4)*i a composite number?
False
Let y = 110 - 126. Is ((y/6)/4)/((-2)/2019) a composite number?
False
Let p be -9*((-8)/3)/8. Suppose 3*w = -p*t - 2*w + 1391, -4*t + 1848 = 5*w. Is t a prime number?
True
Suppose 14*v = 135185 + 72645. Is v composite?
True
Let f(g) be the third derivative of -11*g**4/24 - g**3/2 - 3*g**2. Suppose 0 = 5*o + 40 + 15. Is f(o) a prime number?
False
Is 719*(2/(-9) - (-88)/72) prime?
True
Let g(a) = -13*a**3 - 15*a**2 + 6*a + 14. Let i be g(11). Is ((-4)/(-12))/(-1 + (-19040)/i) a prime number?
False
Let n = 229 + -1485. Is n/(-5) - 3/15 composite?
False
Let v(z) = z**3 - z**2 - z - 8. Let i(c) be the third derivative of -c**6/120 - 11*c**5/60 - 19*c**4/24 - c**3 - 8*c**2. Let d be i(-9). Is v(d) composite?
False
Let j(t) = 440*t**2 + 3*t - 13. Is j(-8) prime?
True
Let x(l) = -2169*l + 164. Is x(-5) composite?
True
Let y(h) = 29*h**2 - 10*h + 6. Let p be y(7). Let j = p - 864. Is j prime?
False
Let m be 0*(-3)/(-9) + -422. Suppose -3*i = -4*i - 295. Let a = i - m. Is a prime?
True
Let g(v) = v**2 - 2*v + 2. Let t be g(2). Suppose -2*y = -t*w - 0*w - 1344, 2*y - w = 1342. Suppose y = 5*m - 145. Is m prime?
True
Let u(k) = 45*k**2 + 8*k + 2. Is u(-5) composite?
False
Suppose 6*m - 2*m = -3400. Let y = 1258 + m. Suppose -g - 19 + y = 0. Is g a prime number?
True
Let d(z) be the second derivative of z**3/6 - 5*z. Let i be d(2). Suppose -3*k - 217 + 69 = -i*b, -10 = -5*k. Is b a prime number?
False
Suppose -3*b + 6*b = 4*u - 53, 0 = 5*b + 2*u + 123. Let j = 1924 + b. Is j a prime number?
True
Suppose -9*q - 24785 = -12*q + 4*a, 2*a = -5*q + 41317. Is q prime?
True
Let j(g) = -309*g + 140. Is j(-5) composite?
True
Suppose -4*t + 4*v + 2338 = -1142, 5*t = -2*v + 4315. Is t composite?
True
Let i(d) = -d**2 + 8*d + 15. Let o be i(-5). Suppose 2*c - 138 = -2*q, -3*c + 18 = -2*q + 176. Let a = q + o. Is a composite?
False
Suppose 4*y - 5 = 23. Let q = -1 - y. Let d(z) = z**2 - 10*z + 1. Is d(q) a prime number?
False
Suppose -7 + 1 = -2*y. Suppose 4*u - 3746 + 126 = 4*l, -y*u + 5*l + 2723 = 0. Is u a composite number?
True
Let v(r) = -r. Let d be v(-4). Suppose d*m = c - 235, -c + 6*c = 3*m + 1243. Is c composite?
False
Let o be 1/(8/4)*0. Suppose o = -6*w + 2*w. Let k = 10 + w. Is k a composite number?
True
Suppose 0 = -c - 2*p + 10888, 2*p = -2*c - 0*p + 21786. Suppose -9*k - 3869 = -c. Is k a composite number?
True
Suppose -24 = m - 592. Suppose 2*a - m = -4*t, -5*t + t + 852 = 3*a. Suppose 5*p + a - 1069 = 0. Is p prime?
True
Suppose -21670 = -3*t - i + 2349, -t = 3*i - 8017. Suppose 0 = 7*b - t - 4980. Let x = b + -1298. Is x a composite number?
False
Let w = -91 - -94. Suppose -5*p + 4*c = -1881, p - w*c - 374 = -0*p. Is p prime?
False
Suppose 0*l - 4*l - 337 = -r, -5*r + 4*l + 1733 = 0. Suppose 3*i - 2*m + m - 252 = 0, 4*i - r = -3*m. Let u = -48 + i. Is u a prime number?
True
Let y = 47 + -25. Suppose y*i = 26*i - 48. Is 4266/i*2/3 prime?
False
Is (25816 + 1 - 2) + -3 + 1 a prime number?
False
Let j be 1236/1 + -2 + (0 - 1). Let k = j - 656. Is k a composite number?
False
Let o be (0 - -1 - 2)*-3. Suppose 5*m + 0*k = -4*k + 29, -o*m - 5*k = -20. Let u(y) = 3*y**2 - 7*y + 7. Is u(m) a composite number?
False
Let l = -6 - -4. Let c be (-2 - 0) + (151 - l). Let r = c - 30. Is r a prime number?
False
Is -3 - (-1807 - (-81)/9) prime?
False
Suppose 13*o = 87434 + 93149. Is o composite?
True
Suppose 39*c - 32*c = 7511. Is c composite?
True
Let c = 6 - 3. Let k(j) = c*j**2 - 8*j - 5*j + 1 + 10*j**2 - j**3 - 4. Is k(10) prime?
True
Let x(l) = 6 + 13 + 7 - 13*l**2 - l**3 - 10*l - 15. Is x(-14) prime?
True
Suppose -d = 5*q + 664, 75 = -q - 3*d - 55. Let k = q + 272. Is k a prime number?
True
Suppose 0 = 2*l + 3*x + 5 - 2, 2*l + 2*x + 2 = 0. Suppose 5*j - 261 - 1234 = l. Is j prime?
False
Let s(j) = 287*j + 66. Is s(13) prime?
True
Suppose 2*w + 0*w - g = 5, 0 = -3*w - g + 20. Suppose -4*z = w*a + 1843, 4*z + 4*a - a + 1853 = 0. Let l = z - -882. Is l prime?
False
Let s(m) = -m**2 + 13*m - 20. Let l be s(8). Is l/30 - 3325/(-3) composite?
False
Let u = 22 + -20. Let z(a) = -95*a**3 - 2*a**2 - 3*a + 6. Let l(h) = 47*h**3 + h**2 + h - 3. Let d(w) = -5*l(w) - 3*z(w). Is d(u) a prime number?
True
Let h = 823 + -530. Is h prime?
True
Let c(a) = 12*a**2 + 8*a - 9. Is c(6) prime?
False
Let b = 75410 - 41931. Is b a prime number?
True
Suppose -26349 = -3*b - 4*t, -3*t = 6*b - 2*b - 35125. Is b a prime number?
True
Suppose -6*j - 4 = -4*j. Is (84/(-18))/(j/111) composite?
True
Is ((5/(-10))/(-1))/((-3)/(-76134)) prime?
True
Let k(s) = 4*s**3 - 9*s**2 - 11*s + 3. Let m(n) = -n**3 + n**2 - n - 1. Let v(f) = k(f) + 6*m(f). Is v(-5) composite?
False
Let q(j) = 6*j + 5*j + 3 + 12*j - 7*j. Let z be 2/7 + (-38)/(-14). Is q(z) a composite number?
True
Suppose -3*f = -1257 - 4512. Suppose 0 = -8*s + f + 11317. Is s a composite number?
True
Let x(s) be the second derivative of -s**5/5 - s**4/3 - s**3/2 - s**2/2 + 9*s. Is x(-2) a prime number?
False
Let l = 29 + -14. Let f = l + -13. Suppose 5*q = -2*b + 351, 3*b + 129 = -0*q + f*q. Is q a composite number?
True
Let c(j) = -267*j**3 + 14*j**2 - 5*j + 9. Is c(-7) a prime number?
True
Is ((-4)/(-14) - 0)/(486/134567811) composite?
False
Is 1*(8 - (-1832 - 3)) a composite number?
True
Let t(w) be the third derivative of -w**5/60 + w**4/4 - w**3 - w**2. Let o be t(6). Is (-2)/o + (-130)/(-15) prime?
False
Let b be (168/(-35))/(-1) - 2/(-10). Is (b/4)/(2/776) a prime number?
False
Suppose 2*x + 8 = 0, 73*d - 78*d - 3*x + 31483 = 0. Is d a prime number?
True
Let w(t) = 30*t**2 + 12*t - 5. Is w(-4) a prime number?
False
Let x = -7 + 28. Let d = 18 - x. Let l = 154 - d. Is l composite?
False
Suppose -2*j + 7 = -9. Suppose 0 = -j*r + 13149 - 2293. Is r prime?
False
Let m(w) = 3*w**3 + 18*w**2 - 6*w + 14. Let n(t) = 7*t**3 + 36*t**2 - 13*t + 28. Let j(u) = 5*m(u) - 2*n(u). Is j(-13) a composite number?
False
Let i be 2005/(-4) - 5/(-20). Let r be (-4152)/(-5) - (-16)/(-40). Let a = r + i. Is a prime?
False
Is (-1)/((16/(-80296))/(6/3)) a prime number?
True
Suppose -17*x + 13*x = -7172. Is x a prime number?
False
Suppose 14*a - 12675 = -p + 10*a, 3*a = -4*p + 50713. Is p a prime number?
False
Let k(t) = -t**2 + 6 + 7*t**3 - t**2 + t**2 - 2*t - 8*t**3. Is k(0) composite?
True
Let f = -10636 - -15525. Is f composite?
False
Suppose -4*c - 3*t = -6*c + 25, 0 = 3*c + 3*t. Suppose -c*d + 1594 = -3*d. Is d a composite number?
False
Let o(v) = 191*v + 12*v**2 - 4*v**2 - 175*v + 1. Is o(14) a prime number?
False
Suppose w - 14 - 355 = -2*t, -3*w + t = -1142. Is w a composite number?
False
Is 5*(5 - 12 - -9864) prime?
False
Let m(f) = 38*f**