3*n + b = 5*p. Is p a prime number?
True
Let u(f) = -4*f**3 + 7*f**2 + 2*f + 1. Let l be u(5). Let r = -169 - l. Is r a prime number?
False
Let x(h) = -h**3 + 6*h**2 - h - 4. Let d be x(4). Suppose -2*s - 18 = s - m, 4*s + d = -m. Let c(q) = -q - 2. Is c(s) composite?
True
Suppose -4*v + 2*t = -5922, 4*v - 3*t = 2*t + 5919. Is v a prime number?
True
Is (((-26684)/(-8))/(-7))/(1/(-2)) composite?
False
Let d(c) = 3*c**2 - 11*c - 3. Is d(10) a prime number?
False
Suppose v - 54 + 14 = 0. Suppose v = -z + 2*z. Suppose -5*f = -f - z. Is f a prime number?
False
Suppose -2*h - 5 = -9. Suppose -6 = -2*m, -5*m = h*d - 2*m - 107. Is d a prime number?
False
Let o(l) be the third derivative of 59*l**4/24 + l**3/2 - 5*l**2. Is o(4) composite?
False
Let o = 42 + -22. Let a = -10 + o. Is (2 - (a - 2))/(-1) a prime number?
False
Suppose 372 - 4252 = -8*h. Is h a prime number?
False
Suppose 5*g - 2 = 13. Suppose 5*y + 442 = 4*w, g*w + w + 2*y - 456 = 0. Is w prime?
True
Let f be 115 + 1 + (-1 - 0). Suppose -n + 3*g = 87, 5*n - 4*g = 2*n - 246. Let h = n + f. Is h prime?
True
Let c(m) = -m + 9. Let f be c(4). Suppose f*q + 208 = 543. Suppose 2*y = q + 27. Is y a prime number?
True
Let f be (-30)/(-1)*(-12)/(-30). Let t be (f/5)/((-6)/30). Let d = t - -22. Is d composite?
True
Let p = 1 + 7. Suppose p = 2*y + 4. Suppose 2*t = -h + 65, 5*t - y*h - 200 = 3*h. Is t a prime number?
False
Let n(i) = i**3 - 9*i**2 - 6*i - 9. Is n(10) composite?
False
Suppose 5*v = 5*c, 4*v - 4 = -5*c + 5*v. Let m = c + 122. Is m prime?
False
Let j(c) = c + 3. Let q be j(-4). Let g = q + 3. Let h = g + 77. Is h a composite number?
False
Let v(c) be the second derivative of -c**3/6 - c**2 + 3*c. Let q be v(9). Is q/(((-6)/2)/3) a prime number?
True
Let l be ((-408)/(-12))/((-4)/(-10)). Let f = l + -47. Is f a composite number?
True
Let a(y) = 264*y**2 - 2*y + 1. Is a(1) a prime number?
True
Suppose 235 = 4*n - 5*h, -5*n + h = -0*h - 278. Is n a prime number?
False
Let r(g) = 10*g**2 + 10*g + 37. Is r(15) composite?
False
Let v be 0 - 2*1/(-2). Let r(c) = -1 - c - c**2 + 4*c + 47*c**3 - c. Is r(v) composite?
False
Let z = 7 + -61. Let v = 4 - 2. Is v/(-4) + z/(-4) composite?
False
Let w(a) = -a**2 - 12*a + 2. Suppose 51 = -5*k + 1. Is w(k) a composite number?
True
Let b(o) = 2*o + 6. Let h(s) = -2*s - 5. Let d(l) = 2*b(l) + 3*h(l). Is d(-3) composite?
False
Is (-53)/(10/(-110) + 0/(-2)) prime?
False
Let d be (-5)/(35/(-282)) + 8/(-28). Let p(j) = -j**2 + 6*j - 2. Let l be p(5). Suppose -l*b + d = -17. Is b a prime number?
True
Let u = -10 - -25. Let m be (-70)/u*(-3)/1. Is 494/m - (-2)/(-7) a composite number?
True
Let k be -43 + (-1)/((-1)/(-1)). Let g = k + 121. Suppose 3*t = p + 344, 4*p + 34 = t - g. Is t composite?
True
Let l = 7 - 8. Is (l + -13)*(-20)/8 composite?
True
Is (1/2)/((-4)/(-39736)) composite?
False
Let d be (-1 - 2)*(-32)/24. Suppose d*g = -5*r + 363, 2*g + 102 = 3*g + 5*r. Suppose -g + 13 = -p. Is p prime?
False
Suppose -2*d + 49 = -35. Suppose -2*n + x - 40 = 0, 3*n - x + d = -4*x. Let a = 55 + n. Is a composite?
False
Let h be 1*(-2)/2 - -6. Let g be (2 - 3)/(3/(-6)). Suppose -h*q + 100 = 5*c, -5*c - 52 = -q - g*q. Is q a prime number?
True
Let t be -6*2 + 1 + 1. Is (-2)/10 - 772/t composite?
True
Suppose m + c - 68 = 0, -7*m + 2*c = -3*m - 284. Suppose -m = -4*q + 62. Suppose 0 = -4*s + 43 + q. Is s composite?
False
Is (-25366)/(-6) + 4*(-4)/24 a composite number?
True
Let q = 108 - -5. Is q a composite number?
False
Suppose 5*d + 162 = 2417. Is d composite?
True
Let c(h) = -41*h - 49. Is c(-12) prime?
True
Suppose 0 = a - 111 - 49. Suppose -1275 = -5*w - a. Is w a composite number?
False
Let q be (0 - -1)/(2/8). Suppose 5 = -w + q. Is 136*1 - 3/w a composite number?
False
Suppose 2 = -4*t - 6. Let c(a) = -172*a + 3. Is c(t) a composite number?
False
Let r be 12/(-15)*50*6. Let h = 431 + r. Is h a prime number?
True
Is 1862 + (3/(-6) - (-5)/(-10)) a prime number?
True
Let r = 2005 + -74. Is r prime?
True
Let h(v) = 14*v**2 - 16*v - 13. Is h(-8) composite?
True
Let i(u) = -u**2 - 9. Let s(m) = 2. Let t(q) = -2*i(q) - 9*s(q). Let x be t(1). Suppose 3*n - 337 = -4*w + 4*n, -2*n = -x*w + 176. Is w prime?
True
Let j = 241 - 114. Is j prime?
True
Let b be 37/(-4) + (-1)/(-4). Is (42/b)/(-2)*57 a composite number?
True
Let k(c) = -c**2 - 8*c + 13. Let a be k(7). Is a*2/(-4)*1 composite?
True
Is 2178/2 + (-1 - 1) prime?
True
Suppose -3*m + 290 = 5*f, 5*m - 474 = -4*f + 5*f. Is m composite?
True
Suppose 7*l = 2*l + 1490. Is l a prime number?
False
Let k = -39 - -27. Is -14*3/k*6 composite?
True
Let z(l) = 9*l - 6 + 8*l - 3 + 17*l. Is z(10) a prime number?
True
Suppose q = -4, -3 - 7 = 3*m + 4*q. Suppose -70 = 2*j + m. Let x = j - -71. Is x a prime number?
False
Let y(g) = -9*g**3 - 9*g**2 - 11*g - 2. Is y(-5) composite?
False
Let o(d) = -4*d. Let i be o(1). Let q = -1 - i. Is q a composite number?
False
Is 1/(6/(-4)) + (-13223)/(-21) prime?
False
Let x(b) be the first derivative of b**5/20 - b**4/8 - 7*b**3/6 - b**2/2 + 2. Let c(z) be the second derivative of x(z). Is c(5) prime?
True
Suppose -4*m + 15 = -5. Suppose -5*w - 3*t = -600, 3*w - 2*w - 98 = -m*t. Is w composite?
True
Let s be 2 + (1 - 6/2). Suppose -n - 4*m = -237 + 4, s = -4*m + 16. Is n a prime number?
False
Let v be (7/(-2))/((-1)/2). Suppose 6*c - 4*c + z = 6, 5*z = -5*c + 15. Suppose -1 = -x, -c*m - 5*x - 47 = -v*m. Is m prime?
True
Let g(r) = r**2 - 2*r + 1. Let d be g(2). Let k be (1 + d)/(-5 + 6). Suppose 0 = k*w + w - 12. Is w a prime number?
False
Let m(b) be the second derivative of -11*b**3/6 + b**2 - 2*b. Let i be m(3). Let t = 68 + i. Is t composite?
False
Let w = 0 + 1. Let a be 28 + w + (-1 - -2). Suppose -a = -3*y + 207. Is y prime?
True
Let l = 4 - 2. Let b(d) = d**3 + 7*d**2 - 9*d - 4. Let x be b(-8). Suppose 2*g - 534 = -l*g - 5*v, -2*g + 270 = x*v. Is g a prime number?
True
Let s(m) = -2 + 5*m**2 - m - 8*m**3 + 7*m**3 + 2*m. Let c be s(5). Let d(f) = 27*f - 2. Is d(c) composite?
False
Suppose 0 = 5*b + 3 + 17. Let x(r) = -47*r + 3. Is x(b) prime?
True
Let w(z) = 34*z**2 + 6*z - 11. Let f be 18 + -17 + -1 + 4. Is w(f) a composite number?
False
Let p be 4/(-4*1) - 65. Let y = 115 + p. Is y composite?
True
Let n(s) = 3*s**2 - 9*s + 11. Is n(8) composite?
False
Suppose 2*f + 4*w = 2*w + 1424, 0 = -w - 1. Is f a composite number?
True
Let y = 907 + -648. Is y a prime number?
False
Let l be 8/4 + 0 + 2. Is (2/l)/((-5)/(-970)) composite?
False
Let m(l) = l**3 + 8*l**2 - 10*l - 4. Let v be m(-9). Let g = v + 1. Is (38/(-3))/(g/(-9)) prime?
True
Suppose 0 = 4*b - 5*b - 10. Is 3/(-6) + (-2015)/b prime?
False
Let n(r) = -r**2 - 8*r - 9. Let q be n(-6). Suppose 0 = -q*z + 55 + 104. Is z a prime number?
True
Let g be -2 - (-2 - -2)/(-1). Is (-3)/g*98/3 a composite number?
True
Suppose 4*t - 4 = 0, 3*t - 52 = -f + 40. Is f prime?
True
Is ((-6)/(-4))/(6*(-2)/(-16)) composite?
False
Suppose 2*g + 4*t = -g - 71, -4*g - 101 = -t. Let x = g - -44. Is x a composite number?
False
Let w(o) = -21*o - 13. Suppose 0 = 2*a - 4*t + 30, 0 = -3*t - t + 16. Is w(a) composite?
True
Suppose -32 = -5*c + 73. Let o(a) = -a + 8. Let f be o(6). Suppose -p - f*p = -c. Is p a prime number?
True
Let y = -20 - -55. Let w = y - -27. Is w prime?
False
Let m = -18 - -75. Suppose u - m = -0*u. Is u composite?
True
Suppose a + 4*l = 1369, -a + 3*l = -254 - 1101. Is a a prime number?
True
Let i be 15/(-75) - (-11)/5. Let r = 8 - 4. Suppose y = i*c - 36, -4*c + c + r*y = -49. Is c prime?
True
Let o(j) = 4*j**2 - 6*j - 7. Let m be o(8). Suppose m = 4*z - 1027. Is z composite?
False
Suppose 0 = -f + 5, -5*p - 6*f + f + 3645 = 0. Let v = p - -247. Is v a composite number?
False
Let s(b) = -b + 1. Let x be s(-5). Let k(z) = -z**3 + 7*z**2 - 6*z + 2. Let d be k(x). Suppose -d*y + 30 = -5*r - 17, 0 = 4*r + 20. Is y composite?
False
Suppose 3*p + 2*l = 160 + 5679, 2*l + 3876 = 2*p. Is p a prime number?
False
Is (-1)/((-1 + 0)/3) a prime number?
True
Suppose -44 = -2*u - 3*h + 65, 4*h - 216 = -4*u. Is u a prime number?
True
Let z(g) = 16*g**2 + 3*g - 3. Let s be z(4). Suppose 6*m + s = 11*m. Is m prime?
True
Let j(g) = -98*g. Let t be j(-1). Suppose -3*o = 2*p - t, -3*p - 2*o + 125 + 17 = 0. Is p prime?
False
Let j(f) = -f**3 - 5*f**2 + 3*f 