+ -2120. Is y a prime number?
False
Suppose -4*p = 5*f - 26, -3*f + 0*p + 22 = 4*p. Is ((-44)/f)/(4/(-2)) a prime number?
True
Let a(x) = x**3 + x - 4*x + 0*x - 6*x**2 + 0*x + 5. Is a(9) prime?
False
Is (0 - -5)*(-508)/(-4) prime?
False
Let k = 1484 + -781. Is k prime?
False
Let c(w) = -w**3 - 10*w**2 + 3*w + 22. Is c(-12) composite?
True
Suppose 0 = s + 3*p - 20, -8*s + 50 = -3*s + 5*p. Let c(n) = 5 - s*n + 2*n - 2*n. Is c(-6) composite?
True
Let j = 6 + -3. Suppose -5*n = -j*n - 290. Is n a composite number?
True
Let h = -7 + 5. Is (22/(-5))/(h/10) a composite number?
True
Let n = -3 - -6. Let p(g) = 3*g - 1. Let d be p(3). Suppose n*y = 10 + d. Is y a composite number?
True
Let r be (-2)/(-9) + 2/(-9). Is (-10 + 563)*(1 + r) prime?
False
Suppose -3*u = 4*y + 154, 212 = -7*u + 3*u - 2*y. Let a = u + 78. Let c = a - -13. Is c composite?
False
Let c = -4 - -8. Suppose -7*x + 6*x - c*d = -15, 3*d - 40 = -2*x. Is x a composite number?
False
Let d be (1 + 1)/(1 - 0). Let b(j) = -5*j**2 + j + 1. Let z be b(-1). Is (-1274)/(-10) + d/z a prime number?
True
Let p(i) = -5*i - 2. Let l be p(2). Let m = 14 - l. Is m prime?
False
Let h(o) = 110*o + 1. Let l = 4 - 3. Is h(l) composite?
True
Suppose 82 + 278 = 2*m - 5*p, 0 = -m + 4*p + 183. Suppose m = 4*g + g. Is g prime?
False
Let f(k) = k**2 - 8*k + 8. Let q = 12 + -4. Let p be f(q). Suppose 3*g = x + p*g - 144, 5*x = 4*g + 662. Is x composite?
True
Let p be 24/16*8/6. Suppose -3*v + p = -4*h + 9, 2*v - 10 = -h. Suppose -h*c + b = -2*b - 101, -3*c + 81 = -4*b. Is c a prime number?
True
Let g(p) be the second derivative of p**5/20 - p**4/4 - 2*p**3/3 + 3*p**2 + 7*p. Is g(4) composite?
True
Let z = 386 - 229. Is z a composite number?
False
Suppose -8*k = -4*k - 5*g - 196, 3*k - 2*g = 147. Is k prime?
False
Suppose -4*i - 14 = -5*u, 0 = 2*i + i + 3. Suppose 0 = -0*x - u*x + 76. Is x prime?
False
Suppose 0*s - 2*s = 0, 4*k - 5*s = 356. Is k prime?
True
Let r(y) = y - 2. Let g = -4 - -6. Let x be r(g). Suppose x*h + 2*h = 62. Is h composite?
False
Let f = -636 + 971. Suppose -5*c + f + 410 = 0. Is c prime?
True
Suppose -635 = -10*u + 9*u. Is u a prime number?
False
Suppose 3*c + 4 - 7 = 0. Let b be (-28*1)/(c/(-4)). Is 1/3 - b/(-6) a prime number?
True
Let y = 14 - 8. Suppose -g - 2*m = -y*m - 23, -3*m - 24 = -3*g. Is g a composite number?
False
Let z(v) be the second derivative of -v - 3*v**2 + 0 + 5/6*v**3. Is z(4) composite?
True
Let n(d) = -8*d - 4. Suppose 4*w = 4*u + 28, -w + 2 = 5. Let h be n(u). Suppose 3*a = -l + 344 - h, -2*l + 503 = -5*a. Is l a prime number?
False
Suppose 5*a - 4 + 14 = 0. Let l(s) = s**3 + 3*s**2 + s - 2. Let r be l(a). Suppose -3*f + 14 + 367 = r. Is f prime?
True
Let z(q) = 19*q**2 - 5*q + 5. Is z(-11) composite?
True
Suppose -3*u + 1349 = 2*x, 2*x + 4*u = 2*u + 1348. Is x a composite number?
False
Let u(y) = -4*y**3 + 2*y**2 + 3*y + 3. Let c(v) = 5*v**3 - 3*v**2 - 4*v - 3. Let x(t) = -5*c(t) - 6*u(t). Let o be x(3). Is (-1 + 490)/o + -2 prime?
False
Let j = 223 - 348. Let z = j + 74. Let w = z + 110. Is w a composite number?
False
Let a(n) = n + 1. Let o be a(9). Suppose -o + 46 = 3*t. Suppose 19 = f - t. Is f prime?
True
Is (-21840)/(-18) - 4/12 a prime number?
True
Suppose -4*u + 2*h = h - 37, 2*u = -h + 23. Suppose 5*g + u = 5*w, 3 + 3 = 2*g. Suppose -15 = j - w*c - 94, 5*j - 435 = 5*c. Is j composite?
False
Suppose -4*c + 21 = -3*c. Is c a composite number?
True
Suppose p - 609 = -2*p. Is p a composite number?
True
Suppose 7*m + 384 = 4*m. Let c = 159 - m. Is c composite?
True
Let h = 36 - 17. Let k = 58 - h. Is k composite?
True
Is 5/(20/44) - 1 a prime number?
False
Let i(w) = 17*w + 23. Is i(8) prime?
False
Let n = 24 + -44. Let k = n + 43. Is k a composite number?
False
Let i(u) = u**3 - 6*u**2 - 12*u + 8. Let j be i(8). Let v = j - 3. Is v a prime number?
True
Suppose 0 = x + 3*x - 20. Suppose u = -0*u + x. Suppose -u*q + 645 = -0*q. Is q a composite number?
True
Let c be (-2)/((-4)/(-6)) + 23. Is (-194)/(-8) + 15/c composite?
True
Let u = 1723 - 1002. Is u composite?
True
Let x(m) = 28*m + 3. Let b be x(3). Is 3 - b*-1 - 1 prime?
True
Let v(a) = -a + 1. Let y be v(4). Let n be 0/(0/1 - y). Suppose 2*k - r - 44 = 0, -3*k + 3*r + 69 = -n*k. Is k prime?
False
Let g(b) = -2*b**3 - 13*b**2 - 5*b + 11. Is g(-12) prime?
False
Let h = 11 - 10. Is 25/(h - 2 - -2) a prime number?
False
Suppose 7*t - 12 = t. Suppose 0 = -t*z + 239 + 75. Is z prime?
True
Suppose 0*u = 5*u - 1265. Is u composite?
True
Suppose 266 = -v + 2*l + 809, 1617 = 3*v - 3*l. Let k = -281 + v. Let o = -175 + k. Is o a composite number?
False
Suppose u = 3*u - 10. Suppose 0 = u*r - 14 - 61. Is r prime?
False
Suppose -2*f - 2*i + 10 = 0, -i + 3 = -2*i. Suppose 0*s - f = -4*s. Suppose -s*t = 2*u - 154, 312 = 4*u + 3*t - t. Is u a composite number?
False
Let p(d) = -4*d - 1. Let h be p(-1). Suppose 0 = 9*b - 13*b + 68. Suppose 0 = 4*g - h*o - 21, 0 = -2*g - o + 6 + b. Is g a prime number?
False
Let p be 3/(9/1686) - 0. Let a = -299 + p. Is a prime?
True
Suppose 3*g + 725 = 4*v, -4*v = -2*v - g - 365. Let c = v - -494. Is c a prime number?
False
Let s(u) be the third derivative of -u**6/120 - 2*u**5/15 - u**4/8 - u**3/2 + 3*u**2. Is s(-8) a prime number?
False
Let z = 16 + -12. Is z/(-6)*(-669)/2 a composite number?
False
Suppose -3*o + 0*o + 9 = 0. Suppose 3*t + 6*d = d + 193, -5*t + o*d + 265 = 0. Is -1 - 0 - t/(-1) a composite number?
True
Let l = 828 - 219. Let h = l + -352. Is h composite?
False
Suppose 5*v - 4*g - 854 - 407 = 0, 3*v + 2*g - 761 = 0. Suppose -3*p + v = 4*j, -150 = -3*p + p + 2*j. Is p composite?
False
Let x(v) = 46*v - 1. Let u be x(-3). Let d = u - -318. Is d prime?
True
Let i(z) = 43*z**2 - 5. Is i(2) composite?
False
Let u = 0 - -2. Suppose -3*d = -4*j + 931, -u*j - 4*d + 479 = -d. Is j a composite number?
True
Let f(u) = 24*u**3 - 3*u**2 + 1. Let h be f(3). Suppose -h = -4*i + 2*m, 4*i - 143 - 481 = 4*m. Is i prime?
False
Let f be (-8)/(-6)*6/4. Let v be 2/(-5) + (-1508)/(-20). Suppose f*w + 3*w - v = 0. Is w prime?
False
Let a be (-1 - 1)*(-706)/4. Let p be 33/((-2)/24*-2). Let m = a - p. Is m a composite number?
True
Let l(a) = 33*a - 38. Let o(d) = 16*d - 19. Let p(z) = -2*l(z) + 5*o(z). Is p(13) a prime number?
True
Suppose 4*d + 2*s - 4 = 0, -12 = 2*d - 4*d + 4*s. Is d/(-7) - 5178/(-42) a composite number?
True
Let a(g) = g**2 + 3*g - 3. Let l be a(-6). Let p be (-2)/(-7) + (-2256)/(-42). Suppose -l = 3*o - p. Is o a prime number?
True
Let n be 6/12 + (-234)/(-4). Let h = 22 + -20. Suppose 0 = h*u - 15 - n. Is u a prime number?
True
Let j = -3 + 7. Let i be 9/4 - 1/j. Is 2 + -1 - (i + -56) a composite number?
True
Let i be (-2)/(-2) + 3 + 3. Suppose -5*b - i = -2*p - 42, -p = b - 7. Is b a prime number?
True
Is (-3577)/(-4) + (-18)/(-24) composite?
True
Let w(l) = -93*l**2 - 1. Let z be w(-1). Suppose 0 = -3*c - y, 0 = -5*c - 0*c + 4*y. Is (c - 1)*1*z composite?
True
Let n(w) be the second derivative of -w**5/20 + 7*w**4/12 + 2*w**3/3 - w**2 + 3*w. Is n(6) a composite number?
True
Let g = 3 + 2. Suppose g*y = 470 + 545. Is y a prime number?
False
Suppose 8 = -4*t + 5*p, -t + 2*t = -3*p + 15. Suppose t*c - 523 = 482. Is c a composite number?
True
Let f = 264 - -29. Is f a prime number?
True
Let y = -7 - -12. Suppose 2*w + y*s - 358 = -w, -4*w - 4*s = -480. Is w composite?
True
Suppose -g = -4*g + 15. Let a = -3 + g. Suppose -2*i - 2*r + 8 = 0, -r + 3*r - a = i. Is i a prime number?
True
Let a(p) = -29*p + 8. Is a(-3) a prime number?
False
Suppose q + 12 = 5*q. Suppose 3*x + 8 = 5*x, 4*f - 2*x - 192 = 0. Suppose k - q*k + f = 0. Is k prime?
False
Let o = 606 - 401. Is o a composite number?
True
Suppose 3*f = 5*k + 477 + 105, 776 = 4*f - 2*k. Is f a prime number?
False
Suppose 5*v - 4*o = 684 + 111, -2*v - 3*o + 341 = 0. Is v a prime number?
True
Suppose 4*t - 3*t - 1741 = 0. Suppose -5*g - t - 449 = 0. Is 15/(-25) + g/(-5) a prime number?
False
Let n(j) = -3*j**3 + 2*j**2. Let c be n(2). Let d be ((-84)/c)/(6/32). Is (-13)/4*d/(-1) a composite number?
True
Let q(n) = n**3 + 7*n**2 - 6*n + 16. Let x(v) = -2*v**3 - 14*v**2 + 12*v - 31. Let u(i) = 11*q(i) + 6*x(i). Is u(-8) a prime number?
False
Let z(o) = o**2 - 5*o - 1. Let s = -20 - -28. Is z(s) a prime number?
True
Let v = -61