+ 20 = -j + 4*c. Suppose j = -0*m + 4*m + 16, 2*d - m = 28. Is (-8)/d - 130/(-6) a prime number?
False
Let h = -15 - -5. Let u = h + 29. Is u composite?
False
Let o(k) = 8*k**2 - 4*k - 35. Is o(-5) prime?
False
Suppose -a + 4 = a, 3*n - 80 = -4*a. Suppose 0 = -z + 3*z - n. Is ((-207)/z - 0)*-4 a composite number?
True
Suppose 0 = i - 14 - 148. Suppose -z + i - 13 = 0. Is z a composite number?
False
Let u(z) = -10*z**3 - 8*z - 7. Let h be (-4)/3*(-18)/4. Let k(q) = -9*q**3 - 7*q - 6. Let n(g) = h*u(g) - 7*k(g). Is n(2) a composite number?
True
Suppose 0 = -4*g - 4*t + 468, 3*t + 577 = 5*g + 4*t. Is g a prime number?
False
Let n(w) = 4*w + 4. Let v(u) = -u - 1. Let y be v(6). Let m be n(y). Let r = 9 - m. Is r composite?
True
Let y = 56 + -37. Suppose -35 = -g - 2*b, g = -b - y + 54. Is g a prime number?
False
Suppose -2*y + 3*h - 12 = 0, 3*h + 5 = y + 7*h. Let z(c) = -c**3 - 3*c**2 + 3. Let b be z(y). Suppose -b*q = -8*q + 235. Is q a prime number?
True
Let d = -242 + 429. Is d a composite number?
True
Let i(b) = 20*b - 3. Is i(8) a composite number?
False
Let c be (12/10)/(4/10). Suppose c*h = 99 + 12. Is h a prime number?
True
Suppose 5*k - 376 - 259 = 0. Is k composite?
False
Suppose 0 = 3*b - 68 - 85. Is b a prime number?
False
Suppose -3*j = 4*s - 2*s, 2*s = -4*j. Suppose j = -t + 2*t - 139. Is t composite?
False
Suppose -8 = k - 2*t, -3*t - 15 = -5*k - 4*t. Suppose -235 = -3*c - k*r, -3*r - 319 - 60 = -5*c. Is c prime?
False
Suppose -4*z + 3164 = 3*q, -4232 = -4*q - 2*z - 0*z. Suppose 0 = 7*h - 2*h - 3*a - q, 0 = 3*h - 2*a - 637. Is h prime?
False
Suppose 0 = -4*n - 2*f - 40, 0 = 3*n + f - 0*f + 31. Let x = 18 + n. Is x a prime number?
True
Is 449/((-1 - 0)*-1) a prime number?
True
Let k(p) = p**2 - 6*p + 1. Suppose i = -q + 3 - 6, 5*q - 1 = -3*i. Let m be k(i). Is m/3 - (-4)/(-6) a composite number?
False
Suppose x + 69 = 2*x. Is x composite?
True
Let v(m) be the third derivative of m**5/60 + m**4/24 + 5*m**3/6 + 2*m**2. Let i be -1*7 - (-3 - -2). Is v(i) a composite number?
True
Let z be (-8 - (-2 - -4)) + -2. Let j = z - -8. Let f(p) = 6*p**2 + 2*p + 1. Is f(j) prime?
True
Suppose -a - u = -1247, 0 = 4*a - 4*u - u - 4988. Is a a composite number?
True
Suppose 2*f - 3*t - 272 = -53, 528 = 5*f - t. Suppose -3*g + 0*g + f = 0. Is g a composite number?
True
Let l = 1165 - 683. Is l prime?
False
Let q(m) = 8 + 2*m - 2*m + 0*m + m. Is q(7) composite?
True
Is (9 + -8)*(0 + 179) composite?
False
Let d be (-9)/(-1 + 0/(-3)). Let v = -15 + d. Is (-6)/(-4)*(-40)/v prime?
False
Let v = 1 - 3. Is 1/v*-79*2 a composite number?
False
Is 4/6*183*1 a prime number?
False
Suppose -5*r - 1 = -21. Suppose r*a - 80 = -0. Let i = a - -11. Is i a composite number?
False
Suppose 2*h - 430 = -4*k + 2*k, 4*h + 673 = 3*k. Is k prime?
False
Let y be 3114/12 - 2/(-4). Let u = -69 + y. Is u a prime number?
True
Suppose 4*p - 109 = 3*a, -3*a = p - 33 - 13. Suppose 20 + p = q. Is q prime?
False
Suppose 6*j = j + 1465. Is j composite?
False
Let z(k) = -105*k**3 + k**2 - 9*k - 10. Is z(-3) a composite number?
False
Let j = 72 + -31. Let o = j - -12. Is o prime?
True
Is (676/(-1) + -2)*(-1)/2 prime?
False
Let z(n) = 3*n - 9. Let j be z(6). Suppose -j = -2*w - w. Suppose 8*c - 4*c - v = 335, 0 = -w*c + 4*v + 235. Is c prime?
False
Let n(k) = 15*k + 5. Let x(y) = 16*y + 5. Let l(a) = -2*n(a) + 3*x(a). Is l(8) a prime number?
True
Let g(i) = -i**2 + 9*i + 5. Is g(6) prime?
True
Suppose -2*o + o + 5 = 0. Suppose o*y = 10, -3*y + 168 = -0*m - 3*m. Is (-410)/(-18) - 12/m prime?
True
Let v = -279 - -685. Let p = v - 243. Is p prime?
True
Let v(i) = i**3 + 8*i**2 - i + 8. Let t be v(-8). Is 2/4*t + -1 composite?
False
Let f = 416 + 215. Is f prime?
True
Let k(c) = -c**3 - 12*c**2 - 5*c - 1. Let f(m) = 3*m**3 + 37*m**2 + 15*m + 4. Let w(n) = -2*f(n) - 7*k(n). Is w(-7) composite?
True
Suppose -2*h + 320 = -3*q + q, -5*h + 3*q = -806. Let l = 77 - 163. Let u = l + h. Is u composite?
True
Let h = -7287 - -12326. Is h composite?
False
Let v(m) = 15*m - 26. Is v(7) prime?
True
Let l(u) = 2*u - 4. Let w be l(6). Let i = w - -30. Suppose i = 5*s - 207. Is s composite?
True
Suppose v - 5*v + 16 = 0. Suppose -3*a = n - 0*n - 54, 0 = 3*n + v*a - 137. Is n a prime number?
False
Suppose -216 = -4*c + 1748. Is c composite?
False
Let u = -16 - -103. Is u prime?
False
Suppose -2*q - 209 = -21*q. Is q prime?
True
Let m = -11 + 94. Is m composite?
False
Suppose r + 7 - 23 = 0. Let v = r - 7. Is 6/v*186/4 composite?
False
Suppose 11 = 5*z - 4. Suppose -4*c + 1 = -z*c. Is 5*6*3 + c a prime number?
False
Let a be (-2)/(-7) - 52/(-14). Suppose 2*n + l = -0*n + 29, -3*n = 3*l - 48. Is (-2)/(a/n)*-4 a composite number?
True
Suppose 5*s + 0*s + 3*v - 419 = 0, -245 = -3*s - 5*v. Is s a prime number?
False
Let p(f) = -2*f - 5. Let w be p(-5). Let h be (24/w)/((-4)/(-240)). Suppose -4*o + h = -20. Is o composite?
True
Let l = 14 + -22. Let t(b) = -b + 3. Let u be t(l). Is u*(6/(-3) + 4) composite?
True
Let l = -326 + 897. Is l prime?
True
Let d(p) = -2*p**3 - 4*p**2 - 6*p - 5. Let c(q) = -2*q + 4. Let m be c(4). Is d(m) a prime number?
True
Let u(b) = 29*b**2 + 2. Is u(-1) prime?
True
Is (-2 + 7)*117/9 prime?
False
Suppose 4*p + 58 + 64 = 2*t, 5*p = 15. Is t prime?
True
Let w = 344 + 593. Is w a prime number?
True
Is (-55)/(-2)*(10 - 8) composite?
True
Let a(p) = 13*p**2 - 14*p - 14. Let h(c) = -7*c**2 + 7*c + 7. Let f(d) = -6*a(d) - 11*h(d). Is f(6) a prime number?
True
Let j(s) be the first derivative of 15*s**4/2 + 2*s**3/3 - s**2/2 - 3. Is j(1) a prime number?
True
Let h(q) = q**3 - 3*q**2 - 16*q + 7. Is h(7) prime?
False
Let c(h) = -7 - 4 - h**3 + 14 + 2*h**2 - 5*h**2. Is c(-5) a composite number?
False
Let l be (-1)/(-1) - (-13 - -10). Is 1*(-118)/(-8)*l prime?
True
Let o(r) = r**2 - 5*r - 8. Is o(-13) composite?
True
Let x = 400 + -189. Is x a prime number?
True
Let d = 1629 + 1898. Is d a composite number?
False
Let v(l) = 458*l + 23. Is v(3) composite?
True
Let j = 43 + -25. Let u = j - 12. Is u a composite number?
True
Let m = -36 - -16. Let a = m + 36. Is ((-40)/a)/((-2)/20) a composite number?
True
Suppose 0 = 3*z - z - 118. Suppose -n = -z - 35. Is n prime?
False
Suppose -3*t - 180 = -3*c, -c - 2*t = -4*c + 175. Is c a prime number?
False
Let j = -29 + 98. Is j a composite number?
True
Suppose -b - 66 = -4*v - 2*b, 0 = -v - 5*b + 7. Let o = v + -6. Is o prime?
True
Let y(f) = f**2 - 4*f + 7. Suppose -b + r + 6 = -7, 0 = -4*b + 5*r + 48. Suppose -3*k - 5*l - 13 = 0, 7*k + l + b = 4*k. Is y(k) prime?
True
Let q(b) = -34*b**2 - b - 1. Let j be q(-2). Let u = j + 397. Suppose n - 79 = 2*z - 0*z, -3*n + z + u = 0. Is n a composite number?
False
Let y(r) = 6*r**3 + 6*r**2 + 4*r - 5. Is y(4) composite?
False
Let c(f) = f**2 - f + 37. Let t be 1/2 + (-2)/4. Is c(t) prime?
True
Let k be 6/(-2)*(-2)/(-3). Let y = -2 - k. Suppose 0 = 3*l + l + 16, y = 4*b + l - 40. Is b a prime number?
True
Let l be 52/14 - (-2)/7. Suppose l*a - 2*a + 3*h - 409 = 0, -5*a - h = -1016. Is a a composite number?
True
Is (-3563)/(-3) + 13/((-39)/2) prime?
True
Let j(h) = -h**2 - 5*h - 1. Let m be j(5). Let i = -20 - m. Is i composite?
False
Suppose -3*k = 2*k - 3*u - 1102, 3*u - 224 = -k. Is k a composite number?
True
Suppose 0 = -4*x + 8 - 4, m - 2*x = 1435. Is m a prime number?
False
Let g(s) = -14*s**3 - s**2. Let v be g(1). Let l = v - -84. Let u = 232 - l. Is u a composite number?
False
Is -2 + -3 + (1460 + -2 - -4) composite?
True
Let k(d) = 206*d**3 - 3*d + 2. Is k(1) a prime number?
False
Let q(z) = -22*z - 13. Let x be q(-14). Suppose 11 = s - 2*j - 1, -5*s + 45 = -5*j. Suppose -s*y = -y - x. Is y a composite number?
False
Let a = -700 - -1401. Is a prime?
True
Let v(h) = 3*h**2 + h. Let o be v(-3). Suppose 15 = 3*g, -y - 3*g = 109 - o. Let a = y - -155. Is a a prime number?
False
Let i(l) = 19*l + 6. Let s be i(9). Suppose -h - 2*h + s = 0. Is h prime?
True
Let h(l) = 44*l - 2. Let s be h(-5). Is (s/4)/(6/(-8)) composite?
True
Let t(i) be the first derivative of i**4/4 - 5*i**3/3 + 4*i**2 - i - 9. Suppose 3*c - 25 = -7. Is t(c) prime?
True
Let h = -155 + 229. Is h a composite number?
True
Let f = 102 + -35. Is f a prime number?
True
Let l(t) = -2*t**3 - 11*t**2 + 37*t - 13. Is l(-12) a prime number?
False
Let f