
Let n(k) = 3*k**2 + 3*k + 5. Is n(-7) a composite number?
False
Let c(g) = g**2 + 1. Let b(k) = -k**2 - k - 131. Let u(m) = -2*m - 130. Let r(l) = -3*b(l) + 2*u(l). Let z(y) = -2*c(y) + r(y). Is z(0) a prime number?
True
Let s(c) = 3*c**2 + 5*c - 25. Is s(12) a composite number?
False
Suppose 4*z - 2*t = -t, 2*z + 3*t = 14. Let a(n) = 11*n + 46*n - 4 - z. Is a(4) prime?
True
Let f = -2 + -1. Is 2 + f - (-32)/1 a composite number?
False
Suppose -5*d = -3*d - 4. Suppose 0 = 3*i - d*i - 37. Is i prime?
True
Suppose 5*b = -g - 59, 3 = 2*g + g. Let h be ((-282)/(-4))/(b/(-16)). Suppose 0 = 5*k - 10*k + 25, -3*k + h = p. Is p a composite number?
False
Is (-8)/(-6) - 115/(-15) a prime number?
False
Let f(h) = 6*h**2 + 2*h + 1. Let v be f(-3). Let z = v + -16. Is z prime?
False
Suppose 7*y + 0*y - 679 = 0. Is y a composite number?
False
Suppose -5*q - l + 14 = 0, -2 + 0 = -2*q - 4*l. Suppose -3*x + q*o + 774 = 0, -5*o = 2*x - 132 - 363. Is x/6 + (-3)/(-6) prime?
True
Let l(s) = 3*s**2 - 14*s. Let f(c) = -2*c - 3. Let q be f(-7). Is l(q) a composite number?
True
Let s be 24/(-8)*4/(-3). Suppose -s*w + 2*w = -8. Suppose 2*f + 3 = -1, 534 = w*z - 5*f. Is z a composite number?
False
Is 2/(-1)*(8890/(-4))/5 prime?
False
Let w = 20 - 24. Is 11/w*-44*1 a composite number?
True
Suppose -1276 - 347 = -3*c. Is c prime?
True
Suppose -5*r - 1435 = -10*r. Is r prime?
False
Let o be 0/(5 + -2) - 4. Let f = -3 - o. Is 119 + 0 + 1 + f a prime number?
False
Is ((-446)/3)/(12/(-54)) composite?
True
Suppose -6*m - 260 = -m. Suppose 341 = 5*x - 104. Let v = m + x. Is v prime?
True
Suppose -5*q + 19 = -1. Suppose -162 = q*z - z. Is 5/((-15)/z) - -1 prime?
True
Suppose -14 = 4*a + 6. Let w(q) = -11*q. Is w(a) a prime number?
False
Suppose 4 = -3*b - b, -3*o + 4*b + 2251 = 0. Is o a composite number?
True
Suppose 3*b + 3 = -0. Let k be b/(0 - -1) - -3. Suppose -k*u + 61 = -49. Is u a prime number?
False
Let w(h) = h**2 - h - 1. Let y be w(-2). Suppose 3*f + 6*x = y*x - 18, 5*f = -x - 30. Is (21/f + 2)*-74 a composite number?
True
Let m(g) = -g**3 + 8*g**2 + 3. Let v be (-2)/8 + (-435)/(-12). Let k be (-1)/2 - v/(-8). Is m(k) a prime number?
True
Suppose -p + 35 + 72 = 0. Let z = 9 + -7. Suppose -z*c - 4 = 0, -3*c - p = -4*v + 39. Is v a prime number?
False
Suppose 0 = p + 3*n - 1166, -5*p + 5813 = 2*n - 4*n. Is p prime?
True
Suppose -5*c + 2*j - 30 = 0, c - 3*c + 5*j = -9. Let w(a) = 4*a**2 + 4*a + 5. Let x(s) = 9*s**2 + 8*s + 10. Let o(t) = -13*w(t) + 6*x(t). Is o(c) composite?
True
Suppose x - 5*x = 0. Suppose x = 3*m - 0*m - 318. Is m composite?
True
Suppose -l + 7 = 3. Suppose -3*x - 6 = 0, 2*x = 2*t - 90 - 604. Suppose z = l*z - t. Is z prime?
False
Let j(d) = d**2 - d. Let f(g) = 17*g**2 - 5*g + 1. Let i(m) = -f(m) + 6*j(m). Let b(l) = 34*l**2 + 2*l + 3. Let q(r) = 3*b(r) + 8*i(r). Is q(2) a prime number?
True
Let m(p) = -95*p + 2. Is m(-1) composite?
False
Suppose 3*f + 124 = 4*p, -3*p + 57 + 15 = 3*f. Let t = 83 - p. Is t composite?
True
Suppose 3*s + 3*j - 717 = 2*j, 0 = -3*s + 3*j + 717. Is s a composite number?
False
Let m(g) = g**2 + 5*g + 3. Is m(7) composite?
True
Suppose 0 = o - 3*o - a + 1634, -2*a = -3*o + 2451. Is o composite?
True
Let a(i) = 27*i**3 - 3*i**2 + 3*i - 4. Is a(3) composite?
True
Suppose 0*p - 4*w - 207 = -3*p, 3*w = 5*p - 334. Suppose n = -3*k - 35, 4*n + 128 + 33 = -5*k. Let v = n + p. Is v a composite number?
True
Let p be -6*(-1 + 3/9). Suppose 5*u + o = 778, u + 468 = p*u + o. Is u a composite number?
True
Suppose -3*x + s = -98, -5*x + 5*s + 104 = -46. Is x prime?
False
Is ((-1146)/9)/(6/(-45)) prime?
False
Suppose 4*u = 3*h - 845, -h - h + 562 = -3*u. Is h a composite number?
True
Let a(i) = i**3 - i**2 - i + 3. Let w be a(2). Suppose 0 = 4*h - w*h + 49. Is h prime?
False
Is (1 - 0)/((-5)/(-51835)*7) composite?
False
Let u(q) = 6*q - 1 + 0*q**2 + 3 + q**2 - 2*q**3 + 0*q**2. Let b be u(-4). Suppose 3*o = 4*w + 89, -2*o = 2*o - 2*w - b. Is o prime?
True
Let f(d) = -72*d. Let l be f(-1). Suppose -q - 5*n + l = 0, -2*q + 131 = -5*n + 2*n. Is q composite?
False
Let u = 284 - 633. Let x = 820 + u. Is x prime?
False
Suppose 0 = -3*u + 561 + 732. Is u prime?
True
Let s be (-8)/(-36) - 124/(-9). Suppose x - 20 = s. Is x a prime number?
False
Let h(l) = 6*l**2 + l. Let d be h(-1). Suppose -4 + 0 = -r + y, d = 5*y. Suppose 2*x = r*x - 66. Is x a composite number?
True
Let g(j) = 26*j - 10. Is g(4) composite?
True
Let v = -19811 + 31494. Is v composite?
True
Let y(p) = -p**2 + 32*p + 3. Let k be y(18). Let i = k - 22. Is i prime?
True
Let o(l) = -l**3 + 2*l**2 + 3*l + 4. Let r be o(3). Let y = 5 + r. Is y a composite number?
True
Suppose -3*c - 12 = -4*d, 3*c + 0*d = -d + 3. Let m(s) = -s**2 + 6. Let x be m(c). Let l(a) = -a**2 + 8*a + 2. Is l(x) prime?
False
Let a = 33 + 94. Is a composite?
False
Let f(r) be the first derivative of -3*r**2/2 - 2. Let j be f(-4). Let m = 3 + j. Is m a prime number?
False
Let a(f) = 43*f. Let o(b) be the first derivative of 21*b**2 - 1. Let j(m) = 5*a(m) - 6*o(m). Is j(-1) a prime number?
True
Suppose -3*q + 4*q - 10 = -4*m, q = -2*m + 6. Suppose s - q*s - 15 = 0. Is 104/5 - 3/s prime?
False
Suppose w - 34 - 21 = 0. Is w prime?
False
Suppose -5*p + o + 809 = -3*o, -p = o - 160. Is (10 - 12)*p/(-2) a composite number?
True
Suppose -4*z - 150 = -1586. Is z composite?
False
Let v(l) = 254*l**2 + 3*l + 2. Is v(-1) a composite number?
True
Suppose 99 = 5*f - 76. Is f a prime number?
False
Let l = 662 - -897. Is l prime?
True
Let u = 1290 - -1961. Is u a prime number?
True
Suppose 18*a - 16*a = 8146. Is a composite?
False
Is 1360/(4/1) + -3 a composite number?
False
Suppose -2*u + 262 = -696. Is u a composite number?
False
Is (-2 - (261 - 0))/(-1) a composite number?
False
Let q be ((-28)/(-10))/((-6)/(-15)). Let u = q - -31. Suppose 0 = -2*b - 0*b + u. Is b composite?
False
Let f(r) = 3*r + 1. Let i be f(1). Suppose -c + 2*j - 2 = 0, i*c - 4 = -2*j - 2. Suppose c*t - 3*t + 9 = 0. Is t a prime number?
True
Let c(g) = g**3 + 12*g**2 + 16*g + 13. Suppose -37 = 4*z - a, -2*z + 5*a - 11 = 2*a. Is c(z) composite?
False
Is (-4 - -48)*((-27)/(-12) + -2) a prime number?
True
Suppose 2 = -l - 2*s + 3, 8 = -4*l + 4*s. Let o = l - -1. Suppose 145 = 3*b - o*c - 4*c, 0 = -b + c + 50. Is b a composite number?
True
Let v(d) = d**2 + 4*d. Let z be v(-3). Suppose 6 - 86 = -5*x. Let w = x + z. Is w prime?
True
Let k be (-3 - 0 - 17)*7. Let y = k - -209. Is y composite?
True
Let z = -16 + 19. Suppose -5*y + z*k + 479 = 0, k = -0*k + 2. Is y composite?
False
Let z = 7 + 0. Let l = -4 + z. Suppose l*i - 715 = -2*i. Is i a prime number?
False
Is (-283 - 6/2)/(-2) prime?
False
Let z(k) = 57*k - 5. Is z(6) prime?
True
Let z = 334 + 709. Is z a prime number?
False
Let v(w) = 6*w - 3*w - w**3 - w**2 + 2*w**3. Let l be v(3). Suppose -4*n = -c + 13 + 29, 0 = c - n - l. Is c composite?
True
Let g = -188 - -885. Is g composite?
True
Suppose 48 = -n + 4. Let k = 267 + n. Is k a prime number?
True
Let z(u) = -u**3 - 5*u**2 - 5*u + 2. Let t be z(-4). Let c(v) = -20*v + 5. Let g(o) = 20*o - 4. Let k(l) = t*g(l) + 5*c(l). Is k(1) prime?
False
Let k = 320 + -866. Suppose 0*w - 2919 = 3*w. Let p = k - w. Is p a composite number?
True
Is (-751)/(-2)*(23 + -19) composite?
True
Let f(s) = 21*s + 23. Let d(v) = -10*v - 11. Let b(c) = 9*d(c) + 4*f(c). Is b(-10) a composite number?
False
Let r(o) = -2*o + 2 - 1 + 95*o**2 + 3*o. Is r(-1) a composite number?
True
Let j = 1 - 1. Is j/(0 - -1) - -37 composite?
False
Let j be (-6)/(-8) - 13362/(-8). Suppose -l - 2*l + j = 0. Is l a prime number?
True
Let a be (-4)/6 + 34/6. Suppose 81 - 15 = 3*h - a*w, 22 = h + w. Is h prime?
False
Suppose 560 = 4*y - 1656. Is y a prime number?
False
Suppose 9*p + 4*d - 45 = 4*p, 0 = -5*p + 3*d + 10. Suppose -37 - 12 = -a + 4*z, -p*z = 5*a - 370. Is a a composite number?
True
Let m(d) = -d**2 - d - 1. Let a be m(6). Suppose 3*t - 144 - 54 = 0. Let q = a + t. Is q composite?
False
Is 11/((-4 - -5)/83) prime?
False
Is 3/9 - (4625/(-3) - 1) composite?
False
Suppose 0 = 15*c + 13*c - 22372. Is c a prime number?
False
Let g(p) = -12*p + 1. Let m be g(-1). Suppose h + m + 2 = 0. Let q = -4 - h. Is q prime?
True
Suppose 2*v + 14 = 4*l, 5*v + 2 = -l - 0*l. Suppose 2*x - l*x = -83. Is x 