 3*j. Let y = 8 + g. Is z(y) composite?
False
Is (-4)/(-38) + (-3409596)/(-1007) a prime number?
False
Suppose 4*t - 3*p = -8*p + 28494, 4*t - 28490 = -3*p. Is t prime?
True
Let b = 19 - 9. Suppose -3*w - 1001 = -b*w. Is w prime?
False
Suppose -r + 3*q = 4*q - 30, 4*q = 2*r - 48. Let l be 2*8/12*3. Is r/21*42/l prime?
False
Is 5/25 - 46208/(-10) prime?
True
Let y(h) = 17*h - 7. Let q be y(1). Suppose 13*l - q*l = 3957. Is l a composite number?
False
Suppose -68221 = -9*a + 71630. Is a prime?
False
Suppose -20 + 151 = w + 3*x, 5*w - 699 = -4*x. Is w composite?
True
Let u(z) = -z**3 + 10*z**2 + 10*z + 9. Let w = 25 + -14. Let f be u(w). Is 1*(39 + (f - 0)) prime?
True
Suppose 4*p + 8 = 4*r - 12, -r = 4*p - 20. Let s be 8*(20/r - 2). Suppose 0 = -4*y - s*v + 204, 0 = -3*v - 11 + 26. Is y a composite number?
True
Suppose -2*z + 91186 = -3*s, 136809 = 3*z - 4*s + 7*s. Is z composite?
False
Suppose 0 = 3*j + 5*j + 3*j. Suppose -3*z + z + 2570 = j. Is z composite?
True
Let x(z) be the third derivative of z**6/360 + z**5/30 - 5*z**4/8 + z**3/6 + z**2. Let a(j) be the first derivative of x(j). Is a(12) prime?
False
Let z(m) = 32*m**2 - 6*m - 5. Is z(-1) a prime number?
False
Let q(o) = -3*o + 9. Let p be q(-4). Suppose 0 = -s + 4*f - p, -5*s + 8 = 5*f - 12. Is 2/s + 4 + 57 a prime number?
True
Let a(g) = 2*g - 10. Let q(r) = 4*r - 18. Let k(f) = -5*a(f) + 2*q(f). Suppose -8 = -2*h + 4. Is k(h) prime?
True
Suppose 3*v = -5*w + 32, -5*v + 20 = -2*w + 8. Suppose -9*l = -w*l - 13415. Is l prime?
True
Let s = 43 - 28. Is -753*((-40)/s - -2) a prime number?
False
Suppose -b = 134 - 4123. Is b prime?
True
Let t(q) = 56*q + 5. Let d(b) = b - 1. Let u(g) = -2*d(g) - t(g). Is u(-11) composite?
True
Is (-215454)/(-34) - 6/(-51) a prime number?
True
Suppose -2*d + 1 = -4*z + 9, 3*z = 3*d + 6. Suppose -3*o + x + 7 = -5*o, d = -3*o + 4*x - 27. Let r(s) = 5*s**2 + 6*s - 6. Is r(o) a prime number?
True
Let b be -3 - 0 - (0 - 9*15). Suppose l - b = 161. Is l composite?
False
Suppose -2*t = 39*n - 43*n + 3816, -4*t = -8. Is n a composite number?
True
Suppose 15807 = 12*o - o. Is o composite?
True
Let n = -4037 + 8128. Is n prime?
True
Let t be 18/(-27) + (-2)/(-3). Suppose -7*g + t*g + 1855 = 0. Is g prime?
False
Let w = 12 + -56. Is (-8655)/(-11) + (-8)/w a prime number?
True
Let a be 28/35 - (-32)/10. Is (-2696)/(-2)*((-34)/(-8) - a) composite?
False
Let i be 232 + -3 + 0/3. Let k = i + -108. Is k a prime number?
False
Suppose -4*p + 2982 = -5*n + 26, 3*p - 2222 = 5*n. Is p composite?
True
Let c = 2052 - 1428. Is c/4*15/2 + -1 prime?
False
Is 52082 - 7/(9 + -2) prime?
True
Let w = -25365 - -68158. Is w a composite number?
False
Let u be (-2 + 1 + 2)*1. Is -4 + (30 + -4)*u composite?
True
Let h be (-76)/10*(-10)/4. Suppose -64 = 15*f - h*f. Let c(v) = 3*v**2 - 22*v - 7. Is c(f) composite?
False
Suppose -224 = 2*z + 54. Let k = z - -536. Is k composite?
False
Let z(y) = 88*y**3 + 2*y**2 - 2*y + 1. Suppose 4*w = 3*p - 45, -2*p + 4*w + 30 = 8*w. Let f be p/12 + (-2)/8. Is z(f) a prime number?
True
Let x be (-2)/(-4)*(4 + -6). Let p(n) = -3*n**2 - n. Let w be p(x). Is 50 + w/((-4)/2) a prime number?
False
Let k = 0 + -5. Let q = 10 + k. Suppose -1059 = -q*t - r, -2*r + 864 = 4*t + 3*r. Is t a composite number?
False
Let x = -2488 + 7106. Is x a composite number?
True
Let l(n) = n**2 + 24*n + 4. Let q be l(-24). Suppose 2*h = -w + 983, -4*w + q*h + 1767 = -2225. Is w composite?
True
Suppose b + 3*b = 28. Suppose 0 = 4*g - b - 13. Is 746/g + 1/(-5) a prime number?
True
Let p = 715 - -1122. Is p a composite number?
True
Let n = 51416 - 36308. Suppose 7*z + 5*z - n = 0. Is z prime?
True
Suppose 2*s + 2*s - 16 = 0. Suppose -s*n + 5*t = 149, t - 134 = 5*n + 26. Let v = 43 - n. Is v composite?
True
Let n be (-5)/2*36/(-45). Suppose 20 = 2*f - t + 3*t, 3*f - 40 = n*t. Let g(u) = 2*u**2 - 12*u - 3. Is g(f) prime?
False
Let z = 3643 + -2530. Let s = z - -508. Is s a composite number?
False
Let b(u) = 101*u**3 + 2*u**2 - 31*u + 123. Is b(7) composite?
True
Suppose -m + 1 - 7 = 0. Let s be -2 + -5 - m/(-3). Is 2/s + 5243/63 composite?
False
Suppose 2*m + 3373 = 5*v - 2*m, -v + 677 = -2*m. Is v a prime number?
True
Let r(j) = 4*j**2 - j + 2. Let c be r(3). Is (c/15 - 3)*-669 a prime number?
False
Let l be 236/(-13) + (-14)/(-91). Let g be (l/27)/((-4)/42). Suppose 0 = 3*t + 4*w - 2363, -3*t - 3138 = -g*t + w. Is t a prime number?
False
Let c(t) = -t**3 + 8*t**2 + 28*t + 10. Let l(s) = -s**3 - 9*s**2 - 9. Let h be l(-9). Is c(h) composite?
True
Let p(u) = -11*u + 43. Let b be p(4). Is (-66484)/(-36) + b/(-9)*2 a composite number?
False
Let o(m) be the first derivative of -3*m**4/4 - 3*m**3 + m**2 - m + 1. Let f be ((-40)/(-20))/((-2)/7). Is o(f) composite?
True
Let m = -1709 - -4042. Is m a composite number?
False
Let f(c) = 915*c**2 + 7*c + 5. Is f(-1) composite?
True
Suppose -7821 = -4*a - 2*c + 118979, 5*a - 158489 = 3*c. Is a a prime number?
True
Suppose -24290 = -2*w + t, -5*t + 23953 = 2*w - 361. Is w prime?
False
Let x(b) = -b - 3. Suppose 0 = -4*j + 2*u - 16, -5*u + 0 = 4*j + 44. Let i be x(j). Suppose 0 = -i*o + 4*o - 37. Is o a composite number?
False
Let a = -20781 + 31233. Suppose 4*j - a = -4*g - 1552, 4*g + 2205 = j. Is j a prime number?
True
Let r = 921 - 20. Is r prime?
False
Suppose -36 = -3*j + l, -3*j + 4*l + 31 = 4. Let f = j - 8. Suppose h - 494 = -f*u - 51, -u = 4*h - 81. Is u composite?
False
Let x be (-5 - (-44)/6) + 1/(-3). Is 402 + (3 - x - -4) a prime number?
False
Is (-22)/(-77) + 270681/7 composite?
False
Let t(o) = -15*o - 1. Let d be t(-19). Let p = -112 + d. Suppose -p = 8*x - 2244. Is x prime?
False
Suppose 28 + 56 = 3*b. Let s = 645 + b. Is s prime?
True
Let r be 1 - 6*(-4)/(-3). Is (r/2)/(2/(-4)) prime?
True
Let d(t) = 102*t**2 + 3*t - 4. Is d(-5) a composite number?
False
Is (42590/5)/1 + -5 a prime number?
True
Suppose r + o = -7, 4 - 1 = -o. Is (0 - 4328/r)*3/6 a composite number?
False
Is (182694/16)/(54/(-72))*-2 prime?
True
Is (((-15108)/(-9))/1)/((-16)/(-12)) a composite number?
False
Let c be (-18)/(4*1/(-2)). Let f = c - 6. Suppose -2*a + 5*d + 53 = 0, 5*d + 67 = f*a - 0. Is a a composite number?
True
Let j(u) = -33*u - 11. Suppose 3*w - 11 = -h - h, -w = -4*h - 27. Suppose p + 1 + w = 0. Is j(p) composite?
True
Suppose -5*n - 1811 + 8306 = 0. Is n a prime number?
False
Let p be ((-12)/15)/((-10)/75). Suppose -w - 4*h = 442, p*w - h + 1339 = 3*w. Is w/(-6)*(-72)/(-24) prime?
True
Suppose 4*z = 3*z + 3*z. Suppose -2*n - 4*t + 1457 + 457 = z, 0 = -3*n - 2*t + 2887. Is n a prime number?
False
Let k = -18309 - -57670. Is k a prime number?
False
Suppose 5*x - 28509 - 6476 = 0. Is x composite?
False
Suppose 2*q - 19828 = -2*q. Is q a composite number?
False
Let j = 5884 + 866. Suppose f - j = 3655. Is f prime?
False
Let k = -219014 + 375433. Is k a composite number?
False
Let r(q) = -3*q - 21. Let j be r(-7). Suppose 8616 = 4*y + u, y + 4*u = -j*y + 2169. Is y prime?
True
Let j(g) = -g**2 - 10*g - 12. Let h be j(-8). Let c = h - 5. Is 4*(0 - c)*1 prime?
False
Let t(y) = y**3 + 5*y**2 + 2*y - 4. Let n = -8 + 5. Let p be t(n). Suppose u + 2*o = 303, -5*o + 12 = -p. Is u a prime number?
False
Suppose 0 = 5*i - 989 - 831. Suppose 0*w = -w - 4, v = 3*w - i. Let j = v - -1067. Is j a prime number?
True
Let p(h) = 6794*h + 151. Is p(3) a prime number?
True
Suppose 0*b - 2*b = 4*o - 4968, 0 = -4*b - 16. Is (-1)/(-3)*(o + 13) a prime number?
True
Let x(g) = -44*g + 16. Let k be x(-6). Is 3434/7 + -15*(-8)/k composite?
False
Suppose 3*r = 577 + 68. Let l = 84 + r. Is l a composite number?
True
Let r(n) be the first derivative of -55*n**2/2 + 3*n - 45. Is r(-4) a composite number?
False
Let z(v) = 758*v**3 + 2*v**2 - 1. Let p be z(-1). Suppose -5*a + 5986 = -4*u, 16*a - 1178 = 15*a - 4*u. Let b = p + a. Is b prime?
False
Let y(v) be the third derivative of 127*v**5/30 + v**4/24 - v**3/2 + 3*v**2. Let b be y(2). Suppose -b = -0*d - 5*d. Is d composite?
True
Let v be 1/(-4) + (-19347)/(-12). Suppose -2*f + 2690 = -v. Is f/33 + (-2)/11 a composite number?
True
Let f be 4 - 4*(-5)/(-4). Let i be (3 - f)*(-3)/(-4). Is (-2)/i - 6586/(-6) a prime number?
True
Let j(l) = 1894*l + 685. Is j(22) prime?
False
Let i = -7325 - -21304. Is i prime?
False
Suppose w = 4*n