omposite number?
False
Suppose -5*s = -2*z + 2754, 5*z = -5*s - 340 - 2400. Let b = -243 - s. Is b prime?
True
Let o(u) = -486*u - 788. Is o(-5) a prime number?
False
Suppose v = -4*d - 13 - 59, d - 2*v + 27 = 0. Let k be -3 + (-10)/2*d. Suppose 4*o - 5*u = 311, 3*u = 2*o - 247 + k. Is o composite?
False
Suppose 0 = -20*b + 21*b - 3. Suppose -123 = -2*f - 3*m + 40, b*m - 246 = -3*f. Is f a prime number?
True
Let i(c) = -8*c + 1. Let j be i(2). Suppose -f - 5*d = -78, 2*d - 146 = -2*f - 3*d. Let y = f + j. Is y prime?
True
Suppose 49*z + 1129233 = 70*z. Is z a prime number?
True
Suppose 5*k + 5*f = -6409 + 36534, 0 = -3*f - 12. Is k a composite number?
False
Suppose -22*o + 14*o + 3376 = 0. Is 10/(-3 + 1270/o) a composite number?
True
Let b(g) = 4*g**3 + 5*g**2 - 10*g - 40. Is b(11) prime?
True
Suppose g - 3104 = -3*j, -g + 2*j + 0*j = -3079. Is g a composite number?
False
Suppose -25*j + 26*j = 3. Is ((-8819)/4)/((-5)/60*j) a prime number?
True
Suppose 0*p - 5*p - 4*w - 23 = 0, 3*w + 26 = -5*p. Let f = 148 + p. Is f prime?
False
Let d be (-2 - -1)/(2 + -3). Suppose v = 4*h - d, h + 0*v + 2*v = -2. Suppose 2*k + 164 - 586 = h. Is k prime?
True
Let n(a) = -9 - 494*a - 198*a + 216*a. Is n(-5) a composite number?
False
Let b(l) = 149*l**2 - 2*l - 3. Suppose 15*c - 12*c = 3. Let x(j) = 1. Let y(d) = c*b(d) + x(d). Is y(-1) composite?
False
Suppose -9000 = -3*y + 5*p, 4*y - 11968 = 2*p - 6*p. Is y a prime number?
False
Let u(p) = 599*p**2 + p + 8. Let n be u(-3). Suppose -n = -6*q + q + 3*t, -4*q + 4321 = -t. Is q composite?
True
Let u(s) = 15*s + 3*s + 0 + 1. Let b be (2/4)/(32/576). Is u(b) a composite number?
False
Suppose 1551 = 2*g + 3*i - 1351, 2*i = 4*g - 5836. Is g a composite number?
True
Suppose 5*f - 418 + 3 = 0. Suppose 0*y = -h + 4*y + 95, -y - f = -h. Is h a composite number?
False
Suppose 4*p + 5*l = 4338, p + 4*l = -2*p + 3253. Is p a prime number?
True
Let b = 50805 - 31858. Is b prime?
True
Suppose 2*p - h + 165 = 0, -h - 3*h = 12. Let q = -3 + 10. Is ((-14)/8)/(q/p) a composite number?
True
Suppose 34*v - 68025 = 19*v. Is v a composite number?
True
Let o = 71 - -104. Let s(r) = o + 227*r - 175. Is s(3) a composite number?
True
Suppose -11*g + 693 = -8*g. Let x = g + 332. Is x a prime number?
True
Suppose w + 9 + 0 = -3*o, -o = -5*w + 35. Suppose 2*z = v, z - 22 = -w*v + v. Suppose z*x = -3*x + 285. Is x composite?
True
Let q be (10 + -2)*(-2)/4. Let v be q - (-23 + 0 - 2). Is 660/v + (-9)/21 composite?
False
Let y = -9491 - -13692. Is y a composite number?
False
Let f = 2569 - 1431. Is f composite?
True
Suppose -469*l - 507127 = -486*l. Is l prime?
False
Is (9 + -4)*18035/25 a prime number?
True
Suppose 54*p + 11967 = 57*p. Is p prime?
True
Let f(a) = 116*a**2 - 11*a - 32. Is f(-5) prime?
False
Suppose -2*s + 5*j + 15494 = 0, j + j + 30956 = 4*s. Is s composite?
True
Let l = 23 + 6. Let t = 15 + -13. Suppose -l - 41 = -t*n. Is n a prime number?
False
Let s(u) = -u**3 - 7*u**2 - 8*u - 8. Let k be s(-6). Suppose -4*d = 0, 2*h - k*d = 7*h + 10. Is (h + 1 + -2)*-199 a composite number?
True
Let r(y) = -3*y - 16. Let f be r(-10). Is 5800/70 + 2/f a composite number?
False
Suppose 2 - 8 = -3*b. Suppose b*a = 6*a - 4. Is (a + 1)*2524/8 a prime number?
True
Suppose 0 = -5*k + 2*t + 171, -2*t - 111 = -3*k - 10. Suppose -41*b = -k*b - 1518. Is b a composite number?
True
Is ((-13479)/6)/(((-30)/3)/20) a prime number?
True
Suppose -3*y = -u - 30, 3*y + 84 = -3*u + 6. Let n = -21 - u. Is 31188/42 + n/14 composite?
False
Suppose -2*m + 11 = 5. Let g be (-1)/(-3)*(-9)/m. Is (-1 - g) + (133 - 0) composite?
True
Let n be 3/21*2 - (-2364)/(-42). Let p = n + 187. Is p prime?
True
Let x(m) be the third derivative of -28*m**4 + m**3/2 + 15*m**2. Is x(-2) a prime number?
False
Let d(p) = -5*p**3 - 14*p**2 + 2*p + 9. Let t be 1*(-5 + 2 + -5). Is d(t) prime?
True
Let g = -28 + 32. Suppose g*f + 633 = 2785. Is f prime?
False
Suppose 14*w = 39*w - 418225. Is w a prime number?
True
Suppose -3*l + 6296 = -13*j + 17*j, -4*j - 2*l = -6296. Is j composite?
True
Suppose -a + 1 = -c, -2*a = 5*c + 19 + 21. Let y = c + 95. Is y a prime number?
True
Let y = -41 + 329. Suppose -5*t = -l - 3*l + 283, -y = -4*l + 4*t. Is l a composite number?
True
Is 1*6989 - (-84)/42 a prime number?
True
Is 135/15*1/3 - -31124 a prime number?
False
Let n(r) = 613*r + 48. Is n(5) a prime number?
False
Let k(f) = 3*f - 15. Let m be k(6). Suppose m*d - 1070 + 5 = 0. Let z = 918 - d. Is z a composite number?
False
Suppose 575 + 985 = -5*h. Let r = 1657 - h. Is r a composite number?
True
Let a(o) be the first derivative of -71*o**4/4 + 2*o**3/3 + 2*o**2 - 1. Let k be a(-3). Suppose k = f + 2*f. Is f prime?
True
Let c(w) = 48*w**3 - 3*w**2 - 3*w - 7. Is c(5) composite?
False
Suppose w + 5 = 2*w. Let j(u) = 6*u**2 - 2*u + 1. Is j(w) a composite number?
True
Suppose -6607 = -2*s - 3*h, 3*h + 3163 = s - 127. Is s composite?
False
Let v be 2198/2 - (-1 + 3). Suppose 3*q = 4*q - v. Is q a composite number?
False
Suppose 4*k = 3171 + 85. Let p = -339 + k. Suppose -6*o = -o - p. Is o composite?
True
Let h = -21 + 21. Suppose h = 4*q + 3 + 21. Is (7 + q)/(1/341) a prime number?
False
Let w be (-5 - -1)*4/(-8). Suppose 5*z + w*l + 0*l + 14 = 0, -19 = 4*z - l. Let m(k) = -14*k + 2. Is m(z) a composite number?
True
Let k = 66 + -71. Let l(a) = 8*a**2 - 4*a + 2. Let s(h) = 9*h**2 - 5*h + 3. Let r(o) = 6*l(o) - 5*s(o). Is r(k) composite?
False
Let q be ((-5 - -4) + (-1)/2)*1838. Is q*((-2)/4)/(1/2) composite?
True
Let z(g) = -35*g**3 - 4*g**2 - 29*g - 5. Is z(-8) prime?
True
Suppose 3*o - 562 - 590 = 0. Suppose 0*k - k + o = 0. Suppose -249 = -3*i + k. Is i a composite number?
False
Let o(j) = 10*j**2 + 32*j - 7. Let u(d) = 5*d**2 + 16*d - 3. Let f(w) = 3*o(w) - 5*u(w). Is f(-7) a prime number?
True
Let k(p) be the third derivative of p**6/24 + p**5/60 - p**4/12 + 2*p**3/3 - 95*p**2. Suppose 5*a - 6 = 9. Is k(a) composite?
True
Let q(v) = -v + 199. Let h be q(0). Suppose 597 = 3*r - 3*p, 2*r + 5*p - 192 = h. Let n = -112 + r. Is n composite?
True
Suppose 0 = -5*l - 15, 0 = -5*d - 7*l + 10*l + 173704. Is d a composite number?
False
Let o(u) = -u**3 - 8*u**2 + 8*u + 2. Let r be o(-9). Let x = 12 - r. Is (-89 - 0)/((-1)/x) a prime number?
True
Suppose 3*b - 15 = -4*g + 1, 3*g = -5*b + 23. Suppose 2*f + 2*x = -0*x + 650, -f = b*x - 322. Is f prime?
False
Let k(r) be the first derivative of 21*r**2/2 - 16*r - 16. Suppose 29 = 3*q + 5*z, 29 = 4*q + 4*z - 15. Is k(q) a prime number?
True
Suppose 9179*k - 2014207 = 9166*k. Is k a prime number?
False
Suppose 36 - 16 = 2*t. Suppose -5*s + 55 = -285. Let p = s - t. Is p a composite number?
True
Suppose 3*j - 3 + 9 = 3*b, 8 = b + j. Suppose 11 - 4 = z - p, -65 = -b*z - p. Is (1257/z)/((-3)/(-12)) prime?
True
Let z = 105 + -103. Suppose y + 723 = 2*y - 4*x, x - z = 0. Is y a prime number?
False
Let l = -46 + 30. Let h = -14 - l. Let i = 5 - h. Is i a composite number?
False
Suppose -5*z - 4 = -3*b + 71, 0 = -5*z - 3*b - 75. Let j be (84/z)/((-3)/15). Is j/(-12)*1*-3 a composite number?
False
Suppose -2*v + 5*k + 58738 = 0, -23679 = -v + 5*k + 5690. Is v prime?
False
Let h = -16 + 17. Suppose -c - i - h = -0, -4*c = 2*i. Is (-287)/(-21) - c/(-3) a prime number?
False
Is 12/(-24)*(-1318)/(2 + -1) prime?
True
Suppose 74492 = 2*i + 16416. Is i composite?
True
Let o = 834 - 25. Suppose 2*k + o = 7*i - 2*i, 3*i + k = 481. Is i a composite number?
True
Is (30903/(-6))/(7/(-14)) a composite number?
False
Suppose 0 = -14*v + 6*v + 53648. Suppose -v = -11*p + 9*p. Is p a composite number?
True
Let y = -110 + 113. Suppose 3*n - 2*p - 1517 = 0, p - 1505 = -y*n - 0*n. Is n a composite number?
False
Let h(u) = -4*u**2 + 15*u + 20. Let x(m) = -5*m**2 + 14*m + 21. Let j(n) = 4*h(n) - 3*x(n). Is j(15) a composite number?
True
Let p(c) = 42*c**2 - 14*c - 9. Is p(-7) composite?
True
Suppose -n + 4*w + 8045 = 0, n + 1564 - 9612 = 3*w. Is n composite?
True
Let q = 2 + -300. Let z = -89 - q. Is z prime?
False
Let y(j) = 9*j - 59. Let c be y(7). Suppose c*h = 2251 + 1433. Is h composite?
True
Let w be 4*(-8)/256 - (-113)/8. Let n = 14 + -9. Is 97/n - w/35 prime?
True
Let p(d) = -d**3 + 9*d**2 + 5. Let s be p(9). Suppose 4149 = -5*i + 2*g, 4*i + 1279 = s*g - 2030. Let y = i + 1402. Is