
True
Let w = -11889 + 3804. Let q = 42 - 41. Is q/(-6) + w/(-18) a composite number?
False
Is ((-4 + -1)/5*59578)/(-2) prime?
True
Let w(f) = 65*f + 19. Let z(v) = -64*v - 19. Let c(n) = 4*w(n) + 3*z(n). Is c(9) composite?
False
Let l(i) = 2*i + 4. Let d be l(0). Suppose d*g + 0*g = 176. Suppose -s + 1 - 4 = 0, s = -x + g. Is x a composite number?
False
Let m = 5170 - 3297. Let u = -918 + m. Is u a composite number?
True
Let u(y) = -26*y + 2. Let l be u(-1). Is (l*107/(-6))/((-8)/12) a prime number?
False
Suppose 6*l = 3*l + 15, -5*d + 5*l = -198230. Is d a composite number?
True
Suppose -c - 6903 = -14*c. Suppose 3*z + 3*u - c = 0, 2*z = 5*u - 10*u + 348. Is z composite?
False
Let x(q) = q**3 - 10*q**2 + 11*q - 10. Let n be x(9). Suppose -4*j + 8 = -n. Suppose 3*m + 176 = c, -j*c + 3*m = -278 - 471. Is c a composite number?
False
Let p(f) be the third derivative of 181*f**5/60 - f**4/12 - f**3/3 + 10*f**2. Is p(-1) a composite number?
False
Suppose -4*x + 12 = -x. Suppose x*u - 4 = 0, -u + 26 + 20 = 5*w. Is (159/w)/(3/9) composite?
False
Suppose 0 = 2*d + 10, l + 12 = -3*l - 4*d. Suppose -62 = -i - 3*x, l*i - x - 2*x - 115 = 0. Is i composite?
False
Let n(c) = -c**2 - 3*c. Let z be n(-2). Let m(g) = 0 + 2*g**z + 3 - 4 + 6*g. Is m(-6) a prime number?
False
Let p(t) = t**2 - 5*t - 4. Let b be p(-1). Suppose b*r - 2697 = 3021. Is r a composite number?
True
Suppose 4*z + 9 = 3*t, 2*t + 3*z - 6 = -0. Suppose -3*u = -t*k - 12, -2*k = -2*u - 2*u + 14. Let c(y) = 78*y - 1. Is c(u) a prime number?
True
Let k = 40128 - 21319. Is k prime?
False
Let p be (-1935)/(-35) - (-6)/(-21). Suppose p = 5*c - 285. Suppose 4*i = -i - d + 183, -2*i + c = 3*d. Is i a prime number?
True
Let m(d) = -48*d + 10. Let h(l) = -24*l + 5. Let p(u) = 9*h(u) - 4*m(u). Let o be p(-10). Suppose -r = -o - 276. Is r composite?
False
Suppose 5*j + 6*s = 4*s + 12747, -4 = s. Is j composite?
False
Suppose -4*n = 2*z - 108, -3*z + 5*n + 107 = -0*n. Is 4964/z - (-4)/22 composite?
False
Suppose -2*i + 16 = 2*y, 6*y - 18 = 3*y - 5*i. Let o(m) = 4*m**2 - m**2 - 2*m + m - y - 2*m. Is o(10) a composite number?
True
Let d(k) = -k**3 - 3*k**2 - 4*k - 3. Let o = -7 - -5. Let x be d(o). Is x + (0 - -1) + 813 a composite number?
True
Let x(w) = -w**2 - 8*w + 12. Let q be x(-9). Suppose 0*m - 2*m = i + 535, -q*m + i = 800. Is (-4)/(-6)*m/(-2) a prime number?
True
Suppose -3*r + 1496 = -0*m + 5*m, 0 = -3*r + 2*m + 1468. Suppose -2*j = -5*j + r. Suppose 84 = 4*q - j. Is q a prime number?
False
Let k = 39 - 31. Suppose k*i - 11*i = -18. Suppose -4*p - 695 = -5*q, -3*q + i*q - 449 = -4*p. Is q a prime number?
False
Let i = 2252 - 595. Is i a composite number?
False
Suppose 3 = -2*q + 3*q, 2*n = 2*q + 2. Suppose 0 = n*g - 2180 + 792. Is g a prime number?
True
Let h = 0 + 7. Suppose i - 435 = 2*a, 0*a - 870 = -2*i - 4*a. Suppose 2*y = h*y - i. Is y a composite number?
True
Suppose -3*v + 2*u - 6 = -3*u, -v - 3*u = 2. Is ((-10)/(-30))/(v/(-2346)) a composite number?
True
Let k(p) = p + 1. Let n be k(7). Let q = -8 + n. Suppose -3*r - 3*b + 357 = 0, -4*b - 329 = -3*r - q*b. Is r prime?
False
Let i(z) = z**3 + 67*z**2 - 5*z - 62. Is i(-59) composite?
False
Suppose 3*f + 3*a = 6300, -3*f - 2*a + 5*a + 6294 = 0. Is f a prime number?
True
Let z = -137 + 391. Is z a composite number?
True
Suppose -10*y + 1552 = -103258. Is y a composite number?
True
Let h = -12891 + 21814. Is h composite?
False
Let r be 1 + -1 + -3 + -169. Let s = r - -257. Is s a composite number?
True
Let v be 29/((-3)/(-21)*-1). Let u = v - -582. Let p = -216 + u. Is p prime?
True
Suppose -17895 = -5*s - 5*k, 7161 = s + s - k. Let y = -677 + s. Is y a composite number?
False
Let t = 161 + -412. Let d be (-5)/(3 - (1 + 1)). Is (d - -3)*t/2 a prime number?
True
Suppose n + 556 = 5*n. Let z(k) = 4*k**3 - 2*k**2 - 3*k + 1. Let y be z(3). Let s = n - y. Is s composite?
True
Let f(x) = 670*x**2 - x. Is f(1) prime?
False
Suppose 5*g = 2*i + 2, 3*i = 3*g + 6*i + 3. Let k(s) = s**2 + s - 37. Let l be k(g). Is l/(-2*(-4)/(-8)) composite?
False
Suppose 0*b + 5*b - 2910 = 0. Let r = 913 - b. Is r prime?
True
Let r be (-3 + 0)/(3/(-2)). Suppose 0 = -4*k + 8, b + r*k - 6 = -k. Suppose 0 = -b*s - s + 58. Is s composite?
True
Suppose -j - 4 = -5*j. Let v(r) = 990*r**2 + r. Is v(j) composite?
False
Let r(h) = 103*h**2 - 41*h + 29. Is r(6) a composite number?
False
Is (-7653)/(-6)*(-1 + (-9)/(-3)) a composite number?
False
Let q = 173 + 3137. Suppose q = 9*b - 7*b. Is b a prime number?
False
Let i(g) = 3643*g - 81. Is i(8) a prime number?
True
Let z be (-875)/(-49) + 1*1/7. Suppose 0 = -21*n + z*n + 4782. Is n composite?
True
Suppose -9*o - 6 = -168. Is (o*65)/2 - -2 a prime number?
True
Let j = -560 - -32. Let v = j - -919. Is v a composite number?
True
Let i(k) = -k + 1. Let s be i(-5). Is (2 + (2 - s))/(26/(-18031)) prime?
False
Suppose 40 = 7*n + n. Let c(s) = 13*s**3 - 7*s**2 + s + 10. Is c(n) prime?
False
Suppose -h + 2 = -6*h + 4*l, 2*h - 3*l = 2. Let d(j) = j**3 + 3*j**2 + j. Let s be d(h). Suppose -s*c = -c - 67. Is c prime?
True
Suppose 4*o = -2*v + 9160, 5*o - 6*v - 11451 = -8*v. Is o a composite number?
True
Let u(r) = 208*r + 31. Let m(f) = 139*f + 21. Let a(k) = -8*m(k) + 5*u(k). Is a(-3) a prime number?
False
Let o(x) = -2*x**3 - 3*x**2. Let w be o(-2). Let a(m) = 14*m**3 - 2*m**2 + m + 9. Is a(w) prime?
True
Let q(j) = -103*j**3 + 7*j**2 + 9*j + 6. Let s(g) = -52*g**3 + 3*g**2 + 4*g + 3. Let n(k) = 4*q(k) - 7*s(k). Is n(-4) prime?
False
Let u = -8 - -2. Let j = -8 - u. Is j/(1/((-524)/8)) a prime number?
True
Let w = 169192 - 99599. Is w prime?
True
Let k = -5294 - -12284. Suppose -2*r + k = 4*r. Is r a prime number?
False
Suppose 0 = -z + 5*v + 11314, -10*v = -z - 7*v + 11308. Is z prime?
True
Suppose u - a = 0, 3*u - 2*a + 5*a = 18. Is u + ((-66)/(-55))/((-6)/(-1460)) prime?
False
Is (-120487)/(-7) - 16/(-28) a composite number?
True
Suppose 0 = -5*f + 2*y + 60481, -16*f = -18*f - 2*y + 24198. Is f prime?
True
Let h = 75 + -57. Is (-13241)/(-9) + 2/h*-2 a prime number?
True
Suppose 0*r - 2*i + 10 = r, 2*r + 3*i - 16 = 0. Let o(n) = -68*n**2 - 11*n. Let x(c) = 45*c**2 + 7*c. Let l(y) = 5*o(y) + 8*x(y). Is l(r) composite?
True
Let b be -3 + -2*8/(-2). Let j be (-2)/b + 85/25. Is 33621/(-14)*(-2)/j a prime number?
True
Suppose 5*t + 4 = w, 0*w - 2*w = 5*t + 7. Is (1/3)/(w/(-2013)) a composite number?
True
Let n = -2102 - -4308. Let y = n - 1455. Is y composite?
False
Let v be (-44)/(-10) - (-1 - (-4)/10). Suppose b - 4*c - 1035 = 0, 4*c - 1244 = -v*b + 3907. Is b prime?
True
Let d = 5034 + -2793. Let g = -1544 + d. Is g composite?
True
Let q(b) = 22*b**2 - 104*b + 11. Is q(33) a composite number?
True
Suppose 21771 + 12630 = 3*j. Is j composite?
False
Suppose 6*j - 48924 - 4242 = 0. Is j a prime number?
True
Is (1155 - 0) + 12*(-1)/3 a composite number?
False
Suppose -5*b = 0, 0 = -3*g + 3*b - 2*b. Suppose g*x - 2 = -2*x. Is ((-14)/(-10))/(x/5) prime?
True
Is (1685 - 0 - -8)*1 a prime number?
True
Let t be (5536/3 - 0) + (-14)/42. Let v = t + -1168. Is v composite?
False
Let l(v) = -144*v**2 - 4*v - 3. Let t(y) = -y**3 + 4*y**2 - 2. Let k be t(4). Let c be l(k). Let a = 1322 + c. Is a a prime number?
True
Let y = 2614 + -1598. Let n(i) = 238*i + 1. Let k be n(1). Suppose -y = -4*q + 4*b, -q - k = -2*q - 4*b. Is q prime?
True
Suppose -4*z + 3*z + 5 = 0, -439 = q + z. Is (q - 2)*8/(-16) a composite number?
False
Let k be (5 - 0)*(-2)/5. Let n = 4 + k. Suppose -y + 379 = n*l, -5*y + 4*l + 849 = -1004. Is y prime?
True
Is 10/((-60)/(-21178))*6 a prime number?
False
Let b be ((-3)/(9/(-30)))/2. Suppose y - 2*y = -b. Suppose -2*v + 3*v - 5*d = 313, -3*v + y*d = -899. Is v a composite number?
False
Suppose -6*w + 4 = -2*w, -3*g = 5*w - 11. Let h(k) = 1 - g + 2 - 33*k + 0*k. Is h(-6) prime?
True
Let x(u) = 141*u**2 - 9*u + 11. Is x(4) prime?
False
Let x(o) = -2*o**3 - 11*o**2 - 15*o + 15. Suppose c + 44 = -3*c. Is x(c) a prime number?
True
Suppose -6*o = -10*o - 24. Let j be 10/o*-3*1. Suppose 5*v + 98 = w, j*w - 5*v = 6*w - 68. Is w a composite number?
False
Let p = -23 + 14. Let n(j) be the third derivative of -2*j**4/3 - 5*j**3/6 + 50*j**2. Is n(p) composite?
False
Let w = 23199 - 10208. Is w a prime number?
False
Suppose -15*t + 17*t - 44294