composite?
False
Let u be 2/(-4)*(-144)/(-9 - -18). Suppose -5*v = -u*v + 14223. Is v prime?
False
Let y = 56217 - 29590. Suppose -i - y = -2*i. Is i composite?
False
Let q(w) = -2*w**3 + 23*w**2 - 8*w - 12. Let b be (-1 + 0)/(6*4/456). Let o(l) = l + 30. Let i be o(b). Is q(i) composite?
True
Suppose 12*g - 88 = 4*g. Let i(f) = -g - 37*f - 28*f - 17*f. Is i(-4) prime?
True
Suppose 4*b + 12096 = 22*b. Suppose -b = -4*n - 5*l + 2662, 2*l - 1666 = -2*n. Is n composite?
True
Let b(t) be the third derivative of -2/15*t**5 + 0 - 7/3*t**3 + 1/120*t**6 + 0*t + 7/12*t**4 + 19*t**2. Is b(11) composite?
False
Let s = 365 - 431. Is s/22 + (-3 + 2)*-9874 prime?
True
Suppose 0 = -18*h - 20*h - 10688 + 70006. Is h prime?
False
Let s(r) = -13*r**2 - 18 + 53 + 35*r**2 + 26*r + 68. Is s(-15) prime?
True
Let m(z) = 7*z**3 + 2*z**2 + 2*z + 5. Let n(f) = 2*f**2 - 15*f + 36. Let v(o) = -o**2 + o + 1. Let r(k) = -n(k) - v(k). Let g be r(10). Is m(g) a prime number?
False
Suppose 0 = 62*p - 1741848 - 7596654. Is p composite?
True
Let a be 1/(-6) + (-50)/(-12). Suppose 84236 = 3*w + w - a*o, -3*w - o = -63173. Let x = w + -12797. Is x composite?
True
Suppose -m - 4*i - 17 = 0, m + 0*i + i + 5 = 0. Is (3 + m)*((-5590)/(-4) + 6) a composite number?
True
Suppose x - 30*t = -27*t + 253610, x = 2*t + 253607. Is x composite?
False
Let c(k) = -734*k + 18. Let v be c(-9). Let x = v - 2092. Suppose x = 2*o - 1998. Is o a prime number?
False
Suppose 6*s = -s + 35. Suppose -2251 = -s*v + 2*v - 4*w, 0 = 4*v - 5*w - 2960. Is v prime?
False
Suppose 6869*o + 130453 = 6870*o. Is o prime?
False
Let o = 385118 + -161935. Is o a prime number?
False
Let d be ((-9)/2 + 3)/((-1)/2). Suppose 29*l - d = 28*l. Suppose l*j - 744 = -3*n, 2*n + 5*j = 270 + 217. Is n a prime number?
True
Suppose 10*l + 28*l = 0. Suppose -2*b - 2*b = -4*f + 9076, -3*f - 2*b + 6797 = l. Is f a prime number?
True
Suppose 2*l = 2*d + 258346, 387475 = 3*l + 548*d - 540*d. Is l a composite number?
False
Suppose -2*l - 5*f + 166055 + 185563 = 0, 175823 = l - f. Is l composite?
True
Suppose -4*f - 4*p = -3*p + 2340, 2925 = -5*f + 2*p. Let z = 2242 + f. Is z prime?
True
Let k = 10950 + -7752. Let q = k + -2257. Is q a composite number?
False
Suppose -15*k - 72784 - 38441 = 0. Let b be ((-12)/(-10))/((-2)/k). Suppose -3*q + 3*j + b = -2*j, -3*j - 1487 = -q. Is q a prime number?
False
Suppose 59 = 7*t + 17. Let n be 2 + (t/(-15))/((-1)/5). Suppose 4*w - n*a = 572, -2*w + 290 = -a - 2*a. Is w prime?
True
Suppose 0 = 3*n + 4*n + 28. Is ((-409)/n)/((-13)/(-52)) a composite number?
False
Let m(a) be the third derivative of 2081*a**5/60 + a**4/12 - 5*a**3/6 - 138*a**2. Is m(-2) a composite number?
True
Suppose 33*z = 37*z. Is -53*(z + 1)*(8 - 9) prime?
True
Let k = 392 - 401. Is 3/(k/(-3893))*3 composite?
True
Is (-173 + 0/4)/((-13)/102947) a composite number?
True
Suppose -2*y + 2 = -4, 2*m + 7 = 5*y. Suppose -5*x - 2*d = -17971, -x + 68 = m*d - 3537. Is x a composite number?
False
Suppose 322*z + 6031864 = 22680230. Is z a composite number?
True
Let m = -70277 - -494400. Is m a prime number?
False
Suppose -130*v + 82*v - 117*v = -3620595. Is v composite?
False
Let q(h) be the first derivative of -h**3/3 - 15*h**2/2 - 2*h + 3. Let p be q(-6). Suppose 943 = 53*y - p*y. Is y composite?
True
Let b(a) be the third derivative of a**6/120 + 3*a**5/20 - a**3/2 + 13*a**2. Let r be b(-9). Is 1 - (0 + r + 5) - -612 prime?
False
Is (2/2)/(61/3007117) a prime number?
True
Suppose 50010 = 2*s + 4*i, -85 + 89 = 2*i. Is s prime?
False
Let j(g) = 55807*g**2 + 63*g - 23. Is j(2) prime?
True
Suppose 5 = 5*b + w - 7, 3*b = 5*w - 4. Suppose -2*z = b*s + s - 9732, 5*z - 24313 = s. Is z a prime number?
False
Let c(x) = 2787*x**2 + 3*x - 1. Let b be c(-1). Let p = b - 1398. Is p a composite number?
True
Suppose 5*d + 8592 + 36143 = 5*r, -4*d = -3*r + 35791. Let f = 16127 + d. Is f composite?
False
Suppose -2*y - 24*q = -29*q - 691002, -3*y + 1036453 = 5*q. Is y prime?
False
Let b(r) = 830*r**2 - 40*r - 201. Let x be b(-6). Suppose -8*i + 12*i - x = -5*l, 0 = -l + 4*i + 6003. Is l a composite number?
False
Let j(b) = -b**2 + 22*b - 51. Let v be j(23). Let r = 79 + v. Suppose 4425 - 1255 = r*z. Is z prime?
False
Let c = 2436 - -13985. Is c composite?
False
Let h = -49 - -58. Let l = -15 + h. Let b(d) = 16*d**2 + 22*d - 1. Is b(l) prime?
True
Let v(y) = 5*y**3 + 2*y**2 + 4*y - 5. Let k be v(5). Let b = -1965 + 1969. Suppose -b*f - k = -3214. Is f a prime number?
True
Suppose 26*m - 30*m + 14436 = 0. Is (2/(18/m))/((-2)/(-34)) a prime number?
False
Let o(m) = -m**3 + 4*m**2 - 14*m - 29. Let z be o(-8). Let d = 1434 - z. Is d a composite number?
True
Let r be 1/(15/40) + (-3)/(-9). Suppose 4*d + r*g - 655 = 2*g, 4*d - 637 = 5*g. Is d a composite number?
False
Let g(c) = -7*c**2 - 4*c + 2. Let y be g(-4). Let m = y - -243. Is m a prime number?
True
Suppose 0 = -5*r - 5*t - 0*t + 9045, 0 = r + 4*t - 1815. Let m = r - 900. Is m prime?
True
Suppose 4*t - 2 = -2*v, t + 2*t = -3*v - 6. Is 3833 + (t + 0)*32/(-24) prime?
False
Let b = 170522 - 34257. Is b composite?
True
Suppose 3*b - 5*h = 2068929, -b = 186*h - 187*h - 689641. Is b composite?
True
Let b(c) = -8082*c - 103. Is b(-5) composite?
True
Let k = 490950 + -283781. Is k a composite number?
False
Let o = 141 + -145. Is o/(-8)*10 + 9230 + 0 a prime number?
False
Let k(u) = 4*u + 6. Let q be k(0). Let s(n) = 1566*n - 41. Is s(q) a composite number?
True
Let y(c) = 1368*c + 2329. Is y(32) a prime number?
False
Let h be (-1)/7*-7 - (-3 - 1). Suppose -h*a = 8946 - 28891. Is a a composite number?
False
Let t be 1*((-1 - 0)*1 + 1). Suppose 4*c - 5497 = 4*q - 16013, -3*q + 2*c + 7889 = t. Is q/6*(18 - (-4)/(-1)) a prime number?
False
Suppose -13*l = -20 - 32. Suppose 0 = -5*b - 2*t + 4574 + 813, -l*b - 2*t = -4308. Is b a prime number?
False
Suppose 0 = -4*w - 2*a, -w - 3*a - 18 = 2*a. Suppose 6576 = w*i - 3846. Suppose -841 = -4*m + i. Is m a composite number?
True
Is (-9)/6*(-448636)/177 composite?
True
Let t(h) be the second derivative of h**5/20 + 9*h**4/4 + 23*h**3/6 - 75*h**2/2 + 109*h + 2. Is t(-26) a prime number?
True
Is ((-677795)/4)/((-65)/52) prime?
True
Suppose 4632 = -2*l + 5*l. Suppose -40*b = -36*b - l. Suppose -100 = 11*s - b. Is s a prime number?
False
Let a = -66640 + 150069. Is a a composite number?
True
Is (-6)/(-24) + 27955/4 a composite number?
True
Let s(u) = 2*u**3 + 5*u**2 + u - 6. Let x be s(-2). Is ((-4)/6)/(x/19554) a prime number?
True
Suppose -5*k + 3*l = -256397, -17*k + 14*k = -4*l - 153847. Is k prime?
False
Suppose 15*t - 4*a - 113188 = 11*t, -4*a + 28287 = t. Suppose 24*l - t = 22081. Is l prime?
True
Let d(i) = -5*i**2 + 16*i + 3. Let h be 2/(-3) + (-3)/((-54)/282). Let n be d(h). Let z = -175 - n. Is z prime?
False
Suppose 25*u + 11*u - 6606193 = 5*u. Is u a composite number?
True
Suppose -25*m + 1476788 = -2448387. Is m a composite number?
False
Let z = -265 + 269. Suppose -z*c + s = -2*s - 6880, 4*s - 3418 = -2*c. Is c a prime number?
False
Suppose 0*k + 42 = -2*k. Let b be 7/(k/6) - (0 - 3). Is b/((-286)/(-57) + -5) a prime number?
False
Let j = 58420 + -20807. Is j a composite number?
True
Let v be ((-193)/2 - 0)*(-3 + 13). Let z = v - -1642. Is z composite?
False
Let r(m) = m**3 + 17*m**2 + m + 23. Let w be r(-17). Suppose w*a - 4013 = -587. Is a composite?
False
Let t be (12*1)/(9 + (-8 - -1)). Suppose -b - 4*p = -2959, -8*b + t*b + p = -5891. Is b composite?
True
Suppose 2*s + 24772 = 4*f, 0*f + 3*s - 30965 = -5*f. Is f a composite number?
True
Let c(j) = j + 10. Suppose 0*y + 32 = -4*y. Let p be c(y). Suppose -o + p*h = -5*o + 2688, 5*h + 3375 = 5*o. Is o prime?
True
Is 1/(-25)*-10*(-1 - (-5997771)/6) composite?
False
Let q(g) = -665*g**3 + g**2 + 3*g + 2. Let v be q(-3). Suppose -4*o = 3*d - v, -11*o + 8*o + 11971 = 2*d. Is d a prime number?
True
Suppose 0 = 399*x - 453*x + 6225822. Is x a prime number?
False
Suppose -4*c + 2*c + 174511 = 5*s, 12 = -4*s. Is c a prime number?
False
Let z(t) = 53*t**2 - 15*t + 45. Let r = 48 - 59. Is z(r) a prime number?
False
Let y be ((-84)/18 + 4)*-681. Let a = 1045 + y. Is a prime?
True
Suppose 2 = 4*s - 2*b, 0 = -2*s + 2*b - 1 - 1. Let z(f) = 5*f - 7 + 2*f - 5 + 75*f**s - 1. Is z(6) a prime number?
True
Let g be (-4)/((-36)/