 0*v. Is 3/v + -1209*4/(-16) composite?
True
Let g(s) be the second derivative of 13*s**7/2520 - s**6/144 + s**5/24 + 5*s**4/12 + 2*s. Let c(o) be the third derivative of g(o). Is c(5) composite?
True
Suppose 147*v - 159*v + 291804 = 0. Is v composite?
False
Let v(r) = -r - 4. Let a be v(5). Let j be 6/a*(-4 - -1). Let x = j - -5. Is x a prime number?
True
Suppose 0 = 3*s + 2*s + 2*y - 33, 0 = 4*s - 3*y - 8. Suppose 3*u - 4*l + 153 - 4328 = 0, -s*l - 6965 = -5*u. Is u a composite number?
True
Let m be (-4)/12 + (-2)/(-6). Suppose -16*u + u + 30045 = m. Is u a prime number?
True
Let f(x) = -886*x + 427. Is f(-31) composite?
False
Let l(k) = k**2 - 2*k - 11. Let a be l(-5). Is (-1)/(-3) - (-9856)/a a prime number?
False
Let x(i) = 9*i - 2. Let j be x(1). Is 1360/1 - (j + -8) a prime number?
True
Let t(x) = 965*x**3 + x**2 - x + 1. Let q(z) = -z**3 - z + 1. Let n(a) = -q(a) + t(a). Is n(1) a prime number?
True
Let h(a) = 2*a - 12. Let x be h(6). Let s = 5 - x. Let p(r) = r**3 - 2*r**2 - 3*r - 2. Is p(s) prime?
False
Let y(h) = 10*h**2 - 6*h - 15. Let a(o) = 2*o + 6. Let n be a(-6). Is y(n) a composite number?
True
Suppose 3*a + 0*x + 4*x - 20 = 0, 0 = 5*a + 2*x - 24. Suppose -a*k + 2052 = -256. Is k composite?
False
Let r = 1433 - 70. Is r a composite number?
True
Let m = -669 - -1430. Let l = -388 + m. Is l a composite number?
False
Let f = -11 + 11. Suppose f = -0*r - 6*r + 5274. Suppose 0 = p - 2*m - r, 3*p - 519 = 2*m + 2114. Is p prime?
True
Let i = -63957 + 96040. Is i composite?
False
Is 4/(-42) - 90428/(-21) prime?
False
Let q(h) = 2*h**2 + 8*h + 21. Let n be q(-11). Let c = n - 398. Is 4 + (-3 - c) - 1 prime?
True
Suppose -2*i = -0*i + 3*d, 0 = i - 2*d. Suppose i = -j + 10 - 8. Suppose f - 437 = -3*c, c + 391 + 497 = j*f. Is f composite?
False
Let n = -6234 + 10193. Is n composite?
True
Let x(s) = -8944*s + 3. Is x(-5) composite?
True
Let c(y) = y**2 - 5*y + 1. Let z be c(3). Let t = z - -2. Is (-3)/(t/152) - 3 a prime number?
True
Let p(k) = 213*k + 14. Let g(h) = 426*h + 26. Let a(z) = -6*g(z) + 11*p(z). Let d = 1 - 2. Is a(d) a composite number?
False
Suppose -2*v = 4*k + 8, 4*k - 7 = -23. Suppose 5*t - t = -v*h + 8, h = -4*t - 10. Is (-3)/h - (-681)/6 a prime number?
True
Suppose -h = -4*u - 13, 2*u = -3*h + 7*u + 25. Suppose 4*p = -4*c + 751 + 8209, h*p = 0. Is (-1)/(c/(-745) - -3) a composite number?
False
Suppose -227*t + 235*t = 121384. Is t a composite number?
False
Let v(m) = -6*m + 4. Let x be v(-2). Is (-64)/x*(-301)/4 a composite number?
True
Let a be -2*3/(-3) - -1. Suppose a*n - 5 = 4*n. Let j = 214 + n. Is j a composite number?
True
Suppose -4*p + 5*p - 4*w = 13529, 6 = -2*w. Is p composite?
True
Let j = -4651 - -6746. Is j composite?
True
Suppose 0 = 4*b + 40*m - 35*m - 17053, 12792 = 3*b + 3*m. Is b composite?
True
Suppose 2*s - 5*f - 1462 = 0, -5*f + 2093 + 1492 = 5*s. Is s a composite number?
True
Suppose 0 = 5*t + z + 2, 6 = -4*t - 3*z - 0. Suppose 0 = 5*o - t*o - 1675. Is o a prime number?
False
Let a(b) = 18*b**3 + 3*b**2 - 4*b - 3. Let j be a(-3). Is (15/5 + j)*-1 composite?
True
Suppose -7737 = -2*b + b. Is b a composite number?
True
Let y = 4410 - 1687. Is y composite?
True
Let u = 2848 + -1451. Is u a prime number?
False
Suppose 4*p + 1750 = -h, 2*p = 2*h - 2*p + 3440. Is -14 + 12 + h/(-2) prime?
True
Suppose 31*s = 29*s + 1270. Is (-9)/3 - (-3 - s - -4) a prime number?
True
Let o(t) = t**2 - 14*t + 44. Let c be o(10). Suppose -2*f - c*n + 1061 = -645, 2*f - 5*n = 1706. Is f prime?
True
Let j = 43 - 60. Let b = 19 + j. Suppose -a = -b*a + 413. Is a composite?
True
Let g(x) = 2802*x**2 - 3*x + 20. Is g(3) prime?
True
Let t(c) be the first derivative of -9*c**4 + c**3 - c**2 + 2*c - 12. Is t(-3) prime?
False
Is 3/9 + 1 + 10527/9 a prime number?
True
Suppose 0*d - 5*f = 3*d + 20, -2*f = -d - 3. Let r be 109 + -1 - (-10)/d. Is r - (-3 - (3 + -3)) prime?
True
Suppose 0*m + 94600 = 2*n - 5*m, -4*n - 4*m = -189228. Is n prime?
False
Let h(v) = -2*v + 34. Let q be h(16). Suppose 905 = q*d + z - 258, 5*z = -2*d + 1167. Is d a prime number?
False
Is -6*(10025/(-6) - -3) composite?
False
Suppose 35077 = 5*d - 20988. Is d a prime number?
True
Let z(b) = -b**2 - 2*b + 17. Let x be z(-6). Let l(o) = -13*o**3 - 9*o**2 - 4*o - 9. Is l(x) composite?
True
Suppose -12*o - 12 = -14*o. Suppose t = -4*z + o*z - 751, z + 2*t - 383 = 0. Is z prime?
False
Suppose -25893 - 16226 = -7*z. Is z a composite number?
True
Suppose -3*a + 0*j + 51279 = 4*j, 0 = -a + 4*j + 17077. Is a composite?
True
Suppose 87888 = 4*l - 2*a, 8*l - 65917 = 5*l + 2*a. Suppose 14*c + 3505 = l. Is c prime?
True
Let p(u) = 5*u**3 - 8*u**2 + 7*u - 16. Let v be p(5). Suppose -y - 2 = 0, -2*y - 889 = -3*g + v. Is g prime?
True
Let g = 822 - -326. Let c be (-6)/((6/(-4))/3). Suppose c*i + g = 16*i. Is i prime?
False
Let z = 4201 + -2240. Is z prime?
False
Suppose -v + 1 = -59. Let a be 1 - (464/(-144) + (-4)/(-18)). Suppose a*x = 8*x - v. Is x composite?
True
Suppose 0 = -h + 4*x, 0*h + 5*h = -4*x. Suppose h = -2*n + 1078 + 184. Is n a composite number?
False
Let p(d) = 148*d**2 + 10*d - 26. Let x be p(5). Suppose 0 = 4*f - x + 480. Is f a composite number?
False
Suppose -50 = -13*n + 41. Suppose -n*z - 3*z + 16430 = 0. Is z composite?
True
Let s = -26 - -23. Is (3*s/(-18))/(1/1294) a composite number?
False
Let g(h) = 67*h**3 + h**2 + 14*h - 29. Is g(7) a prime number?
True
Suppose -13688 = 15*l - 17*l. Suppose 3*n = -n + l. Is n composite?
True
Let q(u) = 970*u + 53. Is q(12) prime?
False
Suppose l - 4602 = -0*l - 5*x, -3 = -3*x. Is l a composite number?
False
Let o be (429/9)/(3/(-117)). Let d be 4 + (-3)/(3/o). Suppose 4*h - 4*p - d = -3*p, -2*p = -10. Is h composite?
False
Let c(h) = 92*h + 25007. Is c(0) a composite number?
True
Let u(f) = 270*f**3 - 7*f**2 + 6*f. Let v(t) = t - 10. Let h be v(11). Let x(l) = -l**2 + l. Let g(m) = h*u(m) - 4*x(m). Is g(1) a composite number?
False
Let f(t) = 7*t - 5*t - 17 - t**3 + 6*t - 5*t**2. Suppose -9*i = 41 + 67. Is f(i) composite?
True
Let p(l) be the first derivative of 18*l**3 + 3/2*l**2 - 2*l + 3. Is p(1) prime?
False
Let h be (-2)/((-1)/(-16)*-1). Let b = h + -31. Is (-37 - b)*(-33)/6 a prime number?
False
Let w = -1168 + 3594. Is w a prime number?
False
Suppose -3*f + 29 = 4*d, -6*d = -f - 4*d + 3. Suppose 6*w + f*w - 12181 = 0. Is w composite?
False
Let b(r) = -4*r + 5*r - 4*r + r - 164*r**3 - 2 - r**2. Is b(-1) composite?
False
Suppose -5*n + 25939 = -2*b, -b + 8175 = n + 2983. Is n prime?
True
Suppose 10 = 2*n - n. Let a(c) = 5*c**2 - 16*c + 11. Let q be a(n). Suppose -q = -3*d - 2*g, -2*d = -d + 4*g - 107. Is d prime?
False
Let m(h) = -h - 4. Let w be m(-4). Is 1*(-2 + (1561 - w/1)) prime?
True
Suppose -m - o - 2*o - 24 = 0, -3*m - 4*o = 47. Is (15519/(-14))/(m/6) prime?
True
Let x be 375/(-12) - (-2)/8. Let g(j) = -7*j + 28. Let u be g(12). Let o = x - u. Is o prime?
False
Let n(b) = -11*b**3 - 5*b**2 - 5*b + 3. Let j be n(5). Is j/(-7) + 4/7 a composite number?
True
Let y = 24919 - 15126. Is y a prime number?
False
Suppose 1872 + 204 = 2*d. Is 1/(d/(-1041) - -1) a composite number?
False
Let u(i) = -19*i + 973. Is u(-6) a prime number?
True
Suppose -197*o + 12655 = -192*o. Is o composite?
False
Suppose 5*q = -9*q + 28. Suppose -q*p - z = -6439, 4 = -2*z - 2. Is p a composite number?
False
Suppose -2*d = -3*l + 149, -5*l + 224 = -4*d - 75. Let f = -9 - d. Is f a prime number?
True
Suppose 0 = -k + 1, -4*s - 4*k = -0*k - 112. Is s/(-63) + 972/14 composite?
True
Suppose 0 = -4*o + 5*o - 3. Suppose o*z + 2328 = 4*s - 2*z, -z + 4 = 0. Is s a composite number?
False
Let l = 21695 + -2251. Suppose n = -3*n + l. Is n a prime number?
True
Suppose -39 = -2*k + 3*d, 4*k + 5*d - 45 - 88 = 0. Let f = k + -14. Let z = 17 - f. Is z a composite number?
True
Let l be -3 + 6 + -2*1. Suppose -4*q - 7 = 3*y, 0 = q + q + y + l. Suppose -4*g = -58 - q. Is g a prime number?
False
Let v be (4 - 1)/(5/20). Suppose 3*o + v = 7*o. Suppose 5*l + 3*n = 661, 4*l + o*n = l + 399. Is l composite?
False
Let h(t) = -t**3 + 3*t**2 + 5*t + 10. Let u be h(-9). Let g = u + -458. Is g prime?
True
Is (3 - 4) + 0 + -5 + 499 a composite number?
True
Let o(y) = 3*y - 2*y**2 - 380*y**3 - 3*y + 5 - 4. Let v be o(1). Let t = 566 + v. Is t a prime numbe