 j = k + 1. Is j a composite number?
True
Let x(u) = -77*u - 16*u - 2 + 1. Is x(-4) prime?
False
Suppose -5*z + 424 = -3841. Is z a prime number?
True
Suppose g + 4 + 1 = 0. Let f be g*5/(75/(-396)). Suppose -2*l = 2*l - 5*d - 173, -3*d = -3*l + f. Is l a prime number?
True
Let f(l) be the second derivative of l**6/240 + 7*l**5/120 + l**4/12 + 2*l. Let h(v) be the third derivative of f(v). Is h(8) prime?
True
Let r(v) = 183*v**2 + 12*v + 4. Is r(-7) a prime number?
True
Let f(a) = -87*a - 92. Is f(-9) a prime number?
True
Let k(r) = -r**3 - r**2 + 80. Let f be k(0). Suppose 0 = -a + f + 25. Suppose 163 = 5*t - w, 5*t = 2*t - 3*w + a. Is t prime?
False
Let f be (-1)/(-1 - (-150)/151). Suppose -4*s - 4*z + 16 = 0, -5*s + 2*z + z = 12. Suppose n + 3*m = 23 + 5, -4*n + m + f = s. Is n a prime number?
True
Let j(r) = r**3 - r**2 - 2*r + 1895. Let w be j(0). Suppose -12 = 4*i, -5*b + w = -2*i - 566. Is b composite?
False
Suppose -5*j - 65 = 4*c, -2*c - 5*j = -4*j + 31. Is ((-50)/6)/(5/c) composite?
True
Let y(h) be the second derivative of -2*h**3/3 + h. Let v be y(-6). Suppose 0 = -w - 3*w + v. Is w prime?
False
Suppose o + v = 13 - 42, 0 = -v - 4. Let i = o - -47. Is i a composite number?
True
Let d = -728 - -1057. Is d composite?
True
Suppose -k = 4*k. Suppose 4*h + 3*p - 459 - 149 = 0, -4*h + p + 592 = k. Is h a composite number?
False
Is 97*((-4)/(-1))/(-20)*-5 a prime number?
True
Let h(f) = -f**3 - 12*f**2 - 10*f + 15. Let t be h(-11). Let y(d) = d**3 - 5*d**2 + 4*d + 1. Let k be y(t). Is (-416)/(-2) + 2 + k composite?
False
Suppose -5*d - 2*f + 122 = 363, -3*f - 150 = 3*d. Let w = 136 + d. Is w a composite number?
False
Let t(b) = b**2 - 2*b + 2. Let i be t(3). Suppose -j - 19 = 3*p - 207, -i*p + j + 308 = 0. Is p a prime number?
False
Suppose 0 = -b - 33 + 6. Let a = b - -64. Is a a composite number?
False
Let w(n) = 17*n - 11. Is w(4) a prime number?
False
Suppose -5*y + 498 = -557. Is y a prime number?
True
Let r(c) be the third derivative of 7*c**4/12 - c**3/2 - c**2. Let u be r(2). Suppose -u = -2*l + 3. Is l prime?
False
Let s = 82 + -161. Let p = 12 - s. Is p prime?
False
Let y(m) = -m + 1. Let c be y(4). Let j = -2 - c. Is (-34 - 2)/(-2) + j a prime number?
True
Let i = -7 - -218. Is i a prime number?
True
Is (1 - 9/12) + 1491/4 composite?
False
Let i(y) = y + 5. Let h be i(-5). Suppose -14 = f - h*f. Is 4/f - 1875/(-21) prime?
True
Suppose -3*x - 5*r = -777, 2*r + 2*r - 777 = -3*x. Is x prime?
False
Suppose 3*h + 0*q = -2*q + 344, -3*h + 4*q + 374 = 0. Suppose 5*k = -25, 3*c - 2*k = -7*k - h. Let a = -6 - c. Is a prime?
False
Let q(p) = -2*p**3 - 2*p**2 + p + 3. Is q(-2) a composite number?
True
Is 134*(-76)/(-16) + (-12)/8 prime?
False
Let m(w) = 3*w**2 + 3*w + 1. Suppose 0 = -d + 3*d - b + 15, 4*b + 18 = -5*d. Let q be 1*d/(0 + -2). Is m(q) a composite number?
False
Is (502/(-6))/((-2)/18) a composite number?
True
Let u(f) = -2*f + 4 - 7 - 2*f. Is u(-10) composite?
False
Is ((-45)/12 + 4)/((-1)/(-268)) prime?
True
Suppose 3*m + 2*r - 1913 = 0, -3*m = -m + 3*r - 1267. Is m prime?
True
Let l(i) = 133*i - 10. Is l(1) a composite number?
True
Suppose 0 = -4*c + 49 - 1117. Is 2/(1 + 261/c) a composite number?
False
Suppose 4 = -4*v + 5*v. Let h(i) = 2*i**2 + 5*i + 1. Is h(v) prime?
True
Is 9/(-6)*(-11810)/15 composite?
False
Suppose -3*r = 2*r - 25. Let q = r + -3. Is (-1)/q - (-75)/2 prime?
True
Is ((-28)/(-6))/((-18)/(-189)) a composite number?
True
Let x(k) = 86*k**3 + k**2. Suppose g + 1 = 2. Is x(g) composite?
True
Let q = 38 - -125. Is q a composite number?
False
Let t(v) = -v**3 - v**2. Let i be t(0). Is (i - 1)*0 - -111 composite?
True
Suppose 257*x + 172 = 261*x. Is x a composite number?
False
Let z be (-2)/(-2)*(2 + -25). Suppose -4*o + 3*f = -3*o - 58, f + 101 = 2*o. Let l = z + o. Is l prime?
False
Let r(g) = -149*g - 3. Let p(w) = -149*w - 3. Let z(u) = -4*p(u) + 3*r(u). Is z(4) prime?
True
Suppose -4*x + 113 = -395. Is x a prime number?
True
Let s be 2/(21/(-15) + 1). Let o = s + 15. Is o a prime number?
False
Let y(o) = 33*o + 4. Is y(3) prime?
True
Let n(y) = 3*y**3 + 6*y**2 + y - 1. Is n(5) a prime number?
False
Let t be 3/6*0*1. Suppose -v + t*a = 2*a - 29, 0 = 5*v - 2*a - 205. Is v prime?
False
Let o(q) be the first derivative of 2*q**3/3 + 4*q**2 - 5*q + 4. Is o(5) a composite number?
True
Let l(r) = -r. Let x be l(-5). Suppose -x*p + 42 = -113. Is p a prime number?
True
Let a(b) = -13*b + 3. Let r be a(-4). Suppose 0 = -4*h + r + 5. Is h composite?
True
Let k = 532 + -85. Is k prime?
False
Suppose 5*b - 45 = 5*l - 2*l, 2*b + 5*l + 13 = 0. Is 1*(-3)/b*-230 a prime number?
False
Let i be (0 - 1) + -1 + 5. Suppose -607 = -z + 5*g, -g - 161 = -3*z + 1730. Suppose 5*r - z = -3*s, 0 = s + 4 - i. Is r a composite number?
False
Let p(f) = f**3 - 8*f**2 - 9*f + 1. Let h be p(9). Is (6/(-8))/(h/(-12)) a composite number?
True
Let x(h) = 14*h**2 + h + 4. Suppose k + k = -22. Let c be 3/12 + k/(-4). Is x(c) prime?
False
Let d = 3659 + -1558. Is d prime?
False
Suppose -5*n + 4*u = -42, -3*n - 3*u = -47 + 11. Is n a composite number?
True
Suppose -2*z + 0*z + 2 = 0. Suppose -2*j - z = -5. Suppose -118 = j*g - 380. Is g composite?
False
Let x(s) be the third derivative of s**4/24 + 31*s**3/6 + 3*s**2. Is x(0) a prime number?
True
Suppose 4*m + 2 = -w + 9, -91 = -3*w + 2*m. Let d = w - -192. Is d a prime number?
False
Let x be (-4)/(-14) + 12/7. Is (x - 0)*460/8 composite?
True
Is (3790 - (-8)/2) + -1 prime?
True
Let o(m) = m**3 + 6*m**2 - m - 1. Let s be o(-6). Let i = 7 - s. Suppose -v - 13 = -i*v. Is v composite?
False
Suppose -p + 0*p = 1. Let t be 7/3 - (-1)/(-3). Is -19*t/(2*p) a composite number?
False
Suppose 348 = -3*o + 9*o. Is o a composite number?
True
Suppose 0 = 4*r - 3 - 5. Suppose r*y - 77 - 249 = 0. Is y a prime number?
True
Let w = -1 - -2. Is 0 + w - (-83 - 1) prime?
False
Suppose -2*x = -2, -l + 2*x = 4*l + 12. Let g be 3 + l + 8/2. Suppose -g*q = -2*q - 18. Is q a prime number?
False
Suppose 0 = -4*s - s, m - s + 1 = 0. Is m/(-3)*2313/3 a composite number?
False
Let g(s) = 169*s - 11. Is g(10) prime?
False
Let b(t) = t**3 - 5*t**2 + t - 6. Let o be b(5). Is -1*(61 - 2)*o prime?
True
Suppose -2*k = -3*k + 4*i + 301, -5*k - 2*i + 1461 = 0. Is k prime?
True
Suppose 19 = c - 5*j, -3*j - 8 - 1 = 0. Is (6/(-9))/(c/(-474)) a composite number?
False
Suppose 3*z - x + 2*x = 22, x = 1. Suppose 10 = 5*l, z*l - 3*l - 8 = 3*y. Suppose -133 = -3*s - 5*m, 3*s - 5*m - 143 = -y*m. Is s composite?
True
Let j(n) = 5*n**2 - 16*n - 51. Is j(-8) a composite number?
False
Let s(z) be the first derivative of z**4/4 + 5*z**3/3 - 4*z**2 + 2*z + 3. Is s(-6) composite?
True
Suppose -4755 = -10*k + 5*k. Is k composite?
True
Suppose 4*r = 6*r - 312. Is r/4 - (-4)/(-2) composite?
False
Let b = 315 + -58. Is b composite?
False
Suppose 0 = -4*j - 8, 5*d = 2*j + 3*j + 35. Suppose d*t - 23 = -4*s, 2*s + 3*s = 4*t - 2. Suppose 3*o - 710 = -5*v, v - t*o = 2*v - 142. Is v prime?
False
Let o(i) = 85*i**3 + i**2 - 3*i + 1. Is o(2) composite?
True
Let k(n) = -n + 8. Let r be k(6). Suppose 0 = 5*s - r*s - 57. Is s prime?
True
Let d(r) = -3*r - 3. Let h be d(-2). Suppose 4*b + b - h*s = 5, 3*s + 11 = 2*b. Is -67*(4/2)/b a prime number?
True
Let w(r) = 2*r**2 - 2*r + 973. Is w(0) a composite number?
True
Let i(k) be the first derivative of 18*k + 1/2*k**2 + 2. Is i(-8) composite?
True
Suppose 0 = -u + h + 144, 0*h = -3*u + 2*h + 436. Suppose -2*n - u = 2*n. Let l = -22 - n. Is l a composite number?
True
Let m = 15 - 10. Let t(n) = 14*n + 7. Is t(m) composite?
True
Let p(f) = 39*f**3 - 6*f**2 + 3*f - 1. Is p(2) a composite number?
False
Let l(n) = -8*n - 1. Let w be l(-1). Suppose -2*s = -w*s + 45. Is (6/s)/((-6)/(-603)) a composite number?
False
Suppose -2*g - g = 30. Let l = g + 41. Is l composite?
False
Let r be -2 - (-5)/(5/2). Suppose r = -2*a + 4*a - 172. Is a prime?
False
Let r(b) be the second derivative of -b**5/20 + b**4/2 - b**3/3 + b. Let o be (-2 + (2 - -1))*5. Is r(o) prime?
False
Suppose 23 - 619 = -4*b. Is b composite?
False
Suppose 5 = g + 9. Is 934*(6/g + 2) prime?
True
Suppose 0 = 18*m - 16*m - 838. Is m composite?
False
Suppose 0*r = 4*r - 12. Suppose -r = -5*k + 17. Is k a prime number?
False
Suppose 0 = 5*b - 16 + 6. Suppose -b