1324 a prime number?
True
Let z = -6 + 10. Let d(p) = 211*p**3 - p**2 + 2*p - 1. Let n be d(1). Suppose 4*u - 4*f - n = u, -251 = -3*u - z*f. Is u prime?
False
Let f = -8 - 60. Is (1 - -9)/((-8)/f) composite?
True
Is (335/2)/(12/24) prime?
False
Let x = 24 - 24. Suppose x = -l - 5*a + 131, 3*l + 4*a = 6*a + 359. Is l composite?
True
Let a be 10/25 + (-144)/10. Is ((-564)/6)/(4/a) prime?
False
Suppose 17184 - 63507 = -9*g. Is g a prime number?
True
Suppose -5*l = -0*l - 815. Is l a composite number?
False
Let l = -19 + 31. Suppose v - l = 22. Is v a composite number?
True
Let i = 43 + -27. Let k be 2 - 2 - -109 - (0 + 3). Suppose 36 + i = f - 3*h, -2*f + k = -4*h. Is f a composite number?
True
Let q = 6 + -1. Suppose 0 = 4*j + q*r - r - 12, -15 = -5*j + 2*r. Suppose 20 = -0*i + 2*i - 4*y, 0 = -j*i - y + 30. Is i composite?
True
Let n = 1034 - 655. Is n prime?
True
Let w(y) = y**3 + 3*y**2 + y - 1. Let r = 5 - 8. Let c be w(r). Is (-411)/c - 2/(-8) a prime number?
True
Is 30885/255 - 4/34 a prime number?
False
Suppose -4*v = -4 - 16. Suppose -l - 444 = -v*l. Is l prime?
False
Let z(p) = p - 4. Let n be z(4). Suppose n = -0*d + d. Suppose d*s = -3*l + 2*s + 130, l + 4*s - 62 = 0. Is l a prime number?
False
Let f be (4/10)/(1/10). Suppose 2*h = -2*h + r - 60, f*h - 4*r + 72 = 0. Is (-4)/h + 131/7 a composite number?
False
Is ((-1574)/12)/(1/(-6)) a composite number?
False
Let x(n) = -n**3 - 6*n**2 + 5*n - 2. Let y be x(-7). Let v(s) = 12*s - 1. Is v(y) a prime number?
False
Suppose c = 171 + 83. Is c a composite number?
True
Suppose z + 1076 = 2*f + 2*f, f = -5*z + 248. Let y = f - 159. Is y composite?
False
Suppose 6*v = 266 + 82. Is v a prime number?
False
Let h(c) = -18*c - 1. Let s = -4 - -2. Let j be h(s). Is 1*1/(1/j) a composite number?
True
Suppose 5*x + 0*x = 0. Suppose c + x*c - 46 = -3*p, p - 13 = 2*c. Is p a prime number?
False
Suppose z + 0*z + 4*w - 2919 = 0, 3*z = 5*w + 8842. Is z a composite number?
False
Suppose -4*k + 5 = 3*l, -3 = -4*k - 4*l + 1. Suppose t + k*t - 138 = 0. Is t a composite number?
True
Let j be ((-1)/(-2))/(2/16). Let c(m) = 15*m**2 - 2*m + 3. Is c(j) prime?
False
Let l(w) = -w - 8. Let m be l(-7). Is 62/(6/(-9)*m) a prime number?
False
Let p be 3/(-6)*-4*64. Let o = p + -51. Is o a prime number?
False
Suppose 16359 = 8*v + 2495. Is v composite?
False
Let h = 1 + 1. Suppose -584 = -4*q - r, -h*q + r + 576 = 2*q. Let m = -78 + q. Is m composite?
False
Suppose -3*i + 5*b + 25 = -i, 2*i + 25 = -5*b. Let y(l) = -l**2 - l + 1. Let g be y(i). Let d(f) = 9*f**3 + f**2. Is d(g) composite?
True
Let f = 2 + 0. Is (f - 1)/(3/381) prime?
True
Suppose 2*w + 51 = 5*w + 3*n, w + 8 = 4*n. Suppose w = -3*f, 6*b - b = -2*f - 38. Is ((-45)/b)/(3/4) a composite number?
True
Let j(i) = -i + 2*i + 5 - 3*i. Suppose -45 = 5*m + 5*g, 0 = -5*m - g - 21 - 16. Is j(m) prime?
True
Suppose -3*t - 2*t = 975. Let d = -104 - t. Is d composite?
True
Let u be 69*((-3)/1)/3. Suppose m - 520 = -4*m. Let d = m + u. Is d prime?
False
Let y be 11 + -2 + 2 + -1. Suppose 0 = -6*u + y*u - 1564. Is u a composite number?
True
Let y(o) = -o**3 - 16*o**2 - 17*o - 30. Let q be y(-15). Let f be 5/((-1)/(-2)*2). Suppose q*w = f*w - 895. Is w a composite number?
False
Suppose h - 739 = r + 14, -3*r - 6 = 0. Is h prime?
True
Let y(x) = -6*x + 6*x - 1 + 48*x**2. Is y(-2) prime?
True
Let c(t) = t**3 + 6*t**2 + 4*t - 2. Suppose -20 = f + 4*f. Is c(f) prime?
False
Let b = -182 - -296. Let c = -57 + b. Is c prime?
False
Suppose 0 = 2*k + 3*q - 1001, -4*k + 5*q = -1079 - 912. Is k composite?
False
Suppose 6*z - 285 = 3*z. Is z composite?
True
Let y = -14 + 13. Let z(v) = 187*v**2 - v - 1. Is z(y) prime?
False
Let l(u) = -u - 11. Let c be l(-8). Let w be (4/c)/((-4)/6). Suppose 2*p - h - 130 = 0, -w*p - 4*h + 165 - 15 = 0. Is p a prime number?
True
Suppose 2*f = 4*t - 26, -2 = -f + 1. Is (-1)/(-1) + -5 + t a composite number?
True
Let o = 77 - 5. Let n(s) = -s**2 - s - 3. Let t be n(-6). Let k = t + o. Is k composite?
True
Let t be (-392)/(-22) + (-14)/(-77). Let v = 6 - -19. Let c = v - t. Is c composite?
False
Let f(t) = 2*t**2 - 2. Let z be f(-3). Suppose 2*q = 4, 2*h + 3*q = 58 - z. Suppose 3*j = -3*d + 6, -5*d = 2*j - h + 5. Is d a composite number?
False
Suppose -4*d - 12 = 0, -9*b + 5*d + 142 = -8*b. Is b a prime number?
True
Suppose l - 5*l = -4776. Let c = -677 + l. Is c composite?
True
Let n(f) = 6*f + 7. Let i(b) = -b**3 - b + 19. Let h be i(0). Suppose -5*s + h = -2*s - v, -5*v = -s - 3. Is n(s) composite?
True
Suppose 0 = f - 5*z + 1705 - 4259, 0 = 2*f + 3*z - 5108. Is f composite?
True
Let a be (-309)/(-2)*6/9. Let c = a + -50. Is c a composite number?
False
Suppose -3*i - 1 = 53. Let v = 33 + i. Is v a composite number?
True
Let q(k) = -498*k + 1. Let a be q(-1). Suppose 3*n + h = -h + a, 4*h + 632 = 4*n. Is n a composite number?
False
Let c = -3 - -14. Suppose -c = -5*a + 459. Is a a prime number?
False
Is 9/(-15) + 108/5 a composite number?
True
Is (-20)/(-90) - (-23090)/18 a prime number?
True
Suppose -k + 4*g + 568 = k, 0 = 2*k - g - 571. Suppose -649 - k = -5*j. Is j a prime number?
False
Suppose -5*d + d = -16, -q = 2*d - 22. Let x(k) = k**3 - 14*k**2 + 18*k + 2. Is x(q) prime?
False
Let w(u) = u**2 - 5*u - 2. Let j be (-4)/10 + 18/(-5). Is w(j) a composite number?
True
Suppose 3 = -q, -4*j = -q - 132 - 79. Suppose -5*i + 3 = -j. Is i composite?
False
Let w(c) = c - 13. Let u be w(7). Let h(t) = -t**3 - 5*t**2 - 8*t + 5. Is h(u) prime?
True
Let u(t) = -70*t + 81. Is u(-14) a prime number?
True
Is (-97)/((-20)/110 + (-5)/33) composite?
True
Let d = -48 + 15. Is (1 - 2)/(3/d) a prime number?
True
Let m = -48 + 259. Is m prime?
True
Let b = -7 - -4. Let x = 6 + b. Let s(q) = 8*q + 1. Is s(x) a prime number?
False
Let t = -218 + 627. Is t composite?
False
Let x(m) = 21*m + 9. Let l be x(5). Suppose l = r - 173. Is r composite?
True
Let b(k) = -177*k**3 - k**2 + 1. Is b(-1) a composite number?
True
Let r be (-1 + 2)/((-3)/(-15)). Is ((-2)/4)/(r/(-2630)) prime?
True
Let i = -1 + 3. Suppose 5*q + 10 = 2*v + v, i*v + 10 = 0. Is (1/2)/(q/(-310)) composite?
False
Let r(k) = -3*k**2 + 4*k + 1. Let i be r(3). Is (-486)/i + (-4)/(-14) prime?
False
Suppose -2*i + 62 = 2*n, -2*n - 33 = -3*n - 3*i. Suppose d + t = n, 0*d + 5*t - 88 = -3*d. Is d prime?
True
Let f = -48 + 85. Let n be 3*(-3)/((-27)/30). Suppose -5*a = k - n, 60 + f = 4*k + a. Is k a prime number?
False
Suppose -4*v + 40 = 5*c, 2*v - 15 = -v. Is (-190)/15*(-42)/c a composite number?
True
Let f be (-6)/18 - 2/(-6). Suppose f*a + 3*a - 21 = 4*v, -4*a - 2*v = -6. Suppose 2*s = -a*d + 256 + 52, -4*s + 620 = 4*d. Is s a composite number?
False
Let d(l) be the third derivative of -l**6/120 + l**5/10 - l**4/12 - 7*l**3/6 + l**2. Let k be d(5). Suppose -k*a + 75 = -5*a. Is a a prime number?
False
Let j(v) be the second derivative of -2*v**3/3 + 3*v**2/2 + 3*v. Let d be j(2). Let g = 196 + d. Is g a prime number?
True
Let b(a) = 35*a + 3. Is b(5) a composite number?
True
Suppose -s - 4*s = -10. Suppose 2*w - 90 = -s*a, -5*a - w + 264 = 35. Is a composite?
True
Is 8/20*5 - -80 a composite number?
True
Let q(w) = -w**3 + w + 24. Let k be q(0). Let h be (-6)/(-2) - (1 - -1). Is k + h + (-1 - 2) a composite number?
True
Suppose 18 = 3*w + 3*l, 0*l - 4*l + 16 = 0. Let g be (5*-1)/(1 - w). Suppose -8 = m + 3*d, -3*m = -g*m + 2*d + 24. Is m a prime number?
True
Let g be 5/(-3)*(-9 + 6). Suppose 0 = 3*b - g*b + 108. Suppose 2*a = -4*r + 260 - b, 3*r + 128 = a. Is a prime?
True
Let i(x) = 41*x**2 + x + 7. Is i(3) prime?
True
Let y(g) = 193*g**2 + 2*g + 1. Let x be y(-1). Suppose 3*i = 7*i - x. Suppose 2*z = -4*t + i, -5*z = -0*z + t - 129. Is z a prime number?
False
Let o(b) be the first derivative of 38*b**3/3 - 2*b**2 - b + 3. Is o(3) a composite number?
True
Suppose 0 = 3*g - 213 - 120. Let m = g - 22. Is m a composite number?
False
Let g be (-4)/(-6)*(-3)/2. Let f(r) = 58*r**3 - r**2 - 2*r - 1. Let x be f(g). Let c = -27 - x. Is c prime?
True
Suppose -3*q + 7*q - 508 = 0. Let w = 4 + q. Is w a composite number?
False
Let d = 62 - -43. Suppose 3*k + 2*k - d = 0. Is k a prime number?
False
Suppose -s + 7 = -10. Let o(v) = 7*v - s*v - 3 - 10*v. Is o(-2) prime?
True
Suppose -13 + 3 = -2*l. Suppose d + 3*b = 32, 12