
False
Let w be (-9)/15 - ((-4860)/(-25) + 2). Suppose -5*v = -a - 949, 5*v - 2*a + 7*a - 925 = 0. Let p = v - w. Is p prime?
False
Let j = 5 - -9. Suppose -z - l = z, -5*z + j = -l. Is (-47)/(z/((-10)/1)) a prime number?
False
Let k = 337 - -22932. Is k prime?
True
Let g = 163 + -149. Suppose 9*d + 111715 = g*d. Is d composite?
False
Suppose -63*g + 529632 = 628486 - 6514333. Is g composite?
False
Let v = 501 + -368. Is -2 - -1 - (-19)/(v/4998) a prime number?
False
Let m(c) = 72*c**2 + 35*c + 43. Let i be m(-13). Let w = 22147 - i. Is w a composite number?
False
Let l(z) = -8968*z + 2593. Is l(-82) a composite number?
False
Let v(o) = -9*o + 7. Suppose -t + 1 - 4 = 0. Is v(t) a composite number?
True
Let k(i) = 17*i**3 - 3*i**2 - 4*i + 5. Let s be k(4). Suppose -s = -2*u + 53. Is u prime?
True
Let w be (6 - 4) + -1 + 1. Suppose 0*q = -w*q. Suppose -g + 64 + 619 = q. Is g composite?
False
Let o be -1*6/4 - (-110)/4. Let n = o - -309. Suppose 7*d - n = 2*d. Is d composite?
False
Suppose -2*l + 351477 = 4*s + 127855, -3*l + 335468 = -s. Is l prime?
True
Let v = -35406 - -85846. Suppose 15223 = 13*a - v. Is a a composite number?
False
Is 35/(-140)*(2 - -2900)*-134 a prime number?
False
Let d be (-15)/(-5) + (-1)/(-1) - -9. Let c = 250 - d. Is c prime?
False
Let p(u) = -5*u + 157. Let s be p(30). Suppose 2*a = -5*l + 9795, s*a + 9830 = 5*l + 2*a. Is l a composite number?
True
Suppose 22*v = 27*v - 25*v + 7275740. Is v a composite number?
True
Let h(a) = -a**2 - 3*a + 37. Let j be h(-11). Let n = j + 45. Let m(w) = -2*w**2 - 13*w + 5. Is m(n) a composite number?
False
Suppose -4*f - 2*y = -64, 3*f - 2*y + 5*y = 42. Is (-60076)/(-36) + (-2)/f*-2 composite?
False
Let o = 67898 - 21349. Is o a prime number?
True
Let k be -4 + ((-1)/2)/(4/(-128)). Suppose -7*h + k = 124. Is (0 - -8) + h + 12 - -10449 prime?
True
Suppose -4*p - 4 = a, 1 - 2 = -4*a + p. Suppose h + a*h = -3*h. Suppose 2*m - 6*q + 2*q - 1706 = h, -4*m + 4*q = -3412. Is m composite?
False
Let a = -22205 - -31378. Let c = a - 4432. Is c a composite number?
True
Is (-1194293)/(-5) - ((-224)/(-40) + -6) prime?
True
Let c(x) be the second derivative of 1823*x**3/6 - 43*x**2/2 + 50*x. Is c(6) prime?
False
Suppose 0 = 4*v - 2*j + 64, -5*v = 4*j + 95 - 28. Let l(d) = -16*d + 4 - 50 - d. Is l(v) a prime number?
False
Let b(x) = -x**3 + 16*x + 3*x**2 + 3*x**2 + 4 + 3*x**3 - 3*x**3. Let v be b(8). Is 288 + (1 - -2) + v composite?
True
Suppose -2*d - 13 = -3*x + 7, 0 = 4*x - 2*d - 30. Suppose x*u - 43256 = 2*u. Is u prime?
True
Let z = 3100 - -22687. Is z a composite number?
True
Suppose -5*d + 5*g + 444815 = 0, 2*g + 0*g = -12. Is d a composite number?
True
Suppose 915263 = 78*b - 1362415. Is b a composite number?
False
Let w(v) = v**3 + 25*v**2 + 17*v + 16. Let b be w(-26). Let c = 4101 + b. Is c prime?
True
Let u be (-5)/(-30)*6 - -2*1. Suppose u*v + 9641 + 14177 = 5*c, 4*v = -c + 4782. Suppose 6*m = -2*q + 4*m + 1908, 5*q - c = -m. Is q a composite number?
False
Suppose -2*y + 21*s - 18*s - 8 = 0, 0 = s - 4. Suppose q - 21632 = 3*n, -3*q = y*n + 28151 - 93102. Is q prime?
True
Suppose -22493 = -5*o + 2*k, -3*k = -3*o + 3804 + 9690. Is o composite?
True
Let j = 158 + -150. Let c(r) = 425*r - 197. Is c(j) composite?
False
Suppose 4633 = 4*x - o, -2*o + 1 = -3*o. Let t = 29 + x. Is t prime?
True
Let n(w) = -13802*w - 5931. Is n(-4) a prime number?
True
Let q = 99672 - 51965. Is q composite?
True
Suppose -32*q + 29*q = -12, -4*m + 390100 = -4*q. Is m a composite number?
True
Let p(r) = 10931*r**2 - 24*r + 24. Is p(1) composite?
True
Let x be -1 + 4 + (6 - (-9)/(-3)). Suppose -c + x*c - 5*y + 20 = 0, -12 = 5*c - 3*y. Is (2539 + -18)*(1 - c) a prime number?
True
Suppose 0 = 4*v + z - 26, 2*v - 4*z + 0*z = 22. Let m(t) = 3 + 14 + t + 6 - v. Is m(5) composite?
True
Suppose 19*c - 15*c + 112 = 0. Let x = 23 + c. Let n(w) = -3*w**3 - 11*w**2 + 9*w + 12. Is n(x) a composite number?
False
Let u(m) = 2*m**2 + 72*m + 10. Let q be u(-36). Is ((-614)/3)/((-1)/(75/q)) prime?
False
Let c(u) = -25793*u + 587. Is c(-10) prime?
False
Let i(d) = d**3 - 3*d**2 - 5*d - 6. Let m be i(5). Let b(o) be the third derivative of o**5/20 + 5*o**4/8 - 7*o**3/6 + 5*o**2. Is b(m) a prime number?
True
Let s(d) be the second derivative of 97*d**3/6 + 8*d**2 - 2*d. Suppose 24*u - 55 = 17. Is s(u) prime?
True
Let k be 11 - 11/((-22)/12). Suppose -4*f - 74581 = -k*f. Is f a prime number?
True
Suppose -5*x + 41946 + 172307 = -3*z, z + 128555 = 3*x. Is x a prime number?
True
Is (-4)/(-2) - (11 - 10) - (5 + -112833) a composite number?
True
Suppose -2*l - 2*i - 3014 = 12472, -2*l = -3*i + 15461. Let d = -4412 - l. Is d composite?
True
Let t(u) = u**3 - 6*u**2 - 20*u - 8. Let o be t(14). Suppose o = 10*z - 2750. Is z - 0*(20/(-8))/5 prime?
False
Let a = -1378 - -3155. Let y = -1141 + a. Suppose -7*l = -y + 97. Is l prime?
False
Let n(z) = -z**2 - 3*z + 8. Let h be n(-4). Suppose 0*q + h*q = 1430572. Is q/55 + (-4)/(-10) composite?
True
Suppose 89524 = 3*o - 5*n - 65837, -n = 3*o - 155361. Is o a composite number?
False
Let c = 51 - 79. Let w be 3/(-21) - 6752/c. Suppose -5*n + 54 = -w. Is n composite?
False
Let w = -661 - -672. Let b(l) = 11*l**2 - 9*l + 11. Is b(w) composite?
True
Is 646302/54 - (-8 - (-476)/63) a prime number?
True
Let z(g) be the second derivative of -g**5/20 - g**4/2 + 3*g**3/2 + 14*g**2 + 19*g. Let b be z(-7). Is (-6)/b - 1*4184/(-28) a prime number?
True
Let s = -80 - -74. Let m be ((-22)/4 - s)/((-2)/2188). Let n = 16 - m. Is n composite?
False
Suppose -r = 0, l + 2*l + r = -138. Let w = 36 - l. Let u = 555 - w. Is u prime?
False
Let c be (-5 + 2 - -4) + -3. Let l be (90/(-27))/(c/3). Suppose -3*n = -15, -2*t + 5*t + l*n = 247. Is t composite?
True
Let w = -2 - -2. Suppose 18 = -w*a + 3*a. Suppose 2958 = -0*j + a*j. Is j composite?
True
Let q = -2085 - -1325. Let b = q + 1953. Is b composite?
False
Let n(i) = 9*i + 104*i**2 - 32*i**2 + 133*i**2 + 9. Suppose -7*o - 10 - 25 = 0. Is n(o) a prime number?
False
Suppose 5*w - 31 = 4*p, -3*w + 2 - 1 = 2*p. Suppose 2359 = -2*d + w*d. Is d a prime number?
False
Suppose 18*l - 54*l + 996228 = 0. Is l composite?
False
Let i = 35 + -23. Suppose -3816 = 3*b - i*b. Suppose -2*u = -h - b, 2*u + 3*h + 2*h - 412 = 0. Is u a composite number?
False
Let q(y) be the second derivative of -y**5/20 + 19*y**4/6 - 5*y**3 - 45*y**2 + 19*y. Is q(31) prime?
False
Let g = 13718 + 1500. Suppose 73*i = 71*i + g. Is i a composite number?
True
Let n be (2724/(-8) - -2)*(-8 - -54). Let k = n + 29480. Is k prime?
False
Suppose 0 = -10*x + 11*x + 19. Let g = 24 + x. Suppose -g*l + 27055 = 2*l. Is l a prime number?
False
Let v be (2/(-2))/((-84)/20 - -4). Suppose 0*z = 2*z + v*z. Let f(r) = r**2 + 521. Is f(z) a composite number?
False
Let f = -14 - -20. Suppose -8*a + 2*a = f. Is 1/(5/1060) + a a prime number?
True
Is -7 + (-84285)/(-10) + 10/(-4) a prime number?
True
Let m = 3 + -7. Is (22/m)/((-5)/1070) prime?
False
Let g = -1216 - -66299. Is g prime?
False
Let b(a) = -a**3 - 13*a**2 - 13*a - 13. Let y be b(-12). Is 0/y + 282 + 23 a composite number?
True
Let t(s) be the second derivative of 11*s + 3/2*s**2 + 2/3*s**3 + 451/12*s**4 + 0. Is t(-2) prime?
False
Is (7*10/14 - 56*-64) + 0 composite?
True
Let c(n) = 5*n**2 - 4*n - 12. Let p be c(6). Suppose -136*w = -p*w + 26696. Is w composite?
True
Let o be -2 + 350181 + (0 - (-9 + 4)). Suppose 17*m - o = -7*m. Is m a composite number?
False
Suppose -31*r + 4504 = -36385. Is r a prime number?
True
Suppose -2*n + 447709 = -s, -2*n + 8*s = 12*s - 447714. Is n prime?
False
Let p(k) = 1392*k**3 - 3*k**2 + 31*k + 13. Is p(9) composite?
False
Let o be -4*(-5)/(-5) - 1*-54821. Suppose 36534 = w + w - 2*l, -3*w = 5*l - o. Is w composite?
False
Suppose 0 = -9*b + b + 2560. Let n be (-16)/40 - (-1627)/5. Suppose -2*z + n = g + 2*g, 2*g + b = 2*z. Is z a composite number?
True
Is (-3 - (239825 - 0))*(15 + 1241/(-68)) composite?
True
Let v(y) = -235*y**2 - y + 4. Let l be v(2). Let f = 170 + l. Let c = -505 - f. Is c composite?
False
Let u be (116/(-16))/((-8)/32). Suppose -25*j - 17948 = -u*j. Is j prime?
False
Let g(s) = 11*s - 28. Let i be g(2). Let j(p) = -133*p + 269. Is j(i) a composite number?
True
Let z = -607 - -611. Suppose -2*t - 2*t = 2*k - 3954, 