3*p - f. Is p prime?
True
Let s = -798 + 2465. Suppose 2*o = -2*z + 3*z - 403, s = 4*z + 3*o. Is z prime?
False
Let q = 11 + -11. Suppose -m + 1916 - 455 = q. Is m composite?
True
Let q(y) be the first derivative of 3*y**4/4 - 3*y**3 - y**2/2 + 8*y + 12. Let i(o) = 2*o**3 - 9*o**2 - o + 9. Let l(m) = 5*i(m) - 4*q(m). Is l(-6) prime?
True
Let c be 58/4 + 3/(-6). Suppose c*d = 13*d + 296. Suppose -5*o - 1185 = -4*b, 2*b - o = b + d. Is b a prime number?
False
Let h(p) = 9*p**3 - 7*p**2 + 4*p - 15. Let r(d) = 5*d**3 - 4*d**2 + 2*d - 8. Let s(n) = 3*h(n) - 5*r(n). Let u be 138/33 + (-2)/11. Is s(u) a prime number?
False
Let i be (-15)/(-25) + (-1072)/(-5). Let j = i + -311. Let d = 155 + j. Is d a composite number?
False
Is 5264 - (1 - 4)*-1 a prime number?
True
Suppose -23*a - 46918 = -25*a. Is a a composite number?
False
Suppose 7*j - 2*j - 5*c = 0, 2*c = -3*j - 5. Let b = 9 + j. Let z = b + 69. Is z a prime number?
False
Let h(z) = 82*z - 14. Let x be h(-4). Let f = x - -1219. Is f a prime number?
True
Let b(n) = 3*n + 30 - 4 - n. Is b(0) a composite number?
True
Suppose -5009 - 1483 = -4*j. Is j prime?
False
Let c be -14 + 16 + 0 + 1. Suppose 3930 = c*q - 4*z + 8*z, 0 = -q + z + 1303. Is q a prime number?
False
Let u(t) = t**3 - 2*t**2 - 6. Let i be u(3). Suppose -f - i*f + 1316 = 0. Is f prime?
False
Suppose -4*r + 3*v = -119626, 23*v = 18*v - 10. Is r composite?
True
Suppose -8 = -6*x - 2. Is (-26)/(-6)*((-3)/x + 834) composite?
True
Let o(i) = 90*i**2 - 3*i - 8. Suppose 5*h - h = 12. Suppose -p = -q - 2, 4*p - 6 = h*q - 1. Is o(q) a prime number?
True
Suppose 5*n - 170381 - 364 = 4*s, -3*s + 102420 = 3*n. Is n composite?
True
Let k(b) = b**3 + 6*b**2 + 28*b - 66. Is k(23) a prime number?
True
Let q = 6 - 1. Let d(a) = 5 - q*a + 0*a + 3*a. Is d(-10) a prime number?
False
Let q = 8544 + -5963. Is q a prime number?
False
Let w = 91 - 66. Suppose 0 = f + 2*y - 5, -4*y = -3*f + w - 0. Is f a prime number?
True
Let j be (-36)/(-54)*3*1*2. Is (36/j + 4)/(2/326) composite?
True
Suppose -2*d + 4*y = -9694, y + 9721 = 2*d + 6*y. Is d a composite number?
True
Suppose 3*q = -5*o + 158274, -158271 = -3*q + 10*o - 14*o. Is q a prime number?
False
Let a(w) be the third derivative of w**5/60 - w**4/3 + w**3/3 - 5*w**2. Let l be a(8). Suppose -r = -6*i + l*i - 153, 0 = 4*r + 4*i - 632. Is r composite?
False
Suppose i = -i + 22. Let p(q) = i*q**2 + 6 - 2*q**3 - 2*q + 0 + 14*q + q**3. Is p(12) a prime number?
False
Suppose 8*s - 157 = 91. Let t = 188 - s. Is t composite?
False
Suppose 0 = 5*i + 7*w - 4*w + 430, 4*w + 158 = -2*i. Let a(q) = 7*q - 3. Let l be a(-3). Let c = l - i. Is c a composite number?
True
Let u(k) = 2792*k**3 + 5*k**2 - 12*k - 1. Is u(2) a composite number?
True
Let x be (4 + -2 - 3)*-1. Let a be x/(-2*4/4432). Let p = 1021 + a. Is p a composite number?
False
Let t be 87/(-27) - (40/(-18) + 2). Is 4 + -7 + (-5 - t - -132) prime?
True
Let k = -11 - -10. Let w(b) = 377*b + 3. Let i(u) = 753*u + 6. Let a(z) = 3*i(z) - 7*w(z). Is a(k) prime?
False
Let u(b) = 3*b. Let r be u(2). Suppose 0 = -5*h + 4*f + 1541, -2*h + r*f + 618 = 4*f. Is h a prime number?
False
Let q(s) = 972*s**2 + s + 3. Let c be q(-2). Let k = c + -2634. Is k composite?
True
Suppose -9 = -2*u + 1. Suppose -17356 = -u*x + 12009. Is x a prime number?
False
Let z(a) = -a**3 + 3*a + 1437. Is z(0) a composite number?
True
Let f(h) = -h**2 - h. Let d(x) = 9*x**2 + 13*x + 7. Let n(p) = d(p) + 5*f(p). Let q be n(-5). Suppose -q = -6*g + 5*g. Is g prime?
True
Suppose 6*z = 8*z. Suppose 5*c - 1915 - 8640 = z. Is c a prime number?
True
Let n = 0 + 7. Suppose 4*d - 3*b = n*d + 255, 0 = 3*d + 2*b + 254. Let y = 121 + d. Is y a prime number?
True
Let p(r) = -191*r - 2. Let n be p(-7). Suppose 4*u - n = u. Suppose 4*g + g = u. Is g a composite number?
False
Let v = -9219 - -53960. Is v a composite number?
False
Let x = 2916 + 2627. Is x a prime number?
False
Let t(o) = -2*o + 24. Let h be t(-12). Let q = 44 - 73. Let u = q + h. Is u a prime number?
True
Let m(d) be the first derivative of d**3/3 + 10*d**2 + 53*d - 6. Is m(-20) prime?
True
Let j be (-75 + -12)*(1 + (-3)/(-9)). Let l = -240 + 35. Let y = j - l. Is y a prime number?
True
Let g(r) = r**3 + 8*r**2 + 6*r - 7. Let p(t) = t**2 - 7. Let a be p(0). Let u be g(a). Suppose u = -4*x - 2*x + 1194. Is x prime?
True
Let u be 4/(-1) - (-6 - 1). Suppose u*t - 183 = -3*a, -5*t + t + 2*a + 232 = 0. Is t a prime number?
True
Let h(n) = -n**3 - 17*n**2 - 16*n - 6. Let i be h(-16). Is (5 - (-15)/i)*268/10 a composite number?
False
Suppose -2*b + r - 6 = b, 5*b - 2*r = -9. Let y be -4*2/12*b. Suppose 2716 = -y*s + 6*s. Is s prime?
False
Suppose 4*l - 13*l + 93402 = 0. Is l composite?
True
Is (-8 - (-2 + -5))/((-3)/6609) composite?
False
Let z(f) = f**3 - 14*f**2 + 12*f + 18. Let y be z(13). Suppose y*l - 2*l = 1455. Is l prime?
False
Suppose 0 = -5*t + k - 2*k + 10, -4*k = t + 17. Suppose -3*z = t*z - 4602. Suppose 2803 = 4*w + z. Is w a composite number?
False
Let h(f) = -392*f - 35. Is h(-8) a prime number?
False
Let a be (-39)/(-15) - 4/(-10). Let c = a + 1. Suppose -c*q = q - 385. Is q prime?
False
Let w(d) = -63*d**3 - 9*d**2 + 10*d + 11. Is w(-6) composite?
True
Let f(x) = -3*x - 7. Suppose 0 = -2*q - 3*d + 1, -5*q - 4*d - 11 = -d. Let y be f(q). Suppose g - y*g - 3*p + 1984 = 0, 3*g - 1491 = -3*p. Is g prime?
False
Let m(u) = -7*u**3 - u**2 + u + 1. Let l be m(-1). Suppose 0 = l*h - h - 325. Suppose w + 48 = 2*k, 4*k - 3*w - h - 35 = 0. Is k prime?
False
Suppose -1454 = -2*x - 2*d, 2*x + 2*d - 7*d = 1426. Let y = -430 + x. Is y a composite number?
False
Suppose 0 = -k + 5*n + 1151, 4*n - 5697 = -5*k - 0*n. Is k composite?
True
Let d(x) = x**3 + 3*x**2 - 4*x + 2. Let z be d(-4). Suppose 0 = -2*j + 3*j + 4*y - 3449, -3*j + z*y + 10305 = 0. Is j prime?
False
Let c be -5 - (-3)/((-3)/(-10)). Suppose 4*t - c*o - 4772 = 0, -t - 3*o = 4*t - 5965. Is t a composite number?
False
Let i = 92704 + -51665. Is i composite?
False
Let y(q) = -q**3 - 5*q**2 - 5*q - 9. Let x be y(-5). Suppose -v + 47 + x = -4*f, -4*v - 5*f + 336 = 0. Is v prime?
True
Suppose 0 = 2*q + 185 + 555. Is 5 - (-4 + q)*1 a prime number?
True
Suppose -z - 3*p = -7423, -2*z - 6*p + 14834 = -3*p. Is z a composite number?
False
Let f = 23 + -25. Is (-27574)/85*5/f a composite number?
False
Suppose 0*a - 2*a = 0. Let l(j) be the third derivative of j**4/24 + 41*j**3/2 + 27*j**2 - 2*j. Is l(a) a prime number?
False
Suppose 4*g - 5*j - 1253 = -0*j, g = -5*j + 282. Is g prime?
True
Let l(m) = -m**2 + 8*m - 2. Suppose 8*r = 4*r + 28. Let i be l(r). Suppose 443 = i*c + 33. Is c composite?
True
Suppose 3*t - 4251 = -h + 2756, -5*h + 3*t + 34999 = 0. Is h prime?
True
Suppose -n + 4251 = 4*g, 0 = -0*n + 2*n + 2. Suppose t - g = f, -t - 3*f - 1069 = -2*t. Let w = t + -731. Is w a prime number?
False
Is (-2)/4*(720808/4)/(-11) a prime number?
True
Suppose m - 681 = -d + 578, -3767 = -3*d + 2*m. Suppose 6*u - 3*u = d. Is u composite?
False
Let f(n) = -8*n**3 + 2*n**2 - 3*n + 16. Let l be f(-7). Let a = l + -1710. Is a a composite number?
True
Is ((-2522)/4)/((84/(-24))/7) a prime number?
False
Let c(r) = -r**2 - 22*r + 21. Let f be c(-10). Let u = f + -72. Is u a composite number?
True
Let w(v) = -8 - 47*v + 2 - 3 + 3. Let x be w(-10). Let h = x + -238. Is h a prime number?
False
Let u(y) = -y - 1. Let c(t) = 2*t + 1. Let x(a) = -5*c(a) - 4*u(a). Is x(-9) composite?
False
Let c(f) = 14*f**2 - 3*f. Let i be (-4)/3*(-3)/(-1). Let t be c(i). Suppose 0 = -5*p - t + 2371. Is p composite?
True
Let b be (-12 - -16) + (0 - -22). Let p = b + -22. Suppose -y + 3*y + 62 = p*f, 0 = y + 3. Is f a prime number?
False
Suppose -3*k = -4*k + 2*h + 7617, 2*h = 4*k - 30456. Is k prime?
False
Suppose -7*n + 99555 = 8*n. Is n composite?
False
Suppose 6*k - 7584 - 2322 = 0. Is k prime?
False
Let m = -18167 - -26832. Is m prime?
False
Suppose -4*q + 4*k = 3*k - 2053, 2*q = -4*k + 1040. Suppose -l + q = l. Is l a prime number?
True
Suppose 7*p - p + p = 0. Suppose 10*v + 102 - 2312 = p. Is v composite?
True
Let r = -75 - -282. Suppose -4*w = -w - r. Is w prime?
False
Suppose 5*l = 7*l + 2726. Let y = 2114 + l. Is y a prime number?
True
Suppose 0 = s + 5, 1278 = 2*w + s - 5*s. Is w a prime number?
False
Let i(h) = -66*