*s + 43 = r. Is r a composite number?
True
Suppose 0*l + 10 = -5*l. Is l/11 + 4557/77 a prime number?
True
Let n = -946 + 2715. Is n composite?
True
Let y be ((-27)/(-12))/((-9)/(-912)). Let a = y + 103. Is a a prime number?
True
Let s(y) be the first derivative of -y**4/4 + y**3/3 + y**2/2 + y + 1. Let m be s(-1). Suppose 4*t - 3*x - 364 = 0, -m*t + x = 40 - 222. Is t a prime number?
False
Let y = 9 + -5. Suppose p + 0*l = -2*l + 83, y*p - 5*l = 306. Is p prime?
True
Let w = -194 - -329. Suppose -4*m + 4 = 0, 0 = u + m + 2*m - 51. Let s = w - u. Is s a prime number?
False
Suppose 3*o = 4*o - 3620. Is 2/6 + o/30 prime?
False
Let t(q) = 35*q - 63. Is t(10) prime?
False
Let l(w) = w**3 + 19*w**2 + 16*w - 19. Is l(-9) a composite number?
False
Let c(h) be the first derivative of -h**4/4 - h**2/2 + 139*h + 2. Suppose 0 = 4*w - 3*m, w + 5*m = -w. Is c(w) a prime number?
True
Suppose 5*b - 17 = 4*b. Suppose 0 = p + 4*a - b, 4*p - 2*p + 5*a = 49. Suppose 2*z - 16 = 2*o, -3*z - 11 = -o - p. Is z composite?
True
Suppose b - 4*j = -3*j + 2, 0 = 4*b + 2*j - 32. Let n = b + -4. Suppose n*p = -0*p + 166. Is p composite?
False
Is (-808)/(-14) - (-22)/77 composite?
True
Let i(u) = -u**3 + 12*u**2 + u - 1. Is i(7) a prime number?
True
Suppose -2*k + 24 = 2*i - 10, 3*i - 5*k - 91 = 0. Let y = -12 + i. Is 2/y + 848/10 prime?
False
Suppose n - i - 71 = 0, 0*n - n - i + 69 = 0. Suppose -90 = -5*m - 3*s, -2*m + 5*s = -5*m + n. Is m composite?
True
Suppose o - 307 = -0*o. Is o composite?
False
Let a = 138 + -16. Is a prime?
False
Suppose -2*r + 34 = 4*n + 6, 0 = -3*n - 5*r + 35. Suppose 0 = -n*t - 6*m + 2*m + 1579, 5*t + m = 1591. Is t prime?
False
Suppose 0 = j + r - 2*r + 23, -r + 51 = -2*j. Let w be (-3)/12 - 35/4. Let x = w - j. Is x a composite number?
False
Suppose 2353 = 5*t + 2*q, 4*q = -2*t + q + 950. Suppose -27 = 5*w - 4*i - t, -4*w = -5*i - 359. Suppose -67 = -3*l + w. Is l a composite number?
True
Let d = 38 + 77. Is d a prime number?
False
Let x = -135 + 80. Let n = x + 35. Is n/6*(2 - 5) a composite number?
True
Let c(k) be the first derivative of -k**3/3 - 3*k**2 - 4*k + 3. Let w be c(-6). Is 7*w*66/(-24) a composite number?
True
Let q be 39*(6*1 - 1). Suppose -6*a + q = -3*a. Suppose -4*f + 71 = -a. Is f a prime number?
False
Suppose 4 = -5*f - 1. Is (102/12)/(f/(-6)) prime?
False
Let s = -338 - -549. Is s composite?
False
Let f(p) be the third derivative of p**6/120 + 2*p**5/15 - 5*p**4/12 + p**3/3 + p**2. Is f(-9) composite?
False
Let g = 397 - 277. Suppose 0 = -3*l + g + 885. Is l composite?
True
Let n(k) = k**3 - 5*k**2 + 2*k + 17. Is n(12) a prime number?
True
Let n(i) = -70*i + 1. Let s be n(-1). Let o = 13 + s. Let g = -19 + o. Is g composite?
True
Is ((-276)/(-2))/(12/6) composite?
True
Let p = -13894 - -7377. Is (-4)/(-6) - p/57 a prime number?
False
Suppose -3*j = -5*z + 2*j - 35, 0 = 2*z - 3*j + 12. Let q be 2 - 3 - 1 - -25. Let l = q + z. Is l prime?
False
Suppose 0 = 4*x - 2*x + 36. Let o = 57 + x. Is o composite?
True
Let b = 62 + -16. Is b a prime number?
False
Suppose -396 = -a - 3*a. Suppose -75 = -3*p + a. Is p prime?
False
Let t(w) = -w - 7. Let h be t(-9). Is h + 5/(15/261) a composite number?
False
Suppose 4*a - i - 185 = 0, 0*a - 4*a - i + 191 = 0. Is a a prime number?
True
Let q(l) = 37*l - 5. Let d be q(5). Suppose -3*x + 15 = -2*k - 0*x, 25 = 5*x. Suppose -2*w - 4*b + 9*b + 78 = k, -4*w + d = -4*b. Is w a prime number?
False
Let m be (-45)/(-5) + -1 + 1. Suppose 0 = -4*d + m*d + 55. Is (d/(-2))/(4/24) a prime number?
False
Let j = 12 + 0. Suppose j = 3*p - 0. Suppose -p*r + 70 = -0*m + 3*m, -2 = -2*r. Is m composite?
True
Let z be (-6)/(-15) - 4/10. Suppose z = -4*n - 24 + 108. Is n prime?
False
Let k(m) = 193*m + 4. Suppose 2*h = 3*q + 2 - 3, -h + 2*q - 2 = 0. Let t be k(h). Suppose 4*c - t = -300. Is c a prime number?
False
Suppose 0 = o + 190 - 633. Is o composite?
False
Let u = -4 + -4. Let i = u + 61. Is i composite?
False
Let n(q) = 100*q - 1. Let t be n(2). Suppose -4*r - 75 + t = 0. Is r prime?
True
Let h(j) = 5*j**3 - 6*j**2 + 6*j + 6. Let q(v) = v**3 - v**2 + v + 1. Let b(z) = -h(z) + 6*q(z). Let k be b(-1). Is 0 + (-249)/(k + -2) composite?
False
Suppose 2*x - 14 = d, 3*x = -2*x + 5*d + 45. Suppose 0 = 3*j - x*j. Suppose f - h - 97 = j, 5*f = 3*h - 2*h + 485. Is f prime?
True
Suppose -2*j - 5*o + 0 = 17, 0 = -j + 2*o + 14. Suppose -5*l - 185 = -5*a - 875, -j*a - 5*l = 516. Let f = -49 - a. Is f composite?
True
Suppose 5*x - 4 = 11. Suppose -x*f - 2*f + 385 = 0. Is f a composite number?
True
Let j(p) = -14*p. Suppose -20 = a + 4*a. Let r be j(a). Let n = r - -18. Is n a composite number?
True
Suppose -3*p - 88 = 3*v - 4*p, -128 = 4*v - 4*p. Suppose -4*u + 526 - 210 = 0. Let x = v + u. Is x a prime number?
False
Suppose 15 = -5*c, 4*m + 4*c - 2*c + 14 = 0. Let r = 2 - m. Suppose 35 = r*u + u. Is u prime?
True
Let q be (1/2)/((-3)/108). Let c = 187 - q. Is c a composite number?
True
Let z(k) = 1 - 3 - k + 88*k**2 - 33*k**2 + 1. Is z(-1) composite?
True
Suppose -6*d + 4510 = 4*d. Is d prime?
False
Let u be (8/3)/(8/(-60)). Let n = u - -39. Is n prime?
True
Let z = -11 + 11. Is (z - -508)*(-8)/(-32) composite?
False
Let w be (3/(-6))/((-4)/16). Suppose -j - 79 = -w*j. Is j a composite number?
False
Let q(j) = 2*j + 29. Let c be q(12). Suppose 0 = -o + 1, 4*w + 4*o - c = 3*o. Is w a prime number?
True
Let d(r) = 1. Let n(o) = -o**3 - 6*o**2 - 5*o - 1. Let i be n(-5). Let b(m) = -m**3 + 7*m**2 - 2*m - 1. Let j(x) = i*b(x) + 4*d(x). Is j(7) composite?
False
Let u = -125 - -1416. Is u a prime number?
True
Let i(w) = -2*w**3 - 4*w**2 + 5*w + 4. Let v be 11/(-2) + (-3)/(-6). Is i(v) a prime number?
False
Suppose 3*t - 9 = 0, -4*v - t + 4 = -5*t. Suppose -h - 4*m - 2 = 10, -v*h + 12 = -4*m. Suppose o - 2*o + 26 = h. Is o a composite number?
True
Let w(a) = a - 5. Let l be w(4). Is (-3)/1*l - -18 prime?
False
Let n be 2 + 1 + (0 - 1). Let z be 177*6/27*3. Suppose n*s - z = -0*s. Is s prime?
True
Let l be 3 + (-4 - 0) + -1. Let f(j) = -28*j - 3. Is f(l) a composite number?
False
Suppose -t = 3*q + t - 4, 4*t - 8 = 4*q. Suppose -30 = -q*x + 5*x. Is (8 - x)*13/2 a composite number?
True
Is (-22)/(-8)*2960/20 a composite number?
True
Suppose -j + 2 = -4. Suppose -y + j*y = 335. Is y prime?
True
Let p be 1*-2*6/(-4). Let q = -37 - -65. Suppose 2*j + 0*m = 2*m + q, 2*m + 42 = p*j. Is j composite?
True
Let i(l) = 408*l**2 - 2*l + 1. Is i(1) a composite number?
True
Suppose 3*j - 4*g = 1103, -2*j = -5*g + 3*g - 738. Is j prime?
True
Let y = -17 + 21. Suppose 3*n + 383 = u + n, -y*u - 3*n + 1477 = 0. Is u a composite number?
False
Suppose 4*o + 17 = 5. Let j(g) = -2*g - 3*g + 4*g. Is j(o) a prime number?
True
Let g = -17 - -17. Suppose g = -3*b - b + 748. Is b a prime number?
False
Let o(l) = l**3 - 2*l**2 + 3*l - 3. Let j(w) = -w**2 + 4*w + 2. Let k be j(4). Let n be o(k). Suppose 0 = -n*y + 222 + 27. Is y a prime number?
True
Suppose d - 10 = 4*a, -8 = -2*d + 5*a - a. Let v = d - -1. Let y(b) = 20*b**2 - 2*b - 1. Is y(v) a prime number?
False
Let i = 1 + -3. Let z = 12 + i. Is 370/25 - (-2)/z a prime number?
False
Suppose -u + 0 + 5 = 0. Let m be 217/u - (-2)/(-5). Let t = m + -30. Is t a composite number?
False
Let w(x) = -x**3 - 2*x**2 + 4*x + 1. Let p be w(-3). Is (p + -6 - -1)/(-1) a composite number?
False
Let p = -2 + 0. Let d be -49*2/p*1. Suppose 5*b = 4*s - 253, 2*s + 2*b = d + 55. Is s composite?
True
Let p be -1 + 1 + -3*59. Let z = 368 + p. Is z a prime number?
True
Let v(y) be the second derivative of 23*y**4/12 - y**3/3 - y**2/2 + y. Let o be v(-2). Suppose 0 = -4*s - s + o. Is s prime?
True
Let q = -5 - -8. Let v(w) = 0*w + 2*w**2 + q + 0*w + 11*w. Is v(-8) a prime number?
True
Let l = -10 + 14. Suppose -3*c = -0*v + 2*v - 247, 20 = l*v. Is c a prime number?
True
Suppose 1277 = i - 2686. Is i composite?
True
Let i = 4 + 3. Suppose -68 = -9*v + i*v. Is v a composite number?
True
Suppose 4*a - 352 = -4*h, -4*h = -4*a + 148 + 164. Is a a composite number?
False
Suppose -t + 2 = 4. Is 745 - (2 - t - 2) prime?
True
Let m be (-15)/(-21) - (-4)/14. Let z = -1 + m. Suppose z = -0*c + 4*c - 44. Is c composite?
False
Let s(j) = j - 4*j + 4*j + 6. Let r be s(-6). Suppose 2*t + 2*t = -2*n + 34, r = -5*n - 3*t + 64. Is n comp