 + 3*n + 4. Let t be c(-3). Let a be i(t). Suppose a + 497 = 3*o. Is o composite?
True
Suppose -4*l + 4717 + 1111 = 0. Is l a prime number?
False
Suppose -5*b = -0*b + h + 68, 0 = 3*b + 5*h + 54. Let q be 1/(-2)*(1 + b). Suppose -4 = -j + q. Is j composite?
True
Let p(z) = 640*z**3 + z**2 + 4*z - 4. Is p(1) a composite number?
False
Let r be 2/(0 - 6/(-801)). Suppose r = z + 2*z. Is z a prime number?
True
Suppose -4*f + 2*i - 137 = 103, -3*f + 2*i = 178. Suppose -2*z + 3*z = -7. Let h = z - f. Is h a prime number?
False
Suppose 3 = -0*r + r. Let b(v) = 2*v**2 + 4. Is b(r) composite?
True
Is ((-1)/(-4)*-2)/(3/(-5214)) prime?
False
Suppose -3*o = o - 112. Suppose c - 5*m + 50 = -4*c, -3*c = -4*m + o. Is (-6)/c - (-194)/4 a prime number?
False
Let f = 3 + -1. Let i = f + -4. Is i/6 - (-320)/6 a composite number?
False
Suppose -4*v + 130 = v + 2*h, 3*v = -3*h + 87. Suppose 3*g = -0*g + v. Suppose -4*f = f - 4*k - 86, -2*k - g = 0. Is f a composite number?
True
Suppose 3*o - 6 - 12 = 0. Suppose 4*j - o - 14 = 0. Suppose -s + 155 = 4*g, -826 + 3 = -j*s + 4*g. Is s a composite number?
False
Let q(x) = -x**3 - 14*x**2 - 9*x - 9. Is q(-16) prime?
True
Let j be 247/2 + (-3)/6. Suppose 458 - 153 = -5*v. Let a = v + j. Is a composite?
True
Let z = -1367 - -2154. Is z composite?
False
Suppose -a + 0*a = 0. Let f = -3 + a. Let k = 12 - f. Is k composite?
True
Suppose -4 = 5*j - 659. Is j composite?
False
Let d(c) = 36*c**2 - 4*c + 7. Is d(-7) a composite number?
True
Let s be (1/(-2))/((-9)/(-36)). Is (-445)/(-10)*(-20)/s composite?
True
Let a(z) = -3*z - 11. Let p be a(-8). Is p - (1 - 1)/(-3) prime?
True
Let p be 6*2/(-6)*-2. Suppose -3*o - p = -19. Suppose -o*l + 77 = -4*l. Is l prime?
False
Suppose -8*m - 898 = -10*m. Is m prime?
True
Suppose 0 = -w + k + 86, -4*k - 162 = -5*w + 3*w. Is w a composite number?
True
Let d(b) = 6*b**3 - 2*b**2 + 2*b - 1. Let r be d(1). Let m(a) = 38*a - 5. Is m(r) a composite number?
True
Suppose 0*i - 4*i + 236 = 0. Is i prime?
True
Suppose -34 = 2*j - 4*j. Suppose -5*f = -j - 13. Is 1/3*1062/f a composite number?
False
Let i(m) = m**3 + 7*m**2 + 7*m + 9. Let w be 0 + (-1)/(-1)*-6. Let x be i(w). Suppose 4*h - 12 = 0, -x*h - h = -4*d + 472. Is d prime?
False
Suppose -4*w + 2*w = -10, 42 = 4*p + 2*w. Is 2*14*14/p composite?
True
Let t(u) = 2*u**2 - 2*u - 5. Let d be t(8). Suppose 2*y - 41 = -4*v + v, 5*y - d = -3*v. Is y a prime number?
False
Suppose 3*l - 8 = l. Is -4*(6/l + -3) composite?
True
Let y(h) = h**3 - h**2 + h + 5. Let w be y(0). Suppose 10 + w = 3*c + 3*g, 0 = 4*g. Suppose 0 = -0*t + 5*t + 5*r - 315, -c*t = -5*r - 355. Is t a prime number?
True
Suppose -3*n + 4*n - 53 = 0. Is n a prime number?
True
Is 1 + (-1608)/9*-6 prime?
False
Suppose -l - 6*l = -5509. Is l a composite number?
False
Suppose -4 = -5*t + 11. Suppose -f + 314 = 14. Suppose t*g - 5*n - 260 = 0, 0*n + f = 3*g + 3*n. Is g a prime number?
False
Suppose -5*b + 870 = 3*c + c, -535 = -3*b - 5*c. Let a = b - -95. Is a a prime number?
False
Suppose s - 37 = 5*o, -4*s - 5*o + 0*o + 73 = 0. Let k = 93 - s. Is k a prime number?
True
Suppose 5*m = 2*u - 1351, 3*m - 2007 = -3*u + 51. Is u composite?
False
Let c = 11 + -7. Suppose 0*m + c*m = 0. Suppose -k + 47 = -m*k. Is k composite?
False
Let t = 211 - 151. Suppose -143 = -z + t. Is z composite?
True
Is (-8)/(-36) + (-2257)/(-9) a prime number?
True
Let c(u) = -838*u - 11. Is c(-3) a prime number?
True
Let m be (4/(-8))/(1/38). Let l = 41 + m. Is l a prime number?
False
Suppose 3*q - 4*q = -2777. Is q a composite number?
False
Let y = 1589 - 880. Is y composite?
False
Let x(f) = 20*f**2 + f - 1. Let w be x(1). Suppose -8 = -4*l + 5*s, -4*s - s + w = 0. Suppose l = -b + 3, -2*d - 5*b + 18 = 0. Is d a composite number?
False
Suppose 3*c - 1315 = 2*c - 2*p, 5*c + 4*p = 6575. Is c composite?
True
Let p(q) = 13*q + 12. Is p(7) a prime number?
True
Suppose 4*i - 4*r = -r + 7, -4*i - 5*r = -31. Suppose 270 = -i*z - 2*m, -z + 2*m + 0*m - 75 = 0. Let v = -32 - z. Is v a composite number?
False
Let k be 9/(9/644) - -3. Suppose k = 4*j + 5*a, 0*j + 5*a - 158 = -j. Is j a prime number?
True
Let v(r) = -25*r + 1. Let u be v(-6). Suppose 5*i - 5*l - 818 = -18, -i = 2*l - u. Is i composite?
False
Let k(t) = -t**3 - 6*t**2 - 5*t + 3. Let m be k(-5). Suppose m*q + 1 = 40. Is q composite?
False
Let s(g) = -19*g - 6. Let u(n) = 20*n + 5. Let l(j) = -4*s(j) - 5*u(j). Let q = -7 + 5. Is l(q) composite?
False
Suppose 15*d - 5*d - 4460 = 0. Is d prime?
False
Let d = 2431 - -310. Is d a composite number?
False
Let t = 3 + -4. Is 11*(-1)/(t/13) prime?
False
Let p be (-2368)/(-20) + 10/(-25). Suppose -5*i + 39 = 14. Suppose -k + i*c = -p, -3*c - 230 = -2*k + c. Is k composite?
False
Suppose 0 = g - 0*g - 4816. Let d be g/(-20) - (-2)/(-10). Let u = d + 354. Is u a prime number?
True
Let p(j) be the first derivative of j**4/4 - j**3/3 + j**2/2 + j - 2. Let d(k) be the first derivative of p(k). Is d(6) a prime number?
True
Let o(t) = -t**3 - 4*t**2 - 3. Let c be o(-4). Is 126 - (5 + -3 + c) prime?
True
Let z(s) be the second derivative of -s**5/20 + 2*s**4/3 + 2*s**3 + 5*s**2 - 4*s. Is z(9) a composite number?
False
Suppose -i = -6 + 4. Let b(y) = -6*y**3 - y**2 - 2*y + 1. Let h(t) = 7*t**3 + t**2 + 3*t - 2. Let x(o) = -3*b(o) - 2*h(o). Is x(i) a prime number?
True
Let p be (-6 - -8)/((-2)/63). Let t = p - -268. Is t prime?
False
Let d(s) = -s**3 + 11*s**2 + 4*s - 4. Let f be d(7). Suppose 5*z - 5*t = f + 340, t = -3*z + 348. Is z composite?
True
Suppose -p + 3*p + 524 = 0. Let m be p*10/(-4)*1. Suppose o = -4*o + m. Is o a prime number?
True
Suppose 2*z - 2*m = 6*z - 278, -z + 65 = 5*m. Suppose -2*y + s + z = -2*s, 0 = 4*y + 5*s - 162. Is y composite?
True
Suppose 4*u - 530 = -u. Is 1/(2/u - 0) a composite number?
False
Suppose -4*o = 5*y + 43 + 13, 3*y - 2*o = -38. Let m(z) be the third derivative of -z**5/60 - 7*z**4/12 - 3*z**3/2 - 5*z**2. Is m(y) a prime number?
False
Suppose -h + 453 = 56. Is h composite?
False
Is 5/((12/758)/6) a prime number?
False
Let w be (1 - (1 - 2))/(-2). Let t = w - -6. Suppose -8 = -3*f + 4, l - 87 = -t*f. Is l a composite number?
False
Suppose 3*t = 848 + 1255. Is t composite?
False
Let u be 4*3/(1 - -5). Suppose 3*i = -2*a - 121, i = -5*a - 21 - u. Is i/(-2) - 1/2 a composite number?
True
Suppose -5*k - 207 = 783. Let p = k - -451. Is p a composite number?
True
Let f(g) = 5*g**3 - 2*g + 3. Let d be f(4). Suppose 151 = 2*q - d. Is q composite?
False
Let z be (-6)/(-10) + 82/5. Suppose 2*h - z = 5*x, -5*h + 0*x = 2*x + 1. Is (-2 + 44)*h/2 a composite number?
True
Let b(y) = -22*y - 1. Suppose 3 = -v, 0 = 2*u + 5*v - 0 + 3. Let j = u - 7. Is b(j) a prime number?
False
Is 0 + (-5)/(15/(-393)) prime?
True
Let f be 3/(4/((-48)/9)). Let n = f + 7. Suppose -n*y - 8 = -47. Is y prime?
True
Suppose 0*a - 4*a = i - 3343, -13277 = -4*i + 3*a. Is i prime?
True
Let o(t) be the third derivative of -t**5/5 - t**4/4 + t**3/2 - t**2. Let h be o(4). Let g = 304 + h. Is g a composite number?
True
Let y(f) = 504*f**2 + 3*f - 1. Let q be y(1). Let a(z) = z**2 + 96. Let i be a(0). Suppose 2*m = -2*u + q, -2*u + 5*m + 396 = -i. Is u a prime number?
True
Let k = -39 - -60. Suppose 5*c = 4*c + k. Let p = c + -8. Is p a composite number?
False
Suppose -v = 3*o - 5711, o + 0*o + 3*v = 1909. Is o a composite number?
True
Let u(i) = -34*i - 70*i - 6*i. Let s be u(-2). Suppose 2*w + s = 4*t - 84, -5*t = 3*w - 391. Is t a composite number?
True
Let t = -53 + -37. Let l = 95 - t. Is l prime?
False
Let t be 18/(-63) + 144/14. Let h = 4 - 0. Is h/t - (-1172)/20 prime?
True
Let a(u) = -5*u + 12*u + 4*u + 8*u - 2. Let f be a(-4). Let k = f + 137. Is k prime?
True
Let i = -97 - -428. Is i a prime number?
True
Let y = 19 + 58. Suppose -2*i + y = 31. Is i prime?
True
Let z(s) = 1. Let i(p) = 35*p - 3. Let t(q) = -i(q) - 6*z(q). Is t(-2) a composite number?
False
Suppose -3*w = 6, -4 = -2*c + 2*w + 10. Suppose -4*t + 3*l + 183 = -22, -c*l + 34 = t. Is t a composite number?
True
Is (-944)/(-6) - (-15)/(-45) composite?
False
Let c be 3/((-12)/70)*-4. Suppose 0 = 5*m - 1150 + c. Suppose -2*b + 131 = 3*i - 110, m = 2*b - 2*i. Is b composite?
False
Let t(a) = a + 35*a + 7 + 14*a. Is t(6) a prime number?
True
Let c be (2/6)/(4/(-36)). Is 40 