2*a**2 - a + 1 - 1 - 1 - 6. Is p(6) prime?
True
Is ((-37617)/8)/(-3) + (-3)/8 prime?
True
Let b = 5 - 15. Let m be 24*(2 + b/8). Is (-4)/18 + 670/m prime?
True
Suppose 0 = 3*j - 3*y - 48, -2*j + 5*y + 38 = y. Let g be (-6)/9 - (-8)/3. Suppose -j = k - g*k. Is k a prime number?
True
Let b(p) = 33*p**2 + p - 1. Is b(2) a prime number?
False
Let n be (-2)/(-9) + 8/(-36). Let h = n + 2. Suppose 4*w + 3*l = -0*w + 46, 4*w = h*l + 36. Is w composite?
True
Let s be (-90)/(-4) - 1/2. Suppose i = -s + 92. Suppose -2*l = 3*l - i. Is l composite?
True
Is (-11 - 2)*(-3 + -8) a prime number?
False
Suppose 0*r - 682 = -2*r. Is r prime?
False
Let l be (1 - -9)*(-3)/(-6). Suppose 5*f + 3*u + u + 102 = 0, 3*f + 69 = -l*u. Is (-4)/f - 1425/(-27) a prime number?
True
Suppose -2*i = -234 + 78. Suppose 0 = 3*j - 4*x + i, 6*j + 130 = j + 3*x. Let o = 47 + j. Is o a composite number?
True
Let i = -121 + 232. Is i a composite number?
True
Suppose 0 = 2*k + 2*q - 11914, -3*q = k - 5989 + 40. Is k composite?
True
Let m = 5777 - 2818. Is m a composite number?
True
Let v be (3 + 0)*(0 + 1). Suppose 3*h - 3*w = 0, -2*h = -h - v*w + 4. Suppose -4*b = -l + 6*l - 63, -l = h*b - 15. Is l a prime number?
True
Suppose q - 3*q = 0. Let d(m) = m - 89. Let u be d(q). Let g = -55 - u. Is g a prime number?
False
Suppose 0 = 4*w + 2*k - 22, w - 2*k - 1 = 2*k. Suppose p - 9 = -2*f, 4*p - 3*f - 18 = -2*f. Suppose 0 = w*o + p, s + 5*o - 64 = -2*s. Is s prime?
True
Let s be (-2)/(-8) + 1094/8. Let o = s - 16. Is o a composite number?
True
Let j = -45 - -134. Is j a composite number?
False
Is (822/(-24))/((-2)/40) a prime number?
False
Let s(i) = i**3 - 2*i**2 - i. Let m(l) = -l. Let a be m(-2). Let d be s(a). Is (-108)/d - 2/2 composite?
False
Suppose -468 = 4*n - 4016. Is n a composite number?
False
Suppose -3*t = 3*a - 9, 6 = 4*t - 3*a + a. Let g be (t - (3 + -1)) + 1. Let f(n) = 294*n**2 - 1. Is f(g) a composite number?
False
Suppose r + r = 4*t + 2766, 0 = 3*r + 5*t - 4138. Is r composite?
False
Let l be 3 + (53 - 0/1). Let n = 11 + l. Let p = n + -12. Is p a prime number?
False
Let q(s) = -s + 155. Is q(0) a composite number?
True
Let l(b) = 9*b**2 + 5*b. Let j be l(-5). Suppose -4*r + j = 792. Let a = -89 - r. Is a composite?
False
Let c be (-9)/(-27) - 133/3. Let g be 6/5*(-5 + 0). Is c/g - (-2)/(-6) prime?
True
Let b be (4 - 105)/((-3)/(-18)). Let n = -419 - b. Is n prime?
False
Let f(y) = 4*y**2 + y + 1. Let c be f(-1). Suppose -3*b = 5*t - 2948, 11 = -c*b - 5. Is t/8*(-2)/(-4) a composite number?
False
Suppose 3*f = 3*l + 9, -1 = -2*f - 5*l + 5. Let z(d) = 28*d - 6. Let u(m) = -9*m + 2. Let a(x) = -7*u(x) - 2*z(x). Is a(f) a prime number?
True
Suppose -6 = -0*y + y. Let i be -3*y/(-45)*5. Is -242*3/(-6) + i composite?
True
Suppose -6 = -4*l + 1222. Is l composite?
False
Suppose 18 = -5*v + 4*k, -4*v + 0*k - 2*k - 30 = 0. Let a(p) = -p**2 - 6*p - 6. Let o be a(v). Is (8/o)/((-2)/15) a composite number?
True
Is 508*(3/(-2) + 2) composite?
True
Let w(t) = -98*t - 1. Let q be w(-1). Suppose -m - 2*g = -q, -4*m + 230 = -5*g - 119. Is m a composite number?
True
Suppose 5*x = 4*x - 9. Is (78/x)/(6/(-9)) a prime number?
True
Suppose 1638 + 724 = 2*q. Is q a composite number?
False
Suppose -753 = -2*h + 101. Is h composite?
True
Let q(i) = i + 7. Let x be q(-6). Let m = 1 + x. Let r(g) = 9*g**3 + 2*g**2 - 1. Is r(m) a prime number?
True
Suppose -4*i = -i - 1743. Is i a composite number?
True
Let b(m) = 3*m**3 - m**2 + 5*m - 2. Let y be b(3). Suppose 0 = -o - 2*w + y, -4*w - 186 = -o - o. Is o prime?
True
Is (-16)/(-28) - (-4209)/21 a prime number?
False
Let i = -72 + 141. Is i prime?
False
Let y = 1040 + -609. Is y prime?
True
Is -1 + 130 + 3 + -5 a prime number?
True
Let a = 0 + 3. Suppose a*p - p = 198. Suppose -2*u - p = -5*u. Is u a prime number?
False
Let g be (-27)/(-18)*40/(-6). Let j = -1 - g. Is j prime?
False
Let d(x) = -x - 1. Let w be d(4). Is w/(-20) + 1011/4 prime?
False
Let w = 3 - 1. Let r be (-26)/1 - (-3 + w). Let t = r + 59. Is t prime?
False
Let a = 2 - 2. Suppose -n - 3*n + 92 = a. Let v = 10 + n. Is v a prime number?
False
Let i(h) = h**3 - 4*h**2 - 4*h + 3. Let v(r) = 3*r - 6. Let l be v(4). Suppose 4*k + 10 = 3*w, 3*k + l = 3*w - 6. Is i(w) composite?
True
Suppose f - 5 - 12 = 0. Let c = 56 - f. Is c a prime number?
False
Suppose 148 = 6*q - 2*q. Is q a prime number?
True
Let t(h) = -435*h**3 - h**2 + 1. Let l be t(-1). Suppose 0 = 2*j + 3*j - l. Suppose 5*z - 98 = j. Is z composite?
False
Let m(j) = 5*j - 4. Let o be m(4). Suppose 0 = 4*f + o, 0 = -5*a + f + 3*f + 581. Is a composite?
False
Let g = -1624 - -2367. Is g a composite number?
False
Let w(a) = 13*a - 9. Let m(c) = -13*c + 10. Suppose 6 = 3*o - 2*d - 14, 0 = 5*o - 3*d - 33. Let s(l) = o*w(l) + 5*m(l). Is s(3) a composite number?
True
Let j = 1158 + -91. Is j composite?
True
Suppose -3*y - 851 = -4*y. Is y a composite number?
True
Let z be -634*((-60)/(-8))/(-5). Let c = 1732 - z. Is c composite?
True
Suppose 3*i - 8 = -5*u, i - 8 = -0*u - 3*u. Suppose -5*y + u*n = -1583, -5*y + 1610 = 5*n - 0*n. Is y a composite number?
True
Suppose -h - 2*u = 5, 3*h + u = h + 5. Let l(x) = 63*x - 2. Let b(f) = 62*f - 2. Let d(t) = 4*b(t) - 3*l(t). Is d(h) composite?
False
Let f(x) = x**3 - 2*x**2 - 2*x - 9. Let a(i) = -i**3 + i**2 + 3*i + 8. Let v(n) = 4*a(n) + 3*f(n). Is v(-6) composite?
False
Suppose 0 = j - 4*v - 888 + 223, -2*v = -4. Is j a composite number?
False
Let m = -1 - -3. Let c be 2*1/m*-1. Let p(x) = -50*x**3 + x**2 - x - 1. Is p(c) prime?
False
Suppose -4*n - 5*d = n + 260, -4*d = -4*n - 240. Is (n/12)/(4/(-42)) composite?
True
Suppose 0 = -2*k + 8, 4*n + 0*k + 5*k - 400 = 0. Is n prime?
False
Let t(b) = -126*b**3 - b. Suppose -4*j + 4*o - 3*o - 2 = 0, 5 = j - 3*o. Is t(j) prime?
True
Let c = -5 + -15. Let p = -1 - c. Is p a prime number?
True
Suppose -f + 174 = -116. Suppose -x = x - f. Is x composite?
True
Suppose -2*s + 2*h - 6*h = -10, 4*s = -4*h + 4. Let t(k) = -4*k**2 + 5*k + 3. Let c be t(s). Let p = 117 + c. Is p a composite number?
True
Let n = -726 + 1393. Is n composite?
True
Is 80/6 + 1/(9/(-3)) composite?
False
Let r be (-8)/(2/3*-3). Suppose h - r = 16. Suppose -j + h = j. Is j composite?
True
Suppose -4*d + 1041 = -7895. Is d a prime number?
False
Suppose -5*l - 544 = -4*q - 69, 4*q - 510 = -2*l. Let c = q + -38. Is c prime?
False
Suppose 5*b + 4 = 3*i + 41, -2*b - 4*i = 6. Suppose b*g + 5*q + 0*q = 120, -15 = -g + 2*q. Is g prime?
False
Let m = -2076 - -3073. Is m prime?
True
Let n = 229 + -63. Let k = n + -239. Let c = 222 + k. Is c a prime number?
True
Let f = 26 + -57. Suppose -7*v + 30 = -2*v. Is f/(-3)*(v + -3) composite?
False
Let q be 2/(-5)*20/1. Is q/(-36) + 745/9 composite?
False
Let u = 5 + -12. Let g = u - -9. Is (127/g)/(1/2) a prime number?
True
Suppose 272 - 49 = o. Is o a composite number?
False
Let g be (0 + (-4)/1)*-74. Suppose -4*t + 1060 = -g. Is t composite?
True
Let r = 3 - 1. Let i(q) = -190*q**2 - 5*q + 11. Let y(k) = -38*k**2 - k + 2. Let f(z) = r*i(z) - 11*y(z). Is f(-1) prime?
True
Suppose 57*z - 61*z + 1316 = 0. Is z composite?
True
Let m be (-227)/2 + 15/(-10). Let y = m - -50. Let d = y - -118. Is d composite?
False
Let g be ((-1)/(-2))/((-5)/(-30)). Let w(d) = 10*d - 2. Let x be w(g). Is x*3*(-34)/(-24) prime?
False
Let a = -339 - -572. Is a a composite number?
False
Let s = 41 + 120. Is s a composite number?
True
Let u be (-2 + 1)*(0 - 0). Suppose 2*h + 2*h - 16 = u. Suppose 4*v - 626 = h*p - 122, 2*v - 253 = p. Is v a prime number?
True
Let x be 9/18 - 227/(-2). Let c = x - 61. Is c prime?
True
Let z(y) = 5*y**2 - y + 15. Is z(-11) prime?
True
Suppose -5*u - 3*h + 13361 = h, u + 4*h - 2685 = 0. Is u prime?
False
Let v(n) = -n**2 - 2. Let p be v(3). Let f(r) = -r**3 - 11*r**2 - 15*r - 16. Is f(p) a composite number?
False
Suppose -4 = -2*o + 12. Let v(w) = 145*w + 3. Let q be v(3). Is q/8 + 2/o composite?
True
Let a(l) = 3*l**3 + 3*l**2 - l + 4. Let w be a(3). Let n be (1*-2)/((-3)/6). Suppose -w = -3*q + n*g, 4*q - 32 = 3*g + 111. Is q prime?
False
Let m(a) = -17*a**3 + 2*a**2 - 2*a - 2. Is m(-3) prime?
False
Suppose -k - 4*j + 7 = 0, -2*k + 7 = -0*j + j. Let n(s) = 2*s**2 + 5 - k*s**2 - 1 + 4*s. Is n(4) a composite number?
True
Let w(i) = 134*i - 17