-3*c, 5*k = -5*c + 132285. Is c composite?
True
Let b(u) = 29*u + 10. Let g(a) = -29*a - 11. Let x(q) = 4*b(q) + 3*g(q). Let v be x(6). Suppose s + 3*y + 2*y = v, -y - 2 = 0. Is s composite?
False
Suppose 3*y - 2*l = 147352 - 26023, l + 202222 = 5*y. Is y a composite number?
True
Let r = 2499 + -320. Is r a composite number?
False
Let f(a) = 4 - 38*a - 27*a + 4*a + 3. Is f(-12) a composite number?
False
Let j = -189048 + 354001. Is j a prime number?
True
Suppose 2*w = 5*w + g - 3007, 0 = 3*g + 15. Suppose 4*c + 4*u = w, -654 = -3*c + u + 111. Is c composite?
True
Let r(m) = -m**2 + 2*m + 3. Let u be r(2). Suppose 7*o - u*o - 32 = 0. Suppose 5*s + 3855 = o*s. Is s composite?
True
Let u = 38 + -25. Suppose 4*r - 3*v = 29, 2*v + 3*v = 2*r + 3. Suppose 0 = -r*k + u*k - 1366. Is k composite?
False
Let u(h) = -h**2 + h - 42. Let a be u(0). Let r be (-3)/(-6*(-3)/a). Let t(k) = k**3 - 7*k**2 + 4*k + 9. Is t(r) composite?
False
Let d(k) = k**3 - 17*k**2 + 17*k - 12. Let s be d(16). Suppose 4*z + 92 = 2*w - 370, -w + s*z = -225. Is w a prime number?
False
Let v(y) = 164*y**2 - 16*y - 71. Is v(-5) a prime number?
False
Let p(j) = 119*j**2 - 2*j - 10. Is p(7) a prime number?
True
Suppose -13 = -9*f + 32. Suppose -3*u - 5*v - 224 + 2891 = 0, f*u = -v + 4445. Is u a prime number?
False
Suppose 10*p = -16*p + 53170. Is p prime?
False
Let s(w) be the second derivative of -1/6*w**3 + 1/3*w**4 + 4*w + 1/2*w**2 + 0 + 3/4*w**5. Is s(3) composite?
False
Suppose 17*x + 31171 = 139172. Is x prime?
True
Suppose 2*k = 4*y + 13362, -4*y + 4 = -0. Is k a prime number?
False
Let r(f) = -1544*f + 71. Is r(-13) composite?
False
Suppose 14*k = -46403 + 272377. Is k a composite number?
False
Is 1146 + 0 + 9 + -4 prime?
True
Let h = 13 - 10. Let d(c) = 1 + 6*c**2 + 3*c**3 + 1 - 2*c - 4*c**3. Is d(h) a prime number?
True
Suppose 0 = -6*f + 25409 + 27265. Is f a composite number?
False
Suppose -35*q + 109860 = -15*q. Is q composite?
True
Is 857 + (-3 - -5)*1*-3 composite?
True
Suppose 0 = -4*h - 4*j + 1348, -132 - 544 = -2*h - 4*j. Suppose s - h - 553 = 0. Is s a composite number?
True
Suppose 16 = 4*s - 4. Suppose 68 = i + o, 60 + 271 = s*i + 2*o. Is i prime?
False
Let d = -1 - -1. Let u be 4/(-3) - (-28)/21. Suppose u = -d*a + 3*a - 399. Is a prime?
False
Let u = -356 - -3855. Is u a composite number?
False
Suppose 8391 = 3*d + 3*j, 0 = 3*d - 0*d - 4*j - 8405. Let o = d + -494. Is o composite?
True
Let h(a) = -156*a**3 - 6*a - 6. Let t be h(-3). Suppose -u - 3*u + 2*r + 4254 = 0, 4*r = -4*u + t. Is u composite?
False
Let q be 28/(-126) - 24098/18. Let a = q + 2738. Is a composite?
False
Is ((-385)/(-14))/(-11)*(-199482)/15 prime?
True
Let t be 3 - (10 + 0 - 4/4). Let l(z) = 15*z**2 + 7*z + 4. Is l(t) a composite number?
True
Let d be (17*282)/3 - -1. Suppose -2*s + z - d = -7*s, 3*s = 5*z + 937. Is s a prime number?
False
Suppose -7 - 17 = -4*v. Suppose -4*y - v = -7*y. Suppose -y*g = 3*c - c - 22, -2*g = 5*c - 13. Is g composite?
True
Let k(i) = -60*i + 8. Let m be k(-4). Suppose -2*s + 2*f + 198 = 0, 0 = -4*s + 5*f + 150 + m. Is s a prime number?
True
Let j = -5388 - -7609. Is j composite?
False
Let m(l) be the first derivative of -17*l**2 - 5*l - 8. Is m(-8) composite?
True
Let v(u) = -u**3 - 10*u**2 - 8*u + 12. Let h be v(-9). Suppose 60 = -h*w + 8*w. Is 1477/17 + w/102 composite?
True
Suppose -4*d = 2*u + 51698, 5*u - 4*d = -50842 - 78375. Let v = -9348 - u. Is 4/6*v/18 a prime number?
False
Let z = -9 - -17. Let w(q) = q**2 - 8*q + 2. Let o be w(z). Is (63 - 12) + (o - 0) prime?
True
Let d = -7 - -4. Let b be (2 - (-10)/(-3))*d. Suppose -3*z - q = -3*q - 531, -b*q + 370 = 2*z. Is z a composite number?
False
Let d(j) = j**2 + 5*j - 4. Let g be d(-6). Suppose -n - g*l + 23 = 0, 3*l + 2*l = n + 5. Is (174/(-5))/((-6)/n) a prime number?
False
Let q = 7 - 5. Suppose -122 = 5*i - 4*n, i - q*n = -34 + 12. Let y = 175 + i. Is y a composite number?
False
Suppose 25*a - 117963 = 82262. Is a a composite number?
False
Let v(p) = 59*p**2 + 15*p + 2. Let h be v(-6). Suppose -n + 529 = -6*y + 3*y, -4*y = 4*n - h. Is n composite?
True
Is (-18 + 13)/((-10)/12526) prime?
True
Let h be (1 + 1)/((-2)/(-9)). Suppose h = 3*k - 6. Suppose -1021 - 1914 = -k*m. Is m prime?
True
Let c be 6/(-8)*32/(-12). Let s be -196*c*(-1)/2. Let n = 323 - s. Is n prime?
True
Let n(j) = 40 + 95*j + 63 - 88. Is n(10) a prime number?
False
Let i = 13 - 14. Let j(f) = 35*f**2 - f - 1. Let p be j(i). Is (-7)/(p/(-20)) + 637 a composite number?
False
Let m(h) = 1 + 0 + 2*h - 23*h**3 - 2*h**2 + 3*h**2. Let q be (3/2)/((-9)/6). Is m(q) a composite number?
False
Let m = -11 + 16. Suppose 1039 = t - m*q, -q + 465 = -t + 1492. Let p = t - 609. Is p a composite number?
True
Let q(n) = 3268*n - 1. Let y be q(-8). Let v be (-1)/2 - y/14. Suppose -5*g = -v - 1938. Is g prime?
True
Is (((-27978)/(-24))/1)/(2/8) prime?
True
Suppose 4*h - 498 + 3884 = 3*i, -3*i + 851 = -h. Let q = h - -1344. Is q prime?
True
Let u(f) = 56*f - 51. Let h be u(2). Let y = 5 - 21. Let q = h - y. Is q a composite number?
True
Let n be 2/3*144/8. Suppose 97908 - 27360 = n*x. Is x composite?
False
Suppose 0 = -38*l + 32 + 44. Let c be 1/3 - (-128)/3. Suppose 0 = l*k - 631 - c. Is k prime?
True
Suppose 75091 = 9*o + 28102. Let j = o - 3584. Is j prime?
True
Suppose -4*s = -18*s + 104986. Is s a prime number?
True
Let m(q) = -q**2 - 6*q + 3. Suppose 0 = 3*l - 2*g + 10, 0 = l - 4*g + 5 - 15. Let s be m(l). Suppose -8 = -4*f, 4*f - s*f - 72 = -5*x. Is x prime?
False
Let p(z) = z**2 - 7*z - 4. Let g be p(8). Suppose -4 = g*o - 5*o. Suppose -v - 42 = -3*y, 0 = 3*y + o*v - 65 + 8. Is y composite?
True
Let s(b) = 1014*b + 341. Is s(4) a composite number?
False
Suppose t - 1627 = 3*s, 4*t + 0*s - 6552 = s. Is t a prime number?
False
Let v(m) be the third derivative of -8*m**2 - 7/6*m**3 + 0 - 5/24*m**4 + 0*m + 1/10*m**5 + 1/30*m**6. Is v(6) composite?
True
Suppose 3*s + 2*s = 0. Suppose 5*x - 3567 - 6263 = s. Is x composite?
True
Let f(p) be the third derivative of 2*p**4/3 - p**3/6 - 5*p**2. Is f(12) prime?
True
Let f(k) = -k**3 - 9*k**2 + 4*k - 7. Let v = -12 - 3. Is f(v) prime?
True
Let a(s) be the second derivative of -s**5/10 - 5*s**4/12 - s**3 - 3*s**2/2 - 2*s. Let g = 134 - 138. Is a(g) composite?
True
Suppose 19 + 146 = 5*l. Let c be (-3492)/l - 4/22. Let w = c - -603. Is w a prime number?
False
Suppose i - 2*i = -2*z - 119, -2*z + 2*i = 118. Let s(p) = 62*p - 111. Let x be s(10). Let b = z + x. Is b a prime number?
True
Let c(s) = -s + 17. Let v be c(14). Suppose v*g - 13 = -r, r + 14 = 3*g + 3*r. Suppose g*j = -3*b + 3*j + 314, -4*j - 289 = -3*b. Is b composite?
False
Let y(n) = 47*n**2 + 8*n + 11. Suppose 2*v + 16 - 4 = 0. Is y(v) prime?
False
Let b = 25 + -22. Let o be 1 + -2 + b - 42. Is -452*(-5)/(o/(-6)) composite?
True
Let k be (-4 + 28/8)*-146. Suppose 0*p + 130 = p. Let z = p - k. Is z composite?
True
Suppose -35*m - 2222 = -37*m. Is m composite?
True
Suppose -5*o - 3*k + 13522 = 0, 7*k = 8*k + 1. Is o composite?
True
Let a(d) = -63*d + 5 + 66*d + 26 - 197*d. Is a(-6) a prime number?
False
Let x(s) = 4*s**3 + 8*s + 5. Is x(6) a composite number?
True
Suppose -2*l - 428 = -2*j, 2*j - 17*l = -14*l + 431. Is j prime?
True
Let z = 8515 + -5793. Suppose 0 = 6*r - 8*r + z. Is r prime?
True
Let f = 19 - 14. Suppose f*z - 6*z = 0. Suppose z*o - 8 = -2*o. Is o a prime number?
False
Let t(m) = -12 - 7 - 3*m - 10*m**3 + 9*m**3 - 11*m**2 + 2*m**3. Is t(18) a composite number?
True
Let m be (-45)/(-25) + 2/10. Is (0 + m)*1257/6 prime?
True
Let g = -25611 + 37024. Is g a prime number?
False
Let b(r) = 28*r**2 - 21*r + 124. Is b(37) a composite number?
True
Suppose 59*g = 57*g + 45842. Is g a composite number?
False
Let m(v) = 9*v**2 - 4*v + 13. Let c be m(3). Suppose -9*n - c = -11*n. Suppose n = b - 2. Is b composite?
False
Let w(i) = -30*i + 64. Let j be w(26). Let q = 1510 + j. Is q a prime number?
False
Let h(f) = 69*f**3 - 8*f**2 + 20*f - 5. Let k(t) = 46*t**3 - 5*t**2 + 13*t - 3. Let y(l) = 5*h(l) - 8*k(l). Is y(-2) a composite number?
False
Let r be 4/(-6) + 2211/9. Let z be 12956/16 - 3/(-12). Let n = z - r. Is n prime?
False
Suppose 15*p = 6*p + 18. Suppose -2*b - p = 2, -5*q + 20967 = -b. Is q a prime number?
False
Let g(m) be the second d