*w - 46. Let x be f(-8). Suppose j + 41 + 25 = 0. Is 4/(-22) - x/j prime?
True
Let n = -18 - -53. Suppose -4*c + 1 = -3*a - 6, -5*a - 5*c = -n. Suppose -5*p = 5, a*p + 308 = 5*d + 75. Is d composite?
True
Suppose -3*o + 28 - 31 = 0. Is (9515/44)/((-2)/8)*o prime?
False
Suppose -576*p + 573*p + 52149 = 0. Is p a composite number?
False
Is -3 + (-183)/(-1)*120/9 composite?
False
Let z = -18 - -19. Suppose -2 = 3*b + z, -3*b + 4472 = 5*m. Is m a prime number?
False
Is 4*(243159/(-28))/(-3) a prime number?
True
Let f be (3789/18)/((-2)/(-4)). Suppose f = 5*v - 3*y, 4*y - 75 = -0*v - v. Is v composite?
False
Suppose 35*m - 34*m + 5*x - 13593 = 0, m - 13629 = 4*x. Is m composite?
False
Let q = 4094 + -2437. Is q prime?
True
Let y(z) = -67*z + 10. Suppose 5*a - 12 = 9*a. Is y(a) a prime number?
True
Let s be ((-1)/3)/(10/120). Let a = -2 - s. Suppose 2*i - 38 = 3*w, a*i - 4*w + 95 = 7*i. Is i a prime number?
True
Let k be 2/(4/(-6)) - 4888/(-4). Let r = k + -68. Is r a composite number?
False
Let a(i) = -i**2 + 3*i - 14. Let b be a(-11). Let s = b + 571. Is s composite?
True
Let u(i) be the first derivative of -8*i**3/3 + i**2 + 3. Let f be u(-3). Let b = -56 - f. Is b prime?
False
Suppose -c - 2*z = -5*z + 2386, -2*c - 3*z - 4790 = 0. Is (-6 - -5)*(c + -1) composite?
False
Let q be (0/(-3) - -4)/(-2). Is q/(-2 + 1) - -31 prime?
False
Let k(i) = i**3 + 17*i**2 + 14*i - 9. Is k(-13) a composite number?
True
Let l(b) = -136*b**3 - 1. Let o be l(-4). Suppose m + o = 10*m. Is m a prime number?
True
Suppose -204044 = 10*s - 650374. Is s a composite number?
False
Suppose -i + 3*i = 2232. Let d = i - 529. Is d a prime number?
True
Suppose -3*o - 4*w = 62, -2*w = 8*o - 4*o + 86. Let r = o + 44. Suppose -4*t + 6 = -r. Is t prime?
True
Let r = 10 + -3. Suppose -r*v + 3*v = -1484. Is v a composite number?
True
Let u(h) = 9*h**2 + 12*h. Let z(g) = g**2 + 1. Let j(p) = u(p) - 5*z(p). Let i be j(9). Let m = i - 300. Is m a composite number?
False
Let q(w) = -38*w**3 + 15*w**2 + w - 15. Is q(-11) prime?
False
Suppose 24*w = 4*w + 139460. Is w prime?
False
Let i(y) = -164*y + 3. Let o be i(6). Let n = o - -3268. Is n prime?
True
Suppose u + 7 = 2*u. Suppose 11*h = u*h. Suppose -b - 1905 = -5*s, 4*s - 3*s + b - 381 = h. Is s composite?
True
Let k(f) = -36*f**3 + 7*f**2 - 6*f. Let v(a) = 34*a**3 - 8*a**2 + 7*a + 1. Let g(r) = -4*k(r) - 3*v(r). Is g(4) composite?
False
Let g = -3173 - -5350. Is g a prime number?
False
Let a be 0*((-39)/(-12) - 3). Is (2606 - (4 - 0)) + (a - -3) composite?
True
Is 225 + (2 - 2*(7 + -4)) a prime number?
False
Suppose 0 = -h - h + 3*p + 7350, -h + 2*p = -3677. Is h a prime number?
False
Let l be (4 - 2) + 2 + -1. Suppose -2*d = -a, -2 = l*d - 8. Suppose -5*q + a*h = -2*q - 53, 0 = q + 5*h - 5. Is q a composite number?
True
Suppose -q = -5*w + 153784, -4*q = 3*w - 2*q - 92273. Is w composite?
False
Let w(i) = -19*i**3 - 5*i**2 - 23*i - 29. Is w(-8) prime?
False
Is (-78)/(-3)*2031/6 a prime number?
False
Let a be (90/(-12))/(1/(-2)). Let t = 20 - a. Is (-310)/(-4) - t/10 a prime number?
False
Let k = -1799 + 5392. Is k prime?
True
Suppose i + 4 = 4*x - 3*i, 0 = -x - 4*i + 11. Suppose -k = -s - 177, -s + 8 = x*s. Is k prime?
True
Let k be 20/(-2) + 16/8. Let u = k + 13. Is (u + 0)*(3 + 16) prime?
False
Let u = 2 + -4. Let w be 2/1 + (0 - u). Suppose w*n - 326 = -o - o, o = 3*n - 252. Is n composite?
False
Let o = -752 + 1952. Let z be 436/2*10/(-4). Let p = o + z. Is p a composite number?
True
Suppose -5*d - 2 = -7*d. Is 2/(2*d/79) composite?
False
Suppose -549905 - 569892 = -49*q. Is q a composite number?
False
Let c be 3 + 205/30 + (-1)/(-6). Is c/45 + (-47001)/(-27) composite?
False
Let b(f) = f - 1. Let q be b(1). Suppose 3*r - 3*k - 15 = 0, 2 = -q*r - 2*r - 4*k. Suppose -r*o = 2*o - 645. Is o a composite number?
True
Let k(y) = y**3 + 6*y**2 + 7*y + 1. Let x be k(-4). Suppose -x*f + 10*f - 525 = 5*m, 5*f - 537 = 2*m. Is f prime?
True
Let a(u) = 631*u**2 - u + 1. Let c(y) = 631*y**2 - y + 1. Let l(f) = 4*a(f) - 3*c(f). Is l(1) prime?
True
Is ((-6)/4)/((-169665)/42414 - -4) a prime number?
True
Let w(d) = -305*d + 54. Is w(-23) a composite number?
False
Let r be ((-12)/(-54))/((-4)/(-36)). Let d = 3 - -1. Suppose 20 = -d*o, r*p = 3*o + 127 - 6. Is p a composite number?
False
Is 2*(-11 + (-13923)/(-2)) a composite number?
False
Suppose -11*r = -7*r + 12. Let c be r - (4 - -2)*-2. Is 2/c + 13279/63 composite?
False
Let t(i) = 13*i**2 + 7*i + 11. Let r be t(-5). Suppose 4*v - r = 295. Is v a composite number?
False
Suppose 51 = -5*p - 14. Let u = -3 - p. Is (5/u)/((-1)/(-278)) a prime number?
True
Let p(m) = -m**3 + 3*m + 3949. Is p(0) prime?
False
Let d(l) = -3*l + 9. Let q be d(2). Let a = 1379 + -397. Is (15/(-6) + q)*a a prime number?
True
Let j(d) = 3457*d + 14. Let u be j(5). Suppose 2*a - 8639 = -5*n, -4*a + u = -0*n + 3*n. Is a a prime number?
True
Let y(a) = 6*a - 10. Let i be y(4). Let l be (-3)/(12/790)*i. Is l/(-15) - 4/(-6) composite?
True
Let z be (-672)/(-5) - (28/20 + -2). Suppose d + 3*d - z = -5*h, 0 = 2*h + 2. Is d prime?
False
Let w(p) = p**3 - 12*p**2 + 6*p + 8. Let g be w(11). Let h = 144 - g. Is h composite?
False
Let u(r) = -117*r - 13. Let y be u(-8). Let d = y + 150. Is d a composite number?
True
Let k(u) = 585*u + 37. Is k(5) prime?
False
Let w = 6 + 0. Suppose -w*g + 2*g + 88 = 0. Is 4/g + (-8185)/(-55) a composite number?
False
Suppose 4*k - 39427 = -3*t, 5*k + 35 - 10 = 0. Suppose -u - 4*u - 2*x = -t, 3*x - 10522 = -4*u. Is u a prime number?
False
Suppose -136*l - 3*w - 287400 = -139*l, 3*w = -9. Is l composite?
True
Let x be (124 - 4)*(2 - (-2)/(-5)). Suppose 0 = -q - 2*u + 9, 5*u = q - 0*u - 16. Let t = q + x. Is t a prime number?
False
Suppose 0*t = t, 5*t + 25 = 5*q. Let s(n) = 42*n + 1. Is s(q) a composite number?
False
Let m be (-258)/(-9) + 3/9. Let r = 110 + m. Suppose b + r = 2*j, -5*j + 3*b + 350 = -0*b. Is j a composite number?
False
Let z(q) = 61*q - 4. Let c be (-13 + 3)*(-2)/4. Let l be z(c). Suppose x + 4*m = 70, -4*x + 3*m = -2*m - l. Is x composite?
True
Suppose 3*u - 4*u - 6 = 0. Is 0 + 633 + u + 5 + -1 composite?
False
Let j(i) be the first derivative of -i**4/4 + 10*i**3/3 + 11*i**2/2 + 8*i - 8. Let d be j(11). Is (2/6)/(d/2088) composite?
True
Suppose 2*r - r + 218 = -4*d, 0 = 4*r + 8. Let i(p) = 4*p**2 + 4*p - 3. Let w be i(-5). Let o = w + d. Is o composite?
False
Let s = 23 + -21. Let c be (-2 + (s - 0))/(-2). Let w(i) = i + 633. Is w(c) a prime number?
False
Is 24/28 + (-285971)/(-49) composite?
True
Let f(i) = 5*i + 27. Let x be f(-6). Let r(j) = -9*j**3 - 3*j**2 - j - 4. Is r(x) a composite number?
True
Suppose z - 90129 = 5*s, z - 3*s - 90141 = -s. Is z a prime number?
True
Let y be (-165)/(-11) - (7 - 2). Suppose y*n - 20820 = 9830. Is n a prime number?
False
Let z = 556 + 3141. Is z a composite number?
False
Let l be (-3)/(-3*3/6). Is (l/(-6))/(23/(-6141)) a prime number?
True
Let p be 28/(-126) - 1150/9. Let g = p + 717. Is g a prime number?
False
Suppose 0 = 238*r - 223*r - 149745. Is r a composite number?
True
Is (5159 + -1)*9/234*13 composite?
False
Let z = 160 + 2. Let l = z - 79. Is l composite?
False
Let i = -1758 - -695. Let u(l) = -l**3 + 3*l**2 + 20*l - 76. Let h be u(13). Let q = i - h. Is q a composite number?
False
Let k be -1*(-3)/(-2)*-298. Suppose -k - 79 = -2*m. Is m composite?
False
Let w = 30787 - 20240. Is w a composite number?
True
Suppose 2*y - 5*v - 9880 = 0, -y + 4940 = -7*v + 4*v. Suppose 0 = 3*r - 2 - 13, u - 3*r = y. Is u composite?
True
Let l be (0 - 2)*(-1)/(1 - -1). Is (8804/2 - -4)/(l*2) composite?
False
Let b(l) = -l**3 - 6*l**2 - 14*l - 15. Let i be b(-10). Suppose -3*x - 36 + i = 0. Is x prime?
True
Suppose 871 = 3*i + x, 2*i + x - 570 = 3*x. Is i composite?
True
Let p(g) = -1 - 4*g + 24*g**2 + 27*g**2 + 0*g. Is p(4) prime?
False
Let h(z) = -303*z + 23. Is h(-16) prime?
True
Let k(n) = 678*n**2 - 2*n - 3. Is k(-1) composite?
False
Let g(b) = 3*b**2 + 1. Let s be g(-1). Suppose 0*c = -s*c + 4. Is 6*c*232/16 a prime number?
False
Suppose 5*k = 2*k + 4*d + 578, 0 = -k + d + 191. Suppose 0 = 8*q - 542 - k. Is q a prime number?
False
Suppose 0 + 4 = 4*d + 2*p, 3*d + 5*p - 3 = 0. Suppose 3*r - 110 = d. Is r composite?
False
Suppose -4*b - 58*w + 5292