 = -7*k. Is k prime?
False
Let j(d) = -4*d**3 + 9*d**2 + 2*d - 7. Is j(-10) prime?
False
Suppose 0*t - 2*t = -4*h - 24, 0 = -3*t - 3*h - 9. Suppose -5*m + 19 = -t*l, 4*l + 17 = 3*m - 0*l. Is m*-141*(-5)/45 composite?
False
Let t = -136 - -210. Suppose 14*s - 16*s + t = 0. Is s a composite number?
False
Suppose 4*z + 1557 = -0*o - 3*o, -3*z + 3*o = 1173. Is z/(-18) + 2/6 prime?
False
Let v = -51 + 57. Let f = v - -125. Is f a composite number?
False
Suppose 28*r = 47*r - 2706911. Is r a composite number?
False
Suppose 3*k - 1640 = -k - 4*t, -1226 = -3*k - t. Suppose 0 = 2*z + k + 238. Is -1 - (z + 2)/3 a prime number?
False
Let f(i) = -124*i + 5. Let d(t) = 124*t - 6. Let w(n) = 4*d(n) + 5*f(n). Let q be w(1). Let y = -74 - q. Is y prime?
False
Let q(f) = -19*f**3 - 4*f**2 - f + 5. Let a be q(-3). Suppose -5*i + 0*j + a = 2*j, -3*i - 2*j = -291. Is (-16 + 15)*i/(-1) a composite number?
False
Let k be 3 + 7*(3 + -2). Let f(b) = -k - 6 + 6*b + 7*b. Is f(11) prime?
True
Is 77408 + 5/(-2) + 60/8 prime?
False
Let m(g) = -7*g**3 + 8*g**2 + 5*g - 9. Let c be m(-5). Suppose -c = -2*h + h. Is h a prime number?
False
Suppose 2*d - 12 = -d. Let v(y) = -d + 3 - 5 + 1 + 6*y. Is v(12) composite?
False
Let m(o) = -81841*o**3 + o - 1. Is m(-1) a composite number?
False
Suppose 11 = 5*z - x, 2*z - 6*z + 8 = -x. Let s(c) = -c - 31 + 34 - z*c. Is s(-10) composite?
False
Let h = 447 - 304. Let j = h - 106. Is j composite?
False
Let v = -2188 + 6515. Is v a composite number?
False
Suppose 3*u + 16*m - 11*m = 18337, 0 = -u + 4*m + 6135. Is u composite?
True
Suppose 2*x + 434 = 2*k, -4*k - 3*x + 868 = 2*x. Suppose 3*n - n = 0. Suppose -w + 90 + k = n. Is w a prime number?
True
Suppose -3*o = -3*p + 158481, -8331 = p + 2*o - 61158. Is p a composite number?
True
Let i(o) = 161*o**2 - 2*o + 2. Let f be 3 + (2 - 2)/4 + -2. Is i(f) a prime number?
False
Let n be (-1 - 1)*1/6*9. Is (-6)/9*5379*n/6 prime?
False
Suppose -4375 = 3*t - 8*t - 2*f, 3493 = 4*t + 3*f. Is t a composite number?
False
Suppose 0 = -c + 21 + 544. Is c a prime number?
False
Suppose -w + 14 = -0*w + 5*z, 3*z + 28 = 2*w. Is (-4)/w - (-5529)/21 a composite number?
False
Let x(n) = 3428*n + 243. Is x(7) prime?
True
Let p(q) = 18*q - 10*q + 8*q. Let c be p(1). Suppose x - c = 15. Is x a composite number?
False
Suppose -4*g + 18124 = 4*y, g + 4*y + 0*y = 4519. Is g a composite number?
True
Suppose 110384 + 59506 = 30*c. Is c prime?
False
Suppose -5*z + 0*z = 2*q - 9, -5*z = -5. Suppose 4*l - 314 = q*l. Is l composite?
False
Let v(q) = 4*q**2 - 5*q + 2. Let u be v(3). Let t(g) = g**3 + 12*g**2 - 16*g + 9. Let p be t(-13). Suppose c - p - u = 0. Is c a prime number?
True
Suppose -4*y - 624 - 5727 = -5*k, 2*y + 3198 = -2*k. Let n = 2856 + y. Is n composite?
True
Let y be (15/(-60))/((-2)/24). Is y + 1 - (-2556)/12 a composite number?
True
Suppose -98597 + 447243 = 47*g. Is g a composite number?
True
Suppose -7806 = -4*r + 3*n + 2*n, -r = -4*n - 1957. Is r prime?
True
Is 461817/21 + 0 + (-16)/56 prime?
True
Suppose 871 + 15098 = 3*j. Is j composite?
False
Let h = 427 - 300. Is h a prime number?
True
Let t = -3 - -8. Suppose 4*a - 55 = -a + t*k, 0 = 3*k + 9. Let o = a + 5. Is o composite?
False
Let n(a) = 9*a**2 + 22*a - 17. Is n(12) prime?
True
Let l = 104956 - 59349. Is l a prime number?
False
Let w(y) = -69689*y**2. Let l(z) = -230*z**2. Let g(a) = 908*l(a) - 3*w(a). Let x be g(-1). Suppose -2*k + 0*k + 3*r + x = 0, 2 = 2*r. Is k a prime number?
False
Suppose -6*v = -2*v + 24. Let t = 15 + v. Suppose -t*m + 1268 = -5*m. Is m a prime number?
True
Let j be 7/2 + 27/(-18). Let g(r) = 8 + 2 + 33 + 100 + j*r. Is g(0) a prime number?
False
Let k(c) = -18*c + 2. Let r(o) = o**2 - 2*o - 1. Let v be r(-1). Let l(m) = 19*m - 1. Let h(g) = v*k(g) + 3*l(g). Is h(6) a composite number?
False
Let j be (-2 - (1 + -5))/(-1). Let v be (-54)/(((-12)/(-74))/(-3)). Is v/15 - j/5 a composite number?
False
Let v = 2 - 0. Suppose v*c - 5*b = -9, 3 = 3*c - 4*b + 6. Suppose c*g + 3*a - 99 = 0, 2*g = -4*a + 52 + 12. Is g prime?
False
Suppose -b - 15464 = -5*p, -9*b + 8*b = -p + 3092. Is p a composite number?
True
Suppose -x - 3828 = -5*x. Suppose -c - 4*m + 363 = 114, -4*c + x = 3*m. Let o = c + -148. Is o a prime number?
True
Let r(b) = 344*b + 1. Let q be r(1). Suppose 5*s - 67 = 2*d + d, -3*s = d - 1. Let t = d + q. Is t prime?
True
Let l(g) = -10*g + 5 + 5*g + 9*g**2 - 6*g. Is l(9) composite?
True
Suppose -i + 5*t - 49 = -0*i, 2*t = -5*i - 245. Is 1251/7 + (-14)/i prime?
True
Let r(s) = -188*s - 20. Let n be r(-4). Suppose -u = 3*k + n - 9842, k = 2*u + 3025. Is k prime?
False
Let v be (1 - 15/(-6))*58 - -3. Is v - -3 - (24/(-3))/4 composite?
False
Let m = 47136 - 13457. Is m a prime number?
True
Is 5*((-157720)/25)/(-8) a prime number?
True
Suppose 0 = -2*a - 0 - 40. Let o(t) = -8*t**2 + 2*t - 1. Let b be o(6). Let n = a - b. Is n composite?
False
Let m = -3 - 1. Let h = 6 + m. Let d = h - -21. Is d a composite number?
False
Suppose -h + 2*p + 6067 = 0, -4*h + 7*p - 5*p + 24262 = 0. Is h prime?
False
Let z = 785 + 92. Is z composite?
False
Let c = 1 + 2. Suppose -21 = -c*d + 5*x, 4*d + 5*x = -6 - 1. Suppose z - 3*f = d*z - 10, 0 = -f. Is z a composite number?
True
Let m be (-2)/10 + (-7276)/(-5) - -2. Let z = -916 + m. Is z a composite number?
False
Is (12/4)/(-3*(-6)/1842) a composite number?
False
Suppose -4*j = -4*z + 8, 3*j + 11 = 2*z + 2*z. Suppose -7*k - 3329 = -j*l - 2*k, 3*l + 5*k = 3289. Is l prime?
True
Let x = -3767 - -6868. Is x prime?
False
Let c = 132 - -3184. Suppose 4973 = 3*g - n - 0*n, -n - c = -2*g. Is g composite?
False
Is (164308/(-6))/(((-266)/21)/19) a composite number?
False
Let y(w) be the first derivative of -w**4/4 + 8*w**3/3 + 2*w**2 + 2*w - 1. Let j = -502 - -509. Is y(j) composite?
False
Let v(f) = f**3 - 24*f**2 - 46*f + 86. Is v(29) composite?
False
Suppose -r - 2*c - 3*c = -12, -3*c = -3*r - 18. Let n(j) = 8*j**2 - j - 1. Is n(r) composite?
True
Is ((-599)/2)/((-2611)/(-238) + -11) prime?
False
Let g = -16 + 13. Let r be (g - 0)*4/(-6). Suppose 0 = -3*v + v - d + 1267, -2*d + 1272 = r*v. Is v composite?
False
Let j = -4 + 8. Suppose 4*i + v - 7 = 0, 1 = -j*i - 2*v + 7. Suppose -i*y = -y - 223. Is y prime?
True
Suppose p = 3*p - 1224. Suppose 14*g = 15*g + p. Let h = 23 - g. Is h a prime number?
False
Let f = 64 + 76. Is 100700/f + 2/(-7) prime?
True
Suppose -5*r = -10*r + 2*h + 5131, 4*r = h + 4106. Is r composite?
True
Let u(r) = r**3 - 8*r**2 - 9*r + 4. Let b be u(9). Let t(j) = -j**2 + 5*j - 2. Let o be t(b). Suppose -2*c = -o, -v - 2*c = -5*c - 32. Is v a composite number?
True
Is (6571864/156)/(4/6) a prime number?
False
Let i(d) = -1 + 6*d + d**2 + 1. Suppose 0 = -31*k + 36*k + 35. Is i(k) a prime number?
True
Let u = -34 + 30. Is (-1)/u - 3052/(-16) prime?
True
Let y(w) = 72*w - 154. Is y(41) a prime number?
False
Suppose -5*p + 2*j = -56, 0*j + 68 = 5*p + 4*j. Suppose -d + 437 = 4*d - 3*u, -p = 3*u. Is d a prime number?
False
Let m = 2 - 0. Let k(d) = 0 + 4 + 27*d**2 - 3*d - 5*d**m. Is k(-3) composite?
False
Suppose -4*a = -0*a. Suppose -4*t + 161 + 1683 = a. Suppose -2*w = m - 481, -3*m + 2*w + t = -2*m. Is m a composite number?
True
Suppose -17*a + 21*a - 2228 = 0. Is a prime?
True
Suppose -2*v = 3*u - 980, 3*u + 4*v = -325 + 1313. Let x be (-18)/(-45) + 1254/(-10). Let h = x + u. Is h prime?
True
Let y(o) = o**3 - 17*o**2 + 2*o + 23. Let u be y(16). Let n = u + 508. Is n prime?
True
Let g(r) = r**3 - 26*r**2 - 2*r + 54. Let p be g(26). Suppose 0 = p*o - k - 1533, -702 = -o + 5*k + 42. Is o a composite number?
False
Let t be ((-996)/6)/((-1)/1). Let l = t - 79. Is l a composite number?
True
Suppose -861145 = -37*j + 474962. Is j prime?
False
Suppose 3*c + 4*d = 4*c + 144, 2*c + 300 = -4*d. Is c/6*(-27)/18 prime?
True
Suppose 4 = -o - m + 10, -8 = -2*o + 2*m. Suppose 5*c - 2617 = 4*l - 84, 0 = -5*c + l + 2527. Suppose c = o*b - 810. Is b composite?
False
Let x(c) = -c**2 + 10*c - 14. Let b be x(10). Is 1091/9 + b/63 composite?
True
Let p(u) = 162*u**3 + 1. Let m = 11 + -17. Let d = m - -7. Is p(d) a prime number?
True
Suppose h + 2*h - 8952 = 3*v, 2*h - 5984 = -2*v. Suppose -2*i - 2*i + h = 0. Suppose -4*b - 1267 = -5*r, -2*r = r + 2*b - i. Is r prime?
True
Suppose 2*v + 8870 = -0*v. L