 -154 = -x + 4*s. Suppose -4*i = 2*q - x, -5*i + q + 182 = 4*q. Is i composite?
False
Suppose -8*t + 3*t - 49 = -p, p - 3*t - 51 = 0. Let c = 80 - p. Is c prime?
False
Suppose 37 = d - 432. Suppose v - 630 = -3*v + x, 3*v = -x + d. Is v prime?
True
Suppose 13*i + 449 = 14*i. Is i a composite number?
False
Suppose j = 68 - 4. Let i be j/20*5/2. Is 6/(-8) + 62/i a prime number?
True
Let l(g) = -5*g + 5. Let i be l(6). Let s = 235 + -141. Let m = s - i. Is m composite?
True
Is ((-254)/(-12))/(17/102) prime?
True
Let v be (-3 + 1)/(0 + -1). Suppose 0 = -v*b - 2, -3*p - 5*b - 47 = -5*p. Is p a composite number?
True
Let z be (-2)/(-6) - 42/(-9). Suppose 0 = z*s, 0*s = 2*f + s - 4. Suppose -f*v + 308 = 2*v. Is v composite?
True
Let l be (8/(-6))/(2/3). Let u(c) = -18*c + 1. Is u(l) prime?
True
Let k(d) be the second derivative of -10*d**3 - 5*d**2/2 + 5*d. Is k(-6) a prime number?
False
Suppose -3*c + 170 = -301. Suppose 4*x + 3*n = 1072, x - c = n + 104. Is x prime?
False
Let q be 0 + 1 + (-5)/1. Let s(d) = d**3 + 4*d**2 + 2. Let m be s(q). Suppose -5*a + 207 = -m*w, -4*a + 0*w + 164 = -2*w. Is a prime?
True
Suppose 0 = -3*l + 4 + 11. Suppose l*j - 69 = 2*j. Is j a prime number?
True
Let r = -34 + 60. Suppose -5*j + r = 1. Suppose -290 = -2*m + 4*b, -j*m - b = -429 - 318. Is m a prime number?
True
Let k(b) = -5*b + 3943. Is k(0) composite?
False
Let i = -235 + 352. Suppose -19 = 2*g - i. Is g a prime number?
False
Suppose 4*w + 140 = -w. Let o = w - 36. Let a = -45 - o. Is a a prime number?
True
Suppose m + 3*w - 6 = 34, m - 5*w - 56 = 0. Is m a composite number?
True
Suppose -4*x + 7*x + 291 = 0. Let l be (-75)/(-6)*(-12)/(-5). Let m = l - x. Is m prime?
True
Suppose 4*z + 5*i - 1053 = 0, 4*i - 291 - 498 = -3*z. Suppose 0*b = -3*b + z. Is b prime?
True
Let w be 0 + (-2)/4*-6. Suppose 0 = w*o + o - 352. Suppose 2*l = -2*l + o. Is l prime?
False
Let z be 15*(14/6 - 2). Let d(l) = 62*l + 1. Let n be d(1). Suppose n = z*p - 32. Is p prime?
True
Suppose 4*u - 15 = 3*k + u, -2*k - u = -5. Suppose -3*g + 6 = -0*g, k = 3*h + 2*g - 175. Is h composite?
True
Let v(b) = 2*b**3 - b**2 - 4*b. Let x be v(4). Suppose k + 3*y + 9 - 50 = 0, -2*k + y + x = 0. Is k a composite number?
False
Suppose 0 = h, 4 = -4*t - 3*h + 16. Suppose -185 = -t*b + 82. Is b prime?
True
Let j be (-2)/5 - (-3147)/5. Let g = 361 - j. Let m = 383 + g. Is m composite?
True
Suppose 5*p + 20 = -f - 29, 4*f - 5*p = -121. Let k = f + 125. Is k prime?
False
Let x(t) = 2*t**2 + 3*t - 33. Is x(-14) prime?
True
Let b = 195 + -110. Is b a composite number?
True
Suppose -3*h - 2*r + 212 = -2*h, h + r = 211. Let o = h + -459. Is (-1)/(-4) + o/(-12) composite?
True
Let g(y) = -4*y**2 - 3*y + 24. Let b(o) = 7*o**2 + 5*o - 47. Let i(d) = -3*b(d) - 5*g(d). Is i(0) prime?
False
Suppose -2*v + 3*l = 2*v + 7, 4*v = -4*l + 28. Suppose 0 = -0*r + v*r - 30. Is r a composite number?
True
Suppose -3*s + 3*n + 2435 + 1147 = 0, 5*n + 4779 = 4*s. Is s prime?
False
Let v = -12 + 34. Is v a prime number?
False
Let p be 2/8 - 932/16. Let b = 19 - p. Is b prime?
False
Suppose 0 = 3*q - q + 50. Let g = -15 - q. Let m = g + 11. Is m a prime number?
False
Let w(t) = 43*t**2 + 9*t - 11. Is w(5) a prime number?
True
Suppose 3*v = -x - 23, 5*x + v + 21 = -150. Let b = x + 68. Is b a prime number?
False
Let b(v) = 13*v**2 + 6*v - 8. Is b(3) prime?
True
Suppose -p + 5*p + u = 520, 4*p + 4*u - 508 = 0. Is p a composite number?
False
Suppose 5*m - 17 = -4*k + 9, 5*m - 2 = 2*k. Let r be m/4*-2*149. Let d = -66 - r. Is d a composite number?
False
Let q(d) = 2*d**2 - d**2 + 0*d**2 - 1 - 2*d. Let t be q(3). Suppose -t*p + 3*p = 97. Is p a composite number?
False
Let b(f) = -f**2 + 2*f. Let c be b(2). Suppose 2*a - 2*g = 372 + 386, 4*g = c. Is a a composite number?
False
Let p = 54 - 34. Suppose p = 7*q - 2*q. Is 368/14 + q/(-14) a prime number?
False
Let c = 31 + -17. Let o be -3 + 2 + 49 + 0. Let h = o - c. Is h a composite number?
True
Suppose 0 = -3*r - 5*z - 5, -3*r + 5*z - 6 + 41 = 0. Suppose -2*a = 3*f - 35, -r*a + 16 = 4*f - 2*f. Is f prime?
True
Suppose -11395 + 2615 = -4*o. Is o a composite number?
True
Let x(f) = -3*f + 6 - 4*f + 7*f + 24*f. Let k be x(-8). Is (k/(-3))/((-2)/(-1)) a prime number?
True
Suppose 0 = -4*f - 0*f + 20. Let w(v) = -113*v - 1. Let g be w(-2). Suppose 190 + g = f*y. Is y a composite number?
False
Let w(t) = 84*t + 4. Let q be w(3). Suppose 5*p + 20 = 0, 4*k + 0*p = 4*p - q. Let n = -1 - k. Is n composite?
False
Let u(s) = 5 - s**2 + 3 - 3*s - 6*s + 3. Is u(-8) composite?
False
Suppose -3*g + 515 = 2*g. Is g a composite number?
False
Is 2 + (1 - -2)*85 composite?
False
Let i(t) be the third derivative of t**6/60 - t**5/15 + t**4/8 + t**3/2 - 4*t**2. Let h = -1 + 5. Is i(h) composite?
False
Is ((-3094)/56)/((-2)/8) a prime number?
False
Suppose 0 = -5*x, -x - 134 = -b - 4*x. Is b a prime number?
False
Suppose -6 = 3*i - 21. Let a = 2 + i. Suppose -a*t + 2*t + 10 = 0. Is t prime?
True
Let j be ((-5)/(-3))/(15/54). Let s = j + 7. Is s a prime number?
True
Let y = 40 - 18. Is y prime?
False
Let m(d) = d**3 - 6*d**2 + 5*d + 2. Let n be m(5). Is 1*((-117)/(-3) - n) a composite number?
False
Let c(k) = -5*k**3 - 6*k**2 + 3. Is c(-8) a composite number?
False
Suppose 0 = -3*x + 3, 2*x = 4*r - 5*r + 23. Is r a prime number?
False
Let z(c) = -99*c - 16. Let x = -16 + 9. Is z(x) a prime number?
True
Let p(z) be the first derivative of z**3 + 5*z**2/2 - 4*z - 2. Let a(t) = 2*t**2 + 3*t - 3. Let k(j) = -7*a(j) + 5*p(j). Is k(3) a composite number?
True
Suppose -v - 19917 = -10*v. Is v prime?
True
Let c(q) = 40*q**3 + 4*q**2 - 3*q + 1. Suppose 0 = 2*i + 2*h + 8, 3*i - h - 2*h - 6 = 0. Let b = i - -3. Is c(b) prime?
True
Let c(t) = t**2 - 1. Let d(s) = -s**2 + 8*s + 6. Let f(i) = c(i) - d(i). Suppose -6*b + j + 22 = -3*b, -5*b + 5*j = -40. Is f(b) a composite number?
True
Let c = 294 - 40. Is c composite?
True
Is (-4)/(-14) - 4/((-56)/2026) a prime number?
False
Let n(z) = 8*z - 2. Let a be n(2). Suppose -3*u = 2*x - 113, -4*u + 6 = -a. Is x a prime number?
False
Suppose -k - 4 = -2*k, 529 = -5*x + k. Let l = 179 + x. Is l a composite number?
True
Suppose -f + 7455 - 1676 = 0. Is f a prime number?
True
Suppose 0 = -2*j + b + 3123, 0 = 3*j - 4*b - 0*b - 4687. Is j prime?
False
Let a = 11269 + -7622. Is a composite?
True
Let i be ((-6)/(-8))/(1/8). Let f = -9 + i. Is ((-89)/f)/((-4)/(-12)) a composite number?
False
Suppose -2*m + 12*m - 5510 = 0. Is m a composite number?
True
Let i be (1/2)/(1/(-20)). Is (-6)/4 - 485/i a prime number?
True
Let m(u) = -u**3 + 10*u**2 + 10*u + 7. Let d be m(11). Let c(h) = 4*h**2 + 8*h + 2. Is c(d) a prime number?
False
Let x(c) = 10*c**2 + 2*c - 11. Is x(-8) a prime number?
True
Let u = 157 + -18. Is u prime?
True
Suppose -u + 10 = 5*k, -2*k - 20 = -5*u + 3*k. Let r be 2/9 + (-15594)/(-54). Suppose r + 146 = u*z. Is z composite?
True
Let r = -328 + 1555. Is r a composite number?
True
Let t = 10 + -6. Suppose t*a = -4*k + 48, 30 = k + k - 4*a. Is k prime?
True
Suppose h - 380 = -5*u + 90, -u = -3*h - 110. Suppose -u = -0*l - l. Is l a prime number?
False
Let z(r) = r**3 + 3*r**2 + 2*r - 1. Let v be z(-2). Let x(f) = f + 2. Let b be x(v). Let n(c) = 51*c**2 + c - 1. Is n(b) prime?
False
Suppose -p - 774 = -4*p. Suppose -3*k - t - 2 = 2*k, k = -3*t + 8. Is -1 - (k*p)/3 composite?
True
Let t(b) = 70*b + 8. Is t(3) prime?
False
Suppose 22 - 1977 = -5*j. Is j a prime number?
False
Let z(o) = 2759*o**2 + o + 1. Is z(1) a composite number?
True
Suppose 2*w + 2*w = -3*u + 877, 0 = -2*w + 4*u + 466. Is w a prime number?
True
Let y = -23 + 38. Let h = 6 + -3. Suppose h*v - y = 2*v. Is v composite?
True
Let l(q) = 0 - 3 + 4 - 71*q + 25*q. Let a be l(1). Let c = -19 - a. Is c prime?
False
Let j(v) be the first derivative of -3*v**4/2 - v**3 - v**2/2 + v - 2. Let f be j(-2). Let k = f - -14. Is k a composite number?
False
Let q(j) = 7*j**3 - 6*j**2 + 3*j - 1. Let l(p) = -15*p**3 + 13*p**2 - 7*p + 2. Let d(k) = -6*l(k) - 13*q(k). Is d(-4) a prime number?
True
Suppose -l + 1 = -1. Suppose 3*r + c = 9, -3*r + 2*c - l = -r. Suppose -146 = -r*i + 26. Is i a composite number?
True
Let t be (-114)/(-7) - 4/14. Let f be (1/2)/(2/t). Is f/(-6) - 562/(-6) prime?
False
Suppose 516 = j + 3*j. Is j a com