er?
True
Suppose 159*f - 146397 = -3*q + 155*f, -5*q + 2*f + 243995 = 0. Is q a prime number?
True
Suppose -3*j - 29 + 788 = 0. Suppose -2*d + 176 = -d. Let v = j - d. Is v prime?
False
Let q = 5381 + -3042. Suppose 0 = 2*y - g - q, 1167 = -2*y + 3*y + 2*g. Is y composite?
True
Let h(q) = -2*q**2 + 4*q + 5257. Is h(0) composite?
True
Let s(w) = -w**2 - 8*w - 6. Let o be s(-4). Suppose -o*y = -15*y + 1235. Is y a composite number?
True
Let n(p) be the first derivative of 31*p**7/840 + p**6/360 - p**5/120 + 2*p**3/3 - 5. Let v(h) be the third derivative of n(h). Is v(1) a prime number?
True
Let c(w) = 7*w**2 - w - 1. Let z be (-11)/(0 - -1) - 4. Let r = z + 9. Is c(r) a prime number?
True
Suppose 0*u - 26 = -3*u - 2*o, -5*u + 70 = -2*o. Let c = u + -15. Is -1 + c + 131/1 a composite number?
False
Is (3 + (-225005)/10)*-2 composite?
True
Suppose 3*d + 5*y = -6 - 1, -5*d + 55 = -5*y. Let u = d - -22. Suppose -186 + u = -2*m. Is m prime?
True
Suppose -19*c + 319537 = 34*c. Is c a composite number?
False
Let f(d) = 4 - 158*d - 16 + 4 - 9. Is f(-9) prime?
False
Let w = -1384 - -2427. Is w a composite number?
True
Suppose 0 = -116*q + 126*q - 8890. Is q a prime number?
False
Suppose 5*a + 946 = 3*m, -2*a = -7*a - 25. Is m a prime number?
True
Let t(c) = -c**3 - 3*c + 3 + 4*c**2 - c**3 + 5*c**3. Let y be t(3). Suppose -2*b - y = -5*b. Is b composite?
False
Let s(d) = 27*d**2 - d + 7. Let y = 9 + -6. Let u(j) = 14*j**2 + 4. Let a(v) = y*s(v) - 5*u(v). Is a(-3) a prime number?
True
Let s be 1 - -2 - (2 - -1). Is s + 53 + (4 - 4) a prime number?
True
Suppose 48136 = 2*k - 3*x - 9561, 3*k - 3*x = 86541. Is 4/(64/k) - (-4)/16 a prime number?
False
Let r = 26133 - 18494. Is r prime?
True
Let x = -7 + 11. Let d = -1 + x. Let r(t) = 19*t + 2. Is r(d) a composite number?
False
Let g(i) = 8*i**2 + 29*i - 31*i - 20*i**2 - 1 + 18*i + 2*i**3. Is g(9) a prime number?
False
Let w(d) = -171*d + 24. Let m be w(-7). Let h = m + -692. Is h a prime number?
False
Suppose 60 = -3*i - 4*k, -i = 5*k + 6 + 14. Is 1542 - (-4)/(i/(-5)) a prime number?
True
Suppose 0*h - 291240 = -9*h. Is h/24*3 - (-1 - -1) composite?
True
Let r(u) be the second derivative of -1/20*u**5 + 5*u + 0 + 1/6*u**4 + 3/2*u**3 - 7/2*u**2. Is r(-7) a prime number?
False
Let j = 1805 + -552. Is j composite?
True
Let r = -35 + 15. Is (-291)/12*-2*r/(-2) prime?
False
Suppose -5*y + 4*y = 4*d + 436, d + 879 = -2*y. Let u = -388 + 343. Let f = u - y. Is f a prime number?
False
Let h(w) = -w**2 - 6*w + 5. Let f be h(-5). Suppose o + 5 - 6 = 0, 2*s = -2*o + f. Suppose -s*k - k + 605 = 0. Is k a composite number?
True
Let l be (1/4 + (-1)/4)/2. Suppose 3*s - 7*s + 347 = q, l = q - 3*s - 319. Is q prime?
True
Suppose -7726 = 16*y - 35294. Is y a prime number?
True
Let u(h) = h**3 - 8*h**2 - 69*h - 73. Is u(36) a prime number?
False
Suppose -25*q - 5*q = -572070. Is q a prime number?
True
Suppose -1288406 = 28*f - 126*f. Is f prime?
True
Suppose -5*g - c + 33580 = -285853, -g = -3*c - 63893. Is g prime?
False
Let f = 59 - 11. Let a(g) = -7*g**2 + 12*g + 23. Let r be a(-2). Let y = r + f. Is y a prime number?
True
Let s(t) = -5*t + 27. Let i be s(5). Suppose 2*l - i*k = -1915 + 7561, -5630 = -2*l - 2*k. Is l prime?
True
Suppose -4*b = 2*y - 14, -3 = 5*b - 5*y + 2. Suppose -4*d = -4*z + 5 + 19, 5*d + 15 = b*z. Suppose 0*l - 254 = -2*l - m, 0 = -3*l - z*m + 381. Is l composite?
False
Suppose 3*x = -x + 5*x. Suppose x*r + 4*r - 1468 = 0. Is r prime?
True
Suppose -2*z + 4 = -z. Suppose 2*u + 3*u - 6420 = -m, z*u + 3*m = 5125. Is u composite?
True
Suppose -4*j - 41182 = -2*g - 9132, -j - 64065 = -4*g. Is g prime?
False
Suppose 2*j - 8247 + 719 = -2*i, 3*j - 7529 = -2*i. Is i a prime number?
False
Let q(a) = -7*a + 5. Let r(t) = -6*t + 4. Let h(k) = 5*q(k) - 6*r(k). Let b be h(13). Is ((-3297)/b)/(6/(-8)) prime?
False
Let m(j) = 13*j**2 - 7*j - 13. Let i(x) = 6*x**2 - 4*x - 7. Let r(t) = -7*i(t) + 4*m(t). Let n be (-3 + 2)*2 + -1. Is r(n) composite?
True
Suppose 2*b + p - 837 = 0, -b - 5*p + 2*p = -406. Suppose 2*l - z = b, z = -3 - 0. Is l a prime number?
False
Let f(d) = 1019*d**2 - 4*d + 31. Is f(-6) a composite number?
False
Suppose 3*v = -2*v + 2395. Is v a composite number?
False
Suppose -3*l + 5*f + 2620 = -2*l, -5*f = 15. Is l a composite number?
True
Suppose 0*r + 3*r = -336. Let v = -8 - r. Suppose 3*u - 817 = v. Is u a composite number?
False
Let i be (12/(-24))/(1/(-684)). Suppose -2*w + 2166 = 2*t + i, -1826 = -2*t - 4*w. Is t prime?
True
Let a = -33 + -13. Let d = a + 95. Suppose -2*m = -765 - d. Is m a prime number?
False
Let x = -1845 + 6851. Is x a prime number?
False
Let b(t) = -t**2 - 18*t - 12. Suppose -c - 3*c = 52. Is b(c) prime?
True
Let r be ((-5)/(-10))/((-2)/4). Let f = 9 - r. Is 2/f + 28008/60 a composite number?
False
Is 2 - ((-1751)/4)/(21/84) a prime number?
True
Suppose 5*q = 3*q - 532. Let c = q - -126. Let z = c - -391. Is z composite?
False
Let q = -60 + 63. Let c(o) = 13*o**3 + 3*o**2 - 4*o + 7. Is c(q) composite?
False
Let d(l) = -l**2 - 17*l + 20. Let c be d(-18). Let s(z) = 1 - 5*z + c*z + 3*z + 9*z**2 + 3*z. Is s(-4) a composite number?
True
Let c = -1 - -5. Suppose -7*a - 2*o + 18 = -3*a, 2*a - 18 = -c*o. Suppose -a*v - 4*n + 219 = -0*v, 4*n + 264 = 4*v. Is v composite?
True
Suppose 5*j = -10, 0*q - 2*q = 2*j - 14. Let n be ((-78)/q)/((-1)/6). Let v = n + 37. Is v composite?
False
Suppose 96 = 4*u + 32. Suppose 2*r + u = 78. Is r a composite number?
False
Let b(m) = -m**2 + 12*m + 15. Let l be b(13). Suppose -l*q = -3*q - 4, -f - q + 1083 = 0. Is f a composite number?
False
Let r(s) = -s + 14. Let n be r(2). Suppose -f - 8173 = -n*f. Is f a composite number?
False
Let c(x) = -x**3 + 13*x**2 + 16*x - 3. Let q = 40 - 27. Is c(q) prime?
False
Let g be (-9)/(((-15)/(-10))/(-1)). Is (6 - (g + -3)) + 448 prime?
False
Suppose 124711 = 5*u + 4*a, 3*u - 92583 = 2*a - 17752. Is u a composite number?
False
Is 521025/(-150)*(-1 - 1) composite?
False
Let k be -4 - (0 + 1199) - 3. Let x = -833 - k. Is x prime?
True
Suppose 0 = 2*h - 4*h + 166. Is h a composite number?
False
Let r = 52694 - 36345. Is r composite?
False
Let j(h) = 3*h**3 - 5*h - 6. Let u be j(-6). Suppose -7753 = -7*w - 732. Let g = w + u. Is g a prime number?
True
Let d = -129 - -257. Suppose 0*u - 3*u - 253 = 4*c, 0 = 2*c - 10. Let k = u + d. Is k a composite number?
False
Suppose -5*m + w - 54 = 3*w, -63 = 5*m - w. Let y = m - -8. Let j(a) = -75*a + 7. Is j(y) a prime number?
True
Let r = -10 - -13. Suppose r*d + x - 2211 = 0, 5*x + 3721 = 4*d + 773. Let f = d + -238. Is f prime?
True
Suppose -2*r - 8 + 31 = 5*l, 4*l + 2*r = 18. Let b(h) = h**3 - 6*h**2 + 7*h - 3. Is b(l) a prime number?
True
Suppose -14 = -2*s + 2. Let i be ((-20)/s + 4)*-6. Let y(q) = q**2 + 10*q + 20. Is y(i) composite?
False
Suppose -5*n - 3*d - 1988 = 0, 3*n = 4*n + 4*d + 401. Let h = 189 - n. Is h a composite number?
True
Let w(g) be the third derivative of -289*g**4/6 + 5*g**3/6 + 27*g**2. Is w(-2) a prime number?
False
Let p(f) = 136*f**2 - 2*f - 17. Let r be p(-8). Is (-1)/(3/r*(-7 + 4)) a prime number?
True
Let l = 43 - 29. Suppose -l = 3*q - 4*a, 2*q + q + 4*a = 26. Let r(c) = 38*c + 1. Is r(q) a prime number?
False
Let o be (-4839)/21 + 6/14. Is (o/(-20))/((-1)/(-10)) a composite number?
True
Let w(n) be the second derivative of -100*n**3/3 - 3*n**2/2 + 31*n. Is w(-2) prime?
True
Let x(k) = 15*k**2 - k - 2. Suppose 6*g + 1 = 13. Let w be x(g). Suppose -2*p - w = -4*h, -2*h - 2*p + 3 + 19 = 0. Is h composite?
False
Let t = 715 - -219. Is t a prime number?
False
Let q be (-1)/(-2) + (-68)/16*10. Is (-2298)/q + 4/14 a prime number?
False
Let y(s) = -s**3 + 3*s**2 + 2*s + 4. Let j be y(3). Let l = j - 8. Let m(k) = 103*k**2 + 2*k - 3. Is m(l) a prime number?
False
Suppose 10*f + 24 = 8*f. Let j(w) = -8*w - 9. Is j(f) a composite number?
True
Let f(x) = 18*x**2 - 5*x - 3*x**2 + 5*x**2 - 4*x**2 - 10. Is f(-3) a composite number?
False
Suppose t = -2*t + 15. Suppose -4*f + 13 = 2*y - t, 2*f = 6. Suppose 5*b - 170 = -y*j + 191, 0 = -j - b + 123. Is j a prime number?
True
Let j be 6/1*1*(-10)/2. Is (-4815)/j*28/6 a composite number?
True
Suppose 0 = -4*y - 9*y + 154219. Is y prime?
True
Let x(y) = -9*y**3 - 17*y**2 - 57*y + 7. Is x(-14) a composite number