 4. Let q be s(11). Suppose 0 = -6*z + q*z - 844. Is z prime?
True
Let g(i) = 28*i**2 - 24*i + 11. Let z be g(-13). Suppose z = 4*a + 1211. Is a a composite number?
True
Let u be 6/(-15)*(54 - -1). Let q = -14 - u. Let b = 1 + q. Is b a composite number?
True
Let y(m) = 22*m**2 - 67*m - 20. Is y(17) a composite number?
True
Suppose 5*x - 398 = 212. Let h be 6/8 - x/(-8). Suppose 2*i - f - 482 = 0, 0*f = -4*f - h. Is i a prime number?
True
Let h = 9 + -9. Suppose 7*x - 4*x - 18 = h. Let f(r) = -r**2 + 8*r - 1. Is f(x) composite?
False
Suppose -6*t = -t + 475. Is (-2 - t)*9 + -2 a prime number?
False
Let m = -14 - -22. Suppose -970 = -m*o + 3*o. Suppose -o = 3*n - 4*n. Is n a prime number?
False
Suppose -37*j = -59*j + 28270. Is j prime?
False
Let o = 6534 - 3721. Is o a prime number?
False
Suppose r - 6 = -3*v + 4*r, 3*r + 24 = -3*v. Let z(x) be the third derivative of -x**6/120 - x**5/30 - x**4/24 + x**3/6 - 2*x**2. Is z(v) a prime number?
True
Let j(x) = -30186*x**3 - 3*x**2 + 5*x + 3. Is j(-1) composite?
False
Suppose 0 = -41*r + 51*r - 582430. Is r a composite number?
False
Let l be 56/21 - (-4)/(-6). Suppose 25 = l*b + 3*b. Suppose b*p - 685 + 270 = 0. Is p composite?
False
Let b(m) = -5*m - 1. Let g(p) = p**2 - 5*p - 1. Let x(a) = -4*b(a) + 5*g(a). Suppose w + 2*w - 12 = 0. Is x(w) composite?
False
Let w(n) = -5*n - 13. Let l be (-1 - (-5 + 3))*-6. Let v be w(l). Suppose -g + v + 4 = 0. Is g a prime number?
False
Let r(g) = 0 - 35*g - 3*g - 11*g + 8. Is r(-9) a composite number?
False
Suppose -4*k = -4*j - 34380, 10*j - 12*j = 5*k - 42989. Is k a composite number?
False
Is (2/5)/(60/53850) a prime number?
True
Suppose -8 = -4*i, 3*i - 43 + 550 = 3*q. Suppose q - 1336 = -b. Is b prime?
False
Suppose 5*h - 4483 = 4122. Is h a prime number?
True
Suppose 370653 + 305622 = 75*j. Is j a prime number?
False
Let t = 13624 + 4397. Is t composite?
True
Let k(b) = -65336*b - 9. Is k(-1) composite?
False
Let l(t) = -t + 1. Let z be 12/(-20) + (-4)/10. Let w be l(z). Suppose -u + 10 + 1 = -w*r, -3*u = 3*r - 69. Is u prime?
True
Suppose 1074 = v - 2975. Is v composite?
False
Let g(o) = 3*o**2 - 20*o - 148. Is g(27) a composite number?
False
Suppose 0 = -4*c - c - u - 5, 4*c - u - 5 = 0. Let z be (c - -3) + -3 + -37. Is z/(((-7)/(-3))/(-7)) prime?
False
Suppose 5*n + 2*t - 38321 = 0, 4*n - 3*t = -4*t + 30655. Is n composite?
True
Let f be (-1 - 3)*(2 - (-5)/(-2)). Let o = f - -117. Is o prime?
False
Suppose -b + 2*c + 3*c = -38, -14 = -b - c. Suppose b = 3*t - 0*j - 2*j, t - 1 = -j. Suppose -t*s + 6*h + 636 = 2*h, 5*s + 2*h = 767. Is s a prime number?
False
Suppose -396909 = -31*c + 22*c. Is c prime?
True
Suppose 2*k = 2*h - 3*h + 5, 0 = 5*h + 5. Suppose k*v + 0 = 6. Suppose -v*l = -2*i - 7*l + 397, -4*l = -i + 231. Is i composite?
False
Suppose 430 - 135 = v. Is (3 + 8/(-4))*v prime?
False
Let b be 3 + (4 + -10)/2. Suppose b = -7*z + 10*z. Let y(r) = -r**2 + 33. Is y(z) composite?
True
Let j be 2/(-3) - 8/(-3). Let s(v) = 20*v - 5 + 16*v + 8*v. Is s(j) prime?
True
Suppose 0 = 3*j - 5*t - 40, 4*j + 5*t = -j. Suppose -35 = j*c + 3*w - 5*w, 0 = -4*c - 4*w. Is c + 170 + (-3 - -1) a composite number?
False
Let u(l) = 20*l**2 + 58*l - 23. Is u(13) prime?
True
Suppose -2 = z - 4. Is 3426/24 - z/(-8) composite?
True
Let t(v) = v**3 - v + 1. Let b(k) = -7*k**3 - 7*k**2 + 10*k - 8. Let l(g) = -b(g) - 6*t(g). Let c be l(6). Suppose -c - 86 = -4*f. Is f a prime number?
False
Is ((-1)/(35/(-36430)))/((-8)/(-28)) a composite number?
False
Let h(r) = 8*r**2 + 2*r + 4. Let i be h(13). Let c = 895 - i. Is (3 + -2)*-1*c prime?
True
Let z = -69 + -9. Let m = 308 + z. Suppose -7 + m = r. Is r composite?
False
Let f(d) = 198*d**3 - 4*d**2 - 47*d + 93. Is f(2) a prime number?
True
Let l(t) be the third derivative of 0 + 0*t + 7*t**2 + 1/3*t**3 - 1/12*t**4 + 79/60*t**5. Is l(1) a prime number?
True
Let y = 3 - -2. Suppose -k = 4*k - 10, 0 = y*b - k - 468. Is b a prime number?
False
Suppose 0 = -8*d + 7*d + 21817. Is d a prime number?
True
Suppose -2*l = 6 - 94. Suppose 0 = -4*t + 2*p + 114, 3*p - 55 = -3*t + l. Suppose -j = 2*j - 3*a - t, 0 = -4*j + 2*a + 50. Is j a prime number?
False
Suppose 24196 = -67*u + 71*u. Is u composite?
True
Let r be 18/9*((-10)/(-4))/5. Is r - 10/6 - (-28254)/18 composite?
True
Let b = 6605 + -2478. Is b a composite number?
False
Suppose o + 5*y = 325, 535 = 3*o - 4*y - 459. Suppose -o + 73 = -a. Is a a composite number?
False
Let o(c) be the third derivative of -c**6/120 - c**5/20 - c**4/24 - c**3/6 + 4*c**2. Let w be o(-3). Is w/(-1) - (-114)/2 composite?
True
Let a be (-11 + 2)/((-9)/6). Let i = a - 2. Is -2 + i + (-18)/(-2) a composite number?
False
Let l be (-5)/(-2 - (-1)/1). Suppose l*r = -h + 33, 4*r = 15 + 1. Suppose -15 - h = -2*t. Is t prime?
False
Let a(i) be the second derivative of -16*i**3 - 31*i**2/2 + 2*i. Is a(-7) prime?
True
Is -7 - 5918*(8 + -9) prime?
False
Let x = 21627 - 4304. Is x a prime number?
False
Let s(z) = 2934*z + 7. Is s(4) composite?
False
Let t(l) = 17*l**3 - 13 - l**2 - 4*l + 4*l - 18*l**3 - 9*l. Let g be 4/(-8) - 22/4. Is t(g) a prime number?
False
Suppose 90 = 2*t + t. Let r be (1120/(-21))/((-4)/t). Let w = -213 + r. Is w a prime number?
False
Suppose 0 = -3*p - 9 + 12. Suppose -h + 6*h = 2*l + p, 4*l + 3*h = 11. Is (-1)/((-2)/157)*l composite?
False
Let x(q) = -4*q**3 - 4*q**3 - 4*q - 3*q**2 - 8*q**3 + q + 3. Is x(-5) composite?
True
Let k = -17 - -24. Suppose 0 = k*q - 18*q + 209. Is q a prime number?
True
Let w be -17*1/(2/(-8)). Let l(j) = -j**2 - 13*j - 17. Let c be l(-15). Let y = c + w. Is y composite?
True
Let i be (0/(-1 + 5))/(-3). Suppose 3*z - 9 = i, d = -d + 3*z + 835. Suppose 6*m - d = -50. Is m a prime number?
False
Let g be ((-5)/((-35)/(-4)))/(40/(-140)). Let i be ((-7)/2)/(1/(-56)). Suppose g*p - 210 = i. Is p prime?
False
Let i be 13/(2*(-4)/16). Is -2 + i*129/(-6) a composite number?
False
Suppose 4*m = -4*r + 5*r - 4676, 2*m + 2348 = 3*r. Let i = -407 - m. Is i a prime number?
True
Suppose -539 = -3*m + b, 4*m + 19*b - 16*b - 697 = 0. Is m prime?
False
Let g(m) = -m + 11. Let x be g(-13). Let z(j) = 7*j**2 + 18*j + 23. Is z(x) a composite number?
True
Let c = -25 - -30. Suppose c*q + 5 = 30. Suppose -5*p = -0*p - 5*r - 645, q*r = -2*p + 244. Is p a prime number?
True
Let z = 102433 + -70224. Is z a prime number?
False
Let i = 1107 - 776. Is i composite?
False
Let r be (-3 + (-56)/(-12))*3. Suppose 312 = -r*q + 1097. Suppose 4*o + q = 2*g - o, 2*g - 3*o - 163 = 0. Is g a composite number?
True
Let d(q) = q**2 - 16*q - 31. Let a be d(18). Suppose -p + 3*p = 0. Suppose a*n = -p*n + 275. Is n prime?
False
Let v(d) = -167*d - 2. Let p(o) = -166*o - 3. Let u(t) = -2*p(t) + 3*v(t). Let l be u(-3). Let j = l - 362. Is j a prime number?
False
Let d = -15 + 4. Let n = d + 16. Suppose 0 = -n*o + 2*m + 1083, 5*o - 1035 - 44 = m. Is o composite?
True
Let k(p) = -p**3 + 5*p**2 + 2*p - 5. Let t be k(5). Suppose -t*b + 1308 = -2077. Is b a prime number?
True
Suppose -22*u = -25*u - 345. Let c = u + 436. Is c composite?
True
Let m be -1 + 2340/3 + -4. Suppose 2*p - 4*g + 1099 = -m, 0 = -5*g - 20. Let f = p + 1532. Is f composite?
False
Let k(q) = -2*q**2 + 6*q - 2. Let a be k(4). Let g = -19 - -30. Is (-35)/a*(g + -1) a prime number?
False
Suppose 4*w - 5138 = -w - i, 5144 = 5*w + 3*i. Is w a composite number?
True
Let i = -38314 + 54861. Is i a composite number?
False
Let p(l) = l**3 + 5*l**2 - 7*l - 8. Let z be p(-6). Let k be (-33)/(z*(-1)/(-2)). Let v = -14 + k. Is v a composite number?
False
Let s be (-45)/10*(-7 - 1) + -1. Suppose s = 2*j - 211. Is j composite?
True
Let j = -51 - -42. Is (-1902)/j + (12/9)/(-4) composite?
False
Let m(h) = -73*h + 3. Let y(b) = 145*b - 5. Let n(k) = 10*m(k) + 4*y(k). Let a be n(-3). Suppose -4*z - 2*u + 1790 = 0, 0 = -z - 6*u + 3*u + a. Is z composite?
True
Suppose 0 = 2*o - 3*f - 8, -4*f - 1 - 3 = 4*o. Suppose k - o = 0, 3*k + k - 1478 = -2*y. Is y a prime number?
False
Let i be -2 + 3*(-2)/3. Let b = -59 + 15. Is (-11)/b - 435/i a composite number?
False
Suppose w + 10 = 6*w. Suppose 4*g = -2*t - 10, 0*t + 20 = 2*t - w*g. Suppose -5*h = 4*m - 130 - 7, -t*h - m + 128 = 0. Is h composite?
True
Let d = 2240 + 4565. Is d a prime number?
False
Let t(d) = 2*d**3 - 