) = g*n(h) + 6*t(h). Is a(11) prime?
True
Let i = 1 + -2. Let b(t) = -131*t**2 + 3*t + 1. Let g(c) = -262*c**2 + 7*c + 2. Let j(v) = -5*b(v) + 2*g(v). Is j(i) prime?
True
Let j(p) = -69*p**2 - 29. Let u be j(-5). Is (225/(-10))/9*u a prime number?
False
Let h = 36 - 22. Suppose 0 = g + 3, -3*r + 2*g = -2*r - h. Is r/(-6) + (-225)/(-27) composite?
False
Let g(s) = -58*s**3 - 4*s**2 - 9*s + 8. Is g(-7) composite?
True
Let i(w) = 24*w + 5. Let u be i(-24). Let y = 544 - u. Is y prime?
False
Let z be 1784/6 + (-1)/3. Suppose -4*r + 4*m + 6707 = 2043, -4 = -2*m. Let a = r + z. Is a prime?
False
Suppose -2*y + 4 = 0, -3*y = 2*w - 2713 - 379. Is w prime?
True
Let o(v) = -539*v + 115. Is o(-14) a composite number?
True
Let f be 3 + 0 - (21 - 20). Let c(m) = -m**2 + 2*m + 3. Let r be c(3). Is (r/f)/(-3) + 19 composite?
False
Let q = -18 + 17. Let w be q/(-4) - (-30)/8. Suppose 222 = w*v - v. Is v prime?
False
Let n = -91 + 599. Suppose a - n = 33. Is a composite?
False
Suppose 2*y = -r - r + 9996, 0 = -4*r - 12. Is y composite?
True
Let c(t) = -11 - 501*t**3 - 3*t**2 - t + 11 + 0*t. Is c(-1) prime?
True
Is (-156365)/22*(1 - 3) a prime number?
False
Suppose -4*s + 133922 + 4737 = 5*d, 4*s + 138651 = 5*d. Is d prime?
False
Let w(y) be the first derivative of -10*y**2 - 25*y - 25. Is w(-4) a prime number?
False
Suppose 4*h + c = 11361, h = -2*h + 4*c + 8497. Is h prime?
False
Suppose 3*h - 8 = -2. Suppose -h*q - 576 = -2*l, -286 = -0*l - l - q. Is l a composite number?
True
Let a = -11 - -21. Let w = a - 5. Suppose 0 = -5*r - 25, -w*j - 3*r = -r - 325. Is j prime?
True
Is (-12)/9*(-299352)/32 a composite number?
False
Let g = -97 + 61. Is (-38)/1*3*6/g prime?
True
Suppose -u + 0 = 6. Is ((-52385)/(-30) + 4/u)*2 a composite number?
False
Suppose -5*r = -r - 4*f + 480, 0 = -3*f. Let c = r + 249. Is c composite?
True
Suppose 0 = u + 4*u - 17015. Let y = -480 + u. Suppose 2*o - 1162 = -3*l, -3*o = 2*o + 3*l - y. Is o prime?
True
Suppose 2*i + 5*r = -6, -3*i = -2*r - 6 - 4. Suppose -4*o = -4*u - 654 - 1142, -3*o + i*u = -1347. Is o a prime number?
True
Suppose -9*q + 12593 + 20770 = 0. Is q composite?
True
Let j(v) = -7*v**3 - 15*v**2 - 70*v - 21. Is j(-8) prime?
True
Suppose 57*f + 26 = 5*p + 53*f, f + 12 = 4*p. Suppose 2*a + 12 = -4*o, 5*o + a - 4 = -16. Is (o - -4) + p - -297 composite?
True
Is 40959/15 - (5 - (-54)/(-10)) a prime number?
True
Let s be ((-9)/((-27)/8304))/(-1). Let x = s - -4407. Is x prime?
False
Suppose -16*s + 414444 = -4*s. Is s prime?
True
Suppose -235 = -5*x - 5*l, l = -4*x - 93 + 266. Let f = -78 - -175. Let m = x + f. Is m prime?
True
Is (7/49 + (-18)/(-21))*26669 a prime number?
True
Suppose 0 = -3*z + 3*v + 28482, -2*z + 3*v + 17413 = -1576. Is z a composite number?
True
Let w = 64 - 64. Suppose 3*x = w, -4*x = -3*l + 4*l - 674. Is l prime?
False
Suppose 0 = -4*a - 3 + 7. Is (-4 - -4)/(a - 2) + 379 composite?
False
Let k be ((-6)/12)/((-1)/(-2)). Let g be 0/(6/(-2))*k. Suppose 1347 = -g*n + 3*n. Is n a composite number?
False
Let s(z) = -120*z + 7. Suppose -g + 56 = -4*d - 3*g, -d - 14 = 4*g. Is s(d) prime?
False
Suppose 91*d + 4778 - 37447 = 0. Is d a composite number?
False
Let i = -230 - -505. Let c = -169 + i. Is c composite?
True
Let t(u) = 315*u - 58. Is t(11) a prime number?
True
Is (-2884490)/(-175) - (-1 + 4/5) prime?
False
Let l = -12 - -5. Let g(j) be the second derivative of j**4/2 - j**3/6 - 4*j**2 + 15*j. Is g(l) a prime number?
True
Suppose -2*l - m = -164768, 6185 = 2*l - 3*m - 158591. Is l a composite number?
True
Let d be ((-456)/30)/(6/(-345)). Let p = d - 330. Suppose 1541 = 3*v - p. Is v composite?
True
Let f(y) = -y**2 + 15*y. Let h be f(15). Suppose 10*s - 11*s = h. Suppose 3*g + s*g = 651. Is g a composite number?
True
Let p be (-8)/60 + 186/45. Suppose 2676 + 80 = p*u. Is u composite?
True
Suppose 10 = -2*w, -k - w = w + 9. Is k/(4390/(-1465) - -3) a composite number?
False
Let t = -525 + 1432. Is t composite?
False
Let w = 8 + -5. Let l = 695 + -197. Suppose w*g = g + l. Is g prime?
False
Suppose 0 = 3*r - t - 53580, r - 3*t - 17868 = -0*r. Is r composite?
True
Suppose 3*r - 5*r = -2*l - 2, -5*l - 2 = -2*r. Suppose -4*b + 2688 = -l*p - p, 5*b + 2*p = 3373. Is b a prime number?
True
Is 36/(-63) + (-3550)/(-14) composite?
True
Let a be (0 + 2 - (-3297)/(-14))*-2. Suppose -1533 = -5*w - y, 3*w - y = a + 456. Is w prime?
True
Suppose k = -3*h + 5, -h - 2*h + 3 = 0. Suppose 5*w = -a + 20, a - k*a - w = -12. Let u(c) = -c**3 + 12*c**2 + 7*c + 7. Is u(a) composite?
False
Let s be 6/3 - 10/(-5). Suppose 0 = 2*c + s*y - 24 - 78, -2*c - 3*y = -106. Is c prime?
True
Let x(c) = -8*c**2 - 14*c + 3. Let r(u) = 17*u**2 + 27*u - 6. Let v(k) = -6*r(k) - 13*x(k). Is v(-17) a composite number?
True
Suppose -z = -9*z + 1312. Suppose -2*v + 7 + 7 = 0. Suppose -o - v = -z. Is o prime?
True
Let b = 1443 - 812. Is b prime?
True
Let u = -17 + 25. Let a = -6 + u. Suppose -3*f = -a*f - 97. Is f a prime number?
True
Suppose 0 = -4*q - 5 + 13. Suppose q*r + 5*m = 2177, 3*r - 2174 = r - 4*m. Is r a composite number?
True
Let z(u) = -u**2 + 6*u + 4*u - 9 - 2*u. Let q be z(5). Is (230/(-4))/((-3)/q) a prime number?
False
Let r(g) = -5 - 40*g + 17 + 31. Is r(-7) prime?
False
Suppose 0 = 3*q - 3*p + 2*p - 23, 2*p = -q + 17. Let f = q + -5. Suppose 0*v + 2492 = f*v. Is v composite?
True
Let s(u) = 5*u - 2. Let h(o) = 9*o - 3. Let d(q) = -3*h(q) + 5*s(q). Let t be d(-3). Suppose 0 = -t*w + w + 1364. Is w a prime number?
False
Let y = 35 - 33. Suppose 5*r - 2032 = -4*n + 2376, y*r = n - 1089. Is n a prime number?
True
Let k be (-70)/(1 + -6) + -4. Suppose 0 = -k*c + 4*c. Suppose -6*n + 4*n + 938 = c. Is n composite?
True
Let c(z) = 49*z + 10. Let q be c(-12). Suppose -8512 = -5*l - 2227. Let a = q + l. Is a a composite number?
True
Suppose -4*u + 20895 = 11*u. Is u a prime number?
False
Suppose y - 25 = -4*y. Suppose -l - y*v = -2624, 4*l = -3*v + 6496 + 3949. Is l prime?
True
Let x(u) = -13*u - 13. Let o = -19 - -27. Suppose 2*l = o, -44 = 3*i - 3*l + l. Is x(i) composite?
True
Suppose 1 = w - 2*l, -w = -0*w + 2*l - 9. Suppose 2*z - 1608 = j, w*j = 4*z - 7*z + 2399. Is z a composite number?
True
Suppose -3*b + 7*b + 84 = 0. Let r be ((-2)/3)/(7/b). Suppose -r*t + 18 = t. Is t a composite number?
True
Suppose -5*b + 4*f = f - 2065, -b - 5*f = -385. Suppose 0 = 4*k - b - 146. Is k a prime number?
True
Suppose 391*f = 386*f + 12935. Is f a prime number?
False
Let n(m) = 5*m - 18. Let b be n(5). Suppose 6*z + 1973 = b*z. Is z composite?
False
Suppose -21065 = -3*c - 9*y + 5*y, 3*c = -2*y + 21061. Is c a composite number?
False
Suppose 106 = 3*c - 14. Let t(g) = g**3 - 14*g**2 + 20*g + 53. Let s be t(12). Suppose -c = j - s*j. Is j prime?
False
Suppose m = 3*b - 2, -5*b + m + 1 = -5. Suppose 0 = b*h + s - 502, 0 = h - 3*s + 73 - 324. Is h a prime number?
True
Let p(b) = 311*b**2 - 84*b + 26. Is p(15) prime?
False
Let d(q) = q + 10. Let p be d(-8). Let z(t) = 1 - 8*t + t**2 + p*t**2 + 3. Is z(5) prime?
False
Let x(h) = 980*h + 361. Is x(23) a prime number?
True
Let v(d) = 4*d + 17. Let q be 8/(-10)*1*45. Let k = -23 - q. Is v(k) composite?
True
Let i(z) = 340*z - 17. Is i(9) composite?
True
Let m be 0 + 3 + -1 - -3. Suppose 185 = m*s + 5*r - 455, 2*s - 3*r - 276 = 0. Suppose 499 + s = f. Is f a prime number?
True
Suppose -15 = 4*m - m. Let s = 24 + -25. Is s - (m + 2) - -117 prime?
False
Let n(q) = -74*q**3 + 3*q**2 + 4*q. Let h be n(-2). Suppose h = 4*w - 1944. Is w prime?
False
Let q(u) = u**2 - 33*u - 65. Let m be q(-10). Suppose 3*h - 350 = -956. Let a = m + h. Is a a composite number?
False
Let l = -30 + 37. Suppose l - 3 = 4*q. Is (q - 2)/((-4)/2316) prime?
False
Suppose -5*c = 6*c + 22. Let q(o) = 136*o**2 + 3*o + 3. Is q(c) a composite number?
False
Let n(w) = 9 + 2*w**2 + w**2 - w**2 - 14*w + 0*w**2. Let l be n(13). Suppose l = -a + 6*a. Is a prime?
False
Suppose 2*p = -13 + 17. Suppose 0 = 4*x - 20, 0 = -3*g + p*x + x + 1902. Suppose -3*b + 0*b = -g. Is b composite?
True
Let y = 109908 + -77771. Is y a prime number?
False
Suppose 264 + 282 = 2*w. Suppose -w - 1120 = -7*k. Is k composite?
False
Let q(t) = -9*t - 3. Let c(d) = 10*d + 2. Let u(z) = -6*c(z) - 7*q(z). Let i be u(5). Is -1*4*(-1794)/i a prime number?
False
Let g(q) = -26