785 = -4*j + 398, 2*j + 1379 = 3*a. Is a a prime number?
True
Suppose -4 = g, 0*j - 3*g = -4*j + 12. Suppose -2*i - 4 + j = 0, -i - 6 = -m. Is (-1)/m - (-45)/4 a composite number?
False
Let w = 5 - 2. Suppose -g + 10 = 3*f, 36 = w*g - 3*f - 6. Is g a composite number?
False
Let r = 464 - 255. Is r prime?
False
Let g be (8/12)/((-4)/(-30)). Suppose -v + 0*v = -g. Let k(l) = l**3 - 4*l**2 - 2*l - 1. Is k(v) prime?
False
Let s = 164 + -252. Let j = s + 125. Is j prime?
True
Suppose 3*c - 1255 = -61. Is c a composite number?
True
Is ((-4)/(-6))/(((-24)/1602)/(-2)) prime?
True
Suppose 5 = 6*v - v. Is 1 + 28 + v - -1 a prime number?
True
Let z(x) = -190*x + 1. Let j be z(-2). Suppose -5*o = -2*o - j. Is o composite?
False
Let z(k) = 15*k**2 + 6*k + 30. Is z(-9) composite?
True
Suppose 87 = q - i, -4*q - i + 104 = -234. Let u = -18 + q. Is u composite?
False
Let z(i) = -5*i + 2. Let w be z(2). Let n be (-6 - w) + -1 + 2. Is 210/n - 2 - -1 a composite number?
True
Is -194*((-27)/6 + 4) a prime number?
True
Let g(n) = -n**2 + 2*n. Let y be g(3). Let o = 3 - y. Is (-3 + 492)*2/o composite?
False
Let o be (2/2)/((-4)/72). Let l = o - -27. Is ((-102)/l - 3)*-3 a composite number?
False
Suppose 4*q - 4*h + 0*h = 4, -4*q + 31 = 5*h. Suppose q*r + 4 = 56. Is r a prime number?
True
Is -1*(4 - -37)*-5 a prime number?
False
Let q = 13 - 10. Is -46*q/(-6)*1 composite?
False
Let j(a) = 20*a**2 - 8*a - 11. Is j(5) a prime number?
True
Is (-3)/(-9) + (-9440)/(-12) a prime number?
True
Let d be ((-3)/(-9))/(3/9). Let b be (-7)/(-3)*d*3. Suppose b = 3*h + 3*q - 14, 3*h - 27 = -q. Is h composite?
True
Let s = -513 + 764. Is s composite?
False
Is 84 - (-2 + -1)*1 composite?
True
Let p(y) = y**2 - 7*y + 5. Is p(16) composite?
False
Suppose 2*v - 12*v + 7530 = 0. Is v a prime number?
False
Let w(i) = 7*i - i**2 - 3 - 8*i - 8*i. Let o(h) = -h - 12. Let d be o(-6). Is w(d) a composite number?
True
Let m(f) be the first derivative of -f**4/4 + 8*f**3/3 - 2*f**2 + 7*f + 3. Is m(6) a prime number?
False
Suppose 4*j = -g + 20, -2*j + 5 = -g - 5. Suppose -n - j*q + 962 = 2*n, -3*n = -4*q - 953. Is n prime?
False
Is ((-79)/2)/(2/(-52)) prime?
False
Let l = 3 + -4. Let q(r) = 139*r**2. Is q(l) prime?
True
Let a(m) = -m**2 + m + 339. Is a(0) prime?
False
Let s = 2 - 2. Suppose s*g - 4*g = -140. Is g a prime number?
False
Suppose d = 2*p - 0*p - 16, 28 = 4*p - d. Suppose -p*a = -9*a + 795. Is a prime?
False
Let h(w) = -w**2 + 10*w**3 - 8*w**3 - 4*w + 0*w**2 + 5*w. Is h(2) composite?
True
Suppose 0 = 6*c - 2*c. Suppose c = 2*o - 0*o - 92. Is o a composite number?
True
Suppose 3*z - 8 + 22 = 4*p, 0 = -2*z - 4. Let w be (p/1*-1)/2. Is 14 + (w + 4 - 2) composite?
True
Let f = 2583 + -1786. Is f a composite number?
False
Suppose 4*r + 47 - 11 = 4*f, 4*r = -4*f + 68. Suppose -4*z = 3*d - f, 0 = 2*z + 2*z + 5*d - 3. Is z a composite number?
False
Suppose 5*f - 529 = 106. Is f a prime number?
True
Suppose 19 = g + 4*a, -3*a + 44 = -0*g + 5*g. Is g a composite number?
False
Suppose 33 = -3*j + s, 47 = -4*j - s - 4. Is 2*-3*14/j prime?
True
Let v(m) = 6*m**2 + 7*m - 5. Let x = 5 - 1. Is v(x) prime?
False
Let p(s) = -s - 9. Let c be p(-12). Is (1 + 0)/(c/669) a composite number?
False
Let k(u) = -68*u**3 + 2*u**2 + u. Is k(-1) composite?
True
Let q be (((0 - -1) + -1)/2)/2. Let n be 0 + (-1*3)/(-1). Suppose n*f - 60 = -q*f + 3*v, 5*v = -3*f + 52. Is f prime?
True
Suppose 5*t + 36 = 4*w, t + w = -0*t - 9. Is 1/(-4) - 1114/t a prime number?
True
Suppose -b + 4*s = -719, 0*s = -3*b - 4*s + 2109. Is b a composite number?
True
Let j = 75 + -31. Is (-2)/(-11) - (-8396)/j prime?
True
Suppose 0*g = 5*g - 435. Is g prime?
False
Let a(m) be the third derivative of 0 + 0*m + 0*m**3 - 2*m**2 + 1/8*m**4. Is a(5) a composite number?
True
Let p(j) = -j + 9. Suppose 14 = 4*s - 2*s. Let l be p(s). Is ((-1)/l)/(2/(-524)) prime?
True
Is 177 - 1/(-1) - (33 + -34) prime?
True
Let r = -109 + 782. Is r composite?
False
Let u(m) = -46*m - 1. Let g(l) = l. Let i(k) = -6*g(k) - u(k). Is i(4) a prime number?
False
Suppose 3*o - 2*g + 6*g = 333, 4*o - 444 = 2*g. Is o composite?
True
Let x = -3 + 7. Suppose 2*b + 0*b = x. Is 268 - 6/4*b a prime number?
False
Let i = -28 - -54. Is i prime?
False
Let j be ((-8)/(-10))/(2/(-5)). Let f be 3/j + 15/(-6). Let p(m) = -11*m + 5. Is p(f) a composite number?
True
Let v = -6 + 9. Suppose -v*i + 12 = -2*i. Is (i/(-18))/((-2)/201) prime?
True
Suppose -z = d - 7, 14 = -3*d - 2*z + 6*z. Suppose -x = 2*m + 4*x - 29, -d*m = 2*x - 14. Suppose 0*b - m*b = -158. Is b a prime number?
True
Let l(h) = 27*h - 28. Is l(9) composite?
True
Let z = -5 + 2. Let j(c) = -4*c**2 - 2*c - 3. Let b(s) = 2*s**2 + s + 1. Let l(q) = -5*b(q) - 3*j(q). Is l(z) a composite number?
False
Suppose 2*v = -3*v + 3205. Is v a composite number?
False
Let t(y) be the third derivative of -19*y**4/12 - y**3/2 + 3*y**2. Is t(-5) a composite number?
True
Let b(d) = -33*d**3 + 9*d**2 + 7*d + 1. Is b(-6) composite?
False
Let p(b) = -121*b**3 + b**2 - 1. Is p(-1) a prime number?
False
Suppose -7 - 11 = -3*h. Let n(b) = 2*b**3 - 9*b**2 + 4*b - 1. Is n(h) composite?
False
Suppose -12 = r + 2*r. Let b be 478/r - 6/(-12). Let p = 172 + b. Is p a composite number?
False
Is ((-26)/(-3))/((-4)/(-78)) a prime number?
False
Let y = -7 - -6. Let z(g) = g**2 + g - 20. Let v be z(0). Is v/y - 4/4 a prime number?
True
Suppose 0 = 5*h + 2*m - 669 - 508, -2*m - 8 = 0. Is h a composite number?
True
Let p(y) be the first derivative of 29/2*y**2 - 2 + 3*y. Is p(4) a prime number?
False
Let j(h) = 292*h**3 + 3*h**2 - h - 1. Is j(1) a composite number?
False
Let r(w) = w**2 + 2*w + 1. Let k be r(-3). Suppose -c + x + 2*x = -19, x = -k*c + 11. Suppose -6 = -3*i, -4*b - c*i + 34 = -i. Is b composite?
False
Suppose -5*j + 7937 = -5*z - 2353, 10255 = 5*j + 2*z. Is j composite?
False
Suppose -9 = -0*y - 3*y. Let z(b) = -5*b + 7 + y*b**2 + 2*b + 2*b. Is z(-5) prime?
False
Suppose 6*y + 19 = 7*y. Suppose -8 = j - y. Is j a prime number?
True
Let j be 3/12 + (-414)/(-8). Suppose 0*y + j = y. Suppose 0*i + 3*i + u - y = 0, i - 39 = 4*u. Is i a prime number?
True
Suppose -2*h - 2*k - 2 = -5*k, k + 4 = 0. Let y = h + 0. Let n = y + 20. Is n prime?
True
Let c(h) = -h**3 - h - 68. Let f be c(0). Suppose -3*v - 119 = -569. Let z = v + f. Is z a composite number?
True
Let l = -1 - 1. Let h be l - -1*8*1. Is 88/h - 2/(-6) composite?
True
Let m(c) = -c**2 - c + 10. Let f be m(0). Let z be 15/f*10/3. Suppose -z*x + 4*x = -21. Is x prime?
False
Suppose 356 = -5*f - 3*v, 5*f - 3*v + 368 = -2*v. Let r = f - -193. Suppose 2*t - 5*t = -3*i + r, 2*i - 90 = 4*t. Is i prime?
False
Let v be (0 - -1)/((-3)/(-6)). Let f(m) = m**3 - 2*m**2 - 1 - 3*m**2 + 6*m + 3*m**v. Is f(4) composite?
True
Let f(i) be the first derivative of i**4/4 - 7*i**3/3 - 3*i**2/2 + 6*i + 2. Suppose 0 = j - 8 - 0. Is f(j) composite?
True
Let w(b) = -8*b + 1. Let u be w(1). Let p = u + 30. Is p a composite number?
False
Let q = -7891 - -12512. Is q composite?
False
Suppose l = -2*b + 253, 3*b - 1320 = -5*l + 4*b. Is l prime?
True
Let f = 10 - 5. Let n(m) = m - 1. Let t(g) = -3*g + 4. Let u(o) = 2*n(o) - t(o). Is u(f) a composite number?
False
Suppose -11 = -3*f + 1. Let o = 0 + f. Suppose 0 = m + 2 - o. Is m a prime number?
True
Let v = -131 - -254. Let j = v + -68. Suppose b + 0*b - j = 0. Is b a prime number?
False
Let l = 6 + 5. Is l/(-4)*(0 - 4) a prime number?
True
Suppose 4*d = -n - 1 + 2, 4*n = 5*d + 25. Let y be n/3*3 - 0. Suppose 5*p + 240 = y*x, p = -4*x + 6*p + 191. Is x composite?
True
Let s(p) = p**3 + 12*p**2 + 2*p - 13. Is s(-6) a composite number?
False
Let z = 2066 + -142. Suppose -4*x - 3*b = -z, -359 = 4*x + 4*b - 2283. Is x prime?
False
Suppose g - 4 - 12 = 5*b, 2*b - 215 = -5*g. Let y = 71 - g. Suppose -2*x = -0*x - y. Is x a prime number?
False
Let y(z) = z + 1. Let t be y(6). Let d = t - 5. Suppose -n = 3, 5*n + 44 = d*i + 15. Is i a prime number?
True
Suppose 0 = -7*z - 202 + 573. Is z a composite number?
False
Is ((-21)/(-6))/(-7)*-514 composite?
False
Suppose -5*t + 64 - 14 = 0. Let w(q) = q**3 - 10*q**2 + q - 8. Let p be w(t). Is p/(-7) + 1314/42 a prime number?
True
Let o = -29 - -24. Let u(l) = -20*l + 9. Is u(o) a prime number?
True
Suppose -298 = -2*c + 72. Is c pri