 composite number?
True
Is 421 - (-7)/(21/(-6)) a composite number?
False
Suppose 2*r - 3 = 13. Suppose 4*b - 46 = -5*n - 15, b + r = n. Is n a prime number?
True
Let i(y) = -12*y - 6. Let m(f) = -6*f - 3. Let g(u) = -4*i(u) + 9*m(u). Is g(-3) composite?
True
Let a = 0 - 2. Suppose -2*i + 2*u = -58, -i = i + 2*u - 66. Is 2/a*i*-1 prime?
True
Suppose 5*f + 0*f = -195. Let i = -6 - f. Suppose 25 = 5*j, -3*o + 4*j + i = -13. Is o a prime number?
False
Let j(v) = v + 2. Let o be j(-5). Let c(t) = -t**2 - 5*t - 2. Let p be c(o). Suppose -141 = w - p*w. Is w composite?
False
Let c be (-6)/(-21) - (-26)/7. Is 1 - 0/c - -168 a composite number?
True
Let n(y) = -y - 4. Let w(m) = -m - 2. Let j(z) = -2*n(z) + 5*w(z). Is j(-4) composite?
True
Let n be (-90)/(-10) + -1*2. Suppose -n*z + 2*z = -295. Is z composite?
False
Suppose r = -2*r - 54. Is (12/r)/(2/(-9)) a prime number?
True
Suppose -3*q = -q - 874. Is q a prime number?
False
Let l(w) = -4*w. Let d(p) = -8*p - 1. Let a(g) = -2*d(g) + 5*l(g). Let u be a(2). Is 11/(3*(-2)/u) prime?
True
Let w(r) be the first derivative of -3*r**4/2 + 2*r**3/3 - r + 1. Is w(-1) a composite number?
False
Let c(s) = 9*s**3 - 12*s**2 + 9*s - 14. Let p(j) = -5*j**3 + 6*j**2 - 5*j + 7. Let k(h) = 4*c(h) + 7*p(h). Suppose 3*o = 6*o - 21. Is k(o) prime?
False
Let i = 0 + -1. Let g be i - (-2 + -1 + 13). Let l = 18 + g. Is l prime?
True
Suppose 0*k = 3*k - 12. Suppose 0 = -k*z + 2013 - 529. Is z composite?
True
Is (-1016)/(-12)*3/2 prime?
True
Let t = -15 + 24. Let j(m) = m**3 - 8*m**2 + m - 1. Is j(t) composite?
False
Let s(r) = -r**3 - 11*r**2 + r + 11. Let t be s(-11). Suppose -2*p - 2*l + 162 = -t*l, -l + 235 = 3*p. Is p prime?
False
Let h = 44 + -27. Suppose -o + 19 = -3*r, -o + h = -0*r - 2*r. Is o prime?
True
Let v(y) = y**2 - 4*y + 7. Let h be v(5). Is 470/8 - (-3)/h prime?
True
Let z = 1355 - 681. Is z a composite number?
True
Suppose 0*x - 2*m - 481 = -3*x, x - 2*m - 167 = 0. Is x composite?
False
Suppose -4*o - 3*s = -3725, 2*o - 2*s - 482 - 1370 = 0. Is o composite?
False
Let c(f) = -96*f - 11. Suppose -4*b + 0 = 4*k + 16, 3 = -b - 2*k. Is c(b) prime?
False
Let v(a) = -a**2 - 5*a - 2. Let l be (-2)/(-4) - (-14)/(-4). Is v(l) a composite number?
True
Let v(r) = r**3 - r**2 - r. Let y be v(2). Suppose 76 = y*s - 30. Is s prime?
True
Let w = -10 - -136. Suppose -735 - w = 3*q. Let l = 552 + q. Is l a composite number?
True
Is (1/(2/(-3)))/((-45)/7620) prime?
False
Is (-2)/11 - 8394/(-66) a composite number?
False
Suppose p = -2 + 8. Suppose 0*c - 3*c = -p. Let i = 15 - c. Is i a prime number?
True
Let o be (66/4)/((-4)/8). Let n = -19 - o. Is n composite?
True
Suppose 826 = 2*x + 64. Is x prime?
False
Let n(g) = -g**2. Let w be n(0). Suppose q + w*q = 2*l - 745, q - 368 = -l. Is l a prime number?
False
Let r(d) = 104*d - 1. Let v(u) = 2*u - 1. Let p be v(1). Let o be r(p). Let s = o + -72. Is s prime?
True
Suppose -z + 3*n + 9 = 0, -5*z + 2*n = -2*z - 6. Suppose -h + 1 = z, 3*a - 174 = -a + 2*h. Suppose -a + 8 = -4*i. Is i a prime number?
False
Let z = 370 - 51. Is z a prime number?
False
Let p be (-1 + 1523)/(4 + -2). Suppose 0*m + m - 3 = 0, p = 4*j - m. Is j prime?
True
Let v(w) = w**3 + 5*w**2 + 5*w - 1. Let r be v(-4). Let m be (r/(-10))/((-1)/(-288)). Suppose 38 = s - 0*d + 3*d, 3*s = -3*d + m. Is s prime?
True
Let w be 0*(-2 + (-1 - -2)). Suppose w = -2*b + 11 - 3. Is (-46)/b*(-1 + -1) a composite number?
False
Suppose 3*y + 10 = 5*a, -3*a + 2 = -4*y - 15. Let j be (a/(-2))/((-8)/(-96)). Is ((-3)/5)/(j/(-390)) composite?
True
Let t be (-1 - (-14)/10)*-25. Let r be ((-7)/21)/(1/(-75)). Is (-10)/r - 674/t a prime number?
True
Let f(q) = -q**3 - q**2 + q. Let g(r) = -5*r**3 + r**2 + 8*r - 1. Let z(a) = -6*f(a) + g(a). Is z(-6) a composite number?
False
Let p = 3665 - 2604. Is p prime?
True
Suppose -t + 5 = 2. Suppose -5 = t*n - x, 2*x + 0*x = 4*n + 4. Is (n - -1) + 37 + -2 composite?
True
Suppose 8448 + 3318 = 6*z. Is z a composite number?
True
Suppose -4*q = -2*b + 306, -2*q + 777 = 4*b + b. Is b composite?
True
Suppose -4*q - 5*b = -206, 5*b - 4*b + 2 = 0. Suppose 4*o - 83 = -5*n, 0 = 3*n + o - 0*o - q. Is n prime?
True
Let m(s) = -6*s**2 - 3*s + 6. Let c be m(-6). Let r = -113 - c. Is r a prime number?
True
Let b = 0 + 0. Suppose -3*y + 29 + 136 = b. Is y prime?
False
Let x(t) = -t**2 - 6*t - 5. Let n be x(-7). Let i = n - -31. Is i a composite number?
False
Suppose -8 = h - 3. Let m be 2/3*(-30)/h. Is 114/m*(-4)/(-6) prime?
True
Let x(w) = w**3 + 4*w**2 - 5*w - 1. Is x(9) a composite number?
True
Let v = 11 + 4. Let z be (v/2)/((-1)/(-14)). Suppose z = b + 28. Is b a composite number?
True
Suppose 2*d + 2*d + 4*h - 12 = 0, 4*h = d + 2. Let k(x) = -2 + x**2 + 3*x**2 + 6*x**2 - 2*x. Is k(d) composite?
True
Let p = -551 + 922. Is p a prime number?
False
Let i(o) be the second derivative of o**4 - o**3/3 - o**2/2 - o. Is i(2) a prime number?
True
Let o(p) = -p**2 + 6*p. Let l be o(4). Suppose l*s = 4*s + 5908. Is s a composite number?
True
Let k = -291 - -432. Is k a composite number?
True
Let o(y) = y**2 - 3*y - 2. Let g be o(4). Suppose g*a + 5*p = 422, 2*p + 2*p = 16. Is a a prime number?
False
Suppose -3*j = 0, j = -2*x + 7*x - 55. Suppose 0 = u - 3*y - x, u - 3*y - 36 = -5*y. Is u composite?
True
Let r be 2/7 - 110/(-7). Let g be r/(3/60*-2). Let o = -69 - g. Is o a prime number?
False
Suppose -1639 = -g + f, -3*g + 3283 = -g + 3*f. Let d be 1/(-3) + g/6. Suppose 0 = -2*s - s + d. Is s a composite number?
True
Let s(g) = -2*g**3 - 8*g**2 + 5*g - 6. Is s(-7) prime?
False
Let c(w) = -2*w - 7. Let i be c(-5). Let q be 3/(-9) - (-10)/i. Suppose -3*f - y - q*y + 30 = 0, -5*f + 39 = 3*y. Is f a prime number?
False
Suppose -1066 = -7*u + 3043. Is u a composite number?
False
Let k(o) = -2*o - 1. Let a be k(-1). Suppose q - 2*q - a = 0. Is 24/6 + q + 1 prime?
False
Suppose -f - 101 = -p, -5*f + 7 = -3. Is p a composite number?
False
Suppose -3*v + 27 = -4*s, 2*s = 6*s - 5*v + 37. Let c be 1 + s*(-1)/3. Suppose -c*a + 42 = -0*a. Is a prime?
False
Is 137/((-5 - -7)/10) a composite number?
True
Suppose -5*n + 865 = -2*n - t, -1140 = -4*n - 2*t. Is n a prime number?
False
Let c(g) = -g**3 - g**2 + 8*g - 7. Let s be c(-10). Suppose -3*k - s = -5*h - 5*k, -2 = 2*k. Is h a composite number?
False
Let h(z) = 5*z - 10. Let y be -1 + 1 - (-5 + 2). Suppose 0 = -2*t + 15 + y. Is h(t) composite?
True
Suppose -4 = 4*c - 4*f, 0*f + f = 3. Suppose 0 = -5*o + 2*k + 807, -c*o + 0*k - 4*k = -342. Is o a composite number?
False
Let o = -7 - -10. Suppose -3*z - z - 97 = o*w, 2*w - 2*z + 74 = 0. Is (-2)/(-1) - 0 - w composite?
False
Let q(b) = b. Let d be q(12). Suppose -2*t - 6 = 3*r, d = -4*r - 3*t - t. Suppose 182 = -r*g + 2*g. Is g a composite number?
True
Suppose -3*f + 273 = -2*a, 3*f - f - 3*a = 182. Is f a prime number?
False
Suppose 0 = -3*l + 5*p + 1694, 2*l + p + 568 = 3*l. Is l composite?
True
Let j(h) = 3*h**2 - 3*h - 1. Let y(u) = -2*u**2 + 2*u. Let m(w) = 3*j(w) + 4*y(w). Let x be m(9). Let a = -26 + x. Is a prime?
True
Let c(a) = 6*a**2 - 4*a. Let t be c(5). Suppose 6*k - t = k. Let m = 69 - k. Is m a prime number?
True
Let o = 467 - 262. Is o a prime number?
False
Let a(f) = -13*f**3 - 23*f**2 - 10*f + 3. Let y(i) = -7*i**3 - 12*i**2 - 5*i + 1. Let c(k) = 6*a(k) - 11*y(k). Is c(-6) a prime number?
True
Let j(x) = x**2 + x - 1. Let l(p) = -4*p**2 + 5*p + 4. Let t(o) = 3*j(o) + l(o). Suppose -5*v + 3*v = -12. Is t(v) a composite number?
False
Let i = 134 + -79. Is i a composite number?
True
Let n = 7 + -11. Let x be (-441)/35 + 4/(-10). Is 19/n*(5 + x) a prime number?
False
Is (-4)/(-36)*-3*-1083 a composite number?
True
Suppose 4*r - 1110 = -6*r. Is r a composite number?
True
Let k(s) = -s**2 + 13*s - 9. Let a be k(11). Let r = -7 + a. Is r a prime number?
False
Suppose 2*r - r = 37. Is r prime?
True
Let a(h) = 4*h**2 - 5*h + 2. Let g be a(6). Suppose -j + g = -173. Is j a composite number?
True
Let r(i) = i**2 - 10*i + 3. Let y(l) = -11*l + 1. Let w be y(-1). Suppose -3*z + 43 = -5*c, -5*c = z + z - w. Is r(z) a composite number?
True
Suppose 0 = -5*p + 33 - 8. Suppose 716 = w - p*w. Let h = w + 312. Is h prime?
False
Suppose 0*s = a + s - 24, 3*a - 3*s = 66. Is a a prime number?
True
Suppose 7*f - 2871 + 64 = 0. Is 