3*j - 4*y - 16 = 0, 12 = j - 4*j - 3*y. Is l(j) prime?
True
Suppose -2*m - 2*m = -l - 1, -3*l + 61 = 4*m. Is l a composite number?
True
Let i = 152 - 86. Let j = i - -31. Is j prime?
True
Let z = -14 + 37. Is z composite?
False
Let c(p) = -3 + 0*p + 5*p - 2*p. Let r be c(2). Is 200/r - 2/(-6) a composite number?
False
Let g(y) = 13*y**2 - 4*y - 3. Is g(-4) prime?
False
Let w(s) = -5*s - 3. Let m(k) = -k - 3. Let c be m(-3). Suppose c = -0*i + 3*i + 15. Is w(i) composite?
True
Let f = -158 - -371. Is f a composite number?
True
Let d = 97 - 44. Is d prime?
True
Suppose -o - 4 = 4*l + o, 2*l - 8 = 4*o. Let n(s) = s + 37. Is n(l) a prime number?
True
Suppose -4*b = 35 - 335. Is (-3 - (2 - b))/2 a composite number?
True
Let w = -659 + 1546. Is w prime?
True
Suppose -3*v + v = 2*b - 2, -5*b + v = 7. Let w(n) = 31*n**3 + 1. Let p be w(b). Let r = 92 - p. Is r a composite number?
True
Suppose 3*c - 5278 = a, 0*a - 3*a - 3521 = -2*c. Is c a composite number?
False
Suppose 4*d + 4*k = 224, -2*k + 14 = 8. Is d prime?
True
Suppose -9 + 203 = 2*j. Is j a composite number?
False
Let w = 1297 + -740. Is w a composite number?
False
Suppose 0 = -3*b + 5 + 37. Suppose b*k - 19*k = -1295. Is k composite?
True
Let o(d) = d**3 + 9*d**2 + 9*d + 5. Suppose 0 = -0*i - 3*i - 18. Is o(i) a prime number?
True
Let w be (10/8)/(3/(-12)). Let a = -3 - w. Is a a composite number?
False
Let o(k) = -3*k + k**2 + 15 - 10*k + 0*k**2. Let p be o(11). Let m = p + 66. Is m prime?
True
Suppose -4*z + z = -1443. Is z a composite number?
True
Let x(p) = -p**3 - 2*p**2 + p - 3. Let t be x(-3). Is t*2/12*398 composite?
False
Suppose -2*m = 3*m - 595. Suppose b - m = 44. Is b composite?
False
Let m(b) be the third derivative of 0 - 5/8*b**4 - 2*b**2 + 1/3*b**3 + 0*b. Is m(-3) a composite number?
False
Suppose 589 = 3*s - 164. Is s a composite number?
False
Let y be 166/(-2)*(-2)/(-2). Suppose 3*n = 4*p - 132, -2*n + 5*n = -2*p - 150. Let l = n - y. Is l a composite number?
True
Suppose -4*l = -3*q - 5*l + 772, 25 = -5*l. Is q prime?
False
Let g = -12 + 17. Let a = g + -5. Is 35 - (1 - a/2) composite?
True
Let k = 5 + -4. Let x = k - -54. Let v = -30 + x. Is v a prime number?
False
Let a be (0/(-3))/((-2)/(-2)). Suppose a = -4*z - 0*i - 4*i - 16, 5*z + 20 = -2*i. Is (0 - -2)*(-26)/z a prime number?
True
Let a be ((-1)/2)/(1/(-12)). Suppose -2*g - 12 = -a*g. Suppose 5*o = 5*s - 40, -g*s = 3*o - 2*o - 4. Is s prime?
True
Suppose -2*j + 12 = j. Suppose -5*z = -s - 290, 3*z + j*s + 116 = 5*z. Is z composite?
True
Suppose -13*r + 9*r + 16852 = 0. Is r a prime number?
False
Let f(g) be the first derivative of 2 - 3/2*g**2 + g + 1/3*g**3. Is f(-6) a prime number?
False
Let s = 74 - 15. Suppose -h = -47 - s. Is h composite?
True
Let v(w) = -13*w - 38. Is v(-15) a composite number?
False
Let b = 119 + -57. Is b composite?
True
Suppose 4*m = -3*m + 44723. Is m prime?
True
Let j = -561 - -980. Is j a composite number?
False
Let k(w) = -w**3 + w. Let x(j) = -4*j**3 - 6*j**2 + 8*j - 1. Let f = -1 - 0. Let g(n) = f*x(n) + 3*k(n). Is g(-6) composite?
False
Suppose -4*l + 0*s = 3*s - 7907, -l + 1948 = -5*s. Is l composite?
False
Suppose -19*y = -15*y - 812. Is y a composite number?
True
Let s(k) = -k**3 - 3*k**2 + 4*k + 4. Let f be s(-4). Suppose -28 = 3*y - 2*j - 1, 2*y - f*j = -18. Is 404/6 + 3/y a composite number?
False
Let o(t) = -3*t + 4. Let i be o(-5). Let j(x) = 50*x**3 - x**2 + x - 1. Let n be j(1). Suppose -i - n = -2*r. Is r a composite number?
True
Let n = 7 - 3. Suppose n*x + 2 = 10. Suppose 8 = 4*j - 8, 2*j = x*b - 6. Is b composite?
False
Suppose 3*b + 9 = 6*b. Let x(o) = -3*o + 1 + 4*o**b + 3*o - 4*o**2 + 3*o**2. Is x(1) a composite number?
True
Suppose -2 = -w - 22. Let h = -12 + 47. Let m = h - w. Is m composite?
True
Let f(d) = -d**2 + d - 5*d + 2*d**2 + 2. Let x be f(4). Suppose x*n - 38 + 10 = 0. Is n prime?
False
Suppose m + 1291 = 5*p, -2*p = 2*m - 4*m - 510. Is p prime?
False
Let f be -6*((-45)/(-6))/(-5). Is (f + -7)*53/2 prime?
True
Suppose 0 = -p - 0*p - 535. Let u = p - -822. Is u a prime number?
False
Suppose 4*o = -2692 + 7728. Is o prime?
True
Let w be 108/(-21)*84/(-9). Suppose 11 = 5*i - 9, 0 = 2*q + 2*i + 6. Let c = w - q. Is c prime?
False
Is (1/4)/(11/80212) prime?
True
Let p = -220 - -455. Is p composite?
True
Suppose -2*g - 1 = -3. Suppose 4*d - 7 - g = 0. Suppose 0 = -5*y - 5*x + 320, 4*y + d*x - 255 = -3*x. Is y a prime number?
False
Let x(y) = 2*y - 10. Let l be x(7). Suppose l*v - 94 = -q, -5*q + 0*v + 470 = v. Let k = q - 39. Is k composite?
True
Suppose 5*r + 382 = 2*j, 3*j + 0*j - 573 = 5*r. Is j a composite number?
False
Let s be 1/1*(7 + -5). Suppose 2*u = 3*g - 0*g + 24, 3*g + 18 = 4*u. Is (g/6)/(s/(-42)) prime?
False
Let o(n) = 2*n - 6. Let a be o(4). Suppose a*x - 90 = -3*c + 15, -c + x = -35. Is c a prime number?
False
Let a(y) = -517*y**3 - y**2 - y. Is a(-1) a composite number?
True
Suppose 0*u + 6 = 2*u. Let g be -3 + u + (-24)/(-2). Let x = g + 9. Is x a prime number?
False
Let n = 411 - 268. Is n composite?
True
Let a = -7 + 7. Suppose 4*p = 5*d - 445, a = -5*d + 5*p + 336 + 104. Suppose 0*x - 3*x + d = 0. Is x a composite number?
False
Suppose 0 = z - 5*c - 221, 2*c = -0*c - 4. Is z a composite number?
False
Is (-1 - -10)/3 - -1114 prime?
True
Let a(j) = j**3 + 4*j**2 - j - 4. Let g = 7 - 11. Let o be a(g). Suppose 2*h - 16 - 28 = o. Is h prime?
False
Suppose 5*v - 21 = y, 0*y - 4*v = y - 24. Suppose -16 - y = -2*b. Is b prime?
False
Suppose -5*s = y - 15, -s = -4*y + 4*s + 10. Let o = 173 - 99. Suppose -y = -m + o. Is m prime?
True
Let o = 278 - 87. Is o a composite number?
False
Suppose -330 - 508 = -2*i. Is i composite?
False
Let u = 10 + -11. Let t(p) = -30*p**3 + 0 - 2*p - 4*p**3 - 1. Is t(u) a prime number?
False
Let t = 227 + 152. Let x = -86 + t. Is x composite?
False
Suppose 0*q + q = 0. Is (3 - -145)/4 + q a composite number?
False
Let o(r) = r**3 - 8*r**2 + r - 6. Let u be o(8). Suppose -5*n - t + 8 = -u*t, -2*t + 8 = 2*n. Suppose 17 = p + j, -10 = -p + n*j - 2. Is p prime?
False
Let l = 1750 + -944. Suppose -233 = 3*n - l. Is n a prime number?
True
Let k(m) = 0*m**3 - 2*m + 4*m**3 + 1 + m**2 + 0*m. Let v = 5 + -3. Is k(v) prime?
False
Let f(w) = 8*w + 3*w - 4*w**3 - 1 - 9*w + 2*w**2. Let d(s) = s**3 - 5*s**2 + 5*s - 6. Let m be d(4). Is f(m) composite?
True
Suppose -39 = -2*m + 383. Is m prime?
True
Is (-1)/((-225)/111 - -2) a composite number?
False
Let w be 1*(-2 - -3) + 85. Suppose i + i - w = 0. Is i prime?
True
Let n = 513 - -29. Is n a composite number?
True
Suppose 4*g + 2*b - 434 = 0, 4*g + 3*b = 146 + 287. Let m = 1 + 1. Is g/3 + m/3 a prime number?
True
Suppose h + 4*h - 15 = 0, -5*c - 4*h = -57. Suppose -4*t = -8*t + 3*q + 5, 0 = -2*t - 5*q + c. Is (t + -1)*3*3 composite?
True
Let v(n) = 357*n - 5. Is v(4) prime?
True
Suppose -u = -3*b + 176, 4*u - 3*b - 34 = -729. Let a be (-1)/(2 + -3)*u. Let d = 270 + a. Is d a composite number?
False
Let u(p) = p - 200. Let i be u(0). Let b = -91 - i. Is b a composite number?
False
Suppose -k + 2*v = -1313, 3716 + 2879 = 5*k + 5*v. Is k composite?
True
Let g(u) be the second derivative of u**4/12 + u**3/2 - 3*u**2/2 + 5*u. Is g(2) prime?
True
Let k(j) = j**3 + 8*j**2 - 11*j + 1. Suppose 4*r = -4*n + 8, 2 + 0 = r + 2*n. Let y be (1/r)/(3/(-54)). Is k(y) composite?
False
Let o = -1 - -12. Is o a prime number?
True
Suppose -325 = h - 6*h. Is h a prime number?
False
Let c be 0/2*(-4)/8. Let b(m) = -m**3 + 79. Is b(c) composite?
False
Let k(w) = 1. Let n(i) = 3*i + 7. Let q(o) = 5*k(o) - n(o). Let a be q(-2). Suppose 5*l - 62 = -4*c, 0*l - a = -2*l. Is c composite?
False
Suppose -4*a + 13 = 2*x + 1, -a + 5*x = 8. Suppose 0 = -a*m + 26 + 44. Is m composite?
True
Let g(h) = -277*h - 19. Is g(-5) prime?
False
Suppose 3 = -3*l - 2*a + 2, -2*a = 5*l - 5. Is 168 + -2 - (l + 0) a prime number?
True
Suppose 3*l - 12 = -3*d, 5*d - l - 8 = -0*d. Suppose -5*r + 0*o = -d*o - 351, r + o - 66 = 0. Is r composite?
True
Suppose 0*f - 194 = -f. Suppose -f = -5*l - 9. Is l a prime number?
True
Let b(x) = x**3 - 3*x**2. Let s be b(3). Suppose 2*g - 4*u - 16 = 0, 3*g + s = 4*u + 20. Suppose 0 = g*m - 38 - 110. Is m composite?
False
Let n(l) = 285*l**3 + l - 1. Let t be n(1). Suppose 5*z = -0*z + t. Is z a 