(-2)/4. Is (6/4)/(q/70) a composite number?
True
Let h = -190 + 336. Is h composite?
True
Let d(y) = 2*y**2 + 6*y - 13. Let l(r) = r**3 - 6*r**2 - 3*r + 8. Let f be l(6). Is d(f) a prime number?
True
Suppose 5*k + 20489 = 3*s, -5*k = 4 - 14. Is s prime?
True
Suppose -3*k = -8*k - 30. Let p be k/(-15) - (-6)/(-15). Suppose p = 3*d - 15, 2*a + 3 = d + 4*d. Is a a composite number?
False
Let j(z) = -134*z + 4. Let k be j(3). Let x = 727 + k. Is x prime?
False
Let s(d) = d - 1. Let l be s(3). Let x(h) = -h**3 + 4*h**2 + 0*h**2 + 7*h**3 - 3*h. Is x(l) composite?
True
Suppose -5 - 1 = 3*v. Is ((-3)/v)/(12/1192) prime?
True
Let s(k) = -k**3 + 2*k**2 + 10*k - 9. Let n(x) = x**2 + x - 1. Let u(a) = -5*n(a) + s(a). Is u(-5) composite?
True
Suppose 8*z = 3*z - 40. Let s = 45 - z. Is s composite?
False
Let h(a) = -a**2 + 10*a - 2. Suppose 2*v + s - 40 = 0, -2*s - 65 = -3*v - s. Suppose 3*o + 0*o - v = 0. Is h(o) a prime number?
True
Is ((-12716)/(-32) - 0) + (-12)/32 a prime number?
True
Suppose -7*a + 4328 = -3*a. Is a prime?
False
Suppose o + 3*o + 20 = 0, -4*o - 18 = t. Suppose 86 + 34 = 2*s - 2*y, -t*s = -3*y - 115. Is s a prime number?
False
Let t = -1754 - -8733. Is t composite?
True
Let r(u) = -3*u**3 + 2*u**2 - 1. Let p be r(-1). Let c(o) = -o**3 + 2 - 3 - o**2 + 5*o**2 + 4*o. Is c(p) composite?
True
Let z = -6 - -8. Suppose -z*p + 45 = 3*s, -3*p - 4*s + 15 = -52. Is p a prime number?
False
Let j be (1 - -1) + (-2 - 0). Suppose q + 5*y = 0, q + 4*y + 3 + 0 = j. Let z = q + 72. Is z a composite number?
True
Let p be (-2*2)/((-4)/2). Suppose 0 = -p*t + 10 - 4. Suppose -t*f + 115 = -14. Is f prime?
True
Suppose 0 = 4*y - 3*y - i - 492, -472 = -y - 3*i. Is y prime?
True
Let h = 15 + 30. Suppose -8*u + 152 = -4*u - 4*n, 0 = 5*n. Suppose h - 13 = 2*w + 4*z, -4*z - u = -5*w. Is w a composite number?
True
Let h be ((-12)/(-14))/(3/(-21)). Suppose 3*s + 2*o + 9 = 0, 0*s - 4*o + 3 = -s. Is 36 - s/h*-2 a prime number?
True
Let o be (231/(-9) + -3)*3. Let p = 3 - o. Is p a composite number?
False
Let k(u) = 9*u**3 + 5*u**2 - 15*u - 5. Is k(6) a prime number?
True
Suppose -5*l + 4*q + 1595 = 0, -l + q = l - 638. Is l prime?
False
Is -2 + 205 + 0/(-3) composite?
True
Suppose -5 = u + 1. Let y be 0*(3/u + 0). Suppose 3*n = -y*n + 9. Is n a composite number?
False
Suppose 2*p + 2105 = -1271. Let u = -445 - p. Is u a prime number?
False
Let i(p) = 7*p**2 + 5*p - 11. Is i(-6) prime?
True
Let d = 21854 + -13861. Is d composite?
False
Suppose -28 = 4*u - 4*o, -3*o - 29 = 3*u + 2*o. Let r(x) = -x**3 - 9*x**2 - 5*x + 6. Let z(q) = 1. Let l(g) = -r(g) + 5*z(g). Is l(u) prime?
True
Suppose -t + 6*t - 460 = 0. Let q = 129 - t. Let h = -18 + q. Is h prime?
True
Let q(k) = k + 3. Suppose -3*o + 3*r = 0, 2*o - r - 2*r = 0. Let n be q(o). Suppose 2*b - n*b = -39. Is b a composite number?
True
Let a(u) = 3*u**2 + u. Let v be a(-1). Let q(p) = 2*p**2 + 11*p + 10. Let m be q(-5). Suppose -g + r = -90, -v*g = -0*g - m*r - 195. Is g composite?
True
Suppose -4*v + 42 = -2*k, 0 = -2*v + 3*v + 3*k - 7. Suppose 0 = 3*m - 2*s, 0*m - 4*s = -m - v. Is ((-9)/(-3) - m)*31 a composite number?
False
Let w = 3373 + -1776. Is w a composite number?
False
Let p(z) = -z**3 - 3*z**2 + z + 3. Is p(-4) a prime number?
False
Let f be 40/(-25) + (-4)/10. Is f + 3 + -1 - -382 a composite number?
True
Suppose 4 = 5*z + 14. Let k be (-1)/2*z + 2. Suppose 0 = -p + k*p - 18. Is p a composite number?
True
Let j = -1699 - -3522. Is j a composite number?
False
Let d be 3/12 - 15/(-4). Suppose -61 - 107 = d*q. Let c = -28 - q. Is c a prime number?
False
Let d(g) = -g**3 + 13*g**2 + 16*g + 1. Is d(11) a composite number?
False
Suppose 2*z = 4*z. Suppose -v + 7 = -z*v. Is v a prime number?
True
Let s = 14 - 14. Suppose s*j - 644 = -2*j - n, -j = 3*n - 327. Is j composite?
True
Let k = 188 + -61. Suppose -3*i + 97 = f, -3*i + 3*f = -2*f - k. Is i composite?
True
Suppose 11 = -3*y - 2*h + h, -3*h - 1 = y. Let r(x) be the third derivative of x**5/30 + 5*x**4/24 - x**3/2 - x**2. Is r(y) a prime number?
False
Let n(o) = o**2 - o + 2. Let c be n(0). Let v(m) = m**2 - m - 2. Let x be v(c). Suppose -3*s + 141 - 39 = x. Is s a composite number?
True
Let d be (-14)/(-49) + 33/7. Suppose -d*z = 2*b - 96 - 74, -2*z = 5*b - 404. Suppose -2*o - 5*m = -149, o - m - b = 2*m. Is o composite?
True
Let h = 17 + -14. Suppose -6 = y + 4*t, 3*y - 3*t = -0*t + 57. Suppose -h*n + y = -19. Is n a prime number?
True
Let l(q) = 4*q**2 - 3*q + 17. Is l(12) prime?
True
Suppose -5*d = 4*n - n - 6564, 2*d = 6. Is n composite?
True
Let l = 213 - 112. Let k = l + 197. Is k a prime number?
False
Suppose -2*f = -2 - 8. Suppose 4*c - f*c - 2*y = -223, 877 = 4*c + 3*y. Is c prime?
False
Suppose -b = -3*h - 2038, 2*h + 7911 = 3*b + 1762. Is b a composite number?
False
Suppose -4*x + 11765 = 3*k, 3*k + 9 = 6*k. Is x a composite number?
False
Let d(a) = 3*a**2 + 6*a + 7. Let o = 3 + 3. Let u = o + -12. Is d(u) prime?
True
Let n = 88 - 62. Suppose n = 3*h - 5*k, 4*k - 7 + 29 = 3*h. Suppose h = -4*s + 26. Is s prime?
False
Suppose 0*o = 3*o - 51. Let v = 314 + o. Is v a composite number?
False
Let y(b) = 4*b**3 + 5*b**2 - 3. Let v(x) = -7*x**3 - 10*x**2 + x + 6. Let a(f) = 3*v(f) + 5*y(f). Let q be a(-6). Suppose 0 = -3*u - 0*u + q. Is u composite?
False
Is 6/4*(-938)/(-21) a composite number?
False
Let u(f) = f + 19. Suppose -4*c + 5*y = -25, 0 = -c + 2*y - 4 + 11. Suppose -4*i - 3 = -i - 3*n, c*i = 2*n - 2. Is u(i) a composite number?
False
Let s = -3 - -6. Suppose -398 = -4*u + 5*t, -5*t - 220 = -s*u + 81. Is u a composite number?
False
Let w = 311 - -182. Is w a prime number?
False
Let l = 20 - 18. Suppose 2*f - 4775 = -3*f + 5*h, 4775 = 5*f - l*h. Is f prime?
False
Suppose 4*l + x = 0, l + x = 6*x. Suppose l = q - 2*q + 23. Suppose -2*r + q = n, 3 = 3*r - 0*r. Is n a prime number?
False
Let o = -1151 + 1692. Is o a composite number?
False
Let j = 31 + 6. Let c = 104 + j. Suppose -r = 14 - c. Is r a composite number?
False
Suppose -2*f = c - 15, -3*c - 3 = 5*f - 43. Let m(y) = 2*y**3 + 5*y**2 + 7*y - 7. Let b be m(f). Suppose 5*x - 3*z = b, 5*x + 4*z - 407 = 24. Is x composite?
False
Is 23968/11 + (-4)/(-44) prime?
True
Suppose -3*i + 51 = -4*r + 277, -r + 63 = -4*i. Is r composite?
True
Suppose -4*k + 6*k = 1114. Is k composite?
False
Suppose -3*z + z + 140 = 2*u, 133 = 2*z - 5*u. Let g = z + 28. Is g a prime number?
True
Suppose -235 = -4*p - 5*b, 0 = p + b + 14 - 74. Is p prime?
False
Let j be (23/(-3))/(3/9). Let v = 8 + j. Let r = v + 30. Is r a prime number?
False
Suppose -3*g + 4015 = -4*h, -2*g - h + 6*h = -2679. Is g a prime number?
False
Suppose 2*b - 54 = -0*b. Let v = b - -19. Suppose k = 3*n + v, 2*k - 5*n - 46 - 43 = 0. Is k composite?
False
Suppose -1 = -4*i - 29. Let q(m) = m**2 + 3. Let t be q(-5). Let o = t - i. Is o prime?
False
Let y(l) = -l - 4. Let g be y(-7). Is (35/15)/(1/g) a prime number?
True
Let c(z) = -z**3 + 8*z**2 + 12*z - 1. Let r be -3*((-10)/6 - -1). Let m be (-212)/(-26) + r/(-13). Is c(m) prime?
False
Suppose -j - 2*z = 6, -3*j + 5*j - 2*z = 0. Let m(x) = 35*x**2 - 4*x + 1. Is m(j) a prime number?
True
Let t = -12 - 24. Let p be (-4 + 3)/(1/(-59)). Let c = t + p. Is c prime?
True
Let k(b) = -b + 5. Let r be k(5). Suppose -2*z + 54 + 120 = r. Is z a composite number?
True
Suppose 1011 = -11*l + 2650. Is l a composite number?
False
Suppose 4*r - 8 - 20 = 0. Suppose 0 = -r*t + 2*t + 165. Is t composite?
True
Let r(o) = 5*o**2 + 8*o - 74. Is r(9) a composite number?
True
Suppose -2*j + 4*z = -0*j - 82, -j - 3*z = -56. Is j a prime number?
True
Suppose -2*o - 7 = -2*g + 13, -50 = 4*o - 2*g. Is (-30)/(-3)*o/(-6) a composite number?
True
Suppose -2*a + 20 = 3*a. Suppose 4*b = 12, -h - 79 = -a*b - 247. Suppose -4*j + h = 2*p + 2*p, j + 190 = 4*p. Is p prime?
True
Let o = -191 - -454. Is o a prime number?
True
Suppose -4*j - 4*l + 3*l + 1277 = 0, 4*l = 5*j - 1612. Let c = -126 + j. Is c composite?
True
Let k(d) = 29*d - 4 + 15*d + 13*d + 0*d. Is k(3) composite?
False
Let h = -176 - -763. Is h a composite number?
False
Suppose -3*d = -0*d - 2*v, -4*v = -d. Suppose -5*y + 418 = 3*f, 4*f - 4 + 0 = d. Is y a prime number?
True
Let t(q) = -52*q + 43. Is t(-19) a composite number?
False
Suppose 95 = 8*q - 3*q. Let s be -3*q