= -z. Is (1094/i + (-5)/(-15))*1 prime?
False
Suppose -21*f + 478567 = 116590. Is f prime?
False
Let z(o) = o**3 + o**2 + o + 1. Let d be z(-1). Suppose -w = -d*w - 8. Let x(m) = 2*m**3 - 8*m**2 + 3*m - 3. Is x(w) a prime number?
False
Let s(g) be the third derivative of 0 + 3*g**2 + 0*g + 1/30*g**5 - 7/24*g**4 + 3/2*g**3. Is s(10) prime?
True
Let d(r) be the third derivative of -r**6/120 + r**5/60 + r**4/12 - r**3/3 - 4*r**2. Let f be d(2). Is f*1*(-382)/4 composite?
False
Let t be (-19288)/(-14) + 8/28. Suppose -5*x = p - t, 2*p - 8*x = -4*x + 2784. Suppose l - 5*l = -p. Is l a prime number?
True
Let q be -33*1 + (2 - 1). Let z be (q/40)/(2/(-5)). Let x(k) = 8*k**3 + 3*k**2 + k - 4. Is x(z) a composite number?
True
Suppose 94*s = 106*s - 41196. Is s composite?
False
Suppose -140 + 52 = -8*l. Suppose 15*q - 14644 = l*q. Is q a composite number?
True
Let z(w) = -5*w**3 + 45*w**2 + 22*w + 13. Let s(b) = 3*b**3 - 30*b**2 - 15*b - 9. Let x(t) = -8*s(t) - 5*z(t). Is x(-10) a prime number?
False
Let z be 6/9 + 76/(-6). Let n = z + 13. Is 210 + n - (-6 - -6) composite?
False
Let m be (-2)/(-5) - (-16)/10. Suppose 3 = m*u - 3. Suppose 2*t = 2*o + 3*o - 593, -3*t + u = 0. Is o a composite number?
True
Let u(o) = 9*o**2 + o + 2. Let g be u(-1). Let p(s) = -g*s + 2*s**3 - 3*s - 3*s**2 + 9*s + 7. Is p(6) a composite number?
False
Let y(s) = -s - 6. Let d be y(-8). Suppose -3*g = -2*a - 547, d*g + a = 433 - 59. Let z = g + -106. Is z a prime number?
True
Suppose 20*r - 24265 = -3*r. Is r prime?
False
Let u be -2 - 4/(-8)*6. Is (-4668)/(-24)*2/u a composite number?
False
Let o = -114 + 588. Suppose 0 = -5*q + 2*q + o. Is ((-6)/(-12))/(1/q) a prime number?
True
Suppose -3*q - 2*q = -2*p - 17255, -4*p - 6918 = -2*q. Is q prime?
True
Suppose 4*j - 8*j + 5*h - 20 = 0, 4*h = 0. Is 1*-263*(j + (2 - -2)) prime?
True
Suppose 5*x = 2*b + 12, x - 5*b = -0*b + 7. Suppose -p + 3065 = 2*u, -3*u + x*u - 3*p + 1520 = 0. Is u a prime number?
False
Let t(g) = 2*g - 61. Let c be t(0). Let p = 172 + c. Is p prime?
False
Suppose -5*q = k - 7 - 4, -k = -1. Suppose q*n + 1848 = -2*i - 0*i, -n = 1. Let f = -474 - i. Is f a composite number?
False
Is 8/(32/606)*(-632)/(-12) a composite number?
True
Suppose 267*y + 1705 = 272*y. Is y prime?
False
Let y be ((-21)/(-63))/(1/9). Suppose -y*o + 305 = -130. Is o composite?
True
Let h(w) be the first derivative of -w**4 - 2*w**3 - 7*w**2/2 + 8*w - 4. Is h(-7) composite?
True
Suppose -10 = -d + 3*k + 2, -5*d - 5*k + 120 = 0. Suppose -d*h + 18*h + 273 = 0. Is h prime?
False
Let l(m) = -m**2 + 2*m - 1. Let v be l(1). Suppose v = h + 74 + 104. Is (h*(0 - -1))/(-2) a prime number?
True
Let j(m) = m + 4. Let l be j(5). Suppose 2*o + 13 = -o - n, o = -3*n + l. Let c(k) = 6*k**2 - 9*k - 16. Is c(o) composite?
True
Suppose -352 = t - 543. Is t a prime number?
True
Let n(i) = -167*i + 315. Is n(-22) composite?
False
Let y(i) = i - 5. Let c be y(10). Let n be (-6)/(-8)*(-1 + c). Suppose n*o = o + 20. Is o composite?
True
Let b = 1257 - -366. Is b prime?
False
Suppose m + 12 = 5*m. Suppose 928 = m*a + 310. Suppose 0 = c + 49 - a. Is c a prime number?
True
Let p(s) = -2*s**3 - 5*s**2 + 15*s + 27. Let u be p(-7). Let n = u - 100. Is n prime?
True
Let a(j) = -1 - 5*j - 19*j**3 - 647*j**3 - 4 - 4*j**2 - 83*j**3. Is a(-2) prime?
True
Let i(b) = -3*b - 22. Let y be i(-8). Suppose 3551 = 5*v + 4*h, -v + y*h = 5*h - 719. Is v a prime number?
False
Suppose 16*x - 19*x - 9907 = -y, -29701 = -3*y - x. Is y composite?
False
Suppose 4*i + 3*s + 21 = 0, i - 5*s - 9 = 3. Is -3 + i + 87 - 2 prime?
True
Let w(b) = -2518*b - 147. Is w(-2) a composite number?
False
Let t(a) = 486*a**2 + 5*a - 5. Let f(i) = -2431*i**2 - 26*i + 26. Let l(c) = 5*f(c) + 26*t(c). Is l(-1) a prime number?
False
Let q(u) = u + 2. Let x be (-5)/(-2) - (-1)/(-2). Let l be q(x). Suppose 2*f - l*f = -794. Is f prime?
True
Let u(l) = 8*l**2 - 42*l + 63. Is u(-25) composite?
False
Let n(l) = -l**2 + 2*l - 2. Let x be n(1). Is 2/(x - 1056/(-1052)) composite?
True
Let n(o) = -2*o**3 - o**2 + 6*o - 9. Let y(a) = 3*a**3 + a**2 - 9*a + 14. Let u(q) = -8*n(q) - 5*y(q). Is u(-3) prime?
True
Suppose -3*c = -k + 59344, 4872 + 54480 = k + 5*c. Is k a prime number?
False
Suppose 0 = -4*j - 2*q + 20, -4*q - 5 = -j - 0*j. Is 7/(56/27270) - j/(-20) a composite number?
True
Suppose 103*q = 85*q + 1044. Is q prime?
False
Let z(s) = -4*s**3 - 24*s**2 - 29*s - 10. Is z(-13) prime?
True
Let x be 1/(1/6 - 0). Suppose x*f + 157 = 7*f. Is f prime?
True
Let r(j) be the first derivative of -j**4/4 + 2*j**3/3 - j**2/2 + 1481*j + 10. Is r(0) a composite number?
False
Let g(s) = -242*s**2 - 10*s - 14. Let m be g(-5). Let v = 8671 + m. Is v a composite number?
False
Is (-5649)/42*(0 + -2) composite?
False
Let j(u) = 20290*u**2 + 43*u + 44. Is j(-1) a prime number?
False
Let c = -27 + 51. Let l be c/20*(-50)/(-4). Is (10/l)/((-6)/(-333)) a composite number?
False
Suppose -60 = -l + 197. Suppose 3*h + w = l, -3*h + 88 = -2*h - 2*w. Let t = 173 - h. Is t composite?
True
Let w(q) = 3*q**2 + 6*q - 3. Let f be 1/5 - 21/5. Let g be (-5)/(f/32*-4). Is w(g) a composite number?
True
Let b(d) = -8*d + 163. Is b(-6) a prime number?
True
Suppose b = -3*f + 5*b - 2, 5*b = 3*f + 4. Is ((-3)/f + 3 + -2)*-78 a prime number?
False
Let l(r) = -2*r**2 + 3*r**2 + 2 + r + 2*r - 6*r. Let n be l(1). Suppose n = 4*v - 603 - 561. Is v prime?
False
Suppose -d + 11 = 2. Suppose -1436 + 4307 = d*v. Is v a composite number?
True
Let s be (2/6 - (-24)/9) + 2027. Let h = s + -1339. Is h composite?
False
Is (-23)/(69/(-15780)) - 5 a composite number?
True
Let j be -2*-2*22/8. Let f(i) = 48*i + 3. Let b(m) = m. Let l(g) = -4*b(g) + f(g). Is l(j) a prime number?
True
Suppose -c - 6 = -2. Let y be (-1 - 4*-2) + c. Suppose -y*s + 2*q + 337 = 0, 0*s - 3*s = q - 322. Is s a composite number?
False
Let h = -11 + 26. Let k(c) = -4*c**2 - h + 5*c**2 + 4 + 7*c. Is k(-9) a composite number?
False
Let t(m) = -m**3 + 11*m**2 - 10*m - 1. Let o be t(10). Let d be (15/20)/(o/172). Let w = -67 - d. Is w prime?
False
Let u(p) = 30*p**2 - 14*p - 5. Let h be u(-8). Suppose -2*z = 3*q + 212 - 1569, 3*z = 4*q + h. Is z a prime number?
True
Let h = 41004 + -18743. Is h composite?
True
Suppose -24770 = -2*o - 3*d, 91*o + 4*d - 24774 = 89*o. Is o a composite number?
False
Let g(q) = q - 6. Let f be g(13). Let r(z) = z**2 - 7*z + 2. Let b be r(f). Let a(s) = 10*s**2 - s - 1. Is a(b) composite?
False
Let a = 11 + -6. Suppose 0 = -a*k - 1 + 11. Suppose -k*b = -0*b - 662. Is b a prime number?
True
Let r(a) = -a**3 + 5*a**2 + 8*a - 14. Let q be r(6). Let w be (1 + 0)*q - 4. Let i(v) = -2*v**3 - 6*v**2 + 2*v + 5. Is i(w) prime?
False
Suppose 0 = 60*a - 47*a - 154817. Is a prime?
True
Let z = 63 - -3228. Is z composite?
True
Let x(y) = 17*y - 3. Suppose -7 = 2*w + 1. Let l = w + 16. Is x(l) a prime number?
False
Let d be 1 + 0 + -1 + 2. Suppose d*y = 3*l - 253 - 167, 0 = 3*l + 5*y - 399. Let h = l - 45. Is h a prime number?
False
Let k(w) = -w**3 + 7*w**2 - 18*w - 97. Is k(-6) prime?
True
Suppose 0*h + h + 2*b - 28695 = 0, 0 = -5*h + 5*b + 143490. Is h a prime number?
True
Let b be ((-20)/(-8))/((-2)/20). Let i = -4 - b. Is i a composite number?
True
Is ((-3508)/2)/(106/(-159)) a prime number?
False
Let x be (-16 + 1)*(-399)/(-63). Let m = x + 564. Is m a prime number?
False
Suppose -5*g + 148 = -2*o, 0*o + 5*g + 128 = -2*o. Let j be o/(-6) + 2/4. Is j/(-8)*(-524)/6 a prime number?
True
Suppose 66 = 2*n - n + 5*i, 4*i = -5*n + 372. Let y = -37 + n. Is 10465/y - (-2)/3 a prime number?
True
Suppose 3*x - h - 41340 = 0, 47*x - 4*h - 41331 = 44*x. Is x composite?
False
Suppose 4*v = -2*j - v + 7376, -4*v = 3*j - 11071. Is j a prime number?
False
Suppose 0 = -2*q - 3*q + 40. Suppose 5*p = q*p - 1353. Suppose 3*a = 2*u + a - 436, -2*u - a + p = 0. Is u composite?
False
Let s = -182 - -88. Let g = 285 + s. Is g a prime number?
True
Let i be (-9 + (-5)/(-5))*1. Let o(f) = -9*f - 17. Is o(i) prime?
False
Suppose -4*k = 1 - 21. Suppose -4*l + 5*t - 6*t = -1132, l = t + 278. Suppose q = h + 144, -l - 41 = -2*q - k*h. Is q a composite number?
False
Let k be ((-44)/(-12) + -3)*6. Suppose -3*q + 249 = q + 5*m, -5*q + k*m + 342 = 0. Suppose y - c = -2*y + q, 5*y - 109 = 2*c. Is y a composite numbe