 -6*f - 3*a = -f - 555, -5*f + d*a = -b. Is f composite?
True
Let g = -96 - -3259. Is g a prime number?
True
Let d(o) be the third derivative of -o**6/60 - 2*o**5/15 + o**4/8 + o**3/3 + o**2. Is d(-5) a composite number?
False
Is ((-1282)/3)/((-1)/((-3)/(-2))) a prime number?
True
Let l(n) = n**2 + 6*n + 4. Let f be l(-6). Suppose 4*z - 1964 = -f*k + 300, 566 = z + 4*k. Suppose -349 = -3*r + z. Is r prime?
False
Let x = 540 - 850. Suppose -3*n = 3*i + 54, -n + 26 = -3*i + 3*n. Is x/(-4) + (-21)/i a composite number?
False
Let i(x) = 12*x**3 + x**2 + 12*x + 12. Is i(5) prime?
True
Let x(k) = 59*k**2 + 10*k + 1. Let s be x(-7). Let o = 8119 - s. Is o prime?
True
Suppose 4*b + 16 = 0, 3*j - 2*b = -3 - 16. Let z(k) = k**3 - 1 + 10*k**2 + 6*k - 4 - k. Is z(j) a prime number?
True
Let o(t) = -42*t**3 - 3*t**2 - 14*t + 43. Is o(-8) prime?
True
Suppose f - 13*l - 4202 = -8*l, -2*f + 8434 = -4*l. Is f a composite number?
True
Suppose 0 = 4*u - 2*u - 10. Suppose 4*y + t - 1337 = -4*t, u*y - t = 1664. Let g = -200 + y. Is g prime?
False
Let w be 2 + 1 + -1 - -4. Let f = 188 + w. Is f a composite number?
True
Let u be (-20850)/(-33) + 2/11. Let b(l) = l**3 - 8*l**2 + 8*l - 7. Let a be b(7). Suppose 5*d - 2087 + u = a. Is d prime?
False
Let u be (-1 + (-28)/20)*-30. Suppose 2*a - u = -2*a. Let q = 29 - a. Is q a composite number?
False
Suppose -2*d = -4*a + 1668, 2542 = -3*d - 0*a - 4*a. Let h = d + 1561. Is h composite?
False
Let r = -22 + 19. Let s be 2/r*(-2 - 4). Suppose s*z = -w - z + 72, -3*z = -3*w + 234. Is w a prime number?
False
Suppose 14*q - 5060 = 3*q. Suppose -2*i - 1126 = -5*w - i, 2*w + 2*i = q. Is w a prime number?
False
Suppose u = -i + 3488 + 952, 17767 = 4*i - 3*u. Is i prime?
True
Let u(w) = -w**3 + 9*w**2 + w - 18. Let c be u(9). Is 6/9*c/(-24)*1964 composite?
False
Let k(n) = 784*n + 4. Let g be k(12). Suppose -2*t + 3320 = -3*d, -4*t = -5*d + 2774 - g. Is t a prime number?
True
Let h = 30 + -25. Suppose -3*m = -5*f + 1067, -m = f - h*m - 227. Is f a prime number?
True
Suppose -5*r = -3*b + 43, 4*b - 6*r + r - 49 = 0. Let w be (-90)/27*b/(-4). Let h(p) = 5*p**2 - 3*p + 3. Is h(w) prime?
True
Let q be (-111)/(-2) + 27/(-18). Let o = -11 + q. Is o a composite number?
False
Let c(k) = -93*k - 23. Is c(-2) composite?
False
Is 324930/(-20)*8/(-12) prime?
True
Suppose -10 = -2*t - 3*t. Let c(m) = 2*m**2 - m - 1. Let q be c(t). Suppose k = z + 212, q*z = 5*k - 3*k - 415. Is k composite?
True
Let x(q) = -25*q**2 + 5*q - 4. Let h be x(1). Is (-1)/(4/h)*210 - -1 prime?
False
Suppose 0*l - 9 = -l. Let c(t) = -4 + 9 + 11 - 8*t + l. Is c(-18) a prime number?
False
Let l be (4/3)/((-20)/(-30)). Suppose 0 = -d - l*t - 2*t, -3*t + 23 = -5*d. Is ((-37)/d)/(1/44) prime?
False
Suppose 0 = 2*i + q - 61731, 5*i - 154344 = -138*q + 141*q. Is i composite?
True
Let j(h) = -54*h**3 + 5*h**2 - 48*h - 529. Is j(-12) a prime number?
True
Let k = 8 + -5. Suppose -k*q + 74 = -q. Is q a prime number?
True
Let d(c) = -270*c - 3. Let m be d(-4). Suppose 680 - 7879 = -4*n + z, 0 = 3*z + 9. Suppose 0 = -3*i - x + m, -4*i - n = -9*i - 3*x. Is i composite?
True
Is ((-91)/14)/13*(1 + -10439) composite?
True
Suppose -6*p = -0*p - 150. Let k(m) = m**3 - 25*m**2 + 15*m - 34. Is k(p) composite?
True
Suppose -4*k - 5*x - 3 = 0, 2*x + 0*x = -4*k + 6. Suppose -k*o + 996 = -a, -1614 = -5*o + 3*a + 50. Is o prime?
True
Suppose -7*y = -6470 - 1097. Is y composite?
True
Let a be 1/(6/915) - (-1)/2. Let y = 422 - a. Is y a prime number?
True
Suppose -15773 = -9*l + 2704. Is l prime?
True
Suppose 0 = 43*y - 42*y - 57173. Is y prime?
True
Let f(g) = -1025*g - 195. Is f(-10) composite?
True
Is -139665*(-9 + (-234)/(-27)) prime?
False
Let u(t) = 1975*t + 267. Is u(10) prime?
False
Let i(g) = 4*g**2 - 9*g - 9. Let k(c) = 3*c**2 - 8*c - 8. Let o(l) = 2*i(l) - 3*k(l). Suppose 3*n = n + 12. Is o(n) composite?
True
Let t(m) = -184*m - 4. Let o(s) = -9 - 117*s - 166*s - 84*s. Let x(v) = -3*o(v) + 7*t(v). Is x(-2) a composite number?
False
Suppose 3*d - 7879 = 2*d - k, -23619 = -3*d + 3*k. Suppose 3*a - 4 + 16 = 0, 0 = 4*r + 4*a - d. Is r a prime number?
True
Let i be (-3)/((-8)/(200064/18)). Let t = i + -2331. Is t composite?
True
Is 25161/(9/15 + 126/(-385)) composite?
True
Suppose -5*y = 3*n, -3*n + 2*y - 3*y = 0. Suppose v = -3*t + 941, n*v = -3*v + 5*t + 2879. Is v composite?
False
Let l be (3070/20)/(14/12 - 1). Let o = l - 244. Is o composite?
False
Let c(h) = -h**3 + 12*h**2 - 14*h - 20. Let y be c(14). Let z = y - -1047. Is z a prime number?
True
Suppose 25*w - 21*w = 37776. Suppose 2*b - w = u, -3 = 4*u + 5. Is b prime?
True
Let u be (0 + 2/(-5))*-35. Is (-3518)/(-14) - u/49 prime?
True
Suppose -104 - 174 = -2*f. Is (1 - (-4 - -4))*f a composite number?
False
Let l = 11 - 10. Let n = -8 + l. Let v(u) = -21*u - 2. Is v(n) a composite number?
True
Is (1/(-6)*1828)/(4/(-6)) prime?
True
Is 107 + 6 + (-3 - 1) a prime number?
True
Let f be (-7 + 5)*15/(-2). Suppose 4*y + 5*a = -y, 4*y + a - f = 0. Suppose -y = -3*r + 7, q + 2*r - 75 = 0. Is q composite?
False
Is (-21)/315 - 28516/(-15) a prime number?
True
Is 42328/11 + -3 + -4 a composite number?
True
Let w = -1365 + 2836. Is w a prime number?
True
Suppose -4 = -4*s + 24. Is (s + -6)*(-1 + 128) composite?
False
Suppose -3*u + 10 + 5 = 0. Suppose -u*v = -114 - 71. Let y = v - -6. Is y a prime number?
True
Let k = -14139 - -54290. Is k a prime number?
True
Suppose 71*k - 1157532 + 130801 = 0. Is k a composite number?
False
Let i(f) = 8*f - 23. Let r(v) = v + 1. Let c(d) = i(d) + 6*r(d). Is c(2) a composite number?
False
Suppose -2 = -2*m - 0. Let x be ((-3)/2)/(m/4). Is (372/x)/((-2)/5) composite?
True
Let m(r) = r**2 + 8*r + 3. Is m(8) a composite number?
False
Let s(x) = 3*x**2 + 28*x - 192. Is s(-35) composite?
False
Suppose y - k = 11, 2*k - 11 = 4*y - 45. Suppose -2*o + 3832 = y*o. Is o composite?
False
Suppose 0 = 4*z + i - 4, -2*z + 3*i + 18 = z. Suppose -a = -z*a + 1253. Is a prime?
False
Let v = -293 + 511. Suppose 0 = 7*z - 5*z - v. Is z composite?
False
Let b(r) = -r**2 + 17*r - 11. Let v be b(16). Suppose -524 = v*k - 1479. Is k a prime number?
True
Let u(j) = 4*j**2 + j - 158. Is u(27) a composite number?
True
Suppose -3*o - 3*l = 0, 5 = -4*o + l - 5. Let x be (1285 - -3)/4 + o. Let g = x + 191. Is g a prime number?
False
Suppose -8*u - 3995 = -13*u. Suppose -g - 184 = -u. Let d = -286 + g. Is d a composite number?
True
Is (-15270 + 8)/(-13) - 3 a composite number?
False
Let s(q) be the first derivative of -41*q**2 + 49*q - 39. Is s(-24) prime?
True
Suppose -6*i + 8*i - 3*u - 5773 = 0, -5*i + 14400 = -u. Is i a prime number?
True
Let s(a) = 156*a - 7. Is s(15) a prime number?
True
Let k = 36 + -11. Suppose 2*f - 3*d = -k, 2*f + 5*d + 1 + 0 = 0. Is (-2)/8 - 370/f a composite number?
True
Suppose -7074 = -2*w + 4*k, 4*w + 3*k = -0*k + 14181. Let r = w + -2072. Is r composite?
False
Suppose 21*c - 18*c - 37857 = 0. Is c composite?
False
Suppose 130*z = 137*z - 25473. Is z composite?
True
Let l = 1299 + -965. Is l prime?
False
Let x(w) = w**3 + 5*w**2 + 18*w - 17. Let b be x(-7). Let t be (-54)/(0 + (-1)/(-8)). Let a = b - t. Is a a prime number?
True
Let b(x) = 1430*x - 549. Is b(10) a composite number?
False
Let z = 6036 + -12508. Let k = z - -9581. Is k a composite number?
False
Let o = 715 - 390. Let n = 1442 - o. Is n a prime number?
True
Let u be 165/(-1)*(-21)/9. Let r = u + -219. Is r a composite number?
True
Suppose 35396 = -7*r + 11*r + 4*u, 5*r = u + 44245. Is r composite?
False
Is (-1)/(0 + 2)*(-1854158)/137 prime?
False
Let z(m) = 8*m**3 - 13*m**2 - 6*m - 13. Is z(8) a composite number?
False
Is (-9087)/(-312)*(0 + 8) prime?
True
Suppose -5*a - 26 = -18*a. Suppose a*t + 9850 = -5*m + 28141, -3*t - 3665 = -m. Is m composite?
False
Suppose -4*y + 55 = -5*w - 40, 4*w = -5*y + 88. Suppose y = -5*r, 2*z - 3*r + 79 = 1503. Let q = -413 + z. Is q a composite number?
False
Let r(j) be the third derivative of 3*j**5/2 - j**4/6 - j**3/6 - 15*j**2. Is r(3) a composite number?
False
Suppose -5*q = 433 + 592. Let a = 446 + q. Suppose 274 + a = 5*g. Is g a prime number?
True
Is (13 - -6182 - (-1 + -1))*1 a composite number?
False
Let u(i) = 89*i - 1. Suppose 2*c - 4*t + 10 = 0, 3*c = -c + 2*t - 2. Let y be u(c). Suppose 18 = 2*