 -2 - 5). Suppose -2*p - 3*p - t*a = -113, -3*p = 5*a - 55. Is p prime?
False
Let a(q) = q**2 - q - 2. Let u be a(3). Suppose -2*c + 2163 = -2*g - 5*c, u*c = 3*g + 3270. Is ((-5)/(-15))/((-2)/g) composite?
False
Let v(y) = 12*y + 1. Let l be v(5). Suppose 3*b - 181 = -4*a, 12 + l = 2*a + 5*b. Is a composite?
True
Let c(g) = 22*g + 5. Let s be c(7). Suppose p + s = 2*p. Is p prime?
False
Let k(w) = -98*w - 1. Is k(-3) a composite number?
False
Suppose 3*s - 6*y - 45 = -2*y, -3*y - 48 = -3*s. Suppose h + 1 = 0, 3*g - 1 = h + 6. Suppose -g*p + 177 = s. Is p a composite number?
False
Let a = 450 + 911. Is a a prime number?
True
Suppose -2*a = -d - 4*d + 695, 139 = d + 3*a. Is d composite?
False
Let a(d) = -d**3 + 16*d**2 - 10*d - 2. Is a(11) a prime number?
False
Let w be -2 - ((-4 - -1) + 10). Let j(u) = -u**3 - 8*u**2 + 4*u - 2. Is j(w) composite?
False
Let m = 2158 - 987. Is m a composite number?
False
Suppose -g + 5*m + 2 = -326, -2*g = -5*m - 631. Is g composite?
True
Suppose -3*d + 6*d = 9. Suppose -c + 12 = d*c. Suppose 73 = c*m - 38. Is m prime?
True
Let h(p) = -5*p**3 + 8*p**2 - 8*p + 6. Let k(j) = 5*j**3 - 7*j**2 + 7*j - 5. Let g(q) = 2*h(q) + 3*k(q). Let s be g(4). Suppose 4*u = 5*u - s. Is u prime?
True
Let j(g) = -4*g + 4*g - 2*g**3 + 2*g - 2*g**2 + 2. Let w be j(-2). Is ((-23)/(-3))/(2/w) a prime number?
True
Let v(o) be the second derivative of 79*o**4/6 - o**2/2 + 6*o. Is v(1) prime?
True
Let t(a) = 6*a**2 + a + 1. Let c be t(-1). Suppose -q = q - c. Suppose 44 = -l + q*l. Is l prime?
False
Let u = 88 + -174. Let k = 38 + u. Let f = 67 + k. Is f composite?
False
Let r(h) = h**3 - 7*h**2 + 2*h - 10. Let i be r(7). Suppose -i*t + 1497 = -t. Is t a prime number?
True
Let v(g) be the first derivative of 1/3*g**3 - 1 + 5*g - 3/2*g**2. Is v(6) composite?
False
Let z be 15477/27 + (-2)/9. Suppose -7 - 948 = -5*c - d, -3*c + 3*d + z = 0. Is c composite?
False
Suppose 3*x - 7 = 4*o, 4*x + 0*x = 3*o + 14. Suppose 5*d + 12 - 32 = 0, -d = -o*z + 74. Is z a composite number?
True
Suppose -12*b + 7*b = -10. Suppose -b*w + 9 = -43. Is w composite?
True
Let l(j) be the first derivative of -j**4/4 - 4*j**3/3 + 3*j**2/2 - 2*j + 1. Let u be l(-5). Let m(q) = 6*q + 5. Is m(u) a prime number?
True
Let u be (-2)/(-10) - 31/5. Let f(z) = -7*z**2 + 12*z. Let n(h) = -13*h**2 + 23*h - 1. Let d(v) = u*n(v) + 11*f(v). Is d(9) a composite number?
True
Suppose q - 2 = -0*q. Is 738/14 - q/(-7) a prime number?
True
Let o(c) = -c**3 + 3*c**2 + c. Let v be o(3). Suppose 2*w - v*y = 27 + 81, 5*w - 275 = 5*y. Is w a prime number?
False
Suppose 17 = 4*f - 11. Is 2488/f + 3/(-7) composite?
True
Let m(b) be the first derivative of 18*b**3 - b**2 - b - 3. Suppose -i + 2 = -4*j + i, -2*j + 9 = i. Is m(j) a composite number?
False
Let x(o) = -o**2 - 2*o. Let k be x(-2). Suppose k*f = 2*f - 790. Is f a prime number?
False
Let v be -14*(-1 + -2) - -2. Suppose -4*j + 3*g - v = 263, -3*g - 325 = 4*j. Is 1/(1/j)*-1 prime?
True
Is (-5988)/(-18)*(-12)/(-8) a prime number?
True
Let q(m) = 916*m**2 - 5*m - 3. Is q(-2) a composite number?
False
Let n = -32 - -56. Suppose 5*h + n = 439. Is h prime?
True
Let m(p) = -p**3 + 6*p**2 - 4*p - 5. Let q be m(5). Let x be (-25 - -2)*-1 + q. Suppose -j + 54 + x = 0. Is j prime?
False
Is 3/(-6) - ((-6670)/4 - 4) composite?
True
Let v = -2 - 3. Let b(n) = -6*n - 7. Let y(u) = 1. Let k(x) = b(x) + 3*y(x). Is k(v) a prime number?
False
Let u(i) = -8*i**3 - 3*i**2 - 3*i - 3. Is u(-2) prime?
False
Let r(f) = 59*f**2 + 3*f + 23. Is r(11) a prime number?
False
Let h(g) = -4*g**2 + 9*g + 1. Let k(w) = 3*w**2 - 8*w. Suppose -3*x = 12 + 9. Let p(l) = x*k(l) - 6*h(l). Is p(5) a prime number?
True
Suppose 5*j - 5*f - 33309 + 10714 = 0, -4*f = 4. Let b = j - 2975. Is b prime?
True
Let n(a) = 2*a**2 - a**2 + 3*a + 5*a**2 - 2*a**2 + 2. Is n(-5) composite?
True
Let f(i) be the second derivative of 2*i**3/3 - i**2/2 - i. Let c be (1 + 1)*(-6)/(-4). Is f(c) a prime number?
True
Is ((-7366)/12)/(-1) - 16/(-96) a prime number?
False
Suppose -1754 - 2012 = -7*d. Is d a composite number?
True
Suppose 3*p - 2505 = 837. Is p prime?
False
Suppose 3*r = -p - 9 + 25, -5*r = -3*p + 6. Let y(k) = -k**2 + 6*k + 9. Let o be y(p). Let v(x) = 60*x - 1. Is v(o) prime?
False
Suppose 2*o + 95 = 3*n, 5 = -5*o - 0. Suppose -r + a = -4*a - n, 4*a = 0. Is r prime?
True
Let a be ((-2)/4)/(4/408). Let h = 88 + a. Is h a composite number?
False
Let w = 1963 - 890. Is w prime?
False
Let w(q) = 2*q + 3047. Is w(0) composite?
True
Suppose -3*l - 68 - 59 = 4*k, -5*l = k + 53. Let m = k - -62. Suppose y + m = i, -5*y = 4*i + 15 - 124. Is i composite?
False
Let a(z) be the first derivative of -9*z**2 - z + 3. Is a(-3) composite?
False
Suppose 0 = -0*l + 4*l. Suppose -t - t + 1270 = l. Is t composite?
True
Let x(n) = -35*n - 10. Let r(i) = 35*i + 11. Let h(q) = -4*r(q) - 3*x(q). Is h(-11) prime?
False
Suppose -136 = -s - 3*l, -s = s - l - 279. Is s a composite number?
False
Suppose 2*i + 2*h + 2*h - 2042 = 0, 0 = 4*i - h - 4129. Is i prime?
True
Suppose 0 = -x + 189 + 1211. Suppose x = 5*z + 315. Is z a prime number?
False
Is 1 + (-3836)/(-6) + 8/12 a composite number?
False
Is ((-14)/(-4))/((-2)/(-4)) composite?
False
Let z = -17 + 63. Is z a prime number?
False
Let r be 69/((10/(-8))/5). Let s = -143 - r. Is s a prime number?
False
Let j be (-3)/(-1) + (7 - 10). Suppose -3*c - p + 499 = j, -7*c + 3*c + 661 = -3*p. Is c a prime number?
False
Let t(j) = 21*j**2 + 4*j + 3. Let u be (-4 + 1)*(-3)/(-9). Let v = u + -1. Is t(v) a composite number?
False
Let c(b) = 1187*b + 37. Is c(8) prime?
True
Let m be 27/5 - 2/5. Suppose -3*b = -3*j - b + 217, m*b = 20. Suppose 5*s - j = -0*s. Is s a prime number?
False
Is (622/4)/((-1)/(-4)) a prime number?
False
Let v be 5 - 2 - (-4 + 3). Is (v/6)/(5/195) prime?
False
Let h(v) = v**2 - 10*v - 8. Let g be h(9). Let n be (-9)/(-6) - g/2. Is (n/(-6))/(3/(-63)) a prime number?
False
Let o(u) = -46*u**3 - 2*u - 1. Let h be o(-1). Is 0/(-2) + h - -2 prime?
False
Suppose -4*w + 3*k = 5*k - 9844, -k = 0. Is w prime?
False
Suppose 4*f + 28 = -4*t, -3*t + 4 = -3*f + 1. Let q(n) = -n**2 + 17*n + 9. Let v(w) = 2*w**2 - 26*w - 14. Let r(y) = 8*q(y) + 5*v(y). Is r(f) prime?
False
Let j(f) = -7*f**2 + 4*f - 3. Let v be j(3). Let b = v - 206. Let l = -181 - b. Is l prime?
True
Suppose -w - 1 - 7 = 0. Is 2/(-3)*948/w a prime number?
True
Let y(s) = 7*s - 1 - 6 + 7*s - 8. Is y(6) a composite number?
True
Suppose -22*l = -24*l + 986. Is l a composite number?
True
Suppose -16*k - 161 = -17*k. Is k a composite number?
True
Let r(z) = 265*z - 45. Is r(10) composite?
True
Let l be 4/14 + (-456)/(-21). Is 2/(-11) - (-70)/l prime?
True
Let x(s) = 3*s**2 - s + 3. Let c(u) = -u**2 + u - 1. Let r(v) = 2*c(v) + x(v). Is r(3) prime?
True
Suppose k - 6 = -2*k. Is 178*(k/(-4) - -1) composite?
False
Let d be 1021/11 + 4/22. Suppose d - 263 = -2*y. Is y a prime number?
False
Suppose -1231 + 251 = -4*i. Suppose -5*r = 2*b - i, b + 6 = -2*r + 104. Is r a prime number?
False
Let g = -2 + 4. Suppose g*i - 38 = 4. Let b = i - -34. Is b composite?
True
Suppose 0 = -2*g + 6, 0 = -5*r - 5*g + 28 - 3. Let p = 28 - r. Is p a prime number?
False
Is 3 + (-3624)/((-12)/4) a prime number?
False
Let u = -2 + 2. Suppose 0 = 2*a - 6*a + 12. Suppose 0 = -4*p - 4*k + 56, -p + a*p - 4*k - 4 = u. Is p a prime number?
False
Let m(q) = 439*q + 97. Is m(14) composite?
True
Let l(j) = j**2 + 2*j - 1. Let y be l(-3). Suppose -o + 30 = y*o. Is o a prime number?
False
Let q(w) = -32*w - 81. Is q(-24) composite?
True
Suppose -10 = -5*a, -5*r + 356 + 705 = 3*a. Is r a composite number?
False
Let o(n) = n**2 + 4*n - 11. Let h = -37 + 25. Is o(h) a composite number?
True
Let n(d) be the first derivative of d**6/360 - d**5/120 - 7*d**4/24 - d**3/3 - 1. Let w(m) be the third derivative of n(m). Is w(6) composite?
False
Is 8/(-6) + (-543)/(-9) a composite number?
False
Let y(q) = -q**3 + 7*q**2 + q - 5. Let z be y(7). Suppose 6*r = z*r - 1044. Is -1*(2 - r)*-1 prime?
True
Suppose 5*b = 7 + 3. Suppose 0 = 3*y, b*d - 2*y = -d - 72. Let n = 33 - d. Is n prime?
False
Let h(u) = 56*u**2 - u + 4. Let w be h(-3). Suppose -96 = 5*x - w. Is x a prime number?
True
Let h(s) = 2*s**2 - 2*s - 2. Let k be h(2). Suppose l - k*o - 77 = 