*y + 23. Is h(-4) a prime number?
True
Let l = -21 + 24. Suppose -5*k + 2*g = l + 25, -5*k = -5*g + 40. Is (1 - (2 - 492)) + k a composite number?
False
Let p = -2 - -4. Suppose -238 = -p*h + 122. Suppose -129 = -3*f + 3*v, -h = -0*f - 5*f - 2*v. Is f prime?
False
Let h = 909 - -1244. Is h a prime number?
True
Suppose g + 2*m = 35, 4*g + 2*m - 97 = g. Let i be 3 - (g + (3 - 1)). Let v = i - -107. Is v composite?
True
Let a = 76869 + -51508. Is a a prime number?
False
Let a(k) = k + 14. Suppose 3*p = -f + 4*p - 9, -4*p - 24 = f. Let x be a(f). Suppose 0 = x*l - 5*z - 48, -2*z - 4 = -2*l + 38. Is l composite?
False
Let q = -96492 + 178397. Is q a composite number?
True
Let r(w) = 116*w**2 - 10*w - 23. Is r(-10) a composite number?
False
Let d(y) = -5*y - 2*y**2 + 6*y**2 - 5*y**2 + 4*y**3 - y**2 - 2. Is d(4) a prime number?
False
Let j(t) = t**3 + 2*t**2 - t + 491. Let x(w) = w**2 + 6*w - 7. Let g be x(-7). Let m be (-3 - (g + -3))/(-2). Is j(m) a prime number?
True
Suppose 3*b + 5*j = 67454, -2 + 7 = 5*j. Is b a composite number?
False
Let k be (54/4)/(2/20). Suppose -6*m = 4*m - 90. Suppose k = d + p + m, -2*d + 3*p + 257 = 0. Is d prime?
True
Suppose -2*b + 22 = 3*h - 0*h, -5*h + 30 = 2*b. Suppose -b = -4*z - 1. Is 306/4 - z/(-2) prime?
False
Let a(v) = -79*v**2 + 1. Let k be a(1). Let r(b) = -2*b**3 + 3*b**2 + 19*b - 9. Let x be r(6). Let g = k - x. Is g a composite number?
True
Let b(x) be the first derivative of -x**4/4 + 3*x**3 - x**2 + 15*x - 5. Is b(4) composite?
True
Let q(p) = 2 + 4*p - 9*p + 6*p. Let m be q(5). Let h(u) = -u**2 + 11*u + 3. Is h(m) composite?
False
Suppose n + 6 = 2*a, -3*a + n - 9 = 4*n. Let z be ((-2)/(-2))/(a/(-2)). Is ((-148)/8)/(1/z) a prime number?
True
Let a(i) = -3*i**3 - 20*i**2 + 11*i + 145. Is a(-12) a composite number?
True
Let i = 225 - 1446. Let y = i + 1762. Is y prime?
True
Suppose 0 = -w - 3*q - q + 13, 0 = -5*w - 3*q + 65. Let j(c) = c**3 - 13*c**2 + 16*c - 9. Is j(w) a composite number?
False
Let z = -413 - -858. Suppose 2*n - g - 178 = 0, -g = -5*n + g + z. Is n composite?
False
Suppose -3*v - 880 = 2*t, -3*v + 2*v - 2*t = 288. Let c = v + 547. Is c prime?
True
Let x(w) = -3*w**2 + 13*w + 8. Let i be x(5). Suppose 5*p = 2*p - 1494. Is p/i - (-5 - -1) a composite number?
True
Let j = 361 - -1582. Is j a composite number?
True
Is 7100 + (-24)/(-16)*6 a prime number?
True
Suppose b + 5 - 13 = 0. Suppose 5*q - 49 - 81 = -5*p, -b = -p + 5*q. Is p a composite number?
False
Suppose 4*p - 15*p = -146377. Is p a composite number?
True
Suppose -2*l = l - n - 54, 4*n = -l + 5. Suppose -11 = 2*x - l. Suppose 0*r + 10 = -2*r, -x*g - 3*r = -96. Is g a composite number?
False
Let g(n) be the first derivative of n + 1/2*n**2 - 259/4*n**4 - 3 + 0*n**3. Is g(-1) composite?
True
Let j = 24 + -15. Let p(v) = 3*v**2 + 8. Is p(j) a prime number?
True
Suppose 0 = 3*m + 3*o + 32223 - 94785, -3*o = -2*m + 41683. Is m a prime number?
True
Suppose 3 = -6*c + 21. Suppose -2339 = -c*v + 520. Is v a prime number?
True
Suppose 546232 = 21*u - 13*u. Is u a prime number?
True
Is ((-1)/((-6)/23158))/(50/150) a composite number?
False
Suppose -2*o + 61948 = -2*q, -2*q - 28207 - 2770 = -o. Is o a composite number?
False
Let z(w) = 2*w - 2. Let v be z(1). Suppose v = -3*l + p + 17, 5*l - 2*l - 22 = 2*p. Suppose -l*b + 368 = -5*n, 2*n = -4*b - n + 336. Is b a composite number?
True
Let i(o) = 4*o**2 + 4*o + 53. Is i(10) a prime number?
False
Suppose -4*q + 300 = -13448. Is q a prime number?
False
Is 8/(72/9)*7403 a composite number?
True
Let c = 13 - 11. Suppose 2*w - 1021 = -v - c*v, -4*w + 1031 = 3*v. Is v a prime number?
True
Suppose 4*g - 2*g = 2*w - 4, -2*g = -3*w + 9. Let o(d) = 87*d - 2. Is o(g) a prime number?
False
Let u be ((-56)/16)/(3/(-6)). Suppose -1623 = u*m - 6502. Is m prime?
False
Suppose 2*m = -2 - 0. Let w(c) = -5*c**2 - c. Let a be w(-1). Is (a/(-8))/(m/(-178)) composite?
False
Let b(s) be the third derivative of 55*s**4/24 - 9*s**3/2 - 14*s**2. Is b(14) composite?
False
Suppose 0 = 3*l - 15, 4*l - 49 - 31 = 4*i. Let y = 17 + i. Suppose -19 = -3*j + y*j. Is j prime?
True
Let n = 77 - 42. Let h = n + -9. Is h a composite number?
True
Let y be 5 + -1 + 0/4. Let c be y - 0 - (10 + -10). Suppose c*t = 0, -t - 2*t = 2*i - 4. Is i composite?
False
Suppose -11*t + 13*t = 5*j + 3462, 0 = -3*t + 2*j + 5215. Is t a composite number?
False
Let p(j) = -123*j - 8. Let l(h) = 247*h + 15. Let x(i) = 2*l(i) + 5*p(i). Is x(-13) composite?
True
Suppose 0 = -5*b - 0*g + 2*g + 12, 0 = -5*g - 5. Suppose 11 = b*p - 13. Suppose 0 = 2*t + 4*w - 58, 3*w + w + p = 0. Is t prime?
False
Let a = 76 + -71. Suppose 0 = a*t - 12525 + 3410. Is t composite?
False
Let d = -10940 + 26335. Is d composite?
True
Suppose 0 = -49*n + 44*n + 15. Is ((-1937)/(-39))/(1/n) a composite number?
False
Let c(q) = 810*q + 120. Let p(t) = 135*t + 20. Let r(s) = 4*c(s) - 25*p(s). Is r(-11) composite?
True
Is 18/(-99) + (-4206)/(-22) a composite number?
False
Let p(i) = i**3 - i**2 - i + 2. Let x be p(0). Let r be (-8)/x + 154 - 2. Suppose -3*o + r = o. Is o a composite number?
False
Suppose -39*s + 5*s = -1761982. Is s a composite number?
True
Let t(q) be the third derivative of -7/6*q**3 + 6*q**2 + 0 + 0*q - 1/20*q**5 + 1/120*q**6 - 1/8*q**4. Is t(6) composite?
False
Let v(a) be the second derivative of 4/3*a**3 + 9/2*a**2 + 0 - 3*a. Is v(7) composite?
True
Suppose -132*i = -129*i + 15. Is (-54)/36 + (5655/(-6))/i a composite number?
True
Suppose 2*f - 2021 - 485 = 0. Let b = -844 + f. Is b a prime number?
True
Let l(t) = -21*t**3 + 22*t**3 + 3*t - 1 - 3*t**2 - 6 - 3*t**2. Is l(9) prime?
True
Let h be ((-15)/(-20))/(2/(-1220304)). Let r be h/(-18) + (-4)/2. Is r/88 + (-1)/(-8) a composite number?
True
Is -7 - -9*(-4 + 310) composite?
True
Let a = -1883 + 4992. Is a a composite number?
False
Suppose 0 = 5*o + 4*v, 2*v + 3*v + 37 = 3*o. Suppose 3*x = -2*s - 0*s + 10, 0 = -o*x - 3*s + 12. Is 326/x + 6/9 a prime number?
False
Suppose 1 = 2*t + 5*m, -t - 10 = -4*t + m. Suppose 5*v - 6303 - 19752 = -5*g, -t*g + 15629 = 4*v. Suppose 8*l = 3*l + g. Is l prime?
False
Let l = 14309 - 6514. Is l a composite number?
True
Let c(p) = 36*p - 16. Let b be c(-5). Let r = 645 + b. Is r composite?
False
Suppose -2*m + 5*m = 2*l + 485, 355 = 2*m + 5*l. Suppose -607 + m = -2*b. Suppose 4*h + 1 = b. Is h composite?
True
Let p(j) = -7*j**3 + 10*j - 29. Is p(-7) a composite number?
True
Let o(s) = -s**3 - 4*s**2 + 8*s - 25. Let r be o(-11). Let w = r + -483. Is w prime?
True
Suppose -24295 + 692207 = 8*y. Is y a composite number?
True
Suppose 2*l - 15 = 2*c + 1, -c = l. Let p = -53 - -55. Suppose p*m = l*m - 278. Is m composite?
False
Let b = 12822 - 6325. Is b composite?
True
Let t(q) = q**2 - 16*q - 19. Let h be t(17). Let w be h + -3*12/(-9). Suppose -173 = -5*d - 4*p, d = w*p + 14 + 29. Is d a composite number?
False
Suppose -15 = 9*q - 14*q. Suppose -29 - 1 = q*b. Let p(h) = -h**3 - 3*h**2 + 6*h - 9. Is p(b) a composite number?
False
Let l(r) be the first derivative of -15*r**2 - 5*r + 2. Let y(s) = -s**3 - 6*s**2 - s - 8. Let n be y(-6). Is l(n) a prime number?
False
Let j be -87*((-10)/12 - 3/(-6)). Suppose 0 = -3*x + 778 + j. Is x a prime number?
True
Is 7/(-21)*(-61733 - (3 + -2)) prime?
False
Let q = 56 - 80. Let s(c) = c**3 + 28*c**2 - 5*c + 29. Is s(q) a prime number?
False
Suppose -q - 3*q = -4*a - 28, -4*q = a - 18. Let c(s) = s - 2. Let n be c(q). Suppose -258 = n*x - 6*x. Is x a prime number?
False
Let m(g) = g**3 - 5*g**2 - 6*g. Let s be m(6). Suppose 0 = -4*r - 2*f + 13192, r + s*r = -2*f + 3295. Is r a composite number?
False
Suppose -166 = 17*o - 19*o. Suppose -2*r = -r - o. Is r composite?
False
Let s(b) be the second derivative of -2*b**3 - 29*b**2/2 + 4*b. Let n be (-1 - (-22)/18) + (-238)/18. Is s(n) a prime number?
True
Let t(o) = -8*o**3 - o**2 - 4*o - 3. Let i(y) = y**3 - y**2 + 5. Let m be i(0). Suppose -m*s - 5 = 5. Is t(s) prime?
False
Let z = -186 - -859. Is z prime?
True
Let s(z) = 134*z**2 - 121*z - 11. Is s(-6) prime?
False
Let r be 2/((-2 + 3)*4/8). Suppose -5*h - 1651 = -b - 3*b, -r*h = 5*b - 2115. Is b a composite number?
False
Suppose -5*k = -3*y + 44, -4*k - 20 = 5*y - 155. Suppose -4*b - 5*x + 71 - 13 = 0, 2*x + 20 = 2*b. Let i = y - b. Is i pri