-2*b - 12, -3*t - 6*b = -b - 32. Suppose -5*r = -t*r - 331. Is r a composite number?
False
Let i = 7430 + -2608. Is i composite?
True
Suppose 5*q = -5*n + 44590, -3*n + 35677 = 17*q - 13*q. Is q composite?
False
Let f = -55867 + 112128. Is f composite?
True
Let x = 158 + 1016. Let z = x + -717. Is z a prime number?
True
Let u be (1 - 0)*(2 - 1). Let b be (u + 2)*(-2)/(-3). Is (10 + -16)*(-17)/b a prime number?
False
Let i(t) = 6*t**3 - 5*t - 1. Let m(l) = -l**3 + l**2. Let p(r) = -7*r**3 + 5*r**2 + 1. Let a(c) = -6*m(c) + p(c). Let g(u) = 5*a(u) + i(u). Is g(7) prime?
True
Suppose 4*r - 5*r + 8010 = u, 0 = -3*u + 5*r + 24022. Is u a prime number?
True
Suppose -j - 5 = t, 0 = 3*j - 5*t + 9 + 22. Let d(b) = -111*b - 20. Is d(j) prime?
True
Let u be (-73683)/(-18) + 6/4. Let z = u - 2450. Suppose 8*n - z = 3*n. Is n composite?
True
Suppose -92*k + 106048 = -28*k. Is k a composite number?
False
Let c(w) = -77*w**2 - 2*w - 2. Let b be c(-1). Let j = 16 - 42. Let i = j - b. Is i composite?
True
Let t be (-12)/(-10)*(-10)/(-3). Suppose -39 = -t*u + u. Is u/(1*(-2)/(-22)) prime?
False
Let h = 82105 - 55716. Is h composite?
True
Suppose 3*p + 24 = i - 91, 3*i - p = 377. Is i prime?
True
Suppose -r = -3*r + 16. Suppose 3*a + 2 = r. Suppose 0 = 4*w - a*w - 110. Is w prime?
False
Let j = -2 + 2. Let v(b) = 28*b - 5 + j - 2. Is v(6) composite?
True
Suppose 75*h = 73*h + 7962. Suppose 3*w + 3*f = f + 2387, -5*w - 2*f + h = 0. Is w a composite number?
False
Let l(z) = 5*z**2 + 9*z - 4. Let y be l(-8). Let c = -113 + y. Is c prime?
True
Is (-29)/6*-238 - (-4)/6 a prime number?
True
Suppose 3*y - 40 = -5*r + 6*y, 0 = -5*r - 5*y. Let n(d) = 53*d - 6. Is n(r) composite?
True
Suppose 590 = 5*w + 230. Suppose -c - 5 = -w. Suppose -2*u = -u - c. Is u a composite number?
False
Let t(n) = 7*n**2. Let j be (-10)/(-20)*(0 + -2). Is t(j) a composite number?
False
Let r be (-75)/(-9) + 7/(-21). Is (-12)/r*(4 + 6040/(-12)) composite?
True
Let u = 1579 + -68. Suppose -4*l + 4*z + 1212 = 0, -l + 4*z + u = 4*l. Is l a composite number?
True
Suppose -u + 1676 = 2*n, -5*n - u + 5266 - 1073 = 0. Is n a composite number?
False
Suppose 2*k + 12 = 6*k. Let z be 1*(-1)/(1/(-5)). Suppose -z*m + k*m = -66. Is m prime?
False
Let o = 1463 - 762. Is o prime?
True
Let g(j) be the second derivative of 9*j**3/2 - j**2/2 - 9*j. Is g(2) composite?
False
Suppose 0 = -2*g - 3*o + 5714, -2*g + 2*o + 5714 = -0*g. Suppose -8972 - g = -3*s. Is s a prime number?
True
Let n = 16 - 13. Suppose -28 = -p + 3*o + 57, n*p - 241 = 2*o. Is p prime?
True
Let r = 21 + -16. Suppose -r*k + 4792 = -l, k - l - 962 = -2*l. Is k prime?
False
Suppose -2*b + 4*j = -34, -2*j - 51 = -3*b + 2*j. Suppose 0 = -b*h + 15*h + 246. Is h composite?
True
Suppose 2 = 4*a - 2. Is -4 + 252 + a + 5 + -3 prime?
True
Suppose 10*c - 20237 = 5*c + 2*t, -4*t + 16 = 0. Is c prime?
True
Let o(g) = 2*g**3 - 9*g**2 - 19*g + 1. Let d be o(13). Let f = -1545 + d. Is f a prime number?
False
Let b be (-28)/42*(-6)/4. Is (0/4 - -3)*(b - -768) a composite number?
True
Let j = -7 + 24. Suppose 3*l = -4*i + 31, -i + j = 2*i + l. Suppose w = 7 - i. Is w a composite number?
False
Let v be -5*4/20*-2. Suppose v*j - j = -296. Is (j/4)/((-4)/2) a prime number?
True
Suppose 5*l - l - 5348 = -4*v, 4019 = 3*l - v. Suppose g = 4*k - l, 431 - 93 = k + 3*g. Is k a prime number?
False
Let n(x) = -13*x**2 - 58*x - 11. Let y(t) = 9*t**2 + 39*t + 7. Let b(z) = -5*n(z) - 7*y(z). Is b(13) a prime number?
False
Suppose -5*r + 22691 = -13214. Suppose 6*l = 61 + r. Is l a composite number?
True
Let c(d) = d**3 - 7*d**2 + 20*d - 16. Let o be c(15). Suppose -33*w + 37*w = o. Is w prime?
True
Suppose -s = -l + 44 - 169, 3*l = 5*s - 617. Let g(t) = 9 - 10 + t + s*t**2 + t + 0. Is g(-2) prime?
True
Is (2 - (-7)/(-2))*(-62852)/57 a composite number?
True
Let t(v) = 18*v**2 - 15*v + 38. Let r(l) = -l**2 + 23*l + 59. Let z be r(25). Is t(z) a composite number?
False
Is (14 + -15)*(-1)/(-1) - -458 a prime number?
True
Let q be (-155)/2*1416/(-15). Is (-3)/2*(4 - q/6) a prime number?
True
Suppose -41*p + 32*p = -6597. Let k = 1688 - p. Is k a prime number?
False
Let n = 41 - 19. Suppose 4 = -6*u + n. Suppose -633 = -3*l + u*w, 0 = -l - w - 107 + 318. Is l a composite number?
False
Suppose 0 = 4*t - 3*n - 8, -3*t + 2*t + 3*n + 11 = 0. Let b = t - -54. Is b composite?
False
Let i = -18 - -19. Let o be 1 + (0 - 118)*i. Let t = -38 - o. Is t prime?
True
Let b(w) = -353*w - 17. Is b(-6) a prime number?
False
Let m(p) = 251*p + 254. Is m(31) composite?
True
Let o(z) = 4*z**2 + 12*z - 29. Suppose 2*p - c + 35 = 12, -5*c = 3*p + 54. Is o(p) prime?
True
Let d = -20 + 20. Suppose 2*r + 5*u - 2676 = d, -3*r - 2*r = -4*u - 6690. Is (-5*1)/((-6)/r) prime?
False
Let o(j) = j + 6. Let s be o(-6). Suppose 3*g = 5*f - 0*g - 15392, s = 2*f + 4*g - 6162. Is f prime?
True
Is (50118/(-9))/((-32)/(-24))*-2 a prime number?
True
Suppose 0 = -5*b - 3*r - 58, -3*r - 66 = 5*b - 2*r. Let i = 20 + b. Is i/3*211/2 composite?
False
Let i(n) = 6*n**2 + 3*n + 5. Let x(z) = z**3 - 6*z**2 - 6*z - 3. Let h be x(7). Is i(h) a prime number?
True
Let i(m) = 4*m**2 + 15. Let t be (0 + 14)*((-1)/(-2) + -1). Is i(t) a prime number?
True
Suppose 4*w - 2 = -2*x, -x + 3 - 2 = 3*w. Suppose -v + w*v = 5*a - 1284, 511 = 2*a + 3*v. Is a prime?
True
Suppose 0*b + 26*b - 658762 = 0. Is b a composite number?
True
Let q = -43 + 58. Is (-3 - 139)*q/(-10) - -1 composite?
True
Let i(t) = 80*t**3 + t**2 - t - 1. Suppose -b + 3*x = 4, -x - 3*x = -5*b + 35. Let j be (-12)/60 - b/(-5). Is i(j) prime?
True
Suppose 42*u - 48*u + 36 = 0. Suppose 3353 = -5*k + u*k. Is k a composite number?
True
Suppose 0 = -4*k + 2889 + 343. Let x = k + -195. Is x a prime number?
True
Suppose -3*t + 12 = -0*t. Let x = t + 34. Is x/3*12/8 prime?
True
Suppose 0 = 2*a + 2*w + 3*w + 26, 4*a + 52 = w. Let t = a - -18. Is 5703/t - 6/(-15) composite?
True
Let o(u) be the first derivative of u**4/4 - 7*u**3/3 + 3*u**2/2 - 7*u + 5. Let j be o(9). Suppose -398 = -4*z + j. Is z prime?
False
Suppose 13*v = 18*v + 15. Let p(a) = -a**3 + 3*a**2 - 6*a - 7. Is p(v) prime?
False
Let c be (0 - 3)/((-33)/36355). Suppose -c = -10*k + 1625. Is k composite?
True
Let l be 3 + (-50)/18 + 16/9. Suppose 3980 = 4*b - 2*f, 3*b + 3*f = -l*f + 2959. Is b composite?
True
Suppose 7*y = 11*y - 27908. Is y prime?
True
Let j(t) = -509*t**3 + 14*t**2 + t - 23. Is j(-6) prime?
True
Let t(g) = -4 - 3*g + 2*g**2 - g**2 - 2*g**2 - 4*g. Let i be t(-5). Suppose -3*u = 2*d - 487, i*u - 812 = u - 3*d. Is u a prime number?
True
Let r = 111 - 96. Suppose -r*p + 844 = -11*p. Is p a composite number?
False
Suppose 21 = 5*z - 2*w, z - 6 - 3 = 2*w. Suppose 0*c - 915 = -z*c. Is c composite?
True
Let v(a) = -5*a**2 - 3*a - 2. Let p be v(3). Let w be (-2 + p/(-20))*10. Is (316/w)/((-1)/(-2)) composite?
False
Let i be 10/5*(-3)/(-2). Suppose -i*j + 4*j + 53 = 0. Let y = j + 106. Is y composite?
False
Let b(w) = -w**3 + 3*w**2 - 2*w + 3. Let d(o) = o**3 - 4*o**2 - 5*o + 3. Let m be d(5). Let j be b(m). Is (j + 120 - 0) + 1 a prime number?
False
Suppose 32587 = 17*d - 3606. Is d prime?
True
Let m be (-2 + 4)/(3/6). Suppose -4*p - 1260 = -m*s, -3*p = 5*s - 961 - 630. Is s a prime number?
True
Let k(i) = i**3 + 2*i**2 + 2. Let r be k(-2). Suppose -4*d + 2*m = -5032, -d - m + 1265 = r*m. Is d composite?
False
Let a(o) be the first derivative of -o**3/3 + o**2/2 + 123*o - 13. Let t(u) = u**3 - 2*u**2 - 2*u - 3. Let g be t(3). Is a(g) prime?
False
Let w be 2/(-4) - (408126/12 - -6). Is 1/(-2) + w/(-6) a prime number?
True
Is (-70)/175 + 2/(10/12457) prime?
False
Let j = -4000 + 7709. Is j a composite number?
False
Suppose -8 = 4*d + 40. Is (4/d)/(5/(-13035)) composite?
True
Suppose 0 = -g + 3*g - 2192. Suppose g = 2*m - 2998. Is m a prime number?
False
Is (258933/9)/(51/153) composite?
False
Suppose -w = -4*w - 66. Let g = w + 26. Suppose 7*z = g*z + 345. Is z prime?
False
Suppose 40 + 1104 = 3*r + 4*x, -379 = -r + x. Let i = r + -33. Is i composite?
False
Let l be (-5)/((-2)/4*(-4)/(-6)). Suppose -7*w = -l*w + 296. Is w prime?
True
Suppose -20 = 4*n, 3*x + 0*x - 4*n = 14. Is x + (-2708 + -1)/(-3) a composite number?
True
Suppose 4*h - 679 = 337. Is h prime?
False
Let t = 30 + -25. Suppose -6*r + 3*r = 2*j + t,