2784. Suppose 3*p + n + n - 551 = 0, 0 = 4*p + 5*n - t. Is p prime?
True
Let x = 5548 + 2445. Is x a prime number?
True
Let t(v) = -6*v**3 + 4*v**2 + 2. Let o(k) = -k**2 + k - 1. Let h be o(2). Let i be t(h). Let d = i - 117. Is d prime?
True
Suppose -s = 5*p - 82510, -6*p = -4*p + 5*s - 32981. Is p composite?
True
Suppose -3*g + 9099 = b - 718, -3*b + 29495 = -2*g. Is b prime?
True
Let q = 21 + -16. Suppose q*n - 4*v + 8*v = 3685, -5*v = -25. Is n a prime number?
True
Suppose -5*r + 30923 = -5*m + 7613, 3*m - 14016 = -3*r. Is r composite?
True
Let a be -1 + 830 + 1 + -2 + 5. Let d = -460 + a. Is d a prime number?
True
Suppose 3*v - 70504 = -5*z, z - 2*v = -68 + 14161. Is z prime?
False
Let j(u) = 4*u**3 + 2*u**2 - 1. Let g be j(-1). Let n be 0*(-14)/(-252) + (0 - -2). Is (g - -2 - n) + 34 a prime number?
True
Suppose -5*s = -4*y - 8, -2*y - y = 2*s + 6. Let q be (y - (-3 + 1))/4. Suppose -h + 3 = 0, -3*d + q*h - 2*h + 297 = 0. Is d composite?
False
Suppose 0 = 5*o + 3*p - 4106, 823 = -2*o + p + 2461. Let i = 1151 - o. Is i prime?
True
Let g = 10 + -8. Suppose 3*j - g*j = 0. Suppose j*k = -2*k + 716. Is k prime?
False
Let g be (-7 + 6)/(2/(-10)). Suppose 36 = g*o + 5*r - 24, -3*o + 4*r = -22. Suppose -885 = -o*j + 5*j. Is j a composite number?
True
Suppose 0 = s + 1, 5*s + 5845 = 5*x + 1075. Is x prime?
True
Suppose 5*k + 92 + 3 = 0. Let t(q) = q**3 + 20*q**2 + 2*q - 16. Is t(k) composite?
False
Let w = 10948 + -6959. Is w a composite number?
False
Let y(z) = -11*z**3 - 5*z**2 + z + 8. Let a(n) = 12*n**3 + 4*n**2 - n - 7. Let d(f) = 4*a(f) + 3*y(f). Is d(3) a composite number?
True
Let h = 13488 + -5681. Is h a composite number?
True
Let m = -2 + 12. Suppose 4*a - 26 = -m. Suppose -4*o + 1472 = a*r, 2*o + 3*o = 2*r + 1875. Is o a composite number?
False
Let z(t) = -2*t + 2. Let q be z(0). Suppose q*n + n = 729. Let r = n - 109. Is r prime?
False
Let i(q) = -817*q - 354. Is i(-9) prime?
False
Let x be 6/(-12)*-2978*(-1 - -2). Suppose -x = -5*i + 1216. Is i composite?
False
Let p(f) = -5*f**2 - 12*f - 16. Let s(u) = -4*u**2 - 12*u - 15. Let j(r) = 5*p(r) - 6*s(r). Let d = 2 + 7. Is j(d) prime?
True
Let g(y) = 4 + 88*y + 7 - 28. Is g(7) a composite number?
False
Let n be (2/3)/(2/6). Suppose -d + 9 = -3*o, -n*d = 3*d - 4*o - 34. Suppose -d*b + 372 = -2*b. Is b composite?
True
Let p = 18 - 128. Let u(d) = -13*d + 35. Let b be u(-16). Let s = p + b. Is s a prime number?
False
Let r = 12 + -3. Let o(l) = l**3 + l**2 + 168. Let k be o(0). Let g = k - r. Is g a composite number?
True
Suppose 7*h - 4*h + 63 = 0. Let x be h/(-6) - 2/(-4). Suppose 2*r = -4*f + 362, -r - x*f = -0*f - 171. Is r prime?
True
Suppose 5*n - 3*r - 136 = -50, n = -5*r + 6. Let w = 15 - n. Is (-5 + 4)*(w + -52) prime?
True
Suppose -3*m = -5*a + 661501, 12*m = -3*a + 11*m + 396895. Is a a prime number?
True
Suppose 5*y = 9*y + 3*h - 337, 2*y + 2*h = 168. Let v = 187 - -16. Let w = v - y. Is w composite?
True
Suppose -4*i - 2 + 10 = 0. Suppose -12 = 4*f - 8*f. Suppose -i*j - 4*y + y + 139 = 0, -189 = -f*j + 2*y. Is j a prime number?
False
Let h(b) = -b - 3. Suppose 2*c = -3*k - 16, 2*k + 4 = -c - 8. Let i be h(k). Suppose f - i*n = 148, 58 = f - n - 78. Is f composite?
True
Let t = 54 + -52. Suppose 6695 = 3*w + t*w. Is w composite?
True
Suppose -56*n + 58*n + 8 = 0. Let g(q) = -102*q**3 - 2. Let w be g(-2). Is (w - n - 0) + 3 composite?
False
Let w(n) = n**2. Let b be w(-2). Let h be (-2)/(-4)*(b + -16). Is 486/14 + h/(-21) composite?
True
Suppose 0 = -u - 2*t + 1, 5*t - 3 = -13. Suppose -3*q + 315 = 2*x - 8*q, -5 = u*q. Is x prime?
False
Let b(f) = 5*f**2 - 2*f**2 - 11*f**3 + 12*f**3 - 1 - 2*f. Let c be b(-3). Suppose c*w = 6*w - 301. Is w prime?
False
Let g be (-42)/(-6) + (-1)/((-3)/(-12)). Suppose -x + 9871 - 122 = 4*z, g*z - x = 7310. Is z a composite number?
False
Is (-3*(-115)/(-60))/(1/(-2524)) a composite number?
True
Suppose 4*g = k - 24, 8*k + g - 36 = 3*k. Suppose -k*w = -0*w - 13976. Is w prime?
True
Suppose -3*n + 20 - 3 = -r, 0 = -2*n + r + 11. Suppose -n*d + 730 = -d - 3*c, 124 = d - 5*c. Is d prime?
True
Suppose 3*r + 3*p - 39 = 0, 0*r + 5*p = 5*r - 55. Let n = 17 - r. Suppose 981 = n*u + 376. Is u composite?
True
Suppose 3 = -3*k - 0, 0 = -5*x + 2*k + 2. Suppose 0 = y, 4*q + x*y = y + 1780. Is q composite?
True
Suppose 2*j + 6*k + 49 = 273, -266 = -3*j + 5*k. Is j a composite number?
False
Suppose -17*t = -90013 - 54504. Is t a prime number?
True
Let s = -16 - -12. Let m be (-8)/(-6)*(-5898)/s. Suppose 0 = b - 2*y - 489, 3*y = -4*b + 6*y + m. Is b a composite number?
True
Let o = 823 + -522. Is o a prime number?
False
Let u(r) be the third derivative of 4*r**6/15 - 3*r**5/20 + r**4/24 + 7*r**3/6 + 27*r**2. Is u(5) a composite number?
True
Let c = -11 - -11. Suppose c = 3*q + w - 28, w + 9 + 26 = 4*q. Suppose -10*i = -q*i - 77. Is i composite?
True
Suppose 5*i = -z + 9323 + 11530, -4*i + 20851 = z. Is z prime?
False
Suppose 2*d - 55497 = -5*w, 0 = -2*w + d + 4*d + 22222. Is 19/(1045/(-10)) - w/(-11) a prime number?
True
Let x = -3927 - -7222. Is x a prime number?
False
Let l(n) = -n**3 - 3*n**2 - 7*n + 2. Let b = -7 - -10. Suppose 5*q = -b*y + 5, -18 = 3*y - 4*q + 13. Is l(y) a prime number?
False
Is ((-10007)/(-6)*4)/(54/81) a composite number?
False
Suppose 0 = -2*p + b + 12, -5*p = -7*p + 5*b + 20. Suppose p = k, -368 = -3*j + 3*k + 2*k. Is j a composite number?
False
Is ((-10)/(-14))/5 + 1798/7 composite?
False
Let i(x) be the third derivative of 2*x**2 + 0 + 0*x - 1/12*x**4 - 1/3*x**3 + 29/60*x**5. Is i(3) prime?
False
Let w = -8498 + 23991. Is w a composite number?
False
Let u(o) = -o**3 + 8*o**2 + 7*o + 2. Let t(i) = -i**2 + 1. Let r(w) = 2*t(w) + u(w). Let n be r(7). Let g(s) = 14*s + 1. Is g(n) a composite number?
True
Suppose 17*w = 71176 + 41925. Is w a prime number?
True
Let c(z) = 27*z**2 - 5*z - 139. Is c(23) a composite number?
False
Is (-259)/(-74)*(1 + 7341) a prime number?
False
Let s(f) = -2985*f - 47. Is s(-10) a composite number?
False
Let a be ((-4)/(-4))/(2/4). Let g be (a/(-3) + 0)*-33. Is (-11)/(g/(-192)) - -1 prime?
True
Suppose -7*x + 4*x = -33. Suppose 16*h - 4075 = x*h. Is h a prime number?
False
Let v be -2*((-684)/(-8) + 3). Let x = 556 + v. Is x prime?
True
Let r = 876 - 659. Is r prime?
False
Let s = 19857 - 12796. Is s a prime number?
False
Suppose 7*n - 4539 = 8159. Suppose -n = -5*v + 4*v. Is v a prime number?
False
Is (-6769)/3*(-3)/1 composite?
True
Let w(z) = 572*z**2 - 22*z + 121. Is w(5) a prime number?
False
Let r be (-1)/6*-4*9. Let g be (4/r)/(4/30). Suppose 3*a = 6, 3*q - 4*q + g*a - 1 = 0. Is q a prime number?
False
Let h = -172 - -582. Let r = h + -29. Is r a prime number?
False
Suppose 4*s - 8 = 5*m + 18, 5*m - 6 = -4*s. Suppose -s*n + 7*k - 4*k + 3 = 0, -2*n + 3*k - 3 = 0. Suppose -p + n*l = -254, 2*p - 682 = l - 174. Is p prime?
False
Let m = 4 + -1. Suppose m*s + 229 = 976. Is s a prime number?
False
Is (-1 + (-114)/4)*(-19 - 63) a composite number?
True
Let k = -39063 - -111218. Is k prime?
False
Suppose -2*c - f - 5995 = -4*c, -3002 = -c - f. Is c a prime number?
True
Let y(t) = 9*t**2 + 21*t + 17. Is y(-12) prime?
True
Let d = -897 - -2473. Let p = d + -907. Is p a composite number?
True
Let w be (1 + -1)*(-1 - 0). Let b = w - -2. Is (74/4 - b)*2 a composite number?
True
Suppose 15005 = 28*y - 33*y. Let v = -710 - y. Is v a prime number?
False
Let p(i) = -i**3 + 40*i**2 - 50*i + 129. Is p(38) a prime number?
True
Suppose -897507 - 52926 = -33*b. Is b a composite number?
True
Let t(h) = -5*h**2 - 6*h + 2. Let a be t(-8). Let x be (-6)/(-33) - a/(-33). Is 1*3*(-152)/x composite?
True
Let u(a) = a**2. Let o(l) be the third derivative of -7*l**5/60 + 7*l**4/24 - 3*l**3/2 + 6*l**2. Let d(r) = -o(r) - 4*u(r). Is d(-11) a composite number?
False
Suppose 2*j - 63 = -3*g + 5*j, j = 3*g - 69. Let s(m) = -8*m**2. Let f be s(1). Is 6/g + (-1734)/f composite?
True
Suppose -2*z = 5*o - 46, -5*o + 44 = 4*z + 2. Suppose -8*y - 2422 = -o*y. Is y prime?
False
Is (0 + 4220/(-6))*(-24)/16 a composite number?
True
Let g = -79 + 81. Suppose -5*n + 334 = g*a + 81, 3*a + 3*n = 384. Is a prime?
False
Suppose -2*h + 440 + 46 = 0. Suppose 0 = -3*u - h - 477. Let f = 313 - u. Is f prime?
False
Let p(s) = -5*s**3 - 10*s**2 - 5*s - 5. 