omposite number?
True
Suppose 10*k - 325851 = 147539. Is k a composite number?
False
Let u = -1340 - -2011. Is u a composite number?
True
Suppose 12*g = 2*g + 22760. Let r = -1455 + g. Is r a prime number?
True
Let b be (-8 - -10)*3/(-2). Is (-1 - 249/(-12))*(1 - b) a composite number?
False
Suppose -599258 = -22*f - 0*f. Is f composite?
False
Suppose -4*v + 4*l + 0*l = -8, 0 = l. Suppose o = -v*r + 1291, -2*o + 7*o + 2603 = 4*r. Is r prime?
True
Let h = 5 + 11. Suppose 4*n + 3*m + m = h, 2*n - 2*m = 0. Is 1/((n/(-290))/(-1)) prime?
False
Suppose 0 = k + k - 22. Let n(w) = 5*w**2 + 6*w - 10. Let q(g) = -4*g**2 - 5*g + 10. Let p(h) = -2*n(h) - 3*q(h). Is p(k) composite?
True
Suppose 6*q = -3*d + 3*q, -30 = -2*d + 4*q. Suppose 3*l + 3*i - d*i = 2711, 889 = l + 3*i. Is l a prime number?
False
Let p(k) = -k**3 + 2*k**2 + k + 3. Let m be p(3). Let t be (1 + 0)*(2 - m). Let g(n) = n**3 + 2*n**2 - 4*n - 6. Is g(t) a prime number?
True
Suppose 3*s - 9410 = -l + 2*l, 0 = 5*s - 5*l - 15680. Is s a prime number?
True
Let o be (1/(-3) - (-21)/9)*-1. Is -1214*(o - 15/10) prime?
False
Let z(k) = 342*k - 59. Is z(48) composite?
True
Let s = -27 - -30. Suppose -1 = -2*k + s. Suppose -4*c + 434 = -k*t, -5*c - 5*t = -550 - 30. Is c composite?
True
Suppose 4*s + 3*a = 6011, 0 = -6*a + 5*a + 5. Is s prime?
True
Let s = -525 - -3116. Is s composite?
False
Is (6/4)/(6/13460) prime?
False
Suppose 17*b = 10*b + 5719. Suppose g - 405 = -2*m, -2*g - b = -4*g + 3*m. Is g a composite number?
True
Suppose 2151*k = 2161*k - 1763350. Is k composite?
True
Is (((-45)/12)/3)/(34/(-850952)) prime?
False
Suppose 0 = -8*x + 15101 + 50395. Is x composite?
True
Let r = 30 - 25. Suppose 5*v = 0, -611 = -2*p + r*v + 135. Is p composite?
False
Let l(d) = d**2 + 2*d + 1. Let h be l(-3). Suppose -2 = h*u - 38. Let k = u - 2. Is k a composite number?
False
Suppose -2*p - 3*p - 3*y - 6 = 0, 10 = -p - 5*y. Suppose 4*v - 1569 - 10019 = p. Is v prime?
True
Let g(f) = 43*f + 3. Let q be (4/12)/((2/(-12))/(-1)). Is g(q) prime?
True
Suppose 4*p + 10 = 1158. Suppose -1430 = -3*i - p. Is i composite?
True
Suppose -72513 = -27*h + 6*h. Is h composite?
True
Let h = 9823 + -3714. Is h prime?
False
Suppose 0 = -b + 8 + 18. Suppose 4*o - b - 6 = 5*v, -40 = -5*o - 2*v. Is -1*6/o*-20 a prime number?
False
Let d = 638 - 895. Let l = d - -386. Is l composite?
True
Let y be 2 - 2*(-12)/8. Suppose -y*c = -0*c - 4265. Is c a prime number?
True
Let p(z) = 180*z - 21. Let m(b) = b + 1. Let h(f) = -4*m(f) - p(f). Let x be h(-9). Suppose 0 = -4*j + x - 561. Is j composite?
True
Suppose 4*a - 4*f + f - 23 = 0, -10 = 2*f. Suppose a*n - 1529 = -2*n - 3*u, -378 = -n - 5*u. Is n a prime number?
True
Let c(g) = g**2 + 4*g - 3. Let v be c(-5). Suppose -5*k + 4 = -11, -v*k + 6 = -a. Suppose -5*m + 102 + 953 = a. Is m a composite number?
False
Let v(o) = 5*o**3 - 8*o**2 + 14*o + 1. Let j be v(-8). Is (j/(-12))/((-3)/(-12)) a composite number?
False
Let q be (-27)/((2 + -3)*-1). Let r = q - -11. Let i = r - -99. Is i a composite number?
False
Let u(j) = -436*j - 19. Is u(-11) a composite number?
True
Let k = 12994 - 6191. Is k prime?
True
Let s(g) be the first derivative of -99*g**2/2 + 16*g - 43. Is s(-2) composite?
True
Let j = -28 + 38. Is (-4456)/(-10) - (16/j)/(-4) a composite number?
True
Let y(m) = -391*m**2 + 3*m + 5. Let v be y(-2). Let d = -444 - v. Is d prime?
False
Let r(a) = a + 11. Let y be r(-9). Suppose 3*o - o + 3*l = 9489, -y*o + 9488 = 2*l. Is 3/6 - o/(-6) prime?
False
Let x be 874/6 + (-2)/(-6). Let z(d) = 18*d**2 - 2*d + 10. Let g be z(9). Suppose -4*v + 2*a + g = 0, v = a + 510 - x. Is v prime?
False
Let g(h) = 91*h**2 + 22*h + 89. Is g(-8) composite?
False
Let t(r) = -1042*r + 7. Let h(z) = 5209*z - 36. Let l(d) = -2*h(d) - 11*t(d). Is l(1) a prime number?
True
Let x(s) = 707*s**2 - 2. Let i be x(-2). Let b = 4573 - i. Is b a composite number?
False
Suppose 0 = 16*x + 90055 - 325239. Is x a prime number?
True
Suppose 0 = 13*m - 12*m. Suppose -4*k - 4*w - 72 = -180, m = 4*w - 12. Is 805/4 + k/32 composite?
True
Suppose 2*q = -v + 2850 - 227, q - 1298 = -5*v. Is q a composite number?
True
Suppose 2*u + 4*z = 598, -2*z - 25 + 617 = 2*u. Is u composite?
False
Let m be (1*-86)/(6/963). Is m/(-11) - -1*(-6)/(-33) composite?
True
Suppose -5*l - 20 = 0, 4*f + 0*l + l = 0. Let o be f - (-8)/(1 + 3). Suppose o*v - 995 - 2590 = 0. Is v prime?
False
Suppose d + 15 = -4*y + 4*d, 4*y + 5*d - 25 = 0. Suppose 2*b + 3*s - 959 = y, 2 = s + 3. Is b a composite number?
True
Let o = -5115 + 8188. Is o a composite number?
True
Is (20/(-8) - -2)/((-1)/17686) composite?
True
Suppose 3*c - 5*c + 6 = 0. Let g = -3 + c. Suppose -f = -6*f + 5*k + 5510, 3*f - 2*k - 3301 = g. Is f prime?
True
Let o(p) = 2169*p - 103. Is o(4) a composite number?
False
Suppose -12*z - 40 = -16*z. Is (-1003 + 1)/(-2) + z + -12 prime?
True
Let n(r) = -r + 1. Let y(f) = -5*f + 42. Let d(k) = -2*n(k) + y(k). Is d(-13) composite?
False
Suppose 0 = v + 2*v + 27. Let y(a) = a**3 + 3*a**2 - 7*a + 5. Let f be y(v). Is (1/2)/((-1)/f) a composite number?
True
Suppose 7*r - 19 = 9. Let z(y) = 2*y**2 - y - 2. Let q be z(-2). Is (4/q)/(r/280) a composite number?
True
Let q(k) = k + 5. Let h be q(1). Is (-3)/h + (-8637)/(-6) a prime number?
True
Suppose -3*m + 2*m - n - 1160 = 0, -3*n + 9 = 0. Is (1/((-2)/m))/((-12)/(-24)) prime?
True
Let m be 1761*(39/9 + -3). Suppose 3*k - 7*k = -m. Is k a prime number?
True
Suppose -5*z + 1038 = p - 876, 5*z + 4*p = 1911. Suppose 0 = 5*v - 4*v - 193. Suppose 0 = -2*n - 0*n + o + z, 2*o + v = n. Is n composite?
False
Let n(p) = 75*p**2 + p + 2. Let t be (-3 + 6)*(3 + -2). Suppose t = 2*y - 3*y. Is n(y) composite?
True
Let m(q) = 4*q**2 + 8*q + 11. Let l(d) = 2*d - 3. Let o = 28 + -23. Let y be l(o). Is m(y) composite?
False
Suppose -9*s = -12*s - 4*c + 17115, c - 11405 = -2*s. Is s a prime number?
True
Let j = -118 - -206. Let f(x) = x**3 + 23*x**2 + 21*x - 16. Let w be f(-22). Suppose j = -2*s + w*s. Is s prime?
False
Is 4/6 + (-296429)/(-51) prime?
True
Let a be (0 + 1)/(0 + (-5)/(-25)). Suppose -a*x - 3*x + 6312 = 0. Is x composite?
True
Suppose -w + 2964 = -4*w - 3*a, 4*w = 3*a - 3952. Let b = -201 - w. Is b prime?
True
Let u = -28 - -31. Suppose -5*f + 6*f - 2 = 0, -u*l + 5*f = -491. Is l a prime number?
True
Let s = -2204 + 3889. Is s prime?
False
Let x(a) be the first derivative of -4*a**4 - 2*a**3/3 - a**2 - 3*a - 1. Is x(-2) prime?
False
Let b be (-2010)/(-54) + (-4)/18. Suppose p - b - 196 = 0. Is p a prime number?
True
Let x(v) = 835*v - 13. Is x(2) prime?
True
Let k = -2942 + 6909. Is k a composite number?
False
Suppose -18853 = -3*r + 2810. Suppose 7*p - r - 6030 = 0. Is p a prime number?
False
Is 1557 - (-3)/((-3)/12 - -1) a prime number?
False
Suppose 4*w - p - 7615 = -4*p, 0 = 2*w - 3*p - 3821. Suppose -w = -5*v + 3*v. Is v a prime number?
True
Suppose -2*a = -a - 268. Suppose 4*v - a = -4*y, 2*y - 138 = -v + 3*v. Suppose 4*w - 28 - y = -4*r, 4*r - 87 = -w. Is r prime?
False
Let t(y) = 91*y**2 + 11*y - 16. Let d be t(7). Suppose 0 = -4*l + d + 1100. Is l a prime number?
False
Suppose 3*y - 3 = c, -3*y + 3*c = 2*y - 9. Suppose y = -4*r + i + 1386, 2*i - i = -2*r + 690. Is r prime?
False
Let i = 110 - 77. Suppose 0 = 2*j - 4*d - 28, j + 4 - i = 5*d. Suppose 2*s + x - 508 = -0*s, -4*x + 1016 = j*s. Is s prime?
False
Let m be -152*3/(-8)*-2. Is (-2)/((-1)/m*-4) composite?
True
Is 6*1 + (62531/(-7))/(-1) prime?
False
Suppose -3*z - 5*t + 0*t = -153068, 10 = -2*t. Is z prime?
True
Suppose -4*g - 20 = -x - 3*x, -4*g + 3*x - 16 = 0. Is (797 - (0 - -1)) + (0 - g) a composite number?
False
Let a = 8071 - -3110. Is a composite?
True
Suppose 7*r + 10 - 66 = 0. Suppose r*d - 1198 = -6. Is d a prime number?
True
Let a = 242 - 64. Let s = 329 - a. Is (s - 0) + (-2 - 0) a prime number?
True
Suppose 2*f - 5 - 9 = 0. Suppose 8*n = f*n + 4. Is -2 - -341 - n - 4 a composite number?
False
Suppose -14*f - 20 = -4*f. Is 2138/5*(9/2 + f) prime?
True
Let d be (-154750)/(-4)*36/45. Suppose -5*p = 146500 - d. Is (-8)/(-52) - p/26 a prime number?
False
Let j be 30/26 - (-2 + (-56)/(-26)). Let c = 3 - 4. Is c/((-552)/(-556) - j) a prime number?
True
Let a(k) = -70*k. Let b(t) = -69*t + 1. Let w(f) = 4*a(f) - 3*b(f). Suppose -2*c = n +