 4*p = -9440, -3*j + n*p = 4*p - 7087. Is j composite?
True
Let f(h) = 470*h**3 + h**2 - 4*h - 1. Let b be f(2). Suppose 24*g - b = 19*g. Is g composite?
False
Suppose -6*h + 4*g + 677743 = -45479, -4*g = -5*h + 602683. Is h composite?
False
Let h(p) = 8*p - 83*p**2 + 12 + 5*p - 8*p**2 + 501*p**2. Is h(-1) a prime number?
True
Let c = -315 + 318. Suppose 30226 = -c*d + 17*d. Is d a composite number?
True
Suppose 0 = -3*f - 189936 - 504696. Is (-3)/(7 + f/33076) composite?
False
Suppose -18 = -m + 3*m. Let g(r) = -8*r**2 + 2*r - 19. Let o(d) = 7*d**2 - d + 19. Let j(f) = 5*g(f) + 6*o(f). Is j(m) composite?
True
Let n be (7 - -8)*(0 + 6/9). Let t(q) = 5*q**3 - 8*q**2 + 5*q + 17. Is t(n) a composite number?
True
Let r = 35905 + 4518. Is r a prime number?
True
Let c = 86 - 100. Let s be (-15)/(-8)*c + 1/4. Is 4/s - -3763*18/26 a prime number?
False
Let t(n) = 216*n**2 - 16*n - 17. Let x be t(5). Let u = x + -1034. Is u a composite number?
True
Let k(l) = -l**3 + 5*l**2. Let m be k(5). Suppose -x + m = -2. Is ((-5969)/(-141))/(1*x/66) a prime number?
False
Suppose -f + 6*f = -5*a + 64590, a - 5*f - 12906 = 0. Suppose 5*v = a + 7894. Suppose -4*q = -3*p - v, -q + 5*p - 2068 = -3*q. Is q a prime number?
True
Suppose -1 = -2*g + 3. Let z be (5/15 - g/6) + 53. Suppose z*s = 50*s + 249. Is s composite?
False
Suppose -7*f - 500 = 18*f. Is (-16078)/(-6) + f/(-15) a prime number?
False
Suppose 19*u = 22*u + 3*o - 620700, u - 3*o - 206936 = 0. Is u prime?
True
Suppose -2287304 - 1637939 = -48*a - a. Is a prime?
True
Suppose 0 = 84*c + 56*c - 13734017 + 3697557. Is c a composite number?
True
Let z = -29 - -33. Suppose -17756 = -5*f - 4*s + 5*s, 0 = -f - z*s + 3547. Is f a prime number?
False
Suppose -7*c + 4*c + 15565418 = 19*c. Is c prime?
False
Let q(v) = 3576*v**2 + 5*v. Let a be 2*(7/(-2) + 3). Let p be q(a). Is 38/171 - p/(-9) a composite number?
False
Is (-63546 + -40)*(-1)/2 a prime number?
True
Let r(y) = 8 + 18 + 9*y**2 - 2*y**3 + y + 11*y + 3*y**3. Let w be r(-6). Suppose 3*h - 4*c + w = 921, h - 5*c - 268 = 0. Is h composite?
False
Suppose 54*t - 53*t = 0. Suppose t = -5*g + 5901 - 846. Is g composite?
True
Let s(v) = 2*v**2 + 9*v - 36. Let c be s(-9). Suppose -c*m + 35*m + 143710 = 0. Is m composite?
True
Let z = 18610 - -1635. Is z prime?
False
Suppose 595566 = -9*f + 2930247. Is f a prime number?
False
Suppose q - 7024 = -2*l + 3*q, -3*q = l - 3492. Is (10 - (-1 - -5)) + l/1 composite?
True
Let o = -17 + 23. Suppose o*j + 57 - 57 = 0. Is j/3 + -1 + 530*1 prime?
False
Let a be ((-6)/(-15))/(9/(-7335)). Suppose -529 = u - 0*u + 3*r, 1567 = -3*u - 4*r. Let l = a - u. Is l a composite number?
False
Let t = -3112 - -7657. Let a = 10676 - t. Is a a prime number?
True
Is 3*2/(-15) + -13 + 2355864/35 a composite number?
True
Suppose 4*n - 9*n + 29175 = 5*y, -4*y + 2*n = -23322. Suppose 4*s - 5*f - 10058 - 5373 = 0, -s = -5*f - 3854. Let t = y - s. Is t a prime number?
True
Is 519963 + 1 - (25/25 + 0 + -8) a prime number?
True
Let b be 0 + 0 - (12 + -12). Suppose b = -22*f + 15*f + 10787. Is f composite?
True
Suppose 482164 + 749956 = 40*u. Is u prime?
True
Let x = 10971 - 6526. Suppose -17*j + x = -12*j. Is j a prime number?
False
Is (-2*1/8)/(16/(-24928448)) prime?
True
Suppose 48 = 14*t - 6*t. Is t/45 + (-411130)/(-150) composite?
False
Let v = -1747 - -3104. Let h = v + -498. Is h a prime number?
True
Suppose -5*w + 0*w = -10360. Suppose 10*l + 4288 + w = 0. Let i = l - -4685. Is i a composite number?
False
Let n be 1/((-3)/(-1 - 5)). Suppose 5*t + 5 = 0, -n*b = -10*t + 11*t - 7717. Is b a composite number?
True
Is (-6 - 667051/21)/(1*(-1)/3) prime?
True
Let v = -1410 + 2443. Let z = 4188 - v. Is z a composite number?
True
Let z = 12639 + -1237. Is z/4 + 3/6 a composite number?
False
Let t = 294 + -289. Suppose -t*r = -3*c + 2473, 2*r = -c - 0*r + 817. Is c prime?
True
Suppose 0 = 5*n - 4*r + 144, -5*n = 4*r + 31 + 145. Is (-424)/n*-1*11*-4 composite?
True
Let h(u) = 4*u**3 - 18*u**2 + 83*u - 439. Is h(30) a prime number?
True
Let k be 70372/(-9) - 1/(-9). Let n = -3912 - k. Is n composite?
False
Let i = 148491 + 19022. Is i a prime number?
False
Let j(c) = 2*c**3 - 4*c**2 + 3*c - 3. Let s be j(2). Suppose -s*p = -1190 + 179. Is p composite?
False
Let i(r) = 4*r**2 + 3*r + 11188. Let n be i(0). Let f = 25557 - n. Is f prime?
True
Let h = 245701 - 168464. Is h a composite number?
False
Suppose 5*a + 817*z - 9247795 = 812*z, 5*a - 4*z = 9247867. Is a prime?
False
Suppose 58*y = 66*y + 163*y - 23440167. Is y a composite number?
False
Suppose h = 2*h - 2*v - 15, -5*h = 3*v - 10. Suppose -5*a = h*q - 1120, -2*a + q = -195 - 253. Suppose g - 223 = -2*m, -2*m = -0*m + 2*g - a. Is m prime?
False
Let a be (1/(2/(-94)))/(-3)*123. Suppose 9653 = 5*o - v, -o + 0*o + 2*v + a = 0. Is o prime?
True
Let l = 142 - 143. Is (-28628)/(-17) + 2 + (-2 - l) composite?
True
Suppose -7 = -d, a = -7*d + 3985 + 4211. Is a a composite number?
False
Let c = 69737 + -49357. Suppose 5*p = -5*p + c. Is p a prime number?
False
Let b(j) = -j**3 - 9*j**2 - 9*j - 43. Let u be b(-18). Is ((-126)/45 + 5)/(1/u) composite?
True
Suppose 0 = 4*n - 5*n - 5*s + 15, -2*n - 5*s = -50. Suppose 70*q - n = 69*q. Let t = 1402 - q. Is t a prime number?
True
Let j(s) = 3*s + 3. Let t(r) = -r + 6. Let v be t(6). Let f be j(v). Suppose 0 = -f*o + 2*z + z + 216, -3*o - 5*z + 256 = 0. Is o a prime number?
False
Let u(a) = -209*a**3 - 2*a**2 - 4*a - 2. Let r be u(-2). Let b = r + -536. Let l = b - 421. Is l a composite number?
True
Let a be ((-10)/15)/((-4)/3)*0. Suppose 4*c + x + 2*x - 2893 = a, -4*c + 4*x + 2928 = 0. Is c a prime number?
True
Let t = -5417 - -1846. Let o = -7048 - t. Is o/(-4) - (0 - 3/(-12)) a prime number?
False
Let u be (3/(-12)*-2)/(10/(-20)). Let l(d) = 345*d**2 + d + 2. Is l(u) a composite number?
True
Let g be (-7 - -1)*1209057/153. Is (-315)/(-525) - g/10 prime?
False
Is (11/(-4))/((-1025)/(-1230)*(-3)/41530) prime?
False
Suppose -16*u = 30*u + 4922. Let w = 1834 + u. Is w composite?
True
Suppose -25*i + 30*i = 1218055. Suppose -125425 = -3*v + i. Is v/84 - (-8)/14 a composite number?
True
Let u = -211 + 215. Suppose -3*i - 14*g + 13*g + 126970 = 0, 2*i - 84642 = u*g. Is i prime?
True
Let a(g) = g**3 - 119*g**2 - 432*g - 169. Is a(124) a prime number?
True
Let k(v) = v**3 - 2*v**2 + 8*v - 9. Let l be k(6). Suppose 0*x = q - 2*x + l, x = -3*q - 570. Is (-9)/(q/(-102))*-7 prime?
False
Is (1 - -38538) + 29/((-58)/16) composite?
True
Suppose -11*j - 414 = -5*j. Let x = -82 - j. Is (x/26)/(1/(-15638)) a composite number?
True
Suppose 45*y - 31375019 = -124*y. Is y prime?
True
Let u = -33 - -38. Suppose 0 = -2*p - 2*m + 1578, 0 = -u*p + 2*m + 657 + 3288. Is p a prime number?
False
Let d(s) = -s**3 + 8*s**2 + s + 4. Let h be d(0). Suppose -h*y = -0*y - 27812. Is y prime?
False
Let n = 7 + -5. Suppose n*a - 3788 = -506. Is (-34)/51 + 4/(-3) + a a prime number?
False
Let k = 181 + -93. Suppose -54*h = -53*h - 5. Suppose -867 - k = -h*u. Is u a prime number?
True
Let t be (-54)/216 - (-677)/4. Suppose -21167 + t = -2*h. Is h a composite number?
False
Is (45/(-25) - -2)/((-47)/(-25694665)) a prime number?
False
Let i(g) = 226*g**2 + 6*g + 1. Suppose 4*b + 4*l = -l - 20, -b - 4*l - 16 = 0. Let y be 10/30*(b - -6). Is i(y) prime?
False
Let s(b) be the first derivative of 3562*b**3 + 5*b**2/2 + 6*b - 54. Is s(-1) prime?
True
Suppose 238*v - 36482599 = 49*v - 62*v. Is v a composite number?
False
Let b(y) = -3*y + 5*y**2 - 4*y + 18*y**2 - 185 + 7*y**2 - 7*y**2. Is b(32) prime?
True
Let t(o) = 3*o - 3. Suppose 2*z - 10 + 8 = 0. Let k be t(z). Suppose k = -2*v + 4*v - 2*d - 264, 2*v - 5*d - 261 = 0. Is v a prime number?
False
Suppose -11*v - 85*v + 193824 = 0. Is v a prime number?
False
Let j = 4714 + 1968. Let i = j - 3602. Let l = -2175 + i. Is l composite?
True
Let m(s) = 141*s + 138. Let f be m(-1). Let i(c) be the first derivative of 11*c**3 + 3*c**2/2 + 5*c + 1. Is i(f) a composite number?
False
Let m be (-10)/(-95) - 348/57. Let f(y) = 24*y**2 + y + 6. Let p(n) = -47*n**2 - 2*n - 11. Let k(a) = m*p(a) - 11*f(a). Is k(-5) a composite number?
True
Suppose 0 = -5*z + 7*k + 103287, 41334 = 2*z + 31*k - 29*k. Is z a prime number?
True
Suppose 0 = 5*i - 341 + 311. Is 9/i*1501512/36 a prime 