False
Suppose 12*l - 9219 = -807. Is l prime?
True
Suppose -3*y + 25963 = 2*z, -5 = -3*z - 17. Is y a composite number?
True
Suppose -10*k + 241752 = -29578. Is k composite?
True
Suppose 0 = 4*v + 4003 + 2021. Let n = 2563 + v. Is n prime?
False
Let g be 0 - 3 - -1*1. Let u(n) be the second derivative of -22*n**3/3 - n**2 - 34*n. Is u(g) composite?
True
Let v(i) = 9*i**2 + 3*i + 1. Let d(j) = -6*j**3 + 1. Let q be d(1). Is v(q) a prime number?
True
Let g(s) = -226*s + 6. Let w be g(-5). Let t = w - -803. Is t a composite number?
True
Suppose -1 = 3*d - 10. Suppose 5*w - 17 = 2*y, 2*w - 5*w = d*y - 27. Suppose -v - y*v + 4*h = -3913, v - 5*h = 770. Is v a prime number?
False
Is (10/(-125)*-5)/((-5)/(-7075)) composite?
True
Let w = 22 - 16. Suppose 0 = -5*f - u + 15, w = f + 5*u - 21. Is 9276/44 + f/11 a composite number?
False
Let h(l) = -14*l + 2741. Is h(0) a composite number?
False
Is (8396/(-12))/((-2)/6) a prime number?
True
Suppose 4*m - 3*a + 19413 - 86794 = 0, 2*m - 33674 = -4*a. Is m a composite number?
False
Let v(z) = -z**3 + 10*z**2 - 14*z - 16. Let a be v(8). Suppose a = 9*q - 10*q + 203. Is q composite?
True
Suppose 3*i = 2*i + 2. Suppose -3465 = -3*d + i*r + r, -5*r = 20. Is d composite?
False
Let k = -13412 + 23866. Is k a composite number?
True
Let b(c) = -c. Let u(l) = -6*l**2 + 5*l + 1. Let s(q) = -3*b(q) - u(q). Is s(-7) a prime number?
True
Let v = -121 - -116. Let t(m) = 15*m**2 - 4*m + 2. Is t(v) composite?
False
Let i(p) = -p**3 + p + 3. Suppose -4*k + 27 = 3*j + 10, -3*j - 3*k = -15. Let g be i(j). Is g/((-1 - 1)/2) a composite number?
True
Let o be (-1 + 0 - 0) + 6. Let h be 65/25 - 24/(-60). Suppose h*c - c + 1349 = o*x, 4*x - 1078 = c. Is x prime?
True
Let h = 549 - -6902. Is h a prime number?
True
Suppose -3*p = -2*j + 233, 3*p - 4*p = -1. Let a = j + 45. Is a a prime number?
True
Suppose -5*q = g - 241490, 6*g + 25 = g. Is q prime?
True
Let u(j) = -j**3 + 2*j**2 + 4*j - 4. Let o be u(3). Let y = 5 + o. Suppose 0*h + 628 = y*h. Is h a composite number?
False
Is 8468 + -4 + 1 + 2 prime?
True
Let h = -7 - -11. Suppose -779 = -h*q - 215. Is q a prime number?
False
Suppose -5*v + 2*y = -20, 0 = 2*v + 4*y + y + 21. Suppose v*u + 34 = 5*f, 4*u = -5*f + 3*f - 116. Is (-425)/(-9) + 6/u a composite number?
False
Let i be -9*(6/(-12) - (-122)/12). Is (-44)/(-2)*i/(-6) a prime number?
False
Is (-30)/5 + 7 - -10098 a prime number?
True
Let t = 19944 - 10411. Is t composite?
False
Is (-75980)/40*(-3 - 1)/2 a composite number?
True
Let z = -51 - -142. Let a = -61 + z. Suppose 0 = -3*n - a + 225. Is n a prime number?
False
Let v be 11 - ((-1 - 2) + 4). Suppose -972 = -v*t + 1078. Is t a composite number?
True
Let o(y) = -y**3 + 55*y**2 + 138*y - 139. Is o(41) a prime number?
False
Suppose 5*g - 7276 = 2879. Suppose 4*x + x + y = g, -4*x + 1640 = -3*y. Is x composite?
True
Suppose f + 0 = 5. Suppose -2*a + 66 = 3*p - 175, -168 = -2*p - f*a. Is p composite?
False
Suppose -5*t - 31 = l, 2*t + 16 = -l - 0*l. Is 0 + 443 + (-18)/l composite?
True
Let k(c) = -760*c - 37. Let s(i) = -253*i - 13. Let q(b) = -6*k(b) + 17*s(b). Is q(7) prime?
False
Let b = 275 - 216. Is b a prime number?
True
Suppose 281*p - 293*p + 578868 = 0. Is p composite?
False
Let j(a) = a**3 - 6*a**2 + 2. Let d be j(6). Suppose -x - 177 = -d*i, 4*i - 4*x = -96 + 460. Let y = i - 49. Is y composite?
False
Let i = 20 - 17. Suppose -q = 4, -251 = i*d + q - 820. Is d a composite number?
False
Suppose 74*g - 78*g = 5*d - 272233, 2*g - 272229 = -5*d. Is d a composite number?
True
Suppose 116912 = 9*z - 153889. Is z composite?
False
Let v(l) be the first derivative of -3 - 3*l - 3*l**2 + 4/3*l**3. Is v(-5) composite?
False
Let i be (0 - 13)/((-12)/492). Suppose 8*l = i + 179. Is l composite?
False
Let u(x) = x. Let b be u(-4). Let l(y) = -y**2 - 10*y. Let s be l(-12). Is 6/s - 445/b composite?
True
Suppose -d - 374 = -0*d. Suppose w = 2*h - 0*w + 321, 4*h + 672 = -4*w. Let t = h - d. Is t composite?
False
Let n = -11 - -11. Suppose n = k - 98 + 43. Is k prime?
False
Is 33079515/350 - (-2)/20 prime?
True
Let s = -910 - -5799. Is s composite?
False
Suppose -5*w + 813 = 43. Suppose 3*r - 652 = -w. Is r prime?
False
Suppose 0 = -4*s + 20, 5*v = 4*s + 6 + 4. Suppose v*n = 32 + 862. Is n a composite number?
False
Let n(u) = 85*u - 24. Let s be n(18). Suppose 2*r + 0*r + 2*h = 1498, 0 = -2*r - 4*h + s. Is r a prime number?
False
Suppose -65439 = 17*c - 8*c. Let l = c + 15088. Is l prime?
True
Suppose 24*f - 15 = 19*f. Suppose 117 = -f*g + 291. Is g prime?
False
Let o(b) = b + 6. Let l be o(-4). Suppose -3*k + 5*k = -4*r + 360, 3*r = l*k + 263. Is r prime?
True
Let v = -52590 + 116279. Is v composite?
False
Let o(b) = 4 + 2*b - 5*b - 2 + 2*b. Let u be o(2). Suppose f - 129 = -u*f - 4*i, 10 = 2*i. Is f prime?
True
Let o(a) = 12*a**3 - a**2 - a + 1. Suppose -3*d + s = -12, -s + 16 = 3*d + d. Let g be d + (9 + -3)/(-2). Is o(g) composite?
False
Suppose 5*q - 75 = -3*s + 2*s, 52 = 2*q - 4*s. Suppose -q = u - 27. Is u a prime number?
True
Suppose 3*h - 2*r = h + 18, -h - 11 = 3*r. Suppose -h*i + i = -1761. Is i prime?
True
Let g(j) = -3*j + 0*j + 0*j - 8*j - 3. Let r be g(-4). Suppose 0 = q - 2 + 4, r = 3*n + 2*q. Is n a prime number?
False
Suppose -9*q - 36255 + 88212 = 0. Is q a prime number?
False
Suppose 5 - 35 = -6*k. Suppose 0 = k*f + f - 2670. Is f composite?
True
Let p(v) = 605*v**2 + v - 5. Is p(-2) a composite number?
True
Let u be (1 - -2 - -4) + 2. Let d = u + -3. Is d/(-27) - 58/(-18) a composite number?
False
Suppose 2*a + m = 20, -5*m + 3 = -7. Suppose 7*b + a*b = 10960. Is b a composite number?
True
Suppose -10 = -o + 3*u, -5*u = -3*o + 12 + 6. Is 3 - ((-3789)/o + 1) a prime number?
False
Let j = -1012 - -5231. Is j a prime number?
True
Let z(q) = -q - 8. Let a be z(-8). Let t(r) = r + 333. Let h be t(a). Suppose 2*s - h = -s. Is s a composite number?
True
Suppose -5*w + 6342 = 4*u, 2*w - 5*u - 1746 = 771. Suppose 0 = 4*z - w - 610. Is z composite?
True
Let j(p) = p**2 - 2*p - 3. Let m be j(0). Let v = m - -11. Suppose 3713 = 5*w - 3*g, -g = -3*g + v. Is w prime?
False
Let b(w) = -3 + 120*w + 2 + 94*w + 2*w. Let i(p) = 216*p - 1. Let g(t) = 6*b(t) - 5*i(t). Is g(1) prime?
False
Let l(d) = d - 7. Let w be l(-7). Let k = -11 - w. Suppose -k*f + 54 = -45. Is f a prime number?
False
Let y(p) = 436*p - 9. Let r(d) = 1308*d - 28. Let a(k) = 6*r(k) - 17*y(k). Is a(3) composite?
True
Suppose 4*g = -3*r + 2835, 4 = -3*g - 5. Is r a composite number?
True
Let p be (25/10)/(1/38). Suppose h + 4*c = p, -2*h + c - 56 + 228 = 0. Is h prime?
False
Suppose -32*w + 1756 = -31*w. Suppose k + 3*k = w. Is k composite?
False
Suppose 10 + 14 = -4*c. Let a = c - -41. Is a prime?
False
Let j = 915 + -470. Suppose 7*n = 3*n - 8, -5*u = 5*n - j. Is u prime?
False
Let m(d) = -5*d + 258. Is m(-31) a prime number?
False
Let j(g) = 8*g**2 - 3*g + 9. Is j(-4) a prime number?
True
Let k(m) = 66*m - 77 + 51 + 69. Is k(14) prime?
True
Suppose d + d + 4*h - 20 = 0, -2*d - 2*h + 12 = 0. Suppose -3*m + 1 + d = 0, 92 = -2*f - 2*m. Let b = 27 - f. Is b a composite number?
True
Let q = -30227 + 70020. Is q a prime number?
False
Let p(c) = 72*c**2 - 13*c - 232. Is p(-21) composite?
False
Suppose 2*y = u - 12, -3*u + 2*u + y = -8. Suppose u*t - 25 = -t. Suppose -25 = 5*w, 2*q + t*w = -q + 548. Is q a composite number?
False
Let u = 405 + -323. Is u prime?
False
Let f = 1077 - 593. Suppose 0 = -0*o - 8*o + 16. Suppose 4*i = -j + f, o*j - 459 - 146 = -5*i. Is i a composite number?
True
Let d = -5 - -14. Suppose -12*j = -d*j - 879. Is j a composite number?
False
Suppose -3077 = 3*b + 3*z - 11240, -3*b + 8162 = 4*z. Suppose -k - b = -3*k. Is k a composite number?
False
Let v(z) = -z**2 - 7*z + 10. Let o be v(-8). Suppose 0 = -3*w + o*x + 527, -3*w + 2*w + x = -174. Is w composite?
False
Let r(b) = -81*b + 47. Let a(m) be the third derivative of -5*m**4/3 + 23*m**3/6 + 10*m**2. Let v(l) = -5*a(l) + 2*r(l). Is v(11) prime?
True
Let h(v) = 3*v**2 + 5*v - 8. Let u(i) = -i**2 + i + 1. Let o(n) = -h(n) - 5*u(n). Is o(-10) composite?
True
Let c be 2*(-4)/((-32)/20). Let v(j) = j**3 - 3*j**2 - 2*j. Let g be v(c). Suppose f - n + 7 = 25, -2*f + g = -3*n. Is f a composite number?
True
Suppose 19*m - 153924 = 219217. Is m 