e of -17*r**4/24 - 2*r**3/3 - 6*r**2. Is v(-15) a prime number?
True
Suppose -284 = 3*j - 59. Is 6/(-10) + (-14370)/j a prime number?
True
Suppose 0 = -q - d + 202 + 89, 283 = q + 3*d. Suppose -3*u + 98 = -q. Is u a prime number?
True
Suppose 0 = 6*o - 2*o - 700. Suppose 0 = 4*a + a - o. Is a a composite number?
True
Suppose -3*t + 2*g - 151 = -6*t, 4*t - 203 = -3*g. Let q = -117 - -210. Suppose 4*n - q = t. Is n composite?
True
Let o(t) = t**3 - 4*t**2 - 2*t. Let j = 5 + 0. Let r be o(j). Is 1038/r + (-2)/10 a composite number?
True
Is 4/(-18) + (-20)/(-9) prime?
True
Let t(q) = q**3 + 20*q**2 - 14*q - 6. Let d be t(-14). Suppose -5*g - 4*l = -9*l - 1710, 4*g - 2*l - d = 0. Is g prime?
False
Let w be 1 - (2*-1 - 1). Suppose g = -w*g + 5. Is ((-10)/6)/(g/(-6)) prime?
False
Let m = 42 + -16. Is 1/2 - (-39)/m composite?
False
Suppose 2*a + 0 - 6 = -2*q, -3*a - 9 = -3*q. Suppose a = -3*t + 6, -5*r - 4 + 22 = 4*t. Is r a prime number?
True
Suppose -3*v - 4*i = -479, 2*v - 3*i = -3*v + 750. Suppose 4*o + 5 = v. Is o prime?
True
Suppose 3*t + 3*t - 18 = 0. Let l(z) = -z**2 - 5*z + 2. Let b be l(-5). Suppose -t*c - b*c + 637 = x, 5*c = -4*x + 643. Is c a composite number?
False
Let o be (-2*(-6)/4)/1. Suppose 5*l - o*h = 1526, -2*h = -5*l - 4*h + 1541. Is l prime?
True
Suppose 3*t = 6, -4*t - 10 = 4*y - 7*t. Is (-1 - (-2 + y)) + 1 a prime number?
True
Let s(o) be the second derivative of -o**5/20 + o**3/6 + o. Let n be s(-1). Suppose 2*j - 2 - 2 = n. Is j composite?
False
Suppose -2*k - 6 = v, k + 2*v + 13 = -v. Let l = 6 + k. Suppose -117 - 118 = -l*h + 2*b, 0 = -h - 4*b + 47. Is h composite?
False
Let q(h) = 3*h**3 - 26*h**2 - 17*h + 17. Is q(11) a composite number?
False
Let t(a) = a**2 - a + 19. Suppose 4*f + 2*o = 4, 2*f - 6*o + o + 10 = 0. Is t(f) prime?
True
Let a = -32 - -59. Let r = -14 + a. Is r a composite number?
False
Suppose -2 = c - 0*c. Let g = c + 4. Suppose -g*m + 4 - 22 = -3*z, -12 = -2*z + m. Is z composite?
True
Suppose -n - 159 = 2*r, -2*n = -2*r - 4*n - 154. Let b = -5 - r. Is b composite?
True
Suppose 4*g = -0*g - 16. Let l = -14 + 10. Is (79/l)/(1/g) a prime number?
True
Let g(y) = y**3 + 12*y**2 - 12*y + 32. Is g(-13) a composite number?
False
Let i(h) = -3*h - 4. Let q(z) = -z**3 - z**2 - 3. Let p be q(0). Let k be i(p). Suppose -b = -2*l + b + 72, -k*l = -3*b - 182. Is l a composite number?
False
Suppose 2*n + 8*h - 5 = 3*h, 0 = 4*h + 4. Suppose -5*z - 5 = -3*s, 4*z = -4*s + 2 - 6. Suppose -4 + s = -o, n*u - 4*o = 29. Is u composite?
True
Suppose -6*p = -9*p + 1515. Is p a composite number?
True
Suppose -3*d - 38 = -4*q, q + d = -3*d. Let z be (-1 - -1) + 58/2. Let n = z + q. Is n prime?
True
Suppose -n = -o - 1139, 7*n + 4*o - 5713 = 2*n. Is n prime?
False
Let l = 75 - 12. Is 2/5 + l/5 a prime number?
True
Suppose -20*m + 18*m + 536 = 0. Suppose 4*o = m + 80. Is o a prime number?
False
Suppose -2*w = 2*n, w - 6*w + 3*n = 0. Suppose 46 = 2*u - w*u. Is u composite?
False
Let d = 14 - -5. Is d composite?
False
Let q = -262 + 389. Is q a prime number?
True
Let o(a) = -2*a**2 + 3*a + 1. Let s be o(-7). Let u = s + 305. Is u prime?
False
Let k(v) = 6*v - 2. Is k(16) composite?
True
Let h be ((-5)/3)/((-1)/3). Suppose 4*i + 2*d - 2 = 0, 0 = i + 2*d + h - 1. Is ((-7)/4 - i)*-4 composite?
True
Suppose 0 = 3*g + 2*g - 40195. Is g prime?
True
Let h(d) = d**2 - 6*d - 3. Let g be h(7). Let x = g - 4. Is (1 - x) + 60/2 a composite number?
False
Suppose 7 = -2*p + 3*p. Suppose v - 46 + p = 0. Is v composite?
True
Let j be -1 + 8 - 0/(-1). Suppose j*t = 5*t. Suppose t = -4*i + 4*o - 191 + 563, 0 = -2*i + 4*o + 182. Is i a composite number?
True
Let f(u) = u**2 + 7*u + 3. Let b be f(-5). Let g be (-2)/b - (-2)/(-7). Suppose -2*d + 95 - 33 = g. Is d composite?
False
Let w(n) = -n**3 - 13*n**2 - 13*n + 8. Is w(-13) a prime number?
False
Let d(u) = -5 + 4*u + 6 + 2 + 12. Is d(11) prime?
True
Let p be (-3)/12 - 84/(-16). Suppose -u = -4*j + 127, -4 = -p*j + 3*j. Let a = u - -196. Is a composite?
True
Let y(u) = -u + 9. Let a be y(8). Suppose 2*m + 2 = t - a, -3*t - 2*m + 17 = 0. Suppose -4*o = -t*o + 77. Is o a prime number?
False
Let b(f) = -f**3 - 4*f**2 - 4*f - 2. Let o be b(-2). Suppose 8*g = 18 + 6. Is o/g - (-113)/3 prime?
True
Let k = 5 - 5. Let i(u) = 3 + k - 6 + 20*u. Is i(2) a prime number?
True
Suppose 5*u - u = 4*a - 492, 2*a - u = 245. Is a a composite number?
True
Let z be ((-75)/(-2) - -1)*6. Suppose 0 = s + 3, 0*s = 2*t + 2*s + 6. Suppose 0*j + 3*j - z = t. Is j a composite number?
True
Let n(m) be the third derivative of -37*m**6/120 + m**5/60 - m**3/6 + m**2. Suppose 0 = -5*s + 2*f - 7, 3*s - 6*f = -4*f - 5. Is n(s) a prime number?
True
Let p = 208 + 123. Is p prime?
True
Let r(j) = j**2 - 6*j. Is r(-5) a composite number?
True
Suppose 3*q - 732 + 150 = 0. Is q composite?
True
Let a = -123 - -236. Is a prime?
True
Suppose 223 = z - 36. Is z a composite number?
True
Let y = 24 + 103. Is y a composite number?
False
Let m(i) = -i**3 + 5*i**2 - 6*i + 4. Let t be m(4). Let w = 11 + t. Is w prime?
True
Let q be (16/(-4))/(3 - 5). Suppose q*s = 4*m + s - 619, -m - 2*s = -157. Is m a prime number?
False
Suppose 2*h + 9 = -5*m, -4*m + 12 - 64 = -4*h. Let i be (-2 - -3)/((-1)/4). Is 15/i*h/(-2) a prime number?
False
Let f(u) be the third derivative of 0 + 1/20*u**5 + 5/12*u**4 + 1/3*u**3 - 2*u**2 + 0*u. Is f(-7) a composite number?
False
Let t = 1119 - 752. Is t prime?
True
Let x(j) = j - 4. Suppose 2*t + 9 = 5*t. Let q be x(t). Let s(z) = 7*z**2 - z - 1. Is s(q) prime?
True
Suppose 5*l - 5*z = -105, 4*l - z + 87 = 2*z. Let j = -5 - l. Is j prime?
True
Let w be 6/15 - (-1143)/5. Suppose -486 = -5*m + w. Is m a composite number?
True
Is 1/(-2) - ((-40905)/10)/3 a prime number?
False
Let h be (41 + -2)/((-4)/8). Let z = h - -109. Is z prime?
True
Let x be (0/(-6))/(-1 + 0). Suppose x = i - 46 - 81. Is i composite?
False
Let d = 6 - -14. Let f = 104 + -47. Let b = f - d. Is b composite?
False
Let u be 7/(1 + -2 + 0). Let k(z) = -z**3 - 6*z**2 + 8*z + 9. Let a be k(u). Is -1 - (-75 + -1)/a a composite number?
False
Let r = -472 + 768. Suppose -3*h = 5*c - 1022, -4*h + 87 = -c + r. Is c a prime number?
False
Let k(l) = 4*l**2 - 3*l + 2. Suppose -3*s + 3 = -3. Let i be (-4)/4*(1 + s). Is k(i) a prime number?
True
Suppose 3*u = u + 22. Is u a prime number?
True
Let l(a) = -a. Let o be l(-4). Let t(b) = 2*b + 5. Is t(o) a prime number?
True
Let p = 706 - 362. Let i = p + -199. Is i a composite number?
True
Let t = 48 + -23. Is t composite?
True
Is (-6)/(-10) + (-8764)/(-10) a prime number?
True
Let m(y) = -y**2 - 17*y - 6. Let t be m(-11). Let p = 106 - t. Is p a composite number?
True
Suppose 2*u + x - 600 = 2*x, -3*u = 3*x - 882. Is u composite?
True
Let j = -306 - -991. Is j a prime number?
False
Suppose 2*f + 5*v = f + 10, -2*v = 3*f - 17. Suppose 5*s - 175 = -f*j, 2*j = s - j - 47. Is s prime?
False
Let v(o) = -o + 5. Let h be v(0). Suppose -h*a + 351 = -44. Is a a composite number?
False
Is (-714)/9*3/(-2) prime?
False
Suppose -33 = 3*p - 0. Let w(n) = -6*n - 8. Is w(p) a composite number?
True
Is (953/(-4))/(0 + (-7)/28) a composite number?
False
Let f(l) = -l + 6. Let v be f(3). Suppose v*o - 110 = o. Is o prime?
False
Let g(x) = -2*x**3 - x**2 - 7*x - 6. Is g(-5) composite?
True
Let s(q) = -q**2 + 7*q - 3. Let i be s(4). Suppose 3*o - 114 + i = 0. Is o a composite number?
True
Let k(b) be the second derivative of 7*b**3/2 + b**2/2 + 2*b. Is k(2) composite?
False
Let h = 29 + 22. Is h composite?
True
Let v(l) = -2 - 2*l**3 + 8*l**2 - 3*l**2 - l + 3*l**3. Is v(-3) composite?
False
Let a(p) = p + 6. Let x be a(-6). Let b(l) = 60*l**3 + 3*l**2 - l - 1. Let w be b(2). Suppose 0 = -x*k - 3*k + w. Is k a prime number?
True
Suppose g - 50 = 3. Is g composite?
False
Let i = 687 - 364. Is i a prime number?
False
Let w be (1 - 2)*(-9 - 1). Suppose 0 = -3*b - 3*h - 3, 2*b - 2*h = b - w. Is ((-12)/9)/b*33 composite?
False
Suppose w + 2*b - 2493 = 0, 9994 = 29*w - 25*w - 3*b. Is w a prime number?
False
Let i(q) = -q**2 - 2*q - 3. Let c be i(-3). Let o = 94 + c. Let k = o - -1. Is k a composite number?
False
Is (-4)/2 + (64 - (-3)/(-1)) a prime number?
True
Let r = -31 + 86. Is r composite?
True
Let v = -102 + 267. Suppose 5*p - 797 = -x - 3*x