3*g(c) + 4*l(c). Is m(-10) prime?
True
Let y = 10 + -4. Suppose 0 = -2*u - 4*d + 94, -u - 250 = -y*u - 5*d. Is u a composite number?
False
Suppose 0 = -3*k + 2*o + 71, -7*o - 29 = -2*k - 2*o. Suppose -9 = -3*l - k. Let r = 77 - l. Is r prime?
True
Suppose -t - 4*t = -580. Suppose 5*y + 6 = t. Is y prime?
False
Let g(n) = -12*n**2 - 3*n - 2. Let p be g(-2). Let l = p + 118. Suppose 3*m = -5 + l. Is m composite?
False
Let y = 641 + 0. Is y a prime number?
True
Let d = 47 - 45. Suppose 0 = -0*f + 5*f. Suppose h - d*h + 21 = f. Is h prime?
False
Suppose 3*f + 555 = 8*f. Is f a composite number?
True
Let n be (-6)/(-8) - 26/(-8). Let h be n/(-10) + (-68)/(-20). Suppose u - j = 6*u - 655, 0 = h*u - 3*j - 393. Is u a prime number?
True
Suppose -3*t + h + 774 = -1176, 0 = 3*t - 2*h - 1953. Is t a prime number?
False
Suppose 3*y + 8 = -u + 3, -36 = 5*u + 4*y. Let a = 64 + 13. Let w = a - u. Is w a prime number?
False
Let i be 718/(-12) - 2/12. Let t = 97 + i. Is t a prime number?
True
Suppose 30*u = 26*u + 1948. Is u a prime number?
True
Let u = 5 + -5. Suppose b - 4*b + 3 = u. Is 1*159/b - -2 prime?
False
Suppose 2*c + 3*c = -x + 2, -x + 2 = 4*c. Suppose c*f + 489 = 3*f. Is f a composite number?
False
Let y = -19 - -43. Suppose -y = n + n. Is n/8*38/(-3) a composite number?
False
Suppose w - 2*k + 215 - 782 = 0, 0 = -3*w - 4*k + 1681. Is w a composite number?
False
Let g(i) = 82*i**2 + i + 1. Let p = -25 - -13. Let o(y) = y**3 + 11*y**2 - 12*y - 1. Let r be o(p). Is g(r) composite?
True
Let p(j) = -j**3 - 3*j**2 + 2*j + 5. Suppose 2*z = 3*z + 4. Is p(z) a prime number?
True
Suppose 5*g - 25 = -5*h, 0 = -5*h + 3*g - 2*g + 7. Suppose -573 = -j - h*j. Is j prime?
True
Let s(n) = n - 2. Let q be s(6). Let z be 40/15 - (-4)/(-6). Suppose -q*w = k - 35 - 26, 3*w + z*k - 47 = 0. Is w a prime number?
False
Let o be -2 + (-1 - -2) - -3. Suppose 3 = o*l - 167. Is l composite?
True
Suppose -5*y = 2*h + 2, 2*y + 3*h + 0 - 8 = 0. Is (y - -226) + (-4 - -3) a prime number?
True
Suppose 24 = 2*s - 6*s. Is (-2)/s + (-1820)/(-21) a composite number?
True
Suppose -2*k = -5*k + 1257. Is k prime?
True
Is 637 - (4 + -1 + -1) a prime number?
False
Let q be (-96)/12*(-222)/4. Let h = q - 278. Is h a prime number?
False
Suppose 2*a + 4*d - 118 = 0, 5*a - 3*a = -d + 103. Let z be 2 + -2 - -1 - 11. Let q = z + a. Is q prime?
False
Let m = -275 + 583. Suppose 4*f - 4 - 4 = 0. Suppose -4*k - q + 3*q + m = 0, 5*q = -f*k + 154. Is k composite?
True
Suppose 2*h - 103 = 155. Is h a prime number?
False
Suppose -33 - 99 = -4*y. Is y prime?
False
Let t = 10 + -8. Suppose 4*z = -3*r + t*r - 5, 3*z = r - 2. Is 78 - r*(-2 + 3) a prime number?
True
Let t(r) = -115*r + 44. Is t(-5) a composite number?
False
Suppose -667 = -3*p - 5*v + 435, 4*p - 2*v - 1452 = 0. Is (-2 - -1)/((-4)/p) composite?
True
Suppose 13 = 3*y - r, 2*y + 0*r - 3 = -5*r. Suppose -2 - 6 = -y*h. Is ((-129)/6 - h)*-2 a prime number?
True
Suppose 3*q - 1143 = -0*f - 3*f, 1145 = 3*f + 4*q. Is f prime?
True
Let l = -38 + 24. Is l*((-75)/6)/5 a prime number?
False
Let q = 11 + -7. Let y be q/(-6) + 76/6. Is 2/(-3) + 932/y prime?
False
Let m be (-142)/(-6) - 2/(-6). Suppose 0*z + 4*z = -m. Is (-70)/z + (-12)/18 composite?
False
Let l(b) be the second derivative of b**4/12 - 5*b**3/6 + b**2 + b. Let d be l(4). Is 2/d*(-59 + 0) a composite number?
False
Is (2 + -4)/(-2)*(6353 + 0) composite?
False
Suppose 1 = 4*j - 47. Suppose -3*y + 9 = m, -2*m - 3 = -4*y + 3*y. Suppose 0 = -5*c - 4*g + 91, 6*g = y*g + j. Is c a composite number?
True
Suppose 6 = w + 3*w - 2*j, 0 = 5*w + 3*j - 13. Suppose 0 = w*d - 9 + 3. Suppose 0*n = -d*n + 99. Is n prime?
False
Let c(h) = 86*h - 15. Is c(8) a prime number?
True
Is 6/(-4)*76/(-6) a prime number?
True
Suppose 4*q = 4*o - 20, 2*o + 2*o + 5*q + 25 = 0. Let l = 29 + -24. Suppose -a - 18 = l*y, 3*a - y + 0*y - 26 = o. Is a prime?
True
Let i = 6 + -7. Let s be i - (-2 + 4 + -3). Let u = 33 - s. Is u a composite number?
True
Let p(h) = 19*h**2 - h + 1. Let y = -9 + 7. Is p(y) prime?
True
Let g(j) = -2*j - 2. Let x be g(-4). Suppose 2*y = x*y - 108. Suppose m - y = 66. Is m a prime number?
False
Is 2/7 - (-34833)/119 prime?
True
Suppose 64 = 2*p - 270. Suppose 12 = -z + p. Is z a prime number?
False
Let o = 113 + -158. Let k be o/6*4/(-6). Suppose z + k = 0, 6*z - z = 5*l - 260. Is l a composite number?
False
Is ((-15338)/(-10))/(10/(-25))*-2 a prime number?
True
Let m be 3/(6/4) - 16. Is ((-20)/m)/((-1)/(-7)) a composite number?
True
Let d(q) = -7*q + 6. Let y(b) = b - 1. Let j(n) = d(n) + 5*y(n). Is j(-6) prime?
True
Suppose 246 = -2*d - 5*g, 5*d = -0*g - 3*g - 653. Let q = d - -203. Suppose 4*k = 2*k + q. Is k prime?
False
Suppose -2*d + 294 = -z + 837, -2167 = -4*z + 3*d. Is z a composite number?
False
Let a(f) = -6*f**3 - 3*f**2 - 3*f - 1. Let o(p) = -13*p**3 - 7*p**2 - 6*p - 2. Let x(l) = 7*a(l) - 3*o(l). Is x(-3) a prime number?
True
Let b(v) = v**3 + 7*v**2 - 10*v - 10. Let i be b(-8). Let s(g) be the second derivative of g**5/20 - 7*g**4/12 + 4*g**3/3 - g**2/2 - g. Is s(i) a prime number?
True
Is 750 + 1 + -3 - (2 - 3) composite?
True
Let j be 6*(2 + 9/(-6)). Let m(b) = 3*b + 7*b**2 + 2*b**j + b - 6 - b**3. Is m(-6) a prime number?
False
Suppose -a = -0*a - 18. Let w = -12 + a. Let l = w + 13. Is l a prime number?
True
Let j(k) = -544*k - 1. Is j(-2) composite?
False
Let d be -2*(21/6 - -1). Let i(u) = -3*u - 9. Let r be i(d). Let w = r - -20. Is w a composite number?
True
Suppose 0 = -a + 164 + 87. Is 6/(-9) - a/(-3) prime?
True
Let s(l) = -l + 4. Let z be s(-10). Let w(x) = 1 + z*x + 0 + 26*x. Is w(3) prime?
False
Let q(m) = -m**3 - 4*m**2 + 12*m - 11. Is q(-10) a composite number?
True
Let f(x) = x + 13. Let o be f(-14). Is ((-2)/(2/67))/o prime?
True
Suppose 4*a - 869 = 5*w, a - 3*w - 81 = 145. Is a a composite number?
False
Let l = -478 + 253. Let g = -107 - l. Let j = g - 41. Is j composite?
True
Is 369 - (-9)/(9/4) a prime number?
True
Suppose -z = 2*z - 3. Let d(m) = 15*m**3 + m**2 - 1. Is d(z) a composite number?
True
Let l(a) = 9*a - 5. Is l(10) prime?
False
Suppose 2*n + 277 = 3035. Is n composite?
True
Let b be 20/(-3)*(-9)/(-6). Is b/55 - 1170/(-22) a prime number?
True
Suppose -2*m + 4*m - 4 = 0. Suppose m*n - 5 = 41. Suppose -g = -n - 16. Is g a composite number?
True
Suppose 0 = 3*x - 8*x + 1890. Suppose 2*u = 3*u - 3*r - x, -2*u + 4*r = -766. Is u composite?
True
Let a be 18/(-21)*(-14)/3. Let t(m) = -3*m - 1. Let h be t(-2). Suppose a*j - 20 - 9 = -h*c, j = -2*c + 5. Is j composite?
False
Suppose 6*f = 2*f - 264. Let w = f - -121. Is w a composite number?
True
Suppose a + 620 = -137. Let m = a - -1390. Is m a prime number?
False
Let c(q) be the third derivative of -q**6/120 + 2*q**5/15 + 2*q**3/3 + 2*q**2. Let u be c(8). Let n(h) = 4*h**3 + 4*h**2 - 2*h - 5. Is n(u) a prime number?
True
Let o = 658 - -429. Is o composite?
False
Suppose -5*v - 156 + 725 = u, -3*u + 464 = 4*v. Is v composite?
False
Let s = 657 + -260. Is s composite?
False
Let o = -17 + -28. Suppose 5*l + 120 = 5*w - 360, 2*l = w - 192. Let b = o - l. Is b a composite number?
True
Suppose -6*l + 3*l - 4*k + 1911 = 0, -5*l + 5*k = -3220. Is l a prime number?
True
Let k(i) = -i. Let j be k(-2). Suppose 186 = 5*a - j*a. Suppose 0 = g - a - 69. Is g a prime number?
True
Let g be 1 - 6*(-3)/6. Suppose g*r + 380 = -4*w, 3*w + 2*r = -0*r - 282. Let d = -55 - w. Is d composite?
False
Let p(d) = -d**2 + 1. Let t be p(2). Let w be 196/(3*(-1)/t). Is 1/2 + w/8 a prime number?
False
Suppose 0 = 2*c + 2*c - 20. Suppose -c*a - s + 3*s - 125 = 0, -3*s = 15. Let v = a - -65. Is v a composite number?
True
Suppose -p - 3*p - 2*w - 716 = 0, -5*p - w - 892 = 0. Let s = 339 + p. Is s prime?
False
Let k = -733 - -434. Suppose 4*n + 186 = -2038. Let c = k - n. Is c a composite number?
False
Is ((-26)/(-4) + (-3 - 0))*2 a composite number?
False
Let m(q) = q - 3. Let n be m(5). Let y(r) = -r**3 + 4*r**2 - 4*r + 3. Let o be y(n). Suppose o*t - 4*c = 58, c + 3 = t - 17. Is t a prime number?
False
Suppose -13*k + 4413 = -10*k. Is k a prime number?
True
Suppose -5*t + 5*l = -35, -3*t = -l + 2*l - 13. Suppose 5*g - t*q - 7 = 3, 5*q + 10 = -4*g. Suppose u + n = 51, g*n = 5*u - n - 267. Is u a prime number?
True
Suppose 3*f = -f. Suppos