posite number?
True
Let s(k) = 6*k**2 - 4*k + 3. Is s(2) prime?
True
Let i(j) = 1. Let s(l) = 12*l - 5. Let g(z) = -4*i(z) - s(z). Is g(-3) a prime number?
True
Let v(h) = -h**3 - 2*h**2 - 8*h - 3. Is v(-8) composite?
True
Let b = 107 + -157. Let j = b + 85. Let c = j - -20. Is c a prime number?
False
Let a = 466 - -271. Is a prime?
False
Let p(r) = 270*r - 46. Is p(16) prime?
False
Let t(y) = -8*y**2 + 2*y + 1. Let a(s) = 15*s**2 - 4*s - 2. Let p(f) = 3*a(f) + 5*t(f). Is p(-2) a composite number?
False
Let q(p) = p**2 - 3*p - 5. Suppose j - 7 = 4*x + 2, -4*j = -3*x - 23. Let w be q(j). Suppose -374 = -2*t - 4*s, w*s + 801 = 4*t + 53. Is t a prime number?
False
Let x = -28 - -45. Suppose -2*u - 7 = x. Let b(v) = v**3 + 11*v**2 - 15*v - 5. Is b(u) prime?
True
Let k(j) = -23*j - 2. Let v(a) = 782*a + 69. Let o(p) = -69*k(p) - 2*v(p). Is o(2) a prime number?
False
Is ((-16)/24)/((-2)/381) prime?
True
Suppose 3*q + 4 = -4*x - 4, 4*q + 3*x + 6 = 0. Let y(k) = 6*k**2 - 2*k + 1. Let g be y(1). Suppose s - 4 = q, 0*v = g*v + 5*s - 95. Is v a prime number?
False
Let h = -30 - -29. Let b(z) = 5 - 26*z - 2 - 4. Is b(h) a composite number?
True
Let o(b) = -b - 6. Let p be o(6). Is (p/(-15))/((-4)/(-170)) a composite number?
True
Let d = -1 - -1. Suppose 0*k + k - 2 = m, m + 4*k - 8 = d. Suppose m = -4*h - 5*c + 1028, 0 = 4*h - 5*c - 0*c - 1028. Is h composite?
False
Let b(s) = s**2 - 1. Let w(a) = 2*a**3 + 9*a**2 + 3*a - 5. Let z(v) = -v**3 - 8*v**2 - 2*v + 4. Let k(y) = 2*w(y) + 3*z(y). Let r be k(6). Is b(r) composite?
False
Let d(k) = k**2 + k + 4. Let b(r) = -3*r**2 - 4*r - 12. Let v(s) = 6*b(s) + 17*d(s). Let c be v(-5). Suppose -t + 14 = h, -3*h + 3*t = -c - 36. Is h composite?
True
Is 85 - -2 - (0 - 0) prime?
False
Suppose -15 = -5*x + 4*l - 9*l, 2*x - 2*l = 14. Suppose -5*j = -3*n + 376, -3*n - x*j + 366 = -20. Is n a prime number?
True
Let m(b) = b - 8. Let v be m(11). Suppose 0 = v*l - 5*l + 422. Is l composite?
False
Suppose -4*x + 0*x - 3*k + 29 = 0, -4*k = 3*x - 27. Suppose -3*h + 5*h - x*j + 175 = 0, 4*h - 4*j + 344 = 0. Is -2 + 1*h/(-1) composite?
False
Let j(o) = o**3 - 13*o**2 + 7*o - 9. Let b be j(12). Suppose -2*a + 189 = -3*f, f - 412 + 101 = -3*a. Let c = b + a. Is c a prime number?
False
Suppose 4*q - m = -994, 14 = -q - 2*m - 239. Let i = q + 508. Is i composite?
True
Is -1 - (-88 + 1) - 1 a prime number?
False
Is 3/(-2) + 850/4 a composite number?
False
Let v(d) = d**2 + 10*d + 9. Let x be v(-9). Is x + 28/2 - 3 a prime number?
True
Suppose 5 = 6*p - 5*p, -4*u = 5*p - 593. Is u composite?
True
Suppose -2*z = 5*f - 5*z - 98, -f + 5*z = -2. Suppose -3*b + f = -2. Is (-75)/(-2) - 4/b a composite number?
False
Let p(l) = -l**3 + 4*l**2 - 2. Let x be p(4). Let i be ((-1)/x)/(2/88). Suppose 2*a + g = 44, 0 = -a + 2*a + 5*g - i. Is a a prime number?
False
Let u = -4 - -8. Let l(k) = 2*k**2 + 2*k - 5. Let c be l(u). Suppose -y = -5*x + 4 - c, -3*y = 4*x - 74. Is y a prime number?
False
Suppose -10 + 35 = 5*o. Suppose 2*k = -22 + 160. Suppose 41 + k = o*a. Is a prime?
False
Let z be 10/3*(-12)/(-10). Let w = 26 - 15. Suppose j = z + w. Is j a prime number?
False
Let y = -109 + 183. Suppose 450 + y = 4*f. Is f prime?
True
Let o = 2291 - 1230. Is o a prime number?
True
Let s = -22 + 20. Is s + (-1492)/(-8)*6 a prime number?
True
Let s be 2/(-4)*(1 + -195). Suppose -t = 3*w - 174, 3*w + 0*w - 174 = t. Let h = s + w. Is h prime?
False
Let j(t) = -26*t + 75. Is j(-23) composite?
False
Suppose -2*l = -l + 5*p - 532, 2*p = -3*l + 1635. Is l prime?
True
Let k(l) = 94*l**2 + l. Is k(1) a composite number?
True
Suppose 0 - 10 = -5*v. Suppose v*k = -3*k + 655. Is k prime?
True
Suppose 22 = 2*w - w. Suppose -2*g - w = -4*g. Is g composite?
False
Let s = -14 + 40. Let r = -1 + s. Is r prime?
False
Let y(x) = 21*x**2 - 4*x + 12. Is y(5) prime?
False
Let h = 11 - 14. Is ((-4)/8)/(h/126) a composite number?
True
Suppose -2*y = -y - 355. Is y a prime number?
False
Let o be 14 - (2 + -4 + 2). Let l be 80/o - (-4)/14. Suppose -l*d + 3*d = -237. Is d a composite number?
False
Let r = 39 + 0. Suppose w - 128 = -4*f, 0 = f + 4*w - 2*w - r. Is f a composite number?
False
Let o = 9 + -9. Let j = -37 - -60. Suppose 5*y + 8 - j = o. Is y a composite number?
False
Let c = -132 - -12. Let y = c - -303. Is y prime?
False
Suppose 3*p + 18 = -3*o + 57, 23 = 2*o + p. Suppose -z + o = -1. Is z prime?
True
Let t = 23 - 11. Suppose i + 5*r + 13 = 0, -4*i + t + 28 = -3*r. Is i prime?
True
Suppose -d + 7 = -25. Suppose -3*f = -d - 46. Is f a prime number?
False
Let r(v) = 45*v**2 - 3*v - 11. Is r(-3) composite?
True
Let f(q) = -294*q**3 - 3*q**2 - 3*q - 1. Is f(-1) a prime number?
True
Let i be (-2 - 0) + 18 + 3. Let l = 90 + i. Is l composite?
False
Let h = -221 - -528. Is h prime?
True
Suppose -2*b = 2*x - 530, 2*x = 2*b + x - 530. Let h = -156 + b. Is h prime?
True
Let l = 128 - 41. Is l a prime number?
False
Let n(z) = 107*z - 6. Let f(d) = -54*d + 3. Let w(x) = 13*f(x) + 6*n(x). Is w(-2) a composite number?
True
Let j = -21 + 32. Is j a composite number?
False
Let g be -2*(0 - (-6)/(-3)). Suppose 570 + 362 = g*x. Is x a prime number?
True
Suppose 5*k = p - 2, -2*p + k + 62 = p. Is p a composite number?
True
Let x(c) = c**3 - c**2 + c + 2. Let i be x(0). Is (i + -1)/(2/218) prime?
True
Let f be (-6)/18 + (-2)/(-6). Suppose m + f*m - 55 = 0. Is m a prime number?
False
Let q = -38 + 93. Is q a composite number?
True
Let q(m) = m**3 - 4*m**2 - 11*m - 5. Is q(8) prime?
True
Let s(w) = 2*w**2 - 9*w + 6. Suppose 1 = 3*l + 10. Let i(x) = -x + 1. Let k(f) = l*i(f) + s(f). Is k(4) a prime number?
True
Suppose 2*o = 5*r - 4, -3*o + 27 + 17 = 5*r. Let t(m) = -m**2 + 10*m + 5. Is t(o) a prime number?
False
Let r(s) = -3 + s + 0*s + s + 5*s**2. Is r(2) a prime number?
False
Let b be ((-219)/6)/(2/(-4)). Suppose 0 = 2*m - b + 21. Is m prime?
False
Let s = 36 - 22. Is s prime?
False
Let u(c) = -c**2 + 91. Let a be u(0). Let o = a - 133. Let j = 133 + o. Is j a composite number?
True
Suppose -3*b + 2862 = y, -2*y - 2874 = -3*b + y. Is b a prime number?
False
Is 2 - (-2430)/6 - (-4)/(-1) a prime number?
False
Let f(k) = -4*k + 1 + 5*k + 8 + 0*k. Let j be f(-5). Is (92/(-6))/(j/(-42)) a prime number?
False
Let r be 2 - -12 - (-1 - -1). Let j(q) = -q**2 - 9*q - 13. Let a be j(-6). Let m = a + r. Is m composite?
False
Let p(c) = c**3 - 9*c**2 - 2*c + 3. Let i(g) = g**3 + 5*g**2 - g + 6. Let a be i(-5). Is p(a) a prime number?
True
Let s(n) = 0 + 2*n + 2*n**3 + n**2 - n - 9*n**2 - 5. Let r = 16 + -10. Is s(r) a prime number?
False
Let h(n) = -78*n**3 - n**2 - 2*n - 4. Is h(-3) a prime number?
True
Let t(f) = f**2 - 3*f - 6. Let l be t(5). Is l/(-6) + (-113)/(-3) prime?
True
Let x be 1 + -1 + (-446)/(-2). Suppose u - 236 = 3*q, -4*u - x + 614 = -5*q. Is (q/(-2))/(1/2) composite?
False
Let b = -6 + 6. Suppose -w - 5*c + 76 = w, -5*c - 10 = b. Is w composite?
False
Suppose 4*g - 351 = 237. Suppose 23 = -4*k + g. Let z = k + -17. Is z a composite number?
True
Suppose 0*s - 6 = -s - 3*p, 0 = -4*s + 2*p + 10. Suppose 3 = -2*d - s. Let h = 16 + d. Is h prime?
True
Suppose 9 = j - 3*u, 4*j + 0*u + 4*u + 12 = 0. Suppose -a + j*w = 4*w + 6, -a - 5 = 3*w. Is (10 + -8)*(-55)/a a composite number?
True
Let u(d) = -d + 10. Let c be u(6). Suppose c*g - 1171 + 135 = 0. Is g a composite number?
True
Let o(v) = 2*v + 2. Let l be o(1). Suppose -3*q = -l*t + t + 105, -113 = -3*t - q. Is t a prime number?
True
Let g be 3/((-3)/(-25)) + 2. Let d = -6 + g. Is d a prime number?
False
Let w be (-6)/(-9) - 39/(-9). Suppose -3*q + 34 = -w*o, -4*q = -q - o - 14. Is q prime?
True
Let y be -3*((-78)/(-9))/(-2). Let n = 2 + y. Is n a prime number?
False
Let c = 6 + 6. Suppose -5*d + 4*b + 323 = -2*d, 3*b - c = 0. Is d prime?
True
Let i(s) = 12*s**3 - 3*s**2 - 5*s + 1. Let b be (6/(-5))/(6/(-20)). Let v be i(b). Suppose 3*y - v = -146. Is y a prime number?
False
Let i(t) = 67*t**2 - t - 4. Let g be i(-2). Suppose 5*k = 4*k + 4*x + 143, 2*k - 4*x = g. Is k composite?
True
Let n(j) = j**3 - 9*j**2 + 9*j - 10. Let i be n(8). Let l(f) = -71*f - 1. Is l(i) a prime number?
False
Let y(c) = 1 + 26*c - c**3 - 13*c + 0*c**2 - 3*c**2. Is y(-10) a composite number?
False
Suppose -5*j = 4*r - 22, 5*j - 2*r = -0*j + 4. Is j a compos