0 = -0*p - g*p + 3*t + 390, -p - 4*t = -120. Suppose -p = -3*k + 163. Is k a composite number?
False
Let b(f) be the first derivative of f**3/3 + 5*f**2 - 9*f + 4. Let i be b(-11). Suppose 590 = 5*x - 5*v, x = i*x + 4*v - 93. Is x a prime number?
True
Let r(g) = 3*g**2 + 25*g - 35. Is r(-11) composite?
False
Suppose -2*g - 5*m = 6208, 0*g = -g + 2*m - 3086. Let b = g + 4751. Is b a composite number?
False
Suppose -4*m + 95819 = -5*t, 6*m + 47896 = 8*m + 2*t. Is m a prime number?
False
Let m(q) = -3*q + 6. Let d be m(-3). Is (-1)/(-3) - (-5785)/d prime?
False
Let q(c) = 134*c**3 - 5. Let y(z) = 133*z**3 - 4. Let n(m) = 5*q(m) - 6*y(m). Let o(l) = -2*l**2 + 1. Let d be o(-1). Is n(d) composite?
False
Let p(a) = 4870*a + 477. Is p(4) prime?
False
Suppose 2*h + 24 = -4*n, -h + 5*n = -4*h - 31. Let s be (4/3)/(h/3). Is (1 + (s - 0))*-541 prime?
True
Let d = 11 + -8. Suppose d*k + 319 + 110 = 5*j, -5*k - 164 = -2*j. Suppose -l = 2*x - 8 - 13, j = 4*l + 5*x. Is l composite?
False
Let b = 43780 + -28709. Is b a prime number?
False
Suppose 0 = -a + 4*m + 222, 2*a + m = -3*m + 504. Suppose 2*s = 354 + a. Is s prime?
False
Suppose b + 3*b = 8. Suppose -7*w + 175 = -b*w. Is ((-12)/15)/((-2)/w) a composite number?
True
Let b be ((-40)/(-6))/((-6)/27). Suppose 5*u - 2*p + 64 = 0, 6*u - 2*p = 3*u - 40. Is ((-52)/u)/((-2)/b) a composite number?
True
Let d = -4 + 2. Let k = 4 + d. Let z(o) = 9*o**3 - o**2 - 3*o + 3. Is z(k) prime?
False
Suppose -7*n + 3*n = 0. Suppose -4*t + 2*f + 1986 = -n*f, 3*t - 3*f = 1488. Is t composite?
True
Suppose 0 = 61*h + 14*h - 4124325. Is h composite?
True
Let g(k) = 117*k**3 + k**2. Let y be g(2). Let u = 1490 - y. Suppose s + 3*b + 121 = 2*s, -4*b - u = -5*s. Is s a prime number?
False
Let w(n) = -4*n - 8. Let y be w(-3). Suppose -4*u = 3*m + 6237 - 17981, u + y*m = 2949. Is u a prime number?
False
Let n = -5 + 12. Suppose 5*x = 13 + n. Suppose -4*y + x*i = -580, 3*y - 147 = -i + 288. Is y a prime number?
False
Let d be 8/(-1)*86/(-8). Suppose d - 396 = -2*c. Suppose 0 = i + 4*i - c. Is i a prime number?
True
Suppose b - 3*b + 694 = 0. Suppose -5*q + b = -158. Suppose x = -14 + q. Is x prime?
False
Is (28/8)/((-1051)/526 - -2) a composite number?
True
Let w(m) = -29*m - 34. Let g(x) = -30*x - 35. Let k(o) = -5*g(o) + 6*w(o). Is k(-20) a composite number?
True
Suppose -17 = -5*i + 28. Suppose p = -12 + i. Is ((-2)/4)/(p/1806) a composite number?
True
Suppose 16880 = 4*i - 4*x - 19920, 3*i + 3*x = 27582. Is i a composite number?
True
Suppose -40*u - 46899 + 1093739 = 0. Is u prime?
True
Is 853860/12 + 5 + 1 a prime number?
True
Let i = -26 - -43. Let x = i + -14. Suppose -x*q + 2524 = q. Is q prime?
True
Let v(y) = y**3 + 13*y**2 - 15*y - 7. Let x be v(-14). Suppose -k - x = -4*t, k + t + 2 = -0*t. Let s(p) = 15*p**2 - 5*p - 5. Is s(k) prime?
False
Suppose 0*t = -2*t + z - 291, 3*t + 2*z + 440 = 0. Let b = 241 + t. Is b a composite number?
True
Let h be (-1 + -1)*(9/(-6) + 2). Let i(w) = 1074*w**2 - w - 2. Is i(h) a composite number?
True
Is 22/(-77) - (-163482)/14 a composite number?
False
Suppose 5*i - 5*q = 1275, -263 = -2*i + i - 3*q. Is i composite?
False
Let a be 5 - -12153 - (2 - 2). Suppose 8*b = 11802 + a. Is b composite?
True
Let u(z) be the third derivative of -5*z**4/12 + z**3/6 - 28*z**2. Is u(-11) a composite number?
True
Is (-11329526)/(-208) + 2/16 a prime number?
True
Let i(a) = a**3 - 4*a**2 + 3. Let v be i(4). Suppose -v*t + t + 186 = 0. Is t a prime number?
False
Let v(j) = -23*j - 12. Let m(z) = 69*z + 36. Suppose 5*q - 6 - 9 = 0. Let n(w) = q*m(w) + 8*v(w). Is n(5) a prime number?
True
Let p be 0/(-1) + 2/8*0. Suppose -7*h - 153 + 5998 = p. Is h a prime number?
False
Let y be (-2 - 0) + (8 - 0). Let h(n) = n**2 - 4*n + 8. Let b be h(y). Suppose -c + b + 3 = 0. Is c prime?
True
Let k be 4/14 - 165856/(-56). Let s = k - 1485. Is s prime?
False
Is (9 - 4)*-1 - 4232/(-2) prime?
True
Let t = 4 - -2. Let y(q) = q**3 - 5*q**2 - 5*q - 4. Let l be y(t). Is l/(-10) + (-592)/(-10) composite?
False
Suppose -3*a - 3*y = -60, 3*a + 2*a + y = 80. Let k(n) = -n**3 + 16*n**2 - 10*n + 12. Is k(a) a prime number?
False
Suppose a + 4*a - b = 32, -4*b = 5*a - 47. Suppose -4*n = -a*n + 57. Is n a composite number?
False
Suppose -62*m = -63*m + 57203. Is m composite?
False
Suppose 12 = 5*p - 13. Let x(i) = i**2 - 6*i - 7. Let t be x(7). Suppose t = -3*m + p*m - 1282. Is m a composite number?
False
Let l(h) = 2*h - 8. Let i be l(6). Suppose -4 = f - 2, -3*c - i*f = 11. Is ((-1)/(-3))/(c/(-4965)) composite?
True
Suppose -4*f - o - 2*o - 3 = 0, -o = 5*f + 1. Let m = -138 - -202. Suppose f = -u + 243 + m. Is u prime?
True
Let b(c) = 2*c - 31. Let h be b(18). Is 66/110 - (-1262)/h composite?
True
Let c(h) = -h**2 - 9*h - 10. Let p be ((-5)/(-2) + 1)*-2. Let t be c(p). Suppose -5*y + 15 = 0, d + 4*y - 357 = -t*d. Is d prime?
False
Suppose -2*s = -3*t - 18516 + 140009, 0 = -2*t - 5*s + 81027. Is t prime?
False
Is 19/(-1)*(-7)/((-7)/(-101)) composite?
True
Let y be (-4)/(-6) + 98/42. Suppose -3*w + 101 = -y*r - 112, 284 = 4*w + r. Suppose 4*a - 284 = 3*v, -a + w = -0*v - 3*v. Is a composite?
False
Let t = 11623 + 131514. Is t a composite number?
False
Let q(u) = u**2 - 31*u + 8. Let p be q(18). Let l = -123 - p. Is l composite?
False
Let i(q) = -q**3 + q**2 - 3*q + 11. Let v = -26 + 32. Let g be i(v). Let z = g - -364. Is z a composite number?
True
Suppose -4*j - 20 = 0, 5*c = c + 5*j + 529. Let s = -200 + 237. Suppose -s = z - c. Is z a composite number?
False
Suppose -63 = 3*x - 15. Let b be (x/(-10))/(4/440). Let k = 265 - b. Is k prime?
True
Let w(d) be the second derivative of -5*d + 41/12*d**4 + 0 + 0*d**3 - 1/2*d**2. Is w(2) a prime number?
True
Let t(q) = 71*q**2 + 113*q + 1. Is t(7) a composite number?
False
Let g be (4 - (-3)/(-1))/((-2)/(-24)). Suppose 3*j - g*j = -4635. Is j composite?
True
Let g = 14227 + -7758. Is g a composite number?
False
Suppose 0 = b + 3*l - 7625, 1 = -3*l - 5. Is b prime?
False
Suppose 294 = 4*k + 26. Suppose -5*r + 535 = -4*b, -217 - k = -3*r - 5*b. Suppose -3*q = -r - 299. Is q prime?
False
Let s = 39 - 36. Suppose 5*q - 556 = -s*g, -g - 2*g + 558 = 3*q. Is g prime?
False
Suppose -2*w = -2, 5*m + w + 3*w - 24 = 0. Suppose b - 618 = -2*b + m*j, -4*b - j + 805 = 0. Is b a composite number?
True
Let n be ((-56)/12)/(2/(-12)). Is 2*(-7)/(-2)*5028/n a prime number?
False
Suppose 10*g = 19*g - 79839. Is g a prime number?
False
Let b = 37 - 18. Suppose -5*n + 141 = -b. Let i = n - 17. Is i a prime number?
False
Let i(q) = q - 3. Let l be i(-7). Let g = 12 + l. Suppose 0 = b - 3, -4*s - g*b = -5*s + 68. Is s a composite number?
True
Is (-12)/8 + 889/2 composite?
False
Suppose 2*n - 22*a + 17*a - 2352 = 0, -2*a = 2*n - 2338. Is n prime?
True
Suppose 0 = -4*l - 3*i + 4478, l + 26*i - 22*i = 1113. Is l prime?
False
Let k(u) = -6*u - 6 - 22*u + 2. Let z be k(-7). Suppose 3*j - 4*q + 73 = 4*j, 0 = 4*j - 4*q - z. Is j a prime number?
True
Suppose -41 = -3*v + 4*r, 2*v - r + 5*r = -6. Suppose -4*u + 5 = -v. Suppose 0*y + 245 = u*z + y, 4*y = -4*z + 316. Is z a prime number?
True
Let i = -9 + 16. Let d = 9 - i. Is 1*(-4)/d + 55 a prime number?
True
Let x(m) = -4*m + 26. Let l be x(12). Let o be 46/(-4) - 11/l. Is 10/(-55) + (-13345)/o a prime number?
True
Let g(d) = d + 5. Suppose n = 2*n - 5*w + 20, 8 = 2*n + 2*w. Let x be g(n). Suppose x*l + 168 = 943. Is l composite?
True
Let q = -43 + 222. Let v = q - -308. Is v composite?
False
Suppose 69*k - 64*k - 3455 = 0. Is k a composite number?
False
Is (-5)/4 - (-4)/(224/1787534) a composite number?
True
Let p(m) = -m**2 - 8*m - 10. Let g be p(-4). Let i be 84/(-4 + g) - 4. Is 57/i - (-91)/2 composite?
False
Let x(s) be the first derivative of 15*s**4/4 - 2*s**3/3 - 5*s**2/2 - 5*s + 29. Is x(3) a prime number?
True
Let a(z) = 2484*z**2 + 4*z - 5. Is a(-3) a composite number?
True
Let y(o) = 4*o**3 - o**2 + o - 1. Let j be y(1). Suppose 0 = -3*u + 4 + 5, -j*u - 2244 = -3*h. Is h a composite number?
False
Let i = -16 + 143. Is i prime?
True
Suppose -4*z = -12*l + 13*l - 13656, 5*l = -20. Is z a prime number?
False
Let f be (2 - 2)/(9/(-3)). Suppose 6 = -3*s, f*y + 5*s - 3236 = y. Is (y/9)/((-8)/12) prime?
True
Let a(h) = 97*h**2 + 2*h + 25. Let t be a(8). Suppose -t -