a prime number?
False
Let z be 1*1/4 - (-95)/4. Let l = z - -243. Is l prime?
False
Let d be 1 - -3 - (20 - 19). Suppose 5*n = -d*v + 2098, 2 = -5*v + 7*v. Is n composite?
False
Suppose -12*t = -9*t - 5013. Suppose -t = -5*j + b - 0*b, j = -4*b + 351. Is j composite?
True
Suppose -2 = -j - 0*j. Suppose j*v + 16 - 674 = 0. Is v a prime number?
False
Let x = 115567 + -81740. Is x a prime number?
True
Suppose -r - 2*r + 15 = 0. Let k(g) = 487*g + 31. Let x be k(1). Suppose -r*i = -3*i - x. Is i prime?
False
Suppose 41*c - 40*c = 85. Suppose -80*s = -c*s + 815. Is s prime?
True
Suppose 11*s = 12*s + 1375. Let o = -962 - s. Is o prime?
False
Suppose 9022 = 2*b + 3*l, -b - 3*l + 4511 = l. Is b a prime number?
False
Let n = 9 - 6. Suppose -3*g + 0 = -3*j - 9, -5*g - 1 = n*j. Is (-1)/(j/178 - 0) prime?
True
Let i = 526 + 322. Suppose 5*a - a - i = 0. Suppose 3*k = -b + 2*k + a, 421 = 2*b - k. Is b a prime number?
True
Let m = -31691 + 51220. Is m a prime number?
False
Suppose -19*k + 15*k = -984. Suppose -3*a + k = -453. Is a a prime number?
True
Suppose 6*u + 12 = 10*u. Suppose -u*v = 91 - 430. Is v composite?
False
Suppose 5*f - 6*b = -b + 5, 0 = -2*b + 4. Suppose 0 = -p + 3*p - 626. Suppose -2*c + 318 = 4*i, 4*i = 2*c + f*i - p. Is c a prime number?
True
Suppose -v + 2 = 0, -2*r + v - 5*v = -17562. Is r a prime number?
False
Suppose 8*k - 57944 = 77424. Is k a prime number?
True
Let q(u) = u**3 - 11*u**2 + u - 7. Let n be q(11). Suppose 4*o - n = 2*o. Suppose o*j = 3*j - 139. Is j prime?
True
Let x(w) = 136*w**2 + 13*w + 38. Is x(-7) a composite number?
True
Suppose 7*p - 674 = 5*p. Let w = p - -16. Is w composite?
False
Suppose -14 = 4*w - 6. Is (2 + 0)*(-1511)/4*w composite?
False
Let s be (-16)/(-6)*(-48)/(-16). Suppose s*o - 254 = 6*o. Is o prime?
True
Suppose 21*g + 15060 = 25*g. Suppose 25*s + g = 30*s. Is s a prime number?
False
Is 13/(-156)*-12*4421/1 a prime number?
True
Suppose 20*n - 50495 - 38325 = 0. Is n composite?
False
Suppose -710 = -4*p + 794. Let u(r) = -r**3 + 6*r**2 + r - 4. Let j be u(6). Suppose -j*n = -462 - p. Is n prime?
True
Suppose 2*d - 184 = u + 1716, 0 = -4*u + 3*d - 7605. Is (-2 + 1 + 0)*u/6 a prime number?
True
Let c(j) = -j**3 + 5*j**2 + 7*j - 2. Let f be c(6). Let v = f + 0. Suppose -5*m - v*o + 1052 = 9, -o = -3*m + 636. Is m a prime number?
True
Let i be -2 + 9470/25 - 2/(-10). Let s = 630 - i. Is s a composite number?
True
Let m(g) = g**2 + 4*g - 1. Let w be (1/3)/((-6)/(-54)). Suppose 5*d + 18 - 63 = -5*j, 5*j - 21 = w*d. Is m(j) a composite number?
False
Suppose -4*k - 5*u = -6, 4*u - 3*u = -2*k. Let c(l) = -74*l**3 - 2*l - 1. Let b be c(k). Suppose 38 = h - b. Is h a composite number?
False
Suppose 0 = -5*s - m - 16, 2*s + 3 = 2*m - 1. Let h = -377 + 379. Is 51 + h*3/s prime?
False
Suppose -5*z - 15035 = 5*r, -2*z = 3*z - r + 15017. Let b = z - -5613. Is b a prime number?
True
Let i(n) = n**3 + 10*n**2 - 11*n - 4. Let t be i(-11). Is (16/14)/t + (-29385)/(-21) prime?
True
Suppose -56*c = -38*c - 115578. Is c prime?
True
Let s be (-3 - (-1389)/3) + -3. Let m = 178 + s. Is m prime?
False
Let q = 5708 + -3391. Is q composite?
True
Let b = 10661 - 7411. Let n = -1989 + b. Is n composite?
True
Suppose 0 = -5*r + g + 4*g - 95, -12 = -3*g. Is (r/10)/(-3)*1162 a prime number?
False
Let p = 6 - 3. Suppose -15 = -p*x, 21 = -2*v + 5*v + 3*x. Is (956 - 3) + v*-2 composite?
True
Let l(x) = x**2 + 5*x + 4. Let h be l(-5). Suppose -2*f - 478 = -h*f. Suppose 0 = 3*i + b + b - f, -8 = -2*b. Is i a composite number?
True
Is 2*(45378/12 + 5) a prime number?
True
Suppose -23*u - 8605 = -66036. Is u a prime number?
False
Let f(x) = x**2 - 10*x + 16. Let o be f(8). Is 714/5 - ((-2)/10 + o) a prime number?
False
Suppose 5*d + 3 + 2 = -5*m, d + 7 = 2*m. Is 1346/m*(1 + 6) prime?
False
Let z(o) = 51*o**2 - 18*o - 11. Is z(10) prime?
True
Suppose z - 64 + 57 = 0. Suppose -5*k + 2*h = -6325, 8 = 3*h - z. Is k a prime number?
False
Let t be (-4)/(-1 - -3) + -7. Let y be (6 - 3) + 3 + -3. Is 3/t - (-22)/y a prime number?
True
Let c = -14 + 14. Suppose c = -z, -b - 2*z = b - 1266. Is b a composite number?
True
Let x be (9/(-6))/(3/(-2 + -4)). Suppose -5*l - 4*h + 3820 = -1391, 2*l + x*h - 2083 = 0. Is l a prime number?
False
Let y(n) = 186*n**2 - 2*n + 1. Let h(g) = -5*g**2 - 4*g - 8. Let a(k) = -6*k**2 - 5*k - 9. Let j(f) = -6*a(f) + 7*h(f). Let i be j(1). Is y(i) a prime number?
False
Suppose 0 = -4*k + 2*n - n + 6156, -5*k - n = -7695. Suppose k = 5*o - 0*y - 2*y, -2*o + 615 = -y. Is o a composite number?
True
Suppose 0 = 4*x - 13 - 7. Suppose v = 162 - x. Is v a prime number?
True
Let d = -4 + 6. Let x be 0/((-4)/(-4)) + 4. Suppose y + d = 6, 0 = -x*b - 4*y + 312. Is b a prime number?
False
Let v(k) be the first derivative of -k**4/4 + 20*k**3/3 + 33*k**2/2 + 27*k - 5. Is v(20) a prime number?
False
Suppose j + 5 = -x - 0, -40 = 2*x - 4*j. Let p be (-12)/4 - (3 + x). Suppose p*u - 396 = -4*g, -2*g - 287 = 2*u - 5*u. Is u prime?
True
Let y(i) = -i + 15. Let o be y(0). Let l be (0 - (-57)/9)*o. Suppose 6*f - l = f. Is f a composite number?
False
Let a = -25 + 25. Suppose a = 4*z - 3443 - 4733. Let p = z - 1137. Is p a prime number?
True
Suppose 0*g - 4*g - 5*t = -8786, -8800 = -4*g + 2*t. Is g a prime number?
False
Suppose g = 5*c - 2255, -2*c + 5*g = -7*c + 2255. Is (-12)/(-4) + c + -3 prime?
False
Let q(k) = -2*k - 2. Let w be q(-2). Let b(z) = 11*z + 2 - 8*z**w - 8*z + 28*z**2. Is b(-5) prime?
True
Let g(c) = -17*c + 24. Let r be g(15). Let k = 446 + r. Is k a composite number?
True
Let z(y) = -335*y + 67. Is z(-14) composite?
True
Let d(a) = -66140*a + 19. Is d(-2) a composite number?
False
Let f = -720 + 3925. Is f prime?
False
Suppose 9*x - 288 = 549. Let o be 3 - (2/(-2) + 0). Let m = x - o. Is m a prime number?
True
Suppose u = 3*u - 4*j - 42, 0 = 3*u + 4*j - 33. Is u a prime number?
False
Suppose 0 = 6*z + 801 - 2265. Let b = 663 + z. Is b composite?
False
Let k be (9/15)/(3/15). Suppose 6 = k*y - 6. Suppose 15 = 5*r, -5 - y = -u + 4*r. Is u a prime number?
False
Suppose -25*h = -36*h + 69641. Is h prime?
False
Suppose 6*h = h + 11155. Is h composite?
True
Is (-5 - -759) + 33/(-3) a composite number?
False
Let f be (2/(-10))/(-1) + 28/10. Suppose d + d - 361 = -r, -d = f*r - 1068. Is r prime?
False
Let n = -939 + 513. Let w = 805 + n. Is w prime?
True
Let f be -5*6*6/(-15). Is (-54162)/(-24) - ((-3)/f)/1 a prime number?
False
Is 2/(7/(-96124)*-8) prime?
True
Let d(r) = 5*r**3 - r**2 + 8*r - 9. Is d(5) composite?
False
Let h(o) = 2031*o**2 - 5*o + 1. Is h(-3) a composite number?
True
Let f = 10619 - 5186. Is f prime?
False
Let v(r) = 9*r**2 + 18*r + 59. Is v(-13) a prime number?
False
Suppose 4*g - 290 + 105 = -5*q, 3*g = -4*q + 148. Let x = 172 - q. Let a = 14 + x. Is a composite?
False
Let q(l) be the first derivative of 1/3*l**3 - 7/2*l**2 + 4*l + 2. Is q(9) a prime number?
False
Suppose 3*r = 5*r - 4. Suppose s - 5*b = -r*s + 1943, 0 = 2*s - 3*b - 1294. Is s composite?
False
Suppose 3*f = 1 + 8. Is (-1763)/(-3) - f/((-18)/(-4)) composite?
False
Let z = -26002 + 41163. Is z a prime number?
True
Is 52/(-702) + (-478091)/(-27) prime?
True
Is (-649850)/(-30) + -14 - (-4)/(-6) prime?
True
Suppose -3 = -2*r - r. Suppose l - 5 = r. Is 760/l - (-3)/9 prime?
True
Let t(b) = -5*b**3 - 11*b**2 - 7*b - 40. Is t(-9) a prime number?
True
Suppose 2*q = 3*v - 1066, 2*v + 2646 = -5*q - 0*q. Suppose -5*x + 2373 = -2262. Let n = x + q. Is n prime?
True
Suppose 23855 - 5377 = 3*c + r, 5*c + r - 30796 = 0. Suppose -c = -12*z + 2109. Is z a composite number?
True
Let k(d) = d**3 - 7*d**2 + 4*d + 71. Is k(14) a composite number?
False
Let m(v) = -v**2 + 13*v - 5. Suppose 0 = 3*p + 2*r + 2*r - 23, -10 = -p + r. Is m(p) composite?
False
Let k(j) = 2*j**2 - 13*j + 32. Is k(15) a prime number?
False
Suppose -27*s = -30035 - 82744. Is s a prime number?
True
Suppose 2*a + 436 = 3*q, 0*q - 160 = -q - 3*a. Let w = 294 - 63. Let o = w - q. Is o composite?
False
Let f be (0/(-2))/1 + 0. Suppose 4*k - 2*k - 5*r = 679, 2*k + 5*r - 669 = f. Is k prime?
True
Suppose -80*u + 91*u = 386177. Is u a prime number?
True
Let u(w) = -w - 5. Let z be u(-3). Is (5 - (z + 2)) + 1076 a composite number?
True
Suppose 0 = -5*s + 20, 4*s + 9743 = 5*d - 2926. Is d composi