 b = -9 + 3. Is b/(-15) + 1643*2/m composite?
True
Suppose -3*g + 3 = y - 1, 3*y - g = 12. Suppose 3*v + 5*d - 1804 = 0, -7*v + 2*v = -y*d - 2945. Is v a composite number?
False
Let p(o) = 67*o**3 - 3*o**2 + 3*o. Let z = 18 + -16. Let b be p(z). Suppose 4*h = 6*h - b. Is h prime?
False
Suppose 2758980 - 6912604 = -7*g + 3282973. Is g a prime number?
False
Suppose 1400054 = 2*a - o - 2414658, -2*o + 7629432 = 4*a. Is a prime?
True
Suppose 22*m + 38*m = 789217 + 1073123. Is m composite?
False
Let m(p) = 0 + 314*p**2 - 5 - 2*p + 0*p. Let f = -8522 - -8520. Is m(f) a prime number?
False
Let r(j) = -j**3 - 5*j**2 + j + 7. Let s be r(-5). Suppose 2*u = z + 6*u - 2, 0 = s*z + 5*u - 1. Is (0 + z)/(1 + (-2637)/2631) prime?
True
Is (-2347865)/(-21) + 40/(-420) composite?
True
Let i be 32/4 - (3 + -2). Suppose -10*v = -i*v + 6. Let r(w) = 227*w**2 + w + 1. Is r(v) prime?
True
Is (6/(0 + 6))/((-5)/(-349865)) composite?
True
Let d(r) = 249*r - 23. Let p = 132 - 96. Let a be 8/12*p/4. Is d(a) composite?
False
Suppose 0 = -5*q + 5*x - 345, -q - 44 - 19 = -3*x. Let z = 473 + q. Is z a prime number?
True
Let r be ((-1)/(-1))/(1 + 0). Suppose 0 = 4*n + 8, 16*n - 10886 = -3*y + 17*n. Is y/8*r*2 a prime number?
True
Let x(q) = -13838*q - 1245. Is x(-20) prime?
False
Let i be -3*((-30)/9)/5. Suppose -i*k = 2*k. Suppose -q + 1260 = 4*q + 5*w, -4*w + 4 = k. Is q composite?
False
Suppose -4*u + 104212 = -3*r, -2*u - 29*r = -34*r - 52106. Is u a prime number?
True
Let y(w) = 26*w**3 - 10*w**2 - 13*w - 9. Let m(n) = -25*n**3 + 10*n**2 + 13*n + 7. Let v(g) = 7*m(g) + 6*y(g). Is v(-7) prime?
True
Let q be (3292/10)/(2 + 44/(-20)). Let l = -165 - q. Is l composite?
False
Suppose 292*k - 193233 = 289*k. Suppose 19*a = 14*a - 5*p + 107405, -3*a + 5*p = -k. Is a prime?
False
Suppose 3*a + 6*u = u + 105, -a - u = -35. Suppose -28*k + a*k + 6678 = 0. Let c = k + 1639. Is c composite?
True
Let p be ((-9)/15)/(6/20). Is 909 - 2 - (-2 - p) a prime number?
True
Is (2/6*-3)/(-3 - (-295520)/98508) a composite number?
True
Let q(a) = 15 + 11*a**2 - 22*a - 6*a**2 + 6*a**2 + 3*a**2. Let u be q(17). Suppose i - f - 1229 = 0, -3*i + 6*i = -2*f + u. Is i composite?
False
Let b be 1 - -4*1/2 - -17. Let h = b - 20. Let z(j) = 2*j**3 + 907. Is z(h) composite?
False
Suppose 0 = -451*m + 448*m + 104667. Is m composite?
True
Let c(p) = -61*p**3 - 7*p**2 - 45*p - 5. Let b be 9 + -16 + 7 - (-1 - -5). Is c(b) a prime number?
True
Let m be -8 + ((-90)/60)/((-3)/(-2)). Is (-4 - (8 + m)) + 8782 a prime number?
True
Let f(t) = -4 + 7*t + 7*t - 54*t**2 + t**3 + 40*t**2. Let k be f(13). Suppose -k*j + 19590 = j. Is j prime?
False
Let w(r) be the first derivative of 32408*r**3/3 - 7*r**2/2 + 4*r + 240. Is w(1) prime?
False
Let p = 58 + -54. Suppose p*y - 2*c - 7578 = 0, -2*y + 9473 = 3*y - 3*c. Let k = 2688 - y. Is k a prime number?
False
Let q = 18496 - -11763. Is q a prime number?
True
Is (39465 - (-6 + 6)) + 11 + -7 prime?
False
Suppose 71*f + 320 = 7*f. Is 22979 + (f - -3) - -8 a composite number?
True
Let o(u) = -7*u + 67. Let k be o(9). Is (-4790)/(-1 - k) + -1*3 a prime number?
False
Suppose -2*w = 4*n - 20, -20 = -3*n - 2*n. Suppose w*s - 904 - 238 = 0. Is s a composite number?
False
Let u(y) = -3*y**3 + 64*y**2 + 45*y - 15. Let x be u(22). Let j(l) = 1320*l - 6. Let p be j(8). Suppose p = -z + x*z. Is z prime?
True
Suppose -2*r - 5*v - 4 = -54, v - 4 = 0. Let h = r + -17. Is (-1)/h*(-4344)/(-12) a composite number?
False
Let o be (-27)/(-15) + -2 + 276130/25. Suppose -94*q = -89*q - o. Is q composite?
True
Let c(y) = 106*y**3 + 4*y**2 - 62*y - 37. Is c(9) a composite number?
False
Let j = 274728 + 428186. Is j prime?
False
Let i = -153 - -110. Is (i - 588)*(0/1 + -1) a composite number?
False
Suppose 0 = f + 1061 + 641. Let t = 6971 + f. Is t composite?
True
Suppose 6*d = 2*d - 4*w + 4, -2 = 2*d + 3*w. Suppose -15*a = -10*a - 3*c - 10780, -d*a - c + 10760 = 0. Is a a prime number?
True
Suppose 171 = -q - 0*q - j, 3*q - 4*j + 506 = 0. Suppose 4*s = -2*y + 239 - 277, 0 = 4*s - 4. Let c = y - q. Is c a prime number?
True
Let l be (-24 - -1)*40/10. Let x = 90 + l. Is 1*2439/(-6)*x prime?
False
Let w(v) = v**3 + 6*v**2 - 7*v + 11. Let i be (0 + -15)*-1*(-3)/(-9). Is w(i) a prime number?
True
Let g = -3204 - -6331. Suppose 6*f = -5*d + 3*f + g, 623 = d + 3*f. Is d a prime number?
False
Let j = 390 + -327. Suppose -j*h + 439 = -62*h. Is h prime?
True
Suppose -12*l - 9 = -45. Suppose -232 + 853 = l*a - 4*j, 0 = -a - 2*j + 197. Is a a prime number?
False
Let w = -12798 - -55775. Is w a composite number?
True
Let a(m) = -m**3 + 10*m**2 - 4*m. Let s be a(11). Let z(y) = 2*y**3 + 53*y**2 + 20*y + 20. Let d be z(-26). Let h = d - s. Is h composite?
True
Suppose 16001 = 2*u - 19353. Is u a prime number?
False
Let r(p) = -p + 0*p - 1 - 6*p**2 + p**3 + 0*p. Let j(d) = 9*d - 19. Let f be j(3). Is r(f) a prime number?
False
Let w be (2 - (-23295)/10) + (-2)/4. Is (-12)/(-4) + w - 1/1 a composite number?
False
Suppose -1623*d = -799*d - 803*d - 3806691. Is d prime?
False
Suppose 0 = 2*n + 8, -4*z + 5*n + 4 = -4. Is (-7537 - -15)*z/6 prime?
True
Suppose -5*w - 312 = -4*p, 0*p - 4*p = -3*w - 184. Let t = w - -61. Is (2 + -1 - t) + 1635 prime?
False
Let a(t) = t**2 + 11*t + 24. Let k be a(-10). Let h(z) = -z**2 + 13*z**3 - 12*z**3 - 33 + 3*z**2 + 4*z + 4*z**2. Is h(k) prime?
True
Let i = 11767 + -5960. Is i composite?
False
Suppose -2*z - 2*a - 58 = -172, -4*z + 222 = -2*a. Is 7/z*-4*-730 a composite number?
True
Suppose 927641 + 3482459 = 100*u. Is u prime?
True
Let s = 150528 - -194483. Is s a prime number?
True
Let k(g) be the first derivative of 100*g**3/3 + 35*g**2/2 - 19*g + 239. Is k(-6) a composite number?
False
Let q be (-24)/12*(-145)/(-10). Let s(n) = 8*n**2 + 54*n - 97. Is s(q) prime?
False
Suppose -6 = -8*o + 26. Let i(m) = 39*m. Let j be i(9). Let g = j - o. Is g a composite number?
False
Suppose 4*t = -4*g - 16405 - 113495, 2*g + t = -64946. Let y = g - -61710. Is y a prime number?
False
Let y be (-8)/(-10) + 15782/(-65). Suppose 0 = 4*g - 0*g - 1744. Let b = y + g. Is b prime?
False
Suppose h + 75 = 2*h. Let t = -75 + h. Suppose t = 79*l - 75*l - 3644. Is l a prime number?
True
Suppose u = -6, 3*u + 159532 = 24*v - 22*v. Is v composite?
False
Let u(g) = g**2 - 10*g + 4. Let x be u(10). Suppose 0 = -x*a - 2*b + 85216 + 14420, 2*b - 74729 = -3*a. Is a prime?
True
Let n be (10/25)/(2/(-50)). Let j(k) = k - 1. Let l(b) = 5*b**3 + 12*b**2 - 9*b - 6. Let t(r) = -3*j(r) - l(r). Is t(n) composite?
True
Let v(o) = -17*o**3 + 5*o**2 - 11. Let u be (7194/72)/(-11) - (-1)/12. Is v(u) a prime number?
False
Suppose 10*w - 5*w = m - 16233, -12978 = 4*w - 5*m. Let p = 5826 + w. Is p prime?
True
Let o = 3 + 1. Suppose 48*u = -3*u. Suppose o*j - 1340 = 4*a - u*a, -4*a - 1009 = -3*j. Is j a prime number?
True
Suppose 0*m = -7*m + 140. Suppose 5*p + m = 0, 4*p + p + 1583 = 3*d. Is d a prime number?
True
Let v be 3 + -4 - (1 - 26). Let r be -2 + v/9 - (-12543)/(-9). Let n = -636 - r. Is n a composite number?
False
Let h = 1112741 - 636768. Is h a prime number?
True
Let m be (1/(-3))/(4/(-12)) + 3517. Suppose 4*s - m - 9934 = 0. Let q = s + -1954. Is q a prime number?
True
Let r(y) = -2*y + 2. Let b be r(6). Is (-5678 - 8)*b/4 a composite number?
True
Suppose -4*v - 20 = -2*i, 2*i - 22 = 3*v + 4*i. Let x(d) = d**2 + 1. Let r(a) = -34*a**2 - 6*a - 17. Let g(f) = v*x(f) - r(f). Is g(6) prime?
False
Let u = -423 + 426. Let p(x) = 320*x**3 + 11*x**2 + x + 5. Is p(u) prime?
True
Suppose 0 = -q + 4*v + 3, 7*q + 4*v - 12 = 3*q. Suppose -3*r = -6*r + q, 3*f + r - 34402 = 0. Is f prime?
True
Let t(u) = 59*u**2 - 63*u - 255. Is t(-26) a prime number?
False
Suppose 0 = -a + 5*q + 3, -q + 32 = -2*a + 2. Let u(h) be the first derivative of -10*h**2 - 13*h - 17. Is u(a) prime?
False
Let f = 646944 + -288913. Is f prime?
True
Let y(p) = -p - 4. Let x be y(-2). Let k be ((-3)/x - 1)/(1/4). Is (16 - 6)*523/k prime?
False
Let q = 1357888 - -133659. Is q a composite number?
False
Let x be (358/6 - 0)*(-8 - -11). Suppose -8*q = -61 - x. Is (-20)/150 + 4474/q composite?
False
Suppose 7*g - 34 = -6. Suppose 0 = -5*t - r - r + 616, -g*t + 494 = r. Suppose -4*b + 1176 = t. Is b composite?
False
Let d(o) = -95*o**2 + 8*o - 7. Let g(z) = -284*