number?
True
Let f(v) = -v**2 - 18*v + 3. Let x = 3 + -13. Is f(x) a prime number?
True
Let k be (-1 - 0)*(-1 + 1). Let v be -29 + (k - 1)*0. Is 2 + (4 - 2 - v) a prime number?
False
Suppose 10*t - 163 - 417 = 0. Is t prime?
False
Suppose -3*i = -3*f - 2*i + 1766, 2*i = -10. Is f a prime number?
True
Suppose 2*n - v = 35, n = 5*n - v - 67. Let a = -4 - n. Let s = a - -39. Is s composite?
False
Let m(o) = -63*o + 1. Let r(a) = -3*a**3 + a**2. Let x be 5/3 + 6/(-9). Let n be r(x). Is m(n) composite?
False
Let l(g) = -g**2 - 8*g - 1. Let c be l(-7). Let s = c + -2. Suppose -12 = j - s*j. Is j a composite number?
True
Let d(f) = 2*f + 18. Let z be d(-11). Is ((-2)/z)/((-3)/(-276)) a composite number?
True
Let g(a) = -a**2 - 5*a - 4. Let r be g(-3). Suppose -6*d + 2*d = -r*x + 20, -2*d + 10 = 0. Suppose -47 = -4*f - 6*c + 3*c, f - 2*c = x. Is f composite?
True
Is (-898)/2*(5 + -6) a prime number?
True
Let n(m) = -18*m - 3. Let r(v) = 18*v + 3. Let q(y) = -6*n(y) - 5*r(y). Let g(c) = -6*c - 1. Let z(u) = -8*g(u) - 3*q(u). Is z(-6) a composite number?
True
Let u(r) be the third derivative of -r**4/24 - r**3/6 + r**2. Let x be u(-1). Suppose x*v + 4 = v - 2*w, -4*v = -5*w - 19. Is v prime?
False
Let v(k) = 11*k**2 - 4*k + 4. Let r be (-102)/(-30) + (-2)/5. Is v(r) prime?
False
Suppose 0 = -2*v - 8 + 18. Suppose 5*f - 210 = -v*s, -5*s + 12 + 8 = 0. Is f prime?
False
Let y(m) be the third derivative of m**6/120 + 3*m**5/20 + m**4/4 + m**3/2 + 2*m**2. Is y(-7) a prime number?
True
Let r be 28/4 + 0 + 0. Let k = 12 - r. Let m(b) = -b**3 + 7*b**2 + 1. Is m(k) a prime number?
False
Suppose -4*u = -39 - 153. Let s = 91 - u. Is s prime?
True
Let k(q) = q**3 - 6*q**2 + 5*q + 2. Let p be k(5). Suppose -b = -4*b + p*h - 56, 5*h + 28 = -3*b. Is 4/b - (-122)/8 a prime number?
False
Suppose 4*z - 516 = -4*j, -3*z = -3*j + 178 - 577. Is z a prime number?
True
Let s(b) = 7*b - 1. Let p(w) = w. Let c(g) = 6*g + 1. Let q(j) = c(j) - 5*p(j). Let r(x) = -2*q(x) + s(x). Is r(2) a prime number?
True
Let c(z) = z - z**2 - 1 - 6*z + z. Let f be c(-3). Is -1*f/((-6)/159) prime?
True
Let o(p) = p + 2. Let v be o(0). Suppose v*r + 11 = r. Let k = 27 - r. Is k a prime number?
False
Suppose -4*f - z = -21, 5*f - z - 30 = -6*z. Let v(s) = f*s**2 - 2*s + 1 + 0 + s. Is v(2) prime?
True
Let i = -237 + 364. Is i prime?
True
Let w be (-2)/(-4) + 6/4. Suppose w*s - 2 = 4*s. Let l(o) = 60*o**2 + o. Is l(s) composite?
False
Let y(f) = f**2 + f. Let l(n) = n**3 - n**2 - 2*n + 5. Let d(g) = l(g) + 6*y(g). Let r be d(-4). Suppose -p + 57 = 2*t, r*p - 210 - 115 = -2*t. Is p composite?
False
Let a = -5 - -8. Let y = 128 + -31. Suppose 5*d + y = a*p + 483, 0 = -5*d + 4*p + 383. Is d a prime number?
True
Is ((-5686)/(-6))/(4/84*7) composite?
False
Let f = -1824 - -3193. Is f a prime number?
False
Let r = -8 + 11. Suppose r*v - 51 = -5*d, -d + 17 = 5*v - 4*v. Suppose -v + 70 = o. Is o composite?
False
Let g(z) = 3*z**2 - z - 1. Let s be g(-1). Suppose -14 = -2*t + 2*w, 3*t - 4*w = 4*t + s. Suppose r = -5*c + 110, -t*c + 125 = -0*c - 2*r. Is c composite?
False
Let m = -11 - -9. Let d(c) = -34*c**3 - 2*c**2 - 2*c - 3. Is d(m) prime?
False
Is 5767/9 - 4/(-18) prime?
True
Is (-8538 - 12/3)/(-2) a composite number?
False
Suppose 2*g + 2*o = -2*o + 618, -4*g = -2*o - 1216. Is g prime?
False
Let r(v) = 2*v**3 + 3*v**2 + 2*v + 1. Let y be r(4). Suppose -4*c = c - y. Is c a composite number?
False
Let h = -129 + 188. Is h a composite number?
False
Let b(s) = -s**3 - s**2 - 8*s - 5. Let o be b(-8). Suppose -116 - 128 = c. Let k = c + o. Is k prime?
True
Suppose 5*s + 259 = 6*s. Suppose -3*i + 2 = -s. Is i a composite number?
True
Let l be ((-6)/(-4))/(3/10). Suppose 5*n + 0 - l = 0. Is 24/4 + 0/n a prime number?
False
Suppose 4*w = 3*w + 7. Let a(o) = o**2 + 6*o. Is a(w) a prime number?
False
Suppose 0 = -2*n - 5*m - 60, m - 51 = 5*n + 153. Is (-970)/n + 3/4 a composite number?
True
Is (3 - 86/4)/((-1)/14) a prime number?
False
Suppose -3*v + 5 = -2*t + 2, 0 = -5*t + v + 12. Let n(q) = 8*q**2 + 2*q - 1. Is n(t) a composite number?
True
Is 3020/8 - 9/(-6) a prime number?
True
Let v(s) = -s**3 - 3*s**2 + 3*s - 4. Let y be v(-4). Suppose -i + y*i = -1, -59 = -w + 3*i. Suppose 3*j - 130 = -4*n, 0*j - w = -2*n - 3*j. Is n a prime number?
False
Let r = 186 - 106. Let o = 65 + r. Is o a composite number?
True
Let n(t) = t**3 - 3*t**2 + 4*t - 2. Let j be n(2). Let m(a) = a**3 - 2*a + 3. Let s be m(2). Suppose -3*l + j = -s. Is l a prime number?
True
Let j(m) = 2*m**2 - 5*m - 3. Let x be j(-6). Suppose -4*q - 3*h + 128 = h, -2*h = 3*q - x. Is q a prime number?
False
Let f be ((-1668)/(-1))/1 + -3. Suppose 2*i = -i + f. Is ((-4)/(-6))/(10/i) a composite number?
False
Suppose 3*y + 12 = 0, 4*y + 246 = 4*u - 942. Is u a composite number?
False
Suppose -4*m + 1 = 17, d + 5*m - 593 = 0. Is d prime?
True
Let p(x) = x - 1. Let c(u) = 11*u + 14. Let n(l) = c(l) + 6*p(l). Is n(5) composite?
True
Suppose o - 2*n + 6 = 0, 3*n - 4 = -n. Is (-20)/(-6)*(-102)/o prime?
False
Suppose -2*h = 50 - 148. Let n = 84 - h. Is n a composite number?
True
Suppose 4 = -4*b, 0 = -x - 0*b - 5*b + 92. Is x composite?
False
Suppose 9 = 3*d, -3*d + 4*d = -5*p + 2198. Is p a prime number?
True
Suppose 2*z - 7*z - 6 = -4*b, 5*z = b + 6. Suppose 0 = 2*m - a - 62, -z*m - 4*a - 23 = -105. Is m a prime number?
False
Let c(l) = l**3 - 2*l + 339. Is c(0) a prime number?
False
Suppose 3*x = k - 15, -5 - 1 = 2*x. Suppose k*m - 2*o - 50 = 2*m, 4*m = -3*o + 55. Is m prime?
True
Let a(d) = -1 + 7 - 2 + 10*d**2 + d. Is a(-5) a prime number?
False
Let d(z) = -z**2 - 9*z - 9. Suppose -f = -2*f - 7. Let h be d(f). Suppose -3*j - h*a = -114, -2*a = -j - 5*a + 42. Is j prime?
False
Let x = -16 + 62. Is x a prime number?
False
Suppose -s = -5*r - 4 - 11, -s = 5*r - 55. Is s a composite number?
True
Let l(r) = 3*r + 4. Let g be l(9). Suppose -g = -2*z + z. Is z a prime number?
True
Let u = 843 + -591. Suppose 4*b - 317 = 5*p, 0*b + 3*b - u = -p. Is b a composite number?
False
Let k be (-3)/12*-14*10. Let q(p) = -p**3 - 4*p**2 + p. Let j be q(-2). Is j/k - 1194/(-14) composite?
True
Is 0/5 + 132 + -5 a prime number?
True
Let m(l) = -l**3 + 7*l**2 + 9*l - 11. Let z be m(8). Let n = 5 + z. Let g(k) = 5*k**2 + 3*k - 1. Is g(n) composite?
True
Let y(a) be the second derivative of 2*a**4/3 - a**2/2 + a. Is y(-2) a composite number?
False
Let z(q) = -4 + 5*q - 2*q + q**2 + 2*q. Let s be z(-6). Suppose 3*o + 0*o = 2*r + 11, 4 = s*o + 2*r. Is o composite?
False
Is (3/(-6))/((-1)/956) prime?
False
Let l(z) = -z**2 - 7*z - 1. Let q be l(-6). Suppose -7*a + q*a + 1502 = 0. Is a a composite number?
False
Suppose 17 + 4 = 7*d. Suppose 4*a - 18 = -6. Suppose -q + a*b = -57, -q + 214 = d*q - 5*b. Is q a prime number?
False
Let c(z) = z**3 + z**2 - 9*z + 5. Suppose 5*t - 3 = -3*w + 5*w, -4*w - 2*t = -30. Is c(w) a prime number?
False
Let n be (-20)/30 - 2/(-3). Suppose -221 = -2*q + 3*a, n*q = q + 4*a - 105. Is q a prime number?
True
Let c(g) = -2*g - 10. Is c(-7) composite?
True
Suppose -5*k = -5*x - 1135, 0 = 5*x + k + 1290 - 131. Let i = 376 + x. Is i composite?
True
Let f(l) = 395*l - 11. Is f(4) composite?
True
Let z(o) be the third derivative of o**4/6 - o**3/6 + 2*o**2. Let v be z(-2). Is (-6)/2*102/v composite?
True
Let z be (-12)/10 + 4/20. Let u be 5/((-3)/3)*z. Suppose 4 = 3*r - u. Is r a composite number?
False
Let c = -7 - -11. Suppose k = -c*k. Suppose k = o + l - 82, 0*l + 5*l - 256 = -3*o. Is o composite?
True
Suppose -4*i + q - 6*q - 3 = 0, 5*i = -4*q + 3. Suppose -i*c - 3*v + 102 = 0, 3*c - 7*v + 2*v = 110. Is c prime?
False
Suppose 3499 = 20*f - 81. Is f a prime number?
True
Let x = 2 - -5. Suppose -x*f = -3*f - 60. Is f a prime number?
False
Suppose 4 = -5*u + u. Let v(l) = -287*l**3 - l - 1. Is v(u) a composite number?
True
Let v(a) = 9*a**2 + 2*a + 1. Let i be v(-1). Suppose -2*u + i = 2*u. Is u*((-45)/(-6) + 0) a prime number?
False
Let b(g) = 14*g**2 + 11*g - 14. Let p be b(-10). Suppose -2*r - p = -6*r. Is r a composite number?
True
Let v be -2*3/12*-2. Let t be (v + -1)/(4 + -2). Is (2 - (t - 333))*1 composite?
True
Is (3 - 1)*11241/18 a prime number?
True
Let u = -2449 + 3440. Is u a prime number?
True
Let x(z) = 53*z + 22. Let d be x(9). Is 2/(-3 - (-