l**2 + 10*l - 7. Is w(8) prime?
True
Let j = 18 - 4. Suppose -2*o - j = -4*i, -2*o - 4*i - 3 = -5. Is -4*(189/12)/o prime?
False
Suppose 138 + 28 = 2*z. Is z a composite number?
False
Let h be ((-10)/6)/(7/(-1491)). Suppose 3*t - 2*o + 0*o = 213, -5*t = -4*o - h. Suppose 0*c + c - t = 0. Is c composite?
False
Let l be (-6)/9*(-6 + 3). Suppose -l*u = 3*u - 230. Is u a prime number?
False
Suppose 125 = g + b, -g + 0*g + 155 = -5*b. Suppose 2*k - 4*h - g = 0, 50 = k - 3*h - 20. Is k a composite number?
True
Let f be ((-20)/(-3))/((-2)/15). Let j = 133 + f. Is j a composite number?
False
Suppose 0 = -5*m - 4*j + 55, 0*j + 29 = 2*m + 3*j. Suppose -m*s = -2*s - 3175. Is s a composite number?
True
Suppose -a + 5*r + 562 = -0*a, 2*r + 1673 = 3*a. Is a a prime number?
True
Let n = 3 - 0. Suppose -b = 2*j - 75, 12 = n*j - 0. Is b composite?
False
Let d = 87 + -401. Let t be (-3)/(-3)*d*2. Is (1 + 0)/((-4)/t) a composite number?
False
Let w(m) be the third derivative of -m**6/120 - 3*m**5/20 - 7*m**4/24 - 4*m**3/3 - 4*m**2. Is w(-9) composite?
True
Let s be ((-4)/2 + 0)*-1. Suppose 5*g = -s*j + 925, -469 = -5*g - 4*j + 456. Is g prime?
False
Let y = 0 - -5. Let i be 2/y + (-1234)/10. Let b = i - -356. Is b prime?
True
Let n = -494 + 1611. Is n prime?
True
Suppose 0 = 3*r - 12, -l + 3*l - 1414 = -4*r. Is l a prime number?
False
Let r(k) = -3*k**2 + 6*k - 5. Let b(m) = 7*m**2 - 12*m + 11. Let n(o) = 2*b(o) + 5*r(o). Let j be n(3). Is (-2 + 15/j)*74 composite?
False
Suppose -17968 = -4*o - 4*z, 0 = 5*o - 4*z + 7*z - 22450. Is o prime?
False
Let y = -67 + 95. Suppose -2*v + 0*a + a + y = 0, -2*v + 5*a + 28 = 0. Is v composite?
True
Suppose q = -3*v + 12, -v = -5*q - 0*v - 4. Suppose 3*h = 3*y + 189, q = h - 4*h + 5*y + 197. Is h a composite number?
False
Let g = -188 - -583. Is g a composite number?
True
Suppose 4*y + 15 = -0*a - 3*a, -a - 2*y - 7 = 0. Let i be 2 - (-307 + 2/a). Suppose -4*o - 107 = -i. Is o a prime number?
False
Suppose -3*u + 531 = 216. Suppose -g - 5 = 0, 0 = -5*o + 2*g - 4*g + u. Is o prime?
True
Let p(x) = -9*x**3 - 4*x - 1. Is p(-3) prime?
False
Suppose -m - m + 4 = 0. Let w be (-6)/(-12) + 9/m. Suppose w*s - s = 268. Is s a prime number?
True
Let v = 306 + -127. Is v a composite number?
False
Let k = 410 + 36. Is k prime?
False
Let m(b) = -8*b - 2. Is m(-3) a prime number?
False
Suppose 5*s - 5*c = 30, 4*c - 9 = -3*s + 2. Suppose 4*t - 146 = s*k, 0 = t - 3*t - 2*k + 82. Is t prime?
False
Let s be 10 + (-2 + -2)/(-2). Suppose 5*d = 2*q + s, 0 = -4*d + 3*q + 1 + 3. Suppose 0 = d*x + x - 185. Is x composite?
False
Suppose 7*a - 4*a - 9 = 0. Suppose -a*h = -8*h + 1165. Is h composite?
False
Let m(a) = 143*a + 19. Is m(12) a prime number?
False
Suppose 19*l - 37261 = 12*l. Is l a composite number?
False
Let o(u) = -12*u**3 - u**2 - 2*u + 1. Let p be o(-2). Suppose 3*f - p - 8 = 0. Is f composite?
True
Let p be -1 - 5/((-15)/9). Suppose 3*s = -p*s. Let g = 6 + s. Is g a composite number?
True
Suppose 5*d - 4 = d. Let s = d + 45. Is s prime?
False
Let g(h) = h - 1. Let n be g(-5). Let l = n + 39. Is l a prime number?
False
Let z(w) = -7*w**3 - w. Let n be z(-1). Let l be (-50)/(-8) + (-2)/n. Is -2*((-243)/l - -1) a composite number?
False
Let y = -10 + 7. Let f be (4 + -2 + y)*-2. Suppose -2*m - 15 = 2*x - 67, -f*m - 58 = -3*x. Is x a composite number?
True
Suppose -c - 4*c = 160. Let v = c + 13. Let x = v + 84. Is x a prime number?
False
Suppose 4*d + 4203 = 10327. Is d a prime number?
True
Suppose 0 = -4*u - 1274 - 934. Let n = 789 + u. Is n a composite number?
True
Let b(m) = -m + 631. Is b(0) a prime number?
True
Is (-720 + -14)*(-6)/4 prime?
False
Suppose -3*c + 14 = 2. Suppose 4*o - 1 + 21 = c*r, 4*o = 2*r - 16. Let d(s) = 38*s + 1. Is d(r) a composite number?
True
Is (1/(-2))/((-3)/1902) prime?
True
Let x(i) = 337*i + 13. Is x(4) composite?
False
Let k(l) = l**2 - 7*l + 7. Let o be k(6). Let b = 7 - o. Is b prime?
False
Suppose 4*o + 5*r = 45, r = -2*o - 4 + 19. Suppose -o*j + 554 = -336. Suppose 2*t - j = 3*u, -u = -0*t + 5*t - 445. Is t composite?
False
Suppose 0 = -6*m + 5*m - 130. Let z be m*((-16)/10)/(-4). Let l = 105 - z. Is l a composite number?
False
Let j = -873 - -1292. Is j composite?
False
Let t be 15/(-4) + (-2)/8. Let r = 139 - t. Is r prime?
False
Let s(i) = i**2 + 5*i + 1. Let y be s(-4). Let z(u) = -3*u - 10. Let n(d) = 5*d + 21. Let m(b) = y*n(b) - 7*z(b). Is m(6) a composite number?
False
Suppose -3*g = -626 + 77. Is g prime?
False
Let x(f) = -148*f**2 + 2*f - 2. Let m be x(2). Let b = 6 - 12. Is m/(-30) - (-4)/b a prime number?
True
Let l = -144 + 331. Is l composite?
True
Let k(s) = 9*s**2 - 20*s + 14. Is k(-16) composite?
True
Suppose p - w = 2*w + 251, p = -w + 255. Suppose -4*x + p = -2*x. Is x a prime number?
True
Let w = 0 - -2. Suppose 705 = 4*h + h - w*p, -153 = -h - 2*p. Let d = h - 78. Is d a prime number?
False
Let y be (-1 + (3 - 1))*145. Let m = -209 + y. Let i = 161 + m. Is i composite?
False
Suppose 0 = 4*v - v - 15. Suppose 5*x - 126 = -q + 57, 0 = 3*x + v*q - 101. Suppose 0 = -2*p + 73 + x. Is p a prime number?
False
Let l(r) be the first derivative of -17*r**4/4 - r**3/3 + r**2/2 + 1. Let o be l(2). Let b = o + 253. Is b composite?
True
Suppose p - 1 = -7. Let h be p*(8/6)/(-4). Suppose -2*w = h*w - 92. Is w a composite number?
False
Let w(z) = 6*z**2 + z - 1. Suppose 4*i - 17 = -5*o, -o + 24 = 3*o - 2*i. Suppose -2*a - 5*b - 5 + 13 = 0, o*a + 3*b + 18 = 0. Is w(a) a prime number?
False
Let d(h) be the first derivative of 121*h**3/6 - 3*h + 4. Let p(t) be the first derivative of d(t). Is p(1) a prime number?
False
Let n(a) be the third derivative of 0*a + 1/30*a**5 + 0 - 5/6*a**3 + 2*a**2 - 1/12*a**4. Is n(-6) a prime number?
True
Let d = 4 + -2. Suppose 0*l - 5*s + 32 = 3*l, 0 = -3*l - d*s + 47. Is l a prime number?
True
Suppose 2*q = q + 1657. Is q a composite number?
False
Let n(j) = -j**3 - j - 2 - 6*j + 2*j**3 + 7*j**2. Let u be n(-5). Suppose -o + 4*z = -4 - 3, -4*z = -5*o + u. Is o prime?
True
Let s(f) = f - 5*f + 1 + 5*f. Let w be s(1). Suppose 4*x = 4*l + 284, w*x = -0*x + 3*l + 139. Is x prime?
False
Let s = -1361 - -3088. Is s prime?
False
Suppose v + 12 = -5*t, -4*v + 5*v - 3*t - 12 = 0. Is (v + -2)/(-1) + 144 a prime number?
False
Let r be 1*-1*7*2. Let o be (-4)/14 + (-4)/r. Is o + 3/(6/14) prime?
True
Let a(q) = 3*q**2 + 2*q + 9. Let v(b) = -b**2 - 3*b + 6. Let l be v(-5). Is a(l) composite?
True
Suppose 2*u = -u + 9. Let t(f) = -f - 4. Let h be t(-4). Suppose -6*d + 5*d + u = h. Is d composite?
False
Let d(t) = t**2 - 5*t + 5. Let f be d(5). Suppose -f*o = -26 - 299. Is o prime?
False
Suppose 5*k - 1 - 13 = 4*g, 2*g = 2*k - 4. Suppose 0 = -2*p - p + k. Suppose p*y + 2*y = 2*m - 134, 0 = -m + y + 66. Is m a composite number?
True
Let n(y) = 28*y + 9. Is n(6) composite?
True
Let j be (354/9)/(6/9). Is (1/(-1))/((-1)/j) a prime number?
True
Let z(s) = -18*s - 1. Is z(-10) a prime number?
True
Suppose 4*y = 2*y + 16280. Let n be 2/(-5) + y/(-25). Let j = -177 - n. Is j prime?
True
Let r(b) = 28*b - 3. Let g(v) = -v**3 + 3*v**2 + 5*v. Let u be g(4). Is r(u) prime?
True
Let k(b) = -3*b**2 + 3 - 3 + b**3 + 3*b. Let j be k(2). Suppose -118 = -d + 3*m, j*m = 4*d + d - 629. Is d a prime number?
True
Let p(h) = 132*h**2 + 2*h - 1. Is p(1) prime?
False
Let x be -52 - -1*0/(-1). Let b = x - -146. Let r = 131 - b. Is r composite?
False
Suppose 0 = -5*u - 0*g + 4*g + 15, -5*u + 15 = 2*g. Suppose 0 = -w + 4*i + 5, -3*w + 44 = u*i + 14. Is ((-3)/w)/((-1)/159) composite?
False
Suppose 0 = -3*o + 77 + 58. Let c = 44 + o. Is c a prime number?
True
Let i(a) = 1. Let q(m) = 31*m - 10. Let p(h) = -4*i(h) - q(h). Suppose 3*f = -f - 20. Is p(f) composite?
True
Let v = 3 + 1. Is (-254)/4*v/(-2) a composite number?
False
Let w be 2/(-3)*(-60)/8. Suppose 6*g - 445 = w*g. Is g prime?
False
Let m = 279 + -553. Is m/(-3) - 3/9 prime?
False
Let f(k) = 38*k**2 + 11*k - 17. Is f(8) a prime number?
True
Let p(a) be the third derivative of a**4/2 + 5*a**3/6 + a**2. Let x = 1 - -6. Is p(x) a composite number?
False
Suppose -636 + 35 = -k. Suppose 5*w - k = 654. Is w prime?
True
Let f(m) = -38*m**3 - 3*m**2 + 4*m. Let z(l) = -38*l**3 - 2*l**2 + 3*l. Let s(o) = 2*f(o) - 3*z(o). Is s(1) a prime number?
True
Let j =