 5*w - 0*w - 165. Is (-6)/(-9)*w/2 a prime number?
True
Suppose -a + 9 = 4*p, a + 17 = 4*p + 2. Suppose p*m = 5*m. Suppose m = 4*d - 201 - 35. Is d a prime number?
True
Let b(f) be the second derivative of f**4/4 + f**3/3 - f**2/2 + 2*f. Suppose -8 = -3*a - 2. Is b(a) prime?
False
Let b(q) = q**3 - 3*q**2 - 3*q + 2. Is b(5) composite?
False
Let r = 205 - -22. Suppose -113 = -4*v + r. Is v prime?
False
Suppose -3*n - 1 = 2. Let g = n + 8. Is 2/g + 514/14 prime?
True
Suppose 45 = -0*p + 5*p. Is 1/(3*1/p) composite?
False
Suppose i - 6*i + 10 = 0. Suppose 7 = i*x - 25. Let r = 29 - x. Is r composite?
False
Let j(r) = 7*r**2 - 12*r + 12. Let o(v) = v**2 - v + 1. Let u(d) = j(d) - 5*o(d). Is u(-6) a composite number?
True
Let u(m) = m**2 - 18*m + 9. Let n be u(9). Let q = 47 - n. Is q a prime number?
False
Let l(f) = -41*f - 8. Let p(q) = -204*q - 39. Let b(y) = -24*l(y) + 5*p(y). Let u(o) = -o - 12. Let g be u(-7). Is b(g) prime?
False
Let c(h) = 3*h - 5. Let f be c(2). Is f/((-2)/(-2616)*4) prime?
False
Let b(f) = f**3 - f**2 - f + 1. Let u be b(1). Suppose p = -4*a + 26, -p + a + 3 - 2 = u. Is p a composite number?
True
Let l(j) = 3 - 28*j + 3 - 5. Let g be l(-2). Is (g/(-6)*-6)/1 composite?
True
Suppose -6*q + q = -5*l - 2200, -6 = -2*l. Suppose 2*k + q = 2*i + 3*k, 3*i + k - 664 = 0. Is i a composite number?
True
Let z(q) = -4*q**3 + q**2 + q + 1. Is z(-2) a composite number?
True
Let l(f) = -10*f + 8. Let o be l(-6). Let p = 127 - o. Is p prime?
True
Is (-525 - 12)*14/(-6) a composite number?
True
Let b = 14 - 22. Let f(i) be the third derivative of -i**6/120 - 3*i**5/20 - 11*i**4/24 - i**3/3 - 8*i**2. Is f(b) a prime number?
False
Suppose 0*j - 46 = j. Let a = 28 - j. Is a a prime number?
False
Suppose 316 = 7*z - 3*z. Is z a prime number?
True
Suppose 0 = 4*v - 6*v + 262. Is v prime?
True
Let g be (265/(-10))/((-2)/4). Suppose -4*p + 9*p - 25 = 0. Suppose 798 = p*i + g. Is i composite?
False
Let a be (-4)/22 - 20952/(-44). Suppose -a = -4*f + 5*v, 2*f - 3*f = -5*v - 119. Is f a composite number?
True
Let t(o) = 7*o + 1. Let l = -5 - -8. Is t(l) a composite number?
True
Let u(b) = -b + 1067. Is u(0) a prime number?
False
Let o = 6 + -3. Let f = 8 - o. Suppose 0*k = 3*k - 4*j - 61, -5*k - f*j = -125. Is k composite?
False
Let p = 846 - 458. Is p/16*8/2 prime?
True
Let c = -1 + 3. Let u(b) = 8*b**2 + 3*b - 1. Is u(c) a prime number?
True
Is 1556 + -1 + (-11 - -9) a prime number?
True
Suppose 0 = 2*h - h, 2*h + 1594 = 2*q. Is q composite?
False
Suppose 3*z - 22 = -2*b, 2*b - z - 89 = -3*b. Let j = b + 2. Is j a prime number?
True
Let w(v) = 17*v - 6. Suppose 0 = -f, -5*r = -3*r + 5*f - 6. Let c(j) = 34*j - 11. Let y(d) = r*c(d) - 5*w(d). Is y(2) a composite number?
False
Let g be 3/(-2 - (-39)/15). Suppose g*w - 3*w = -5*m + 126, -w = -5*m + 117. Suppose 0 = -2*a + 134 - m. Is a composite?
True
Let u(z) = -4*z**2 - 2*z - 5. Let n(i) = 7*i**2 + 4*i + 9. Let a(f) = -6*n(f) - 11*u(f). Let l be a(-4). Suppose m + l = 130. Is m composite?
False
Let a(n) = -n**2 + 0*n**2 + 4*n + 2*n**2 - 5*n. Let j be a(2). Suppose 0 = j*p - 60 - 122. Is p a prime number?
False
Is (-1)/5 - ((-20062)/10 + 3) prime?
True
Suppose 5*a - 41 = 2*s, a - 3*s = -7*s + 17. Let t = -5 + a. Is (t/6)/((-2)/(-57)) composite?
False
Let m = 190 - -189. Is m composite?
False
Let a be (3/6 + -1)*198. Is 343/11 + 18/a prime?
True
Suppose 3*q = -2*q + 10. Suppose -2*m - q*m = 0. Suppose m*t + 2*t - 318 = 0. Is t a composite number?
True
Let i(z) = -293*z**3 + z**2 + z. Is i(-1) prime?
True
Let x(r) = 20*r**3 + 11*r**2 + 2*r - 2. Is x(7) a composite number?
False
Suppose 3*c + 285 = -2*y, -2*c + 5*y = 4*y + 190. Let q = 150 + c. Is q prime?
False
Let x(r) = -11*r + 4. Let u be x(-3). Is u + (0/2)/(-2) a prime number?
True
Suppose r + 17 = 2*r. Let t = r + 38. Is t a prime number?
False
Let h(t) = 4 - t**2 + 4*t**2 + 2 - 6*t + 2*t**3. Let i = 6 - 1. Is h(i) a composite number?
True
Suppose 0 + 3 = k. Suppose -2*w - 2 = 0, -k*z = -z - 3*w - 15. Is (22/4)/(z/132) a composite number?
True
Suppose -i + 2*x = -x - 22, 3*x = 6. Suppose 0 = -3*p + i - 4. Suppose -2*m = 4*v - 44, 3*v + 3*m - p*m = 7. Is v a prime number?
False
Suppose 0 = h - 127 + 403. Is (-1)/((-3)/(h/(-4))) a composite number?
False
Suppose -3*s = 2 - 107. Is s composite?
True
Let w be -2 - (-3 - 397) - 2. Suppose 0 = -o + w + 191. Is o a prime number?
True
Let l(j) = -4*j**3 + j**3 + j - 1 + 2*j**3 - 4*j**2. Let r be l(-4). Is (-3)/(-15) + (-74)/r a composite number?
True
Suppose -5*w = -2*w - 1713. Is w composite?
False
Let q(w) = -68*w - 1. Is q(-3) a composite number?
True
Suppose v + 339 = -3*x + 6*x, -3*v + 226 = 2*x. Is x composite?
False
Let k = 2315 - 1138. Is k composite?
True
Let w = -175 - -464. Is w prime?
False
Let s = 52 + -13. Is s a composite number?
True
Let q(r) = -r**3 - 7*r**2 + 7*r - 5. Let w be q(-8). Suppose w*v = -6, v + 3*v + 559 = f. Is f prime?
False
Let p(l) = 3*l + 3. Let w be p(-2). Let g(h) = -8*h**3 + 2*h**2 - h + 6. Let m(r) = 7*r**3 - r**2 + r - 5. Let s(k) = -4*g(k) - 5*m(k). Is s(w) prime?
False
Let g = 377 + -266. Is g composite?
True
Suppose 2*m = -4*u + 496, 0 = u + 3*u - 5*m - 482. Is u prime?
False
Let l be 27/(-5) + 4/10. Let x = -11 - l. Let c = 0 - x. Is c prime?
False
Let y = 400 + 23. Suppose 66 = 3*u - y. Is u composite?
False
Suppose 69 = 5*q + u, -4*q + 5*u = 4 - 36. Let d = q - 3. Is d/35 + 514/14 prime?
True
Suppose -5*k + 3*n = -40738, 9*n - 7*n = -k + 8145. Is k a prime number?
True
Is (-438)/(-3) + 0 - 3 a prime number?
False
Suppose 0 = -3*c + v + 12140, 9 = -2*v - 1. Is c composite?
True
Let r(p) = -3*p + 0*p**2 + 7*p - 4 + p**2 - 2*p. Is r(-9) a prime number?
True
Let k(r) be the first derivative of 4*r**3/3 - r**2/2 + r + 4. Is k(3) prime?
False
Let g(r) = r**3 - 12*r**2 + 10*r + 16. Let b be g(11). Let m(l) = -2 + 3*l**2 + 2*l + 2 - 6. Is m(b) composite?
False
Let b(y) = 17*y**2 + 2*y + 1. Let f be b(-1). Let s = 23 + f. Is s prime?
False
Is (-112)/4*((-2524)/16 + 3) composite?
True
Let s(q) = -q**3 + 13*q**2 + q - 10. Let f be s(13). Suppose 0 = -f*l + 3, l + 2*l - 418 = -5*u. Is u a prime number?
True
Let m be 3173/5 - 6/(-15). Suppose 2*t - 9 = -3*n, -3*t - 2*t + n = -31. Suppose s + 2*w = 161, 2*s - 5*w = t*s - m. Is s composite?
True
Let y = -54 + 63. Suppose x + 3*x + 668 = 0. Is x/(-3) - 6/y prime?
False
Let j = -2 - -1. Let d = j + 3. Suppose u - 4*o + 71 = d*u, -2*o = -2*u + 192. Is u a composite number?
True
Suppose -4*y = y - 5*o - 1320, 5*o = -2*y + 535. Suppose y = 4*h - 35. Suppose -3*z = -6*z + h. Is z composite?
True
Let o = 171 - 315. Suppose -2*q + 154 + 368 = -2*g, 2*q = g + 526. Let u = o + q. Is u a composite number?
True
Suppose -n - 2 = 0, -n + 6 - 33 = -5*j. Suppose -j*u + 2*y = -17, 5*u - y - 23 = -7. Suppose -3*l + 40 = t, u*l - t - 25 = l. Is l a composite number?
False
Suppose 0 = -3*g - g + 764. Suppose 0 = u - 2*l - g + 64, 254 = 2*u + 2*l. Is u a composite number?
False
Let u(q) = -q**3 - 8*q**2 + 7*q - 7. Is u(-9) a composite number?
False
Suppose -2*l - 5*o = -1286 - 308, o = l - 797. Is l prime?
True
Let o(y) = 4*y + 1. Let l be o(1). Let s be 97/l - (-12)/20. Suppose 10 = 2*h - s. Is h a composite number?
True
Let p(x) = x**3 + 4*x**2 - 2. Let j(i) = -i + 4. Let b be 0 + (-1*2 - -9). Let k be j(b). Is p(k) prime?
True
Let y be 15 + (-4)/(-12)*3. Let w = 50 - y. Is w a composite number?
True
Suppose -3 - 3 = -i. Let x = 1 - -2. Suppose 5*t - 293 = -g, 4*g - 181 = -x*t + i*g. Is t prime?
True
Let f(g) = 4*g**2 - 9*g + 1. Is f(8) composite?
True
Let n = 8 + -2. Suppose -c = -n*c + 395. Is c composite?
False
Suppose -4*g = -1408 - 1948. Is g prime?
True
Let b = 50 - -41. Suppose -2*h - 5*t = -h - 14, 0 = -5*h - 4*t + b. Is h a composite number?
False
Suppose -3*j - 350 = -v - v, -744 = -4*v - 5*j. Is v a composite number?
False
Suppose -3*u + 7 = 2*v - v, -5*v - 22 = -4*u. Is 241/1 + u - -3 prime?
False
Let h(z) be the first derivative of z**3/3 + z**2 - 2*z + 3. Let o be h(2). Suppose -3*v + 169 = 2*n, -5*v + 4*n + 275 = o*n. Is v a prime number?
True
Let s(t) be the third derivative of -11*t**4/12 - 7*t**3/6 + 3*t**2. Let r(w) = 65*w + 21. Let u(f) = -6*r(f) - 17*s(f). Is u(-6) a composite number?
False
Let s(c) = -2*c**2 - 6*c + 