se 3*p - 4*h - 2666 = 0, -h = p + 4*h - 857. Suppose 6*t = t - 3*y + p, -5*t + 4*y = -889. Suppose -3*w + 265 = 5*s - t, -3*w = 2*s - 175. Is s prime?
True
Is (-2)/(16/(-17226)) + 1/(-4) composite?
False
Let c(y) be the first derivative of -3/2*y**2 + 4 - 3*y + 13/3*y**3. Is c(-4) a composite number?
True
Let d = 13 - 13. Suppose 2*h + m - 383 = -0*h, d = h + m - 189. Is h composite?
True
Let z = -9 - -49. Suppose 0 = 2*w - z - 10. Is w composite?
True
Let i(x) be the third derivative of -7*x**4/8 + 4*x**3/3 + 2*x**2. Let h be i(-7). Suppose 3*d = 4*u - 128, 5*u - 3*d = 2*d + h. Is u a prime number?
False
Let g(h) = h**3 - 3*h**2 + h + 4. Let y be g(6). Let b = y - 63. Is b a prime number?
False
Let n be (2 - -7) + 0 + 1. Suppose 4*p = -4*u + 16, -u + n = 5*p - 2. Suppose u*k = z + 2*z + 8, 1 = k - 3*z. Is k prime?
True
Suppose 2*m - 4 = -0*m. Suppose -o = -5*v + m*v + 6, -12 = -3*v. Is 69/o - 6/4 a prime number?
False
Let n be 4/18 + 215/45. Suppose 0*y + 3*y = 2*t + 173, -341 = 4*t - n*y. Is (t/(-4))/(1/4) prime?
True
Let q = 2 - 1. Let v(k) = k**3 + 9*k**2 - 4*k - 13. Let n be v(-9). Is n/1 + -1 + q a prime number?
True
Let v = 32 + -9. Is v a composite number?
False
Let o(s) = -s - 2. Let i be o(-9). Let g(t) = 2 + 4*t**2 + 4 + 4*t**2 - 6*t - t**3. Is g(i) a prime number?
True
Let g(j) be the first derivative of j**4/4 - 4*j**3/3 + 5*j**2/2 - 5*j - 4. Is g(6) prime?
True
Suppose 6*u - 4*p - 46 = 4*u, -4*p = 3*u - 19. Let f(o) = 3 + u*o - 7*o + 0 + 13*o. Is f(4) prime?
True
Let z(r) = r**3 - 6*r**2 + 5*r - 3. Let v be z(6). Suppose 4*d + 2*m + 18 = 0, -4*d + 4*m = v + 9. Is 0*2/d + 51 composite?
True
Let i(o) = 8*o + 6*o - 9*o. Is i(2) prime?
False
Let v = 1 + -1. Suppose -6*r + 2*r + 4 = v. Is (4/(-2) + r)*-79 prime?
True
Let x(v) = -v**3 + 4*v**2 - 2*v - 1. Let u be x(2). Suppose u*j - 152 = 13. Is j composite?
True
Suppose 1 + 3 = -2*n. Let d be (-625)/(-10) + (-1)/n. Suppose -5*g - d = -668. Is g a composite number?
True
Let z be 0 - 9/6*-2. Suppose -13 = -z*j - 4. Is (2 - j - -22)*1 a prime number?
False
Let t(k) = 60*k - 29. Is t(4) composite?
False
Let n(x) be the third derivative of -x**6/120 - x**5/30 - x**4/8 + x**3/6 - 2*x**2. Is n(-6) a composite number?
False
Let y = 16 - 28. Is 232/y*(-21)/2 a prime number?
False
Let m be (2 + (-192)/20)*-10. Is m/1 - (-1)/1 composite?
True
Suppose n = -4*f - 33, 0*f + 33 = -2*f + 5*n. Suppose 2*q - 143 - 13 = 0. Let i = q + f. Is i a prime number?
False
Suppose 0 = -4*t + 4*n + 33056, -n - 15 = -6*n. Is t prime?
False
Let y(h) = 57*h + 8. Is y(7) a composite number?
True
Suppose -138 = -3*i + 30. Suppose 2*z = -2*m + 248, -4*z + 679 = 5*m + i. Is m a composite number?
False
Suppose -4765 = -4*b + 5*a, -5*b - a + 5960 = -6*a. Is b prime?
False
Let u = -123 - -181. Is u a prime number?
False
Let a(x) be the third derivative of x**5/10 + x**4/12 - x**3/6 + 3*x**2. Is a(-3) a prime number?
True
Suppose -a + 2*a = 19. Is a a composite number?
False
Let y = -18 + 23. Suppose i = -u + 69, -3*i - 61 = -4*i - y*u. Is i a prime number?
True
Suppose 0 = 4*k - 8, 2*w = -8*k + 5*k. Let t(q) = 6*q**2 - 4*q - 2. Let n be t(w). Is (-6)/(-9) - n/(-3) a composite number?
True
Let a = -102 + 187. Is a a prime number?
False
Is -7 + 43 - (2 - 1) a prime number?
False
Suppose 4*p + 3*y - 22 = 7, -y = -3. Suppose -p*w + 44 = 3*n, 2*w + 1 - 3 = 0. Is n a prime number?
True
Let v(h) = -16*h + 3. Let n be v(-6). Let a = 176 - n. Is a prime?
False
Suppose -2*b + 445 = -b. Is b a prime number?
False
Suppose -17 - 59 = y. Let t = y + 115. Is t prime?
False
Let w be (0 + -190)/(0 - 2). Suppose -30 = -3*o - 4*g + 253, -2*g + w = o. Let f = o + -56. Is f prime?
True
Is 2/(-3) - 2681/(-21) prime?
True
Is 10278/8 + (-5)/(-20) prime?
False
Suppose -5*f - 1 = -6. Let u(r) = 202*r**3 - 2*r**2 + 2*r - 1. Is u(f) composite?
True
Suppose 3*l + 0*l = 6. Suppose -l*u - 3 = -3*u. Is u a prime number?
True
Let h(p) = 65*p + 7. Is h(6) prime?
True
Suppose 0 = 24*s - 19*s - 355. Is s a prime number?
True
Is (6996/(-18) - -5)/(1/(-3)) a prime number?
True
Suppose -4*j + 4 = 2*f, -2*j - 5*f + 11 = 1. Suppose 3*s = -2*o - s + 50, j = -4*s - 12. Is o composite?
False
Let d(c) be the first derivative of 40*c**2 - 3*c - 4. Is d(2) prime?
True
Let j = -798 + 1381. Is j a prime number?
False
Let b = -67 + 96. Suppose h = -p, 3*h + 0*h + 8 = -5*p. Suppose -h*a + 31 = -b. Is a a composite number?
True
Let c be (-4)/2*10/(-4). Suppose -9 - 31 = c*s. Let i(l) = -4*l + 11. Is i(s) a prime number?
True
Let z = -1580 - -3041. Is z composite?
True
Is -2*((-12228)/(-8))/(-3) composite?
False
Suppose -y + 19 = 2*u - 0*y, -32 = -u - 5*y. Let v be u - 2 - (-1)/1. Let r(w) = -w**3 + 6*w**2 + 4*w - 3. Is r(v) a prime number?
False
Let i be 6*204 + (-3 - -2). Suppose 1346 - 114 = 4*a - 4*z, 4*a + 5*z - i = 0. Is a a composite number?
False
Let i be (-543)/(-1) - (-6 + 7). Suppose -4*z + x = -433, -4*x - i = -5*z - 3*x. Is z a prime number?
True
Let d(c) = 6*c**2 + 3*c - 3. Let o(v) = -7*v**2 - 3*v + 4. Let a(s) = 4*d(s) + 3*o(s). Let j(u) = u**2 - 5*u - 8. Let i be j(6). Is a(i) prime?
False
Suppose 8 = 5*h + 4*s, -4*h - 4*s + 2*s + 10 = 0. Let w be -14 - (3 + 3 + -3 - 2). Is h/6 + (-275)/w a prime number?
True
Let s(i) = 7*i + 11. Is s(8) a composite number?
False
Let h be ((-323)/(-1))/(6 - 5). Suppose m = 2*u - 2*m - h, 3 = 3*m. Is u composite?
False
Let d = 25 - 20. Suppose -43 + 1938 = d*q. Is q composite?
False
Let n(j) = 13*j**2 + 2*j. Is n(-1) a composite number?
False
Suppose 2 = -2*a + 6. Is -3 + (-1 + a)*10 a composite number?
False
Suppose -k = 4*k + 565. Let g = k + 200. Is g a composite number?
True
Suppose -4*i - 3*u + 1177 = -0*u, 0 = -4*i + 2*u + 1202. Suppose 5*s = -i + 1023. Is s prime?
False
Suppose 0 = 3*a + 34 + 20. Let g = 71 + a. Suppose -2*t + 105 = -g. Is t a prime number?
True
Let k(i) = i**3 - 12*i**2 - 22*i + 13. Is k(18) prime?
False
Let p(t) = -43*t - 4. Is p(-5) a prime number?
True
Let n be (2 + -1)/1*-5. Let z be (n - -3)/(-2 - -1). Suppose 0*k - 18 = -z*k. Is k a composite number?
True
Let l(w) = -w**2 - 5*w + 3. Let a be l(-6). Let t be (5/a)/(3/522). Is (-6)/(-21) - t/14 a prime number?
False
Let v(c) = -c**3 - 3 + 2 - 4*c**2 - 3*c**2. Let b be v(-8). Suppose m = 5*m - u - 48, -b = -5*m + 2*u. Is m composite?
False
Is (-4)/(-10) + 4926/10 composite?
True
Let w(d) = d**2 + 13*d - 5. Let h be w(-13). Let j(l) = l**2 + 0 + l**2 + 3. Is j(h) prime?
True
Is 4/14 - (9 + (-1664)/56) a composite number?
True
Suppose 5*i - 30 = 3*f, i + 0*f - 3*f - 6 = 0. Let g(j) = -j**3 + 7*j**2 + 4*j - 9. Is g(i) a prime number?
False
Suppose 0 = -2*y + 3*y - 174. Let q = 305 - y. Is q a prime number?
True
Is 24/108 - (-8269)/9 prime?
True
Let j be 0 + 5/(10/8). Suppose -u - 78 = -j*u. Is u a prime number?
False
Let k be (-1)/3 - (-1)/3. Suppose k = -m + b - 0*b + 144, 0 = 2*m + b - 303. Is m a composite number?
False
Suppose 4*u - 2*i = -0*u + 1076, 3*i = -3*u + 798. Suppose -5*r + 753 = u. Is r composite?
False
Let x(f) = -22 - 3*f + 10 + 11. Is x(-5) a prime number?
False
Let p = 197 + 4120. Suppose 5*a - p = -3*q, 0 = a + 5*q - 47 - 812. Suppose 3*m - 5*t = a, 5*t - 189 = -2*m + 412. Is m composite?
False
Let q(k) = 2*k + 1. Let b be q(1). Suppose -3*r = 2*s + b*s - 88, -s - 32 = -r. Is r a prime number?
True
Suppose 2*n = 3*n - 51. Suppose 2*h - n = 91. Is h a composite number?
False
Let k(i) = i**2 + 1 - 10*i + 0*i**2 + 0*i + 3*i. Is k(9) composite?
False
Suppose 3*o - 867 = 3*y, 3*y + 285 = o + y. Is o prime?
True
Let w(m) be the third derivative of 7*m**6/30 - m**5/60 - m**4/8 + m**3/6 - 2*m**2. Is w(2) prime?
False
Let p = 1 + 2. Suppose 414 = p*r - 3*l, -2*r - 75 = -5*l - 366. Is r prime?
False
Suppose 3*u = 3*n + 441, -2*u = -3*u - 4*n + 142. Is u + -6*(-2)/4 composite?
False
Let a = 2 - -23. Let j = 51 - a. Is j composite?
True
Let z(r) = 18*r**2 + 6*r - 1. Is z(5) a composite number?
False
Let r(p) = 6*p - 6. Let q be r(4). Let v be 2450/9 + (-4)/q. Let u = v + -189. Is u prime?
True
Let k be (90/(-8))/(7/(-252)). Suppose 20 = -5*f, k = 5*u + f + 4*f. Is u prime?
False
Let v be 5*(-1)/3*-3. Suppose -2*g + g - p + 92 = 0, -5*g + 490 = -v*p. Is g prime?
False
Let i(a) = 21*a**3 - 2*a**2 + 2*a - 3. Is i(2) prime?
False
Let x(a) = 5