 4589 = 5*l. Is f a composite number?
False
Let z(a) = 97*a - 4. Let u be z(2). Suppose 4*q = 6*q - u. Is q prime?
False
Suppose -56 = -4*p + 20. Is p composite?
False
Let u(m) = -m**3 + 5*m**2 + m + 1. Let i be u(5). Let d be 382/14 + i/(-21). Suppose -4*t - 3*j = -368, -5*j = -3*t + 220 + d. Is t composite?
False
Let c(t) = t**2 + 6*t - 3. Let m be c(-3). Is (-1)/3 - 520/m prime?
True
Let w = -4 - -15. Suppose 7 + w = -3*b. Is (-2)/(b/145)*3 prime?
False
Suppose 0 = l + w - 252, -3*l + 0*w = 4*w - 754. Is l a composite number?
True
Suppose 5*d = 13*d - 3112. Is d a prime number?
True
Let h = 4 + -4. Suppose -j + 6*j - 1165 = h. Is j composite?
False
Suppose 33 = 3*z + t, 4*t + 19 - 7 = 0. Let d be (-4)/z - (-32)/6. Suppose -d*a + 124 = -a. Is a composite?
False
Suppose 3*g = -4*d + 35, 5*d - 15 = 3*g - g. Let h = d + -3. Is 2103/9 - h/3 a prime number?
True
Let m(b) = b**2 + 6*b - 3. Let s be m(-6). Let f(j) = -78*j. Let p be f(s). Suppose 5*t - 11 = p. Is t a composite number?
True
Suppose 5*t - r + 34 = 4*t, -4*t = -3*r + 138. Let x = 10 - t. Is x composite?
True
Suppose -x = 3*m - 3*x - 34, 0 = 5*m - 5*x - 65. Let i = m - -5. Is i a composite number?
False
Let q be (-331)/(-4) + (-1)/(-4). Let i = -46 + q. Is (i/4)/((-3)/(-12)) a composite number?
False
Let p(s) = -s**3 + 6*s**2 + 3*s - 3. Let i = 6 + -4. Let h be i/(-4) - 13/(-2). Is p(h) a prime number?
False
Let x = -11 - -8. Let c be x + (-3 - -7) + 58. Suppose 4*y - c = 3*y. Is y a composite number?
False
Let f(y) be the third derivative of 17*y**5/6 + y**3/6 + y**2. Let p be f(-1). Suppose -4*m + 339 = 3*k, -p = -0*m - 2*m - k. Is m prime?
False
Suppose 8*t - 4*t - 8 = 0. Is t/(-10) - 1992/(-60) a composite number?
True
Let n(s) = 32*s + 19. Is n(6) prime?
True
Let s = 5 - 0. Suppose 0 = 2*z - z - k - 40, -5*z - 2*k + 207 = 0. Suppose -z = -s*h + 29. Is h composite?
True
Let y(j) = 7*j**2 + 7*j + 2. Is y(-21) a prime number?
False
Suppose -651 = -x - 3*y - 98, 0 = -4*y + 8. Is x a prime number?
True
Let c(l) = l**2 - 2*l + 4. Let b be 26/6 + (-4)/(-6). Suppose y = -0*y + b. Is c(y) composite?
False
Suppose -128 = -2*y - 14. Let i = -22 + y. Is i composite?
True
Let y = 274 + -195. Is y a prime number?
True
Let g = -136 - -1103. Is g prime?
True
Let u(r) = -2*r - 1. Let o be u(-1). Let a be (-1)/((2/6)/o). Is (-22)/a*(-3)/(-2) composite?
False
Let t be 3/(-9) - (-4)/(-6). Let h be (0 + 1 - t) + -184. Is (-2)/(-8) + h/(-8) a prime number?
True
Suppose u + 2*t = 4*u - 85, -4*t = u - 19. Suppose -3*q + 6*q - u = 0. Suppose d - 5 - q = 0. Is d prime?
False
Is (3/(-3))/(1/(-1361)) prime?
True
Let f(x) = -3*x + 5*x + 2*x**2 - 3*x**2. Let p be f(2). Suppose -2*t - 5*v = -p*v - 200, 97 = t + v. Is t a prime number?
False
Let z be (-1 - (262 + 1)) + -2. Let m(y) = 7*y**3 + 3*y**2 + 3*y + 2. Let n be m(-3). Let w = n - z. Is w prime?
True
Suppose 153 = m + 50. Is m prime?
True
Suppose 831 + 125 = 4*a. Is a a composite number?
False
Let y(k) = k + 10. Let d = 15 + -23. Let i be y(d). Suppose i*b - 121 = 541. Is b a prime number?
True
Let j be -2 + 1 + 2 + 2. Suppose 2*v = -0*v + 2*c + 114, -v = -j*c - 55. Suppose -v = -h - 5*w, 5*w = 5*h - 212 - 48. Is h prime?
True
Let v(h) = -5*h**2 + 6*h - 9. Let w be v(-7). Let a be w/(-10)*(-10)/(-2). Suppose 4*p - a = -0*p. Is p a composite number?
False
Suppose 0*z = 2*z - 12. Suppose -s = -z*s + 15. Is 508/6 + s/9 a prime number?
False
Let p(x) = 2*x**3 - 3*x + 1. Let a be p(2). Suppose 0 = -5*k + 10, k = -y + 3 - a. Is (-11 - 3)/(4/y) a prime number?
False
Is (1 - (-2415)/(-2))/((-7)/14) composite?
True
Suppose -2*n + 122 = -4*m, 4*n - 3*m = -m + 274. Is n prime?
True
Suppose 18 = 5*v - 4*a, v - 2*v + a + 3 = 0. Let h(n) = 2*n**2 - 4*n - 5. Is h(v) prime?
True
Suppose -5*b - 15 = 0, -2*s + 3248 = 3*s + 4*b. Is ((-4)/(-2))/(8/s) composite?
False
Suppose -4*h + s + 3289 = -4*s, 1 = -s. Is h prime?
True
Let x be (-1 - -2)*(1 + -5). Let r(p) = -2*p**3 - 6*p**2 - 5*p + 1. Is r(x) composite?
False
Let f be 2/(-5) + 531/15. Suppose 5*m = d + f, 0 = 2*m + 2*m + d - 28. Is m prime?
True
Let h(f) = 80*f**2 + 3*f - 20. Let c(b) = 27*b**2 + b - 7. Let j(g) = -17*c(g) + 6*h(g). Is j(1) a composite number?
True
Is (-13)/39*(-1941)/1 a prime number?
True
Suppose x = 3*a + 27, 2*a = 2*x - 0*a - 34. Suppose 0 = 4*h - 3*u - x, u + 9 = 3*h - u. Is h prime?
True
Suppose 4*r + 784 = 2*j + 2*r, -4*r = -3*j + 1173. Is j a composite number?
True
Let b(o) = 2*o**3 - 5*o**2 + 5*o - 1. Suppose 8 + 11 = 2*c + 3*w, c - 2*w = -1. Is b(c) a prime number?
True
Let j(o) be the third derivative of -1/60*o**5 + 0*o + 1/24*o**4 + 223/6*o**3 - o**2 + 0. Is j(0) composite?
False
Let m(j) = 37*j**2 - 4. Is m(-3) a prime number?
False
Suppose 7960 = 20*j - 12*j. Is j a prime number?
False
Let v(a) = -3*a**3 - 2*a + 6*a + 2*a**3 + 7*a**2 + 2*a**3 - 1. Is v(-3) a composite number?
False
Let y be ((2 - 0) + -48)*-4. Suppose 61 = 5*j - y. Is j a composite number?
True
Let p(i) = 1 - 6 - 1 - i**3 - 6*i**2. Let q be p(-6). Let x = q - -12. Is x a composite number?
True
Let b(t) = -t**3 - t**2 + 335. Is b(0) prime?
False
Suppose 224 = 2*h - 4*n, -5*h + 473 = n - 131. Suppose 5*k - 725 + h = 0. Is k a composite number?
True
Suppose d = -5*f - 0*f + 245, -75 = -f + 5*d. Let x be (2 + -2 - 0) + f. Suppose -3*r + 7 = -x. Is r a composite number?
False
Let g be (1/2)/((-1)/(-6)). Suppose -3 = g*c, 0 = b - 2*c - 522 + 75. Is b a prime number?
False
Let m(s) = -s**2 - 3*s + 4. Let r be m(-3). Let q be r/(-18) + 114/27. Suppose v + q*p - 47 = -0*v, p = 2. Is v prime?
False
Let o(t) be the second derivative of -9*t**5/5 + t**4/12 + t**3/6 + t**2/2 - 3*t. Is o(-1) a composite number?
False
Let l(j) = 1231*j**2 - j - 3. Is l(-1) prime?
True
Suppose -5*f + 458 + 12 = 0. Let x = -27 + f. Is x a composite number?
False
Let p(x) = -x**2 - 10*x + 3. Let t be p(-11). Let z = 13 + t. Suppose -4*r = 5*v - 51, -2*r = z*v - r - 39. Is v composite?
False
Let r be (44/(-77))/((-4)/14). Suppose -r*c + 7*c = 665. Is c a prime number?
False
Let z(u) = 3*u + 2. Let d be z(4). Let l = 20 - d. Suppose 232 = l*b - 2*b. Is b composite?
True
Let h(r) = 2*r - 5. Let k be h(4). Suppose 0*o = k*o. Suppose o = -2*z + 6, -d = -2*z - 3*z + 12. Is d composite?
False
Let l = 176 - 107. Is l a prime number?
False
Suppose -7*g + 1068 = -4*g. Let p = -5 + 8. Suppose 3*y + d - g = 0, 3*y - 235 = -p*d + 119. Is y a composite number?
True
Let f(u) = -u**3 + 3*u**2 + 2. Let y be f(3). Let d = 5 - y. Suppose 22 = d*t - 11. Is t a prime number?
True
Let u be (-9)/(-18)*13*2. Is (u/(-3))/((-2)/6) composite?
False
Let k(z) = -7*z**3 + z**2 + z + 1. Let w be k(-1). Suppose -2*x + 0*x = -w. Let l(p) = 3*p**2 - 3*p + 3. Is l(x) composite?
True
Suppose -p - 3*g + 200 = 0, 5*p - g - 1017 = g. Is p a composite number?
True
Let b(o) = 92*o**2 - 7*o - 10. Is b(-3) a composite number?
False
Let t = 4 + 2. Suppose -t*k = -3*k. Suppose k = -5*m + 6*m - 39. Is m composite?
True
Is 212*(11/(-44))/((-2)/46) a prime number?
False
Let g(q) = 5*q**2 - 9*q + 8. Let y be g(8). Suppose i + i = y. Suppose -v + 2*v - 5*b = 10, -b + i = 5*v. Is v prime?
False
Suppose -5*z + 146 = 3*w, 0*z = -z + 5*w + 46. Is z prime?
True
Let o = 6 - 9. Let c(q) = -20*q**2 - 4. Let a(h) = -h**2. Let y(u) = o*a(u) - c(u). Is y(-3) a composite number?
False
Let c = -6 - -24. Suppose 3*u + 3*r - 138 = 0, u - 4*r - c = 43. Is u prime?
False
Is (1 - (-3012)/4)/2 composite?
True
Let s = 2292 + -973. Is s prime?
True
Suppose -3*p + 49 = -0*p - s, 0 = 5*p + 5*s - 75. Is ((-498)/8)/((-6)/p) prime?
False
Let i(w) = 9*w**3 + w + 5. Is i(3) composite?
False
Suppose d = -0*d + 5*f + 10, 2*d - f + 16 = 0. Is 14/(4/d*-1) composite?
True
Let a = 8 + -5. Suppose n = a*p + 159, 2*n + 2*n = -5*p + 585. Suppose -3*m - 39 = -n. Is m composite?
False
Suppose -b = 3*b - 52. Let p = -7 + b. Is p a composite number?
True
Suppose w - 4*y = 459, -4*y + 3*y = -2*w + 890. Is w a composite number?
False
Let i be 1 + 1 + (0 - -1). Let p be (-3)/((-6)/4 - -1). Suppose -q = -n - i*q + p, 46 = 3*n - q. Is n a composite number?
True
Suppose 4 = 4*d - 8. Let v(c) = -c**3 + 12*c**2 - 11*c + 3. Let s be v(11). Suppose d*i - 39 = s. Is i a prime number?
False
Let n(f) = 3*f + 5. Let v(b) = 3*b - 10. Let j be v(7). Let a 