
Let u(o) be the first derivative of -71*o**2/2 + 5*o + 4. Is u(-6) prime?
True
Suppose -2*a - 3*a = -4*d - 55, -a - d + 20 = 0. Is 1899/a - (-6)/15 a prime number?
True
Let u(b) = 4*b**2 - b - 2. Let j(q) = -q**2 + 4*q. Let h = 7 + -4. Let k be j(h). Is u(k) composite?
False
Let c = -474 + 1015. Is c a composite number?
False
Let s = -74 - -107. Is s composite?
True
Suppose -4*j + 0*j = 8, -w + 4*j + 459 = 0. Is w a prime number?
False
Let t = 2273 - 868. Is t a composite number?
True
Let v = -16 + 59. Is v prime?
True
Let k(c) = -166*c**3 + 2*c**2 + c. Let l be k(-1). Suppose -21 - l = -2*o. Is o a composite number?
True
Suppose 4*j - 661 = 3*j. Let o = j + -438. Is o a prime number?
True
Suppose -d + 2*d - 386 = 0. Suppose d = 2*i + 2*u, 4*u + 220 = i + 37. Is i composite?
False
Let t(m) = -m**3 + 5*m**2 - 5*m + 3. Let k be t(4). Let y(h) = 1 + 1 - 7*h - 3. Is y(k) prime?
False
Suppose 3*g = -5*k - 3, -3*g + 13 = -2*g - 3*k. Suppose 0 = -m - g + 14. Is (m/(-4))/((-3)/18) a composite number?
True
Let p = -5 + -1. Let b = p + 11. Suppose 34 - 504 = -b*d. Is d composite?
True
Let z = 9269 - 5482. Is z a prime number?
False
Let l(f) = f + 3. Let k be l(-7). Is (37/k)/(2/(-16)) composite?
True
Suppose -2*i + 18 = i. Let l(q) = q**3 - 5*q**2 - 5*q - 6. Let o be l(i). Suppose o = j - 0*j - 79. Is j a prime number?
True
Let l(w) = -4*w**3 - 2*w**2 - 7*w - 8. Let h(c) = -3*c**3 - c**2 - 7*c - 8. Let j(q) = -5*h(q) + 4*l(q). Let a be j(6). Is (-15)/10 + a/(-4) composite?
False
Suppose -3*s - 65 + 1151 = 0. Is s prime?
False
Let l = -6 + 6. Suppose -n + 2*n + 30 = -4*s, l = -3*s + 2*n - 28. Is (-6)/s*80/4 a prime number?
False
Suppose 0*o + o - 19 = 0. Is o a composite number?
False
Let x(z) = z**2 - 13*z - 11. Let b be x(14). Let m(i) = -13*i - i**3 + b*i**2 + 2*i**3 + 7*i**2 + 1. Is m(-10) a composite number?
False
Suppose -5*i + 4*s + 733 = 0, -2*i = 5*s - 149 - 131. Is i a prime number?
False
Suppose -354 = -t + 3*s, -4*t - 3*s + 953 + 388 = 0. Is t a prime number?
False
Let a be (-25 - -1) + 3 + -6. Let h = a + 42. Suppose -18 - h = -v. Is v prime?
False
Let x = 8 - 8. Suppose 0 = -x*l + 3*l - 381. Is l prime?
True
Let x be -9 + 2*(-1)/(-1). Let y be 6/21 + (-54)/x. Is (-789)/(-12) - 6/y composite?
True
Suppose c = 4*c - 3*o - 7194, 0 = 2*c - 5*o - 4805. Is c a composite number?
True
Let o be (2 - 4)/((-1)/1). Let k(j) = j**3 + j**2. Let t be k(1). Suppose 60 = 5*w - o*w - 3*c, -t*w + 4*c = -34. Is w prime?
True
Let a(y) be the second derivative of -y**3/6 - y**2 + 3*y. Let u be a(-5). Is -7*(u/(-1) + 2) prime?
True
Suppose 4*f - 1668 = -4*m, 4*f + 5*m - 1854 = -188. Is f a composite number?
False
Let n be ((-48)/14)/(-2)*7. Let b = 203 - n. Is b a prime number?
True
Let h(c) = -18*c**3 + 2*c + 7. Is h(-3) a composite number?
False
Suppose 0*l = -2*l + 670. Let r = l + -210. Let g = 214 - r. Is g a composite number?
False
Let y = 301 - -496. Is y a prime number?
True
Let i be 4/3*(-9)/(-6). Suppose 2 - 1 = i*q - 5*j, -4*q + 13 = j. Is ((-246)/(-1))/q - 3 a prime number?
True
Let v = -39 - -684. Is v/10 - 2/(-4) prime?
False
Let a be 2 + (2 - (3 + 1)). Suppose -5*b + 3*i + 412 = 0, 4*b + i - 32 - 301 = a. Is b a composite number?
False
Let y be 9/(-6)*16/(-6). Suppose -y*u - 960 = u. Let f = -65 - u. Is f a composite number?
False
Suppose 5*m - 3167 = s + s, -2*m + 4*s + 1254 = 0. Is m a prime number?
False
Let t(c) = -13*c - 3. Let g(k) = -13*k - 2. Let p(o) = -2*g(o) + 3*t(o). Let u = 8 + -12. Is p(u) composite?
False
Let r = 13 - 3. Is ((-17)/4)/(r/(-280)) a composite number?
True
Let x(l) = 28 + l**2 - 25 + 115 + 0*l**2. Is x(0) a composite number?
True
Let z = 1056 - 113. Is z composite?
True
Let d(h) = 13*h + 10. Let r(m) = 13*m + 11. Let y(x) = 5*d(x) - 4*r(x). Is y(11) composite?
False
Let a = 510 + -361. Is a a composite number?
False
Let v = -48 - -82. Suppose 45 = h - v. Is h composite?
False
Let c(b) = 2*b**3 - b**2 - b - 3. Let h be (-15)/6*(-12)/10. Suppose m - 2*m = -h. Is c(m) a prime number?
False
Let f(n) = n**2 - n + 1. Let l(z) = -7*z + 5*z**2 - 2 + 7 + 3*z**2. Let b(a) = -3*f(a) + l(a). Is b(2) a composite number?
True
Is 3*92/36*3 prime?
True
Let l(r) = 45*r - 13. Is l(4) composite?
False
Let n(w) = -2*w**3 - 5*w**2 + 11*w + 7. Is n(-7) prime?
False
Let h(w) = -3*w + 0*w + 3 + 0 + 0. Is h(-6) prime?
False
Is (0 - 1)/(25962/5193 - 5) a prime number?
False
Suppose -5*z - 5*a - 105 = 0, z - 14 = a - 41. Let n = z + 244. Let t = n - 129. Is t a prime number?
False
Suppose -m + 15 + 8 = 0. Is m prime?
True
Is (-9)/3 + 8 - -372 composite?
True
Let l be (-160)/(-1 + (3 - 3)). Let u = 365 - l. Is u a composite number?
True
Let z(g) be the third derivative of g**4/4 + g**2. Let d be z(-2). Let w = 2 - d. Is w prime?
False
Suppose -5*p + 10 = -3*p. Suppose -p*f = -2*h + 6*h - 383, 5*f - h = 398. Suppose 4*t - 197 = f. Is t composite?
True
Suppose -4*s = -3*q - 24, 4*q + 16 = -0*q. Suppose -d + 17 = 3*c, -25 + 9 = -s*d - 2*c. Is d prime?
True
Suppose -v = -3*v - 14. Suppose -15 = 5*f + i, 4*f - 5*i = -2*i - 31. Let u = f - v. Is u prime?
True
Let d(l) = -l**3 + 5*l**2 - 4*l + 4. Suppose 5*v + h + 0 = 24, -4*v = -4*h - 24. Suppose -3*n = 2*s - 7 - 0, -v*n - 5*s + 10 = 0. Is d(n) a composite number?
True
Let y(s) = 11*s**2 - s + 5. Is y(8) prime?
True
Let l = -225 + 343. Is l a prime number?
False
Let d be -1 + 2 - (8 + -7). Suppose d*v - v + 189 = h, 744 = 4*h + v. Is h a prime number?
False
Let i(j) = -30*j + 3. Let d(y) = -29*y + 3. Let b(f) = -5*d(f) + 6*i(f). Let s be b(-4). Let c = s + -94. Is c composite?
True
Let s(m) = m**3 - 3*m**2 + 5*m - 8. Is s(7) prime?
True
Let n = -602 - -973. Is n a prime number?
False
Let g(k) = 161*k - 3. Let p(o) = -160*o + 2. Let d(i) = -3*g(i) - 4*p(i). Is d(1) a prime number?
False
Suppose -u - 160 + 421 = 0. Suppose -3*j - 2*s - s = -u, -4*j + 4*s + 364 = 0. Is j a prime number?
True
Let x(s) = s**2 - 2*s + 4. Suppose 25 = -3*y + 4. Is x(y) a prime number?
True
Suppose 5*s - 131 = -2*t, -2*s - 271 = -5*t - 16. Is t a composite number?
False
Suppose -2*x + 19 = 3*n, -1 = 3*n - 2*x - 0*x. Is 347/4 + n/12 prime?
False
Suppose -3*v + 435 + 138 = 0. Is v a prime number?
True
Let x(u) = -4*u - 1. Let f be x(2). Let t be 1/(-3) - 102/f. Suppose t = b - 8. Is b prime?
True
Suppose 4*u - 12 - 8 = 0. Let o(x) = 52*x - 60*x + 2*x**2 + 4 - 2*x**2 + 5*x**2. Is o(u) prime?
True
Suppose 0*w - 4*w = -1088. Suppose 5*c - c - w = 0. Let b = c - 3. Is b composite?
True
Let f = 97 + 18. Is f composite?
True
Suppose -4*d = -31 - 5. Let g be 11/3 - 6/d. Is 2/g*30 + 1 a prime number?
False
Let i(w) = 42*w + 5. Is i(2) a prime number?
True
Suppose 0 = 5*t - 2*g - 6 - 12, -3*t = -g - 10. Suppose 3*f = -t*w - 3, 2*w - w + 3*f = -6. Suppose -m + 48 = -w. Is m composite?
True
Suppose -27*f - 636 = -31*f. Is f composite?
True
Let l(p) be the first derivative of p**3 - p**2 - p - 1. Let x be l(-1). Suppose -x*z + m + 195 = 0, z = 4*m + 76 - 31. Is z composite?
True
Is 9/(-6)*2 + 34 prime?
True
Suppose 0 = -3*d + 7*d - 2228. Is d a prime number?
True
Suppose 0 = -u + 4*u - 72. Suppose u = 4*p - 2*p - 2*m, -4*p + 3*m = -47. Is p a composite number?
False
Suppose 0 = 5*d + 4*w - 495, -4*d - 2*w + 396 = 2*w. Suppose -2*f + d = f. Is f prime?
False
Suppose -1 = 4*h + 19. Let r be (h/(-2))/((-3)/3042). Is r/(-21) - 6/(-21) prime?
False
Suppose -4*k + 164 = -4*r, -k + 2*r + 128 = 2*k. Suppose 5*n - k = 249. Is n prime?
True
Let s be 19/6 - 2/12. Suppose -9 = s*h - 0*h, -q = h - 118. Is q a composite number?
True
Let l(t) = 2*t**2 - 5*t + 4. Let g be l(3). Suppose 0 = 5*m - 27 + 2. Suppose -2*k + m = -g. Is k a prime number?
False
Let v = 1687 + -50. Is v a prime number?
True
Suppose 838 = -3*p + 2119. Is p prime?
False
Let b(o) = -7*o**2 + 7*o - 1. Let r(p) = 28*p**2 - 29*p + 5. Let z(w) = -9*b(w) - 2*r(w). Is z(5) a prime number?
True
Let k be -1 - (10 - (-4 + 7)). Is k/(-2) + (55 - -8) prime?
True
Suppose 28 = 4*h + 4*s, -s + 20 = 4*s. Suppose h*l + y = 2*l + 278, -2*l + 4*y = -580. Suppose 5*o - 159 - l = 2*u, -u = 2*o - 171. Is o a prime number?
False
Let c(r) = r**3 - 9*r**2 - 8*r - 1. Let d = 46 + -25. Let o = d + -11. Is c(o) prime?
True
Is (-3)/2*(-5)/15*974 a composite number?
False
Suppose g + 7*g - 72 = 0. Is g prime?
