a composite number?
True
Let l(g) = g**2 - 4*g + 3. Let r be l(2). Let y(o) = -212*o**3 - o**2 - o - 1. Is y(r) a prime number?
True
Let c(j) = -j**3 - j**2 + j + 56. Let a be c(0). Suppose f - a - 41 = 0. Is f a composite number?
False
Let f(q) = -q**3 - 7*q**2 + 7*q - 7. Let x be f(-8). Is x/4 - (-588)/16 composite?
False
Let j be (-2)/4 - 2/(-4). Suppose 5*a = -5, 4*k + 3*a - 25 = -j*k. Let p = k + 15. Is p a prime number?
False
Is -4*2707/(-20) - (-4)/(-10) a prime number?
True
Let p(f) = -f + 9. Let j be p(7). Suppose -v - 71 = -j*r, 3 = 3*v - 2*v. Is r a prime number?
True
Suppose 0*v + 4 = v, 3*v = 3*i - 867. Is i a composite number?
False
Let q(j) = -j**2 + j + 2. Let i be q(3). Let v(f) = -4*f + 0 - 4*f**2 + f**3 - 3*f**3 + 3 + 0. Is v(i) composite?
False
Suppose -10 = 4*t - 5*j + 3, 0 = 4*t + j - 17. Suppose -5*b + t*b + 66 = 0. Is b prime?
False
Let i(l) = 9*l**3 + l**2 - l. Let h be i(1). Let o = -5 + h. Suppose -o*q + 12 = -2*q. Is q composite?
True
Suppose 2*u = -5*m + 87, -4*u + 129 - 15 = -2*m. Is u prime?
True
Suppose -4*j + 7*j = 4*i + 19, -4*i + j = 9. Is i - -128 - (4 - 4) composite?
False
Suppose z + 5*v = 20, -3*z + 23 = z + v. Suppose -z*r + 38 = -57. Is r a prime number?
True
Let a be 0/(-4 + 3 + -1). Suppose -113 = -a*r - r. Is r a composite number?
False
Let q be (4/8)/((-1)/10). Let v = q + 8. Suppose v*g - 97 = 80. Is g composite?
False
Let h(v) = v - 1. Let d be h(-6). Let k(q) = -6*q + 4. Is k(d) composite?
True
Let p = 749 - 300. Is p a composite number?
False
Suppose 3*k = -15, k = 4*c - 2*k - 3. Let i = -29 + c. Let f = 155 + i. Is f a composite number?
True
Let i = 3 - 2. Let y be 0/3 - -1 - i. Suppose -3*m + y*l = 4*l - 155, -m - 5*l = -48. Is m composite?
False
Suppose t - 6*t = 25. Let k = -3 - t. Is (-2)/(-6)*42/k composite?
False
Let t = -112 + 31. Let l be (-1)/((-80)/t + -1). Suppose -k = -o - 26, 2*o + 2 + l = 3*k. Is k a prime number?
True
Let l(f) = -f**3 - 4*f - 15. Let m(g) = -g**3 - 3*g - 10. Let c(v) = 5*l(v) - 7*m(v). Is c(4) prime?
True
Let y = -166 + 315. Is y a composite number?
False
Is (1 - -2)*(3 - 2640/(-18)) a prime number?
True
Let f(v) = -v**3 - 5*v**2 + 2*v. Let i be f(-6). Suppose 0 = -j + i + 29. Is j prime?
True
Let w be (1 + (-29)/5)*5. Let q = -2 - w. Is q composite?
True
Let f(m) = -m**3 + 3*m**2 + 5*m - 1. Let h be f(4). Suppose 4*r + 93 = 2*g - 29, 0 = 4*g - h*r - 224. Is g a prime number?
True
Let b be (-1)/(-4) - (-3358)/8. Suppose 5*k = 5*a - b, 2*k = 4*a + 3*k - 361. Is a a composite number?
False
Suppose -4*m = -m. Suppose 0 = -v + j + 216, -j = -5*v - m*j + 1060. Is v a composite number?
False
Let v(j) = -j - 2 + 10*j**2 + 0*j - 2*j. Suppose -g + 4 = -u, g + g - u - 7 = 0. Is v(g) prime?
True
Let g be (-746 + 0)*-1 + -2. Suppose 6*x + 2*d - 917 = x, d + g = 4*x. Is x a composite number?
True
Suppose -423 - 33 = -w + 2*r, -5*r = 10. Suppose w = -t + 5*t. Is t a composite number?
False
Let u(q) = -4*q. Let b be u(1). Let v(y) be the first derivative of y**4/4 + 5*y**3/3 + y**2 - y - 4. Is v(b) composite?
False
Let a be -3*(-1)/3*29. Let o = -64 + a. Is o*(0 - 2/5) a composite number?
True
Suppose x = 5*x + 128. Let u = 9 - 1. Is (18/u)/((-12)/x) prime?
False
Let c be 1 - 0/(-1) - 10. Let y = c - -13. Suppose 56 = y*d - 5*r, -3 = -d + r + 11. Is d a prime number?
False
Let h(r) = 15*r**2 + 4*r + 3. Let q(z) = -2*z + 11*z + z**3 - 11 + 0*z + z - 10*z**2. Let v be q(9). Is h(v) a composite number?
True
Let j = -2 + 6. Suppose 5*f + 683 = j*c - 0*c, -3*c - 3*f = -546. Suppose 5*i = 398 + c. Is i a composite number?
True
Suppose -l + 4 + 0 = 0. Suppose l*x + 3*c - 22 - 111 = 0, 0 = 4*x + 4*c - 132. Suppose o = x + 63. Is o prime?
True
Let j = -3022 - -6381. Is j prime?
True
Let r = 8 - 6. Suppose -t - 3*t - 62 = -2*v, 0 = -r*t + 2*v - 32. Is t/(3/(3*-1)) prime?
False
Suppose 7658 = -2*n + 9*n. Is n composite?
True
Let x be (99 - 1) + 8/(-4). Suppose 2*r - 6*r + x = 0. Suppose -5*g - 2*q = -5*q - 81, -2*g + r = 3*q. Is g a composite number?
True
Suppose -14*y + 13*y + 553 = 0. Is y a composite number?
True
Suppose -d - 1 = 0, 3*u - 5*u = 4*d - 4. Suppose -u*c - 4*z = 8 + 4, 10 = -5*c - 4*z. Suppose -m + 32 = j, -c*j = -j - 5*m - 50. Is j a prime number?
False
Let y = 2 + 1. Let i be ((-45)/6)/y*-22. Suppose 2*w + 3*f + 2*f - i = 0, 0 = 5*w + 3*f - 166. Is w composite?
True
Let m(x) = -3*x - 5. Let s be m(-9). Let p = -15 + s. Suppose p*j = 2*j + 115. Is j a prime number?
True
Let s(w) be the first derivative of 52*w**3 - w**2/2 + 4. Is s(1) composite?
True
Suppose -5*l = -t + 743, -2*t - 2*l = -389 - 1133. Suppose 3*k = 5*k - t. Is k a composite number?
False
Let t = 73 + -41. Let x = t - -5. Is x composite?
False
Let a(d) = -13*d**3 + 7*d**2 - 4*d - 6. Let r(f) = -2 - 9*f**3 - 4 + 2 + 5*f**2 - 3*f. Let n(i) = -5*a(i) + 7*r(i). Is n(3) a composite number?
False
Let r(c) = -2*c**3 + 11*c**2 + 6*c - 2. Let v(o) = 3*o**3 - 22*o**2 - 12*o + 5. Let s(u) = -5*r(u) - 3*v(u). Is s(-8) composite?
False
Let n = 60 - -20. Let l = 113 - n. Is l a composite number?
True
Let h(u) = 4*u**3 + 3*u + 4. Is h(3) composite?
True
Suppose x - 5 = -1. Suppose 5*h + 10 = -6*b + 5*b, b + 8 = -4*h. Suppose b = -2*z + x + 34. Is z prime?
True
Let x(l) = l**2 - 10*l + 12. Let a be x(9). Is 79*(a - (-2 - -4)) prime?
True
Let l = 515 + -248. Suppose 5*d - 379 = -m, 0 = m - 3*d - l - 112. Is m composite?
False
Suppose -2*d = -4*i + 1071 + 1637, -3391 = -5*i + d. Is i composite?
True
Let q(h) = -h - 8. Let l be q(-8). Suppose u + o - 10 = -l*o, -3*o = 15. Is u composite?
True
Let v(d) = 7*d - 7. Let i be ((-5)/(-4))/(3/12). Let t be (0 - (-6)/5)*i. Is v(t) a composite number?
True
Let m = -191 - -268. Is m composite?
True
Let d(j) = -j - 1. Let u be d(7). Is (u - -9)*13*5 a prime number?
False
Let u(x) = -x**2 + 7*x + 5. Suppose -3*t + t - 26 = 0. Let m = 19 + t. Is u(m) prime?
True
Suppose -4*x = 99 - 391. Suppose 1 = 2*u - x. Is u a prime number?
True
Let m(t) = -t**2 + 9*t + 11. Let k be m(10). Let p be (-2 + k)/(2/(-6)). Suppose p*f + 5*z = 84, -3*z = 5*f - 88 - 36. Is f a prime number?
True
Let u = -169 - -296. Is u a prime number?
True
Let p = 3 - 3. Let j = 5 + p. Suppose 0 = j*n - n - 316. Is n composite?
False
Let d(k) = k**3 - 5*k**2 + 2. Let p be d(5). Suppose 4*i + 166 = 2*s, p*i - 140 = -s - 41. Is s a prime number?
False
Suppose 9 + 1 = 5*o. Suppose -3*w + 7*w - 2*k = 80, 58 = 3*w - o*k. Suppose -y = -5*a - w, -a = -6*a + 15. Is y prime?
True
Let z(l) = l + 8. Let n be z(0). Is (-6)/(-4) - (-1468)/n prime?
False
Let l be ((-4)/(-6))/(5/(-15)). Let r be 46/(-4) + 1/l. Is ((-21)/r)/(1/28) composite?
True
Let b = 7 + -6. Let o(p) = 128*p**3 - p**2. Is o(b) a composite number?
False
Suppose 757 = -7*v + 2402. Is v composite?
True
Let a(y) = 3*y + y**3 - 2*y - 4*y**2 + 0*y. Is a(4) a composite number?
True
Let u be 34/(-4) - (-4)/(-8). Let c(b) = b**3 + 8*b**2 - 12*b - 6. Is c(u) a composite number?
True
Let w(n) = -2 - n**2 - 3 - 2 - 8*n + 6. Is w(-7) composite?
True
Let r = -192 - -539. Is r composite?
False
Let t(q) = q**3 + 2*q**2 - 2*q - 2. Let p be t(-2). Suppose -p*g + 5*m = -61 - 14, 2*g + 4*m - 48 = 0. Is -1 - 0 - g/(-2) a prime number?
False
Let x(j) be the third derivative of j**6/20 + j**5/60 - j**3/6 - j**2. Let u be x(-1). Let h = u + 9. Is h a composite number?
False
Suppose 8*u - 1096 = 320. Is u composite?
True
Let f be 1026/8*16/3. Suppose l = -5*x + 72, -209 + f = 5*l + 2*x. Is l composite?
False
Let b = -63 + 174. Is 1/(2 + (-219)/b) prime?
True
Let i = 5 + -2. Suppose -2*s - 63 = -i*s. Is (s - 0 - 2) + -2 a prime number?
True
Let i = 15 + -15. Suppose f = -i*f + 127. Is f a composite number?
False
Let p be 4/(2 - 4) + 6. Suppose -p*y + 5*f - 7 = -4, 5*y - 9 = 2*f. Suppose y*h - 42 = -3*m, 3*m + 2*h = 21 + 17. Is m a prime number?
False
Let q be (70/3)/((-12)/(-18)). Suppose -q = 3*p - 128. Is p a composite number?
False
Let w(y) = y**3 + 5*y**2 + y - 1. Let v be w(-5). Let r be (-40)/(-15) + (-2)/v. Suppose r*d = 8 + 1. Is d a prime number?
True
Suppose 4 = 2*l, 4*y = y - 4*l + 35. Suppose y*k = 4*k + 425. Is k a prime number?
False
Suppose 4*k - 788 = -0*k - n, 4*n = 3*k - 591. Is 2 + (1 - 1) + k a prime number?
True
Let j(w) be the first derivative of w**4/4 + 4*w**3 + 9*w*