 -2*x + 22. Let t = -10 + x. Let a(y) = 8*y + 3. Is a(t) a prime number?
True
Suppose 4*z - 201761 = 3*f - 30546, 4*z + 2*f = 171210. Is z a prime number?
False
Let l(w) = 2*w**3 - 4*w**2 + 5*w + 5. Let a be l(5). Let n = 363 - a. Is n prime?
False
Suppose 2*y = 4*i + 2962, 2*y + 3*i - 4037 = -1047. Let u = -234 + y. Is u prime?
False
Let b(k) = 398*k**2 + 7*k + 11. Is b(4) a prime number?
False
Let i = -8 + 4. Let k be i - (-1 - 0/3). Is 3*(-4 - k) + 298 a prime number?
False
Let z be 4 + 0/(-4) + -19. Let y be 2/(-7) + 57/(-21). Is (-4960)/z + (-1)/y prime?
True
Let x(r) = r**2 - 2*r - 2. Let a be x(0). Is a/15 + (-104137)/(-165) prime?
True
Suppose 0*q + 7*q - 77 = 0. Suppose -701 = -12*c + q*c. Is c composite?
False
Let u = 23 + -6. Is (u + -14)/((-6)/(-3646)) a composite number?
False
Suppose -524 = 2*s - 3304. Let v = -781 + s. Suppose l + v = 4*l. Is l a composite number?
True
Suppose 2*c - 788 = -j, 0 = -5*c - 3*j - 0*j + 1969. Let l = c + -262. Is l a prime number?
False
Let h(y) = y**2 + 9*y + 11. Let o be h(-8). Let b be 3 - -4*o/(-6). Is (b - 54/1)/(-1) a composite number?
False
Let y(z) = -3*z - 1. Let w be y(-1). Let j(o) = -4*o - 5*o + 1 + 15*o. Is j(w) a composite number?
False
Let y = -6114 - -2220. Is y/(-4)*18/27 a prime number?
False
Let d(m) = 115*m - 10. Let q(z) = 77*z - 7. Let g(r) = 5*d(r) - 7*q(r). Suppose -12 = -399*h + 387*h. Is g(h) prime?
False
Let r(x) = -x**3 + 4*x**2 + 4*x + 10. Let i be r(5). Suppose 0 = i*a + 2*a - 7343. Is a prime?
True
Let t(x) = -x**3 - 27*x**2 + 56*x - 24. Is t(-29) prime?
False
Suppose 0 = -17*z - 25*z + 1017282. Is z a composite number?
True
Suppose -3 = -f - 2. Suppose -f = o - 4. Suppose o*s = 568 - 169. Is s composite?
True
Let s(b) be the second derivative of b**5/10 + b**4/12 - 13*b**3/6 + 7*b**2/2 + 5*b. Is s(5) a composite number?
True
Let w = -6 - -8. Let b be (-1930)/(-20) - (-3)/w. Suppose -2*s = -0*s - b. Is s a composite number?
True
Let c be (-40)/(-18) + 14/(-63). Suppose -c*g + p + 11 = 0, -2*g - 3*p = 2*g - 7. Suppose -k - 1190 = -5*b, -b - g*k + 498 = b. Is b a composite number?
False
Let g(t) = -6*t**3 + 2*t + 1. Let u be g(-1). Is (-3366)/(-10) + (2/u - 0) a prime number?
True
Let u = -32 - -77. Let p = u - 24. Let m = p + -2. Is m a prime number?
True
Suppose 2*y = 3*z + 2*z + 1880, 5*y - 4717 = 4*z. Is 1/((18/y)/(4/6)) a prime number?
False
Suppose 56806 = 8*j + 16814. Is j prime?
True
Suppose 5*a + 4*j = a - 312, -280 = 4*a - 4*j. Let m = 295 + a. Is m a prime number?
False
Let h(u) = -u**3 - 6*u**2 + 6*u - 4. Let w(i) = -i**3 - 5*i**2 - 5*i - 4. Let n be w(-3). Let j be h(n). Is 1436/j - 4/(-12) a composite number?
False
Suppose 0 = -2*r + 7*x - 2*x + 6666, -9953 = -3*r - 4*x. Suppose 5*m - 3*g = r, -3*m + 2*m = 5*g - 687. Is m composite?
True
Let j(a) = 249*a + 3. Let t be j(3). Let n = 1199 - t. Is n a prime number?
True
Suppose -2*q - 16 = -c, 0 = -4*q + 5*q + 5. Suppose -c*f + 3*f = -13827. Is f prime?
False
Suppose -j + 5 = -1. Let s(c) = c**3 - 3*c**2 + 4*c - 5. Let r be s(j). Suppose r = 6*l - 5*l. Is l composite?
False
Let z(n) = 312*n**2 + 4. Let b be z(2). Let h = -735 + b. Is h prime?
False
Let l be ((-1)/(-1))/(2/4). Suppose -719 = -l*d - 67. Suppose -5*q + s + 1687 = 0, 5*s - d = -5*q + 1349. Is q a composite number?
False
Let t(z) = -9 + 4 - 4*z - 5*z. Suppose 4*v - 24*v - 160 = 0. Is t(v) prime?
True
Let d be 16/(-24) - (-16)/6. Let v(z) = 0 - d - 58*z - 1 - 22*z. Is v(-2) prime?
True
Suppose 4 = g - 5. Is g/(-6)*(-2)/3 - -126 a prime number?
True
Let z be (0/((4 + -3)*3))/(-1). Suppose -2*c + 4282 + 84 = z. Is c a prime number?
False
Suppose -w + 6 = 2*w. Let k(y) = -2*y**2 + 13*y**2 - 9*y**w + y. Is k(-7) composite?
True
Suppose 0 = -5*v + 3*c + 12367 - 711, -2*v + 4660 = -2*c. Is v prime?
True
Let t be (-2 - -1)*(4 + -6). Suppose 254 = z - m, z + 7*m - t*m - 236 = 0. Is z composite?
False
Let y be 12/9*(-36)/(-4). Let a = -8 + y. Suppose a*k + 140 = 1624. Is k composite?
True
Suppose 10 = 5*r + 2*b, 5*r - 4*b = 7 + 3. Suppose -r*c - 100 = -6*c. Suppose -n + c + 30 = 0. Is n a composite number?
True
Let g(l) = 63*l**2 - 60*l + 644. Is g(21) composite?
True
Suppose 43199 = 5*r + d + 9657, -r - 4*d + 6697 = 0. Is r composite?
False
Let j be (-1)/(1 - 0) + 121. Let v(b) = 9*b**3 - 5*b**2 + 5*b - 3. Let s be v(4). Suppose 0 = -4*r + q + s, -2*q - 17 - j = -r. Is r prime?
True
Let v(j) = 234*j**2 - 24*j + 401. Is v(12) a prime number?
True
Suppose 4*y + 3*z + 2391 = 11107, -4*y + 8716 = -4*z. Is y a composite number?
False
Let g be -3 + (-4)/(-1) + -1. Suppose 1509 = 3*v - g*v. Is v composite?
False
Let h = 45 - -48. Let k = h + 70. Is k a prime number?
True
Let z(n) = 214*n - 4. Let p(f) = 1. Let m(i) = -10*p(i) - 2*z(i). Let u be m(-1). Suppose -4*b = -t - 568, 0*b - 3*b = -t - u. Is b composite?
True
Suppose a = -3*b + 31378, 3*b + 11*a = 13*a + 31375. Is b prime?
True
Let h(k) = -9*k**3 - 3*k**2 + 16*k + 13. Is h(-6) composite?
False
Let o be -1*2 + 126/9. Suppose 0 = -x - 3*x + o. Is (-34)/(-2)*33/x a composite number?
True
Let w = -2570 + 3953. Is w composite?
True
Let u = 7 - 5. Is 752 + (u - (4 - 1)) prime?
True
Suppose -488 + 9149 = 5*i - 4*t, -t - 6931 = -4*i. Is i composite?
False
Let f = -3583 - -489. Let l = -1839 - f. Is l a prime number?
False
Suppose -5*z + 10*z - 5*u = 23000, -5*z = -2*u - 23015. Suppose -y + 38105 = 5*h, 10637 = 2*h + 3*y - z. Is h a prime number?
True
Suppose 3*k = y - 39005, 2*y = 3*k - 3657 + 81655. Is y a composite number?
False
Let a = -51 + 26. Let t = a + -84. Let u = 536 + t. Is u a composite number?
True
Let o be -5 + 2 - (1 + -5). Let c be (o/3)/((-1)/(-9)). Suppose -q + c*p = -112, p + 0*p - 640 = -5*q. Is q prime?
True
Let b = 8 - 1. Let d(c) = 5*c**3 - 5*c**3 - 10 - b*c**2 + c + c**3. Is d(9) composite?
True
Suppose 5 = 4*f - 3*v, 1 = 2*f + 5*v - 34. Suppose -n - 20 = -2*q, f*n = -5*q + 2*q + 43. Suppose q*h - 1595 = 6*h. Is h a prime number?
False
Let r = 653 + 200. Is r a prime number?
True
Suppose -4*a - 32 = -2*a - 2*u, 5*u = 2*a + 41. Suppose 0*b = 5*b - y + 30, b + 6 = -y. Is (a/3)/(2/b) a composite number?
False
Let v(l) = -2*l + 25. Let f be v(11). Is f - (5323/(-3) + 18/54) prime?
True
Let p(f) = 213*f**3 + f**2 + 3*f - 2. Let m(u) = -427*u**3 - 2*u**2 - 7*u + 5. Let y(l) = -2*m(l) - 5*p(l). Let o(n) = n + 4. Let h be o(-5). Is y(h) composite?
False
Let d(t) = -t**2 + 4*t - 2. Let v be d(2). Suppose 0 = -7*o + 3*o - i + 61, 3*o + v*i = 47. Is o a composite number?
True
Is (-756)/(-72)*404/6 composite?
True
Let p = 6156 - 3289. Is p composite?
True
Suppose -32 = -i + 2*k + 2*k, -6 = 2*k. Let r be 9/(-15)*-368 - (-6)/30. Suppose 3*a = r - i. Is a composite?
False
Let a = -6 - -6. Suppose -3*g + 5*g - 11184 = a. Is (-4)/(-6)*g/16 composite?
False
Suppose -2*w = n - 972, n - 4*w = w + 951. Suppose 5*z - 1289 - n = 0. Is z a composite number?
True
Suppose 2*h = l + 8, 0 = 3*h - 9 - 3. Suppose m - 4*m + 1497 = l. Is m composite?
False
Let g = -8 + 12. Suppose -g*k - 10 = -5*k + 3*p, -2*k + 4*p + 16 = 0. Suppose 2*x - k*r - 274 = 0, -r = 2*x - 6*r - 278. Is x a composite number?
True
Let a(s) = -243*s - 31. Let d be a(-8). Suppose d = 5*l + 3*j - j, -4*l - j = -1528. Is l prime?
False
Suppose 3*a + 6 = 0, -3*s + 0*s = 4*a + 19076. Let z be s/(-42)*(-3)/2. Let p = z - -376. Is p a composite number?
False
Let d(u) = u**3 - 13*u**2 - 11*u - 41. Let c be d(14). Is 12264/9 - c/(-3) prime?
False
Suppose -1409 = -0*d - d + 3*v, 0 = 3*d + 4*v - 4266. Is d prime?
False
Let l be 66/18 - 1/(-3). Suppose 3*a - 19 = -5*g, -3*a - l*g = -8*a + 7. Suppose 3554 = 4*z - 2*v, -a*z + 2*v + 2676 = -3*v. Is z a composite number?
False
Let a(o) = -9*o**3 - o**2 + 3*o - 2. Let j be a(-8). Suppose -3*t + 2*h + 6769 = 0, 0*t + 4*h = -2*t + j. Is t prime?
False
Suppose -25 = 3*q + 5. Let c be 5*-17*(-3 + q). Let s = -636 + c. Is s a prime number?
False
Let w = 17 - -174. Suppose w = -11*l + 12*l. Is l prime?
True
Let t(c) = -194*c + 15. Is t(-4) prime?
False
Let q(z) = -z**2 - 20*z - 16. Let t be q(-19). Suppose -3*w - 3*o = -7*w + 92, t*o - 92 = -4*w. Is w a composite number?
False
Suppose -28 = -3*z - z. Let i be (-68)/(-14) - (-1)/z. Suppose -i*j + 126 + 59 = 0. Is j prime?
True
Let p(o) = -185*o - 10. Is p(-7) a prime nu