 = s*x. Is x a composite number?
True
Suppose -86 = -4*d + 62. Is d composite?
False
Suppose 4*p - 16 + 184 = 0. Is (-14)/p - (-2992)/6 a prime number?
True
Let j = -491 - -747. Suppose 5*o - 229 = j. Is o a composite number?
False
Suppose 3*r - 4 = -r, -3*r = -3*o + 15. Let d(v) = -v. Let f be d(o). Let c(y) = 3*y**2 + 8*y + 9. Is c(f) a prime number?
False
Let y(m) = 105*m - 25*m + 39*m. Is y(1) composite?
True
Let i = 8 + -4. Suppose h + 143 = k - 4*h, 3*h + 623 = i*k. Is k/5 + (-12)/20 composite?
False
Suppose -5*q = 15, -m - 3*q - 14 = 3. Let d(c) be the first derivative of -4*c**2 - 9*c - 4. Is d(m) prime?
False
Suppose 6 + 2 = 4*r. Suppose -3*b - r*h - 22 = -7*h, 3*h + 12 = 0. Let i = 33 + b. Is i prime?
True
Let y = -21 + 24. Is y*1*(-15223)/(-39) a prime number?
True
Let v(a) = 7*a**2 - 12. Let c be v(9). Let r = -376 + c. Suppose 2*i = x + 120, 3*i + r = 6*i - x. Is i composite?
False
Is 153/45 - 2/5 a prime number?
True
Let w(v) = 5*v**2 - 4*v + 4. Let x be (6/2)/(2/2). Is w(x) a prime number?
True
Let r(x) be the second derivative of 13*x**8/6720 - x**7/2520 - x**6/180 + x**5/40 + x**4/12 + x. Let h(s) be the third derivative of r(s). Is h(2) composite?
True
Let a be ((-2)/(-5))/((-5)/(-1050)). Let x be (-1)/(-3) + a/18. Suppose 2*k - k = -4*m + 58, -2*k + 74 = x*m. Is m a composite number?
True
Let m be (6/8)/(1/16). Let i be 0*(-2)/m*-3. Let q = 10 - i. Is q a composite number?
True
Suppose 3*z = -30 + 9. Let y(l) = -69*l - 7. Let u(q) = 35*q + 4. Let m(b) = z*u(b) - 4*y(b). Is m(1) composite?
False
Let w(a) = -8*a**2 + a - 6*a**2 + 30*a**2 - 13*a**2 - 13. Is w(-6) a prime number?
True
Suppose 3*f - 331 = 2*q, 0 = 4*f - 2*f + 2*q - 234. Is f a composite number?
False
Let i(b) = -164*b**2 + 3. Let l(c) = 82*c**2 - 1. Let k(z) = 2*i(z) + 5*l(z). Is k(1) a composite number?
False
Suppose -7*j = -3*j + 372. Is -1 - j - (11 - 10) a composite number?
True
Let t(l) be the third derivative of l**5/120 + 77*l**4/24 + 2*l**3/3 + l**2. Let m(v) be the first derivative of t(v). Is m(0) prime?
False
Suppose 29 = -3*o + 5*x, 2*o - 3*x = o - 15. Let y be 0 + 3/o - 2. Let g(l) = l**3 + 5*l**2 + 4*l + 1. Is g(y) a prime number?
True
Suppose 3*l = 4*j + 73, 2*l + 0*j + j - 34 = 0. Is l composite?
False
Suppose 12*r - 11805 = -4017. Is r composite?
True
Let x(w) = 44*w**2 + 4*w - 13. Is x(3) composite?
True
Let p(t) = -98*t - 3. Let q be p(-3). Is 4 + 2/(-1) + q a prime number?
True
Suppose 0 = -5*r + 3*j - 583, 0*j + 2*j = 5*r + 582. Let t = 61 - r. Is t prime?
False
Suppose 11 = 5*r + 1. Suppose -3*b = -9, r*u = 4*u - 2*b - 280. Is u composite?
True
Let l = 1292 - 739. Is l composite?
True
Suppose q - 2*q = z, 4*z + 3*q = 5. Suppose 0 = -4*f + y + 119, -130 = -z*f - 2*y + 7*y. Is f a prime number?
True
Suppose 0*q = q. Suppose q*t + 3 = t. Suppose d + t*d = 60. Is d a composite number?
True
Suppose -15 = 9*j - 14*j. Suppose -h + 6*h - 1010 = -5*p, -5*p = j*h - 604. Is h a prime number?
False
Let p = 645 - 460. Is p a prime number?
False
Suppose -251 = -16*c + 15*c. Is c a prime number?
True
Suppose -15 = -4*n + n. Suppose -v + n*r - 82 = -0*v, 0 = v + 5*r + 132. Let u = v - -156. Is u a prime number?
False
Let z = 240 - 508. Is (z/16)/(3/(-12)) composite?
False
Let t = 8 - -36. Suppose 235 = -3*u - t. Is (-14)/49 - u/7 a prime number?
True
Let m(h) = -h**2 - 21. Let b = 9 + -9. Let s be m(b). Is (-20)/(-2)*s/(-6) composite?
True
Suppose 161 = 3*z - x + 2*x, -267 = -5*z - x. Is z composite?
False
Let m = 3 - 4. Let r(w) = 1 - 6*w - 32*w - 58*w. Is r(m) prime?
True
Let l be -3*3/(-3)*1. Suppose l*a = q + 98, -3*a + 90 = -3*q - 0*q. Is a prime?
False
Suppose 5*a + 19 = 44. Suppose 0 = -4*c - 8, -2*c = a*t - c + 807. Let f = t - -414. Is f prime?
False
Suppose -g + 35 + 20 = 0. Is g composite?
True
Let g(s) = -265*s - 32. Is g(-7) prime?
True
Let t = 15 - 26. Let m = t - -28. Suppose -m - 33 = -5*d. Is d a prime number?
False
Suppose 0 = -2*s + 246 + 214. Suppose h = b + 48, -b - s = -5*h + 30. Is h a prime number?
True
Let s(c) = 94*c**2 + c - 30. Is s(-7) prime?
False
Is (-344)/(-3 + -1) - -3 a prime number?
True
Suppose 2*q + 5*i = 4*q - 28, 2*i = q - 15. Is q a prime number?
True
Let z(a) = a**3 - 8*a**2 - a + 10. Let l be z(8). Is 8 - (0 + (3 - l)) composite?
False
Let l(g) = 48*g - 29. Is l(7) prime?
True
Let x = 242 - 96. Suppose -x = -4*f + 18. Let r = -8 + f. Is r prime?
False
Suppose -4*f = o + 2, -2*f = f - o - 2. Let m be 1 - f/(-3) - -19. Let k = m - 13. Is k composite?
False
Let u(g) = -g**3 - 2*g**2 + 2*g + 1. Let f be u(-3). Suppose -j + 3*o = -16, -f*j + 3*j + 18 = -2*o. Is j a composite number?
True
Let f = -5 + 8. Suppose 0*q = 5*j + 4*q - 4783, f*q + 2859 = 3*j. Is j prime?
False
Suppose -3*n - 4 = -4*n. Suppose -4*t = 4*g - 7*g - 36, n*t = -5*g + 4. Suppose -2 + t = -2*c, -4*c = 4*x - 380. Is x composite?
False
Is (1884/(-18))/((-2)/3) a composite number?
False
Suppose 0 = -l + 2*v + 501, 0*l + 1500 = 3*l - 3*v. Is l a composite number?
False
Let g(b) = -31*b**3 - b**2 - 7*b - 7. Is g(-2) a prime number?
True
Let l = 6 - 6. Suppose l*o + 35 = 5*o. Suppose o*m = 2*m + 455. Is m composite?
True
Is ((-12)/8 + 1)*-334 a prime number?
True
Suppose -5*a + 2*b = -531, 3*b + 30 = -4*a + 441. Suppose 5*h + a = 2*c - 134, -4*c + 499 = -3*h. Is c a prime number?
True
Suppose 2*o - o = 0. Let u(x) = x + 66. Let z be u(o). Is ((-5)/(-10))/(1/z) composite?
True
Suppose 8 = 3*w - 1. Let o(q) = 16*q + 1. Is o(w) a prime number?
False
Let a(n) = -n**3 + 22*n**2 + 17*n + 19. Is a(17) prime?
True
Let k = -80 + 179. Suppose 3*v + 3*x = -0*v + k, 5*x = -5. Suppose i = -0*i, 0 = -j - 3*i + v. Is j a prime number?
False
Suppose 0 = -5*o + 25 - 0. Suppose 15 = 5*b + o. Is 10/15*33/b prime?
True
Suppose 2*b + 1 = -5*a + 3, -2*a = -4*b + 28. Let m(h) = 4*h + h**2 - b*h - h - 3. Is m(6) composite?
True
Let l be 2 - (15 + (-4 - -2)). Let q(s) = -4*s - 3 - 6 - 4. Is q(l) a prime number?
True
Let s(p) = -p**2 - 8*p - 7. Let r be s(-6). Suppose r*j - 1003 = -298. Is j prime?
False
Let f = -15 - -3. Let w = 1 - f. Is w a prime number?
True
Suppose 144 = -4*q - i, q = 2*q - 3*i + 36. Let n = q - -133. Is n a prime number?
True
Suppose -2*p = -61 + 23. Is p composite?
False
Suppose 5*y = 9*y - 844. Is y prime?
True
Suppose 61 = -2*n - q - 102, q = 3*n + 252. Let c = -157 - n. Is (c/1)/(-1) + -3 prime?
True
Let w(u) = -u**3 - 8*u**2 - 6*u + 10. Let h be w(-7). Suppose 33 = -h*d + 147. Is d composite?
True
Let k(y) = -2*y**3 + 4*y**2 - 3*y. Let l be k(2). Let q = l + -1. Is 125/1 + (q - -5) a composite number?
True
Suppose 0 = -4*h - 3*f + 19, 0 = 4*h - h - 4*f - 8. Let g be 6/15 - 36/(-10). Suppose u + g*j - 22 = 0, 3*u - h*j + 2 = j. Is u a prime number?
False
Let d(r) = 100*r**2 - 2*r + 9. Is d(10) prime?
False
Suppose 3*l = -0*d - d - 406, 1 = -d. Let t(j) = -8*j + 6. Let i be t(9). Let o = i - l. Is o composite?
True
Let n(c) = c**3 + 5*c**2 - 2*c - 5. Let g(b) = b + 1. Let s be g(-1). Suppose 4*q - 3*f = -13, 2*f + s*f = -2. Is n(q) composite?
False
Suppose -7*w + 5*n - 9 = -5*w, 3*n = 2*w + 3. Let g(m) = 40*m**2 + 3*m + 4. Is g(w) composite?
False
Let k(h) = 6*h**2 + 16*h - 23. Is k(-15) composite?
False
Let n(s) = -10*s**2 + 3. Let t be n(-5). Let q be 6/4*(-20)/15. Is t/(-2) + 3/q composite?
True
Suppose -4*i = -7*x + 4*x - 6761, 3379 = 2*i - 3*x. Suppose 2*h + 2*h - 1685 = w, 0 = -4*h - w + i. Is h a composite number?
True
Let j(c) be the third derivative of -c**7/2520 - c**6/720 + 11*c**5/40 - c**4/12 + 2*c**2. Let r(f) be the second derivative of j(f). Is r(0) a prime number?
False
Let k(n) = n**2 + 5*n - 5. Let j be k(-6). Let l(g) = 2*g + 1. Let d be l(-6). Is (d/(-4))/(j/20) a composite number?
True
Let g(d) = d**2 + 4*d + 10. Let v = -1 - -10. Is g(v) a composite number?
False
Let s be ((-6)/4)/(1/(-90)). Suppose 3*z + 41 = 2*i - 28, 3*z + s = 4*i. Is i composite?
True
Let f(v) = -v**3 + 18*v**2 - 22*v + 1. Is f(15) composite?
True
Suppose -4*k - 1 - 15 = 4*p, 4 = 2*p - 4*k. Is -3 + 1 - p - -23 composite?
False
Let s = 25 - 46. Is (s/14)/(1/(-82)) a composite number?
True
Let g(y) = -3*y**3 - y**2 + y + 1. Let v be g(-1). Let p be (1 - v)/(2/(-8)). Is 555/7 - p/14 composite?
False
Let s(n) = -n**3 - 5*n**2 + 2*n + 1. Let b be s(3). Is (8/(-10))