 = 2*n. Is z a prime number?
False
Suppose q = 5*q - 3508. Is q prime?
True
Let m = 15 - -320. Is m a prime number?
False
Let p(q) = 60*q - 2. Let u be p(-3). Is u/(-6) + 6/9 a composite number?
False
Suppose -d + 2*d - 1005 = 0. Suppose -4*f = 3*s - 604 - 202, d = 5*f + 5*s. Is f prime?
False
Let y(m) = -56*m - 2. Let j be y(-6). Suppose 2*c = -w + 252, 3*c - 3*w - 53 - j = 0. Suppose 3*a - 146 - c = 0. Is a composite?
True
Let p(r) = r + 1. Let b be p(4). Let x = b + -3. Is 133 + 2*(-3 + x) composite?
False
Is (-16 - -5)/((-1)/149) composite?
True
Is 3/3*8/12*447 a prime number?
False
Let c = 2042 + -783. Is c composite?
False
Suppose -5*j = 2*j - 15071. Is j a prime number?
True
Suppose -3*g - 5*r + 62 = 0, 7 = -3*g + 4*r + 33. Is (-1419)/(-7) + g/49 a prime number?
False
Let z(w) = w**3 - 7*w**2 - 8*w - 6. Let v(h) = -3*h**3 + 20*h**2 + 24*h + 17. Let b(k) = -3*v(k) - 8*z(k). Is b(6) composite?
True
Suppose -5*s + 464 = -5*x + 3624, -3*x = -5*s - 1890. Is x a composite number?
True
Let j be 45/(-6)*(-24)/10. Suppose -5*d + j = -257. Is d prime?
False
Let z be ((-4)/3)/((-1)/(-129)). Let l = 104 + z. Let o = l + 115. Is o prime?
True
Let j(t) be the second derivative of t**5/20 + 3*t**4/4 - t**3/6 - 4*t**2 - t. Let x be j(-8). Suppose -x = -w - 18. Is w prime?
False
Let k(x) = -2*x**3 - 7*x**2 - 5*x + 3. Is k(-7) a prime number?
False
Let k(z) = -3*z**3 - 4*z - 5 - 6*z + 4*z**3. Is k(8) composite?
True
Suppose 12*o + 14125 = 15*o + 5*a, -14109 = -3*o + 3*a. Is o a composite number?
True
Is (-379)/(-2) - (-3)/2 a prime number?
True
Let l be 2/(-4)*5*-2. Suppose b - 25 = 4*t, -3*b = l*t - 74 - 52. Is b composite?
False
Suppose -1899 = -3*d + 2*z, 5*d + z = 2*d + 1890. Is d a composite number?
False
Suppose -5*t - 504 = -4*k, -3*t - 4*k - 120 = -2*t. Let s = t + 73. Let g = -10 - s. Is g a composite number?
True
Let d = -44 + 69. Let n = 51 - d. Suppose 0 = -3*c + 13 + n. Is c prime?
True
Is (-2 - -2 - 0/(-1)) + 97 prime?
True
Let y = 7053 - 3220. Is y prime?
True
Let y be 4 - (-1 + -3 + 4). Suppose -y*p = -4*l - 576, -p + 2*p - 159 = 4*l. Is p prime?
True
Let s(a) = -a**3 - 4*a**2 + a + 4. Let x be s(-4). Suppose -3*g = x, 3*i - 3*g + 177 = 6*i. Suppose -5*k + i = -56. Is k composite?
False
Suppose -3*u + 2717 = 5*m - 0*u, 12 = 3*u. Is m a prime number?
True
Let s = -1 + 5. Let x be s + -3 - 10*-3. Let n = 68 - x. Is n a prime number?
True
Suppose 3*t - 3 - 15 = 0. Let q = t + 32. Let m = -27 + q. Is m a composite number?
False
Suppose -5*x + 2*s + 4560 + 2674 = 0, 5*s - 4328 = -3*x. Is x/14 + 8/(-28) a prime number?
True
Let f = 551 + -328. Is f a prime number?
True
Let x be 3/(-6)*1*-10. Suppose x*l + 0*l = 3*p + 286, 283 = 5*l - 4*p. Is l prime?
True
Let w = 1 - -5. Suppose -v + w = 2*v. Suppose -v*n - n + 387 = 0. Is n a prime number?
False
Is -1 + (-4)/(-1) - -392 prime?
False
Suppose -53 = -2*v + v. Let l = v - 7. Is l composite?
True
Suppose 4*u = -0*u + 16. Let b = -32 + 22. Is (0 - 4)*b/u composite?
True
Let a = 13 - 23. Let i = 31 + a. Is i composite?
True
Let l(b) = b**3 - 10*b**2 + 8*b - 9. Let k be l(9). Let s be (-2)/6 - 1032/k. Suppose 13 + s = 2*t. Is t prime?
False
Let r = 886 - 566. Let x = 537 - r. Is x prime?
False
Suppose 3*n + 0*k - 5*k = 6, 0 = -k. Suppose n*v = -2*v. Is v - -1 - (-4 + -2) a composite number?
False
Suppose 0 = 2*f + f + 6. Let p(d) = 4*d**2 - d. Let r be p(3). Is (r/6)/((-1)/f) prime?
True
Let p = -164 + 729. Is p prime?
False
Suppose -4*f + 4*p - 324 = 0, -2*f + 4*f = -3*p - 182. Let q = f - -122. Is q a composite number?
False
Suppose -2*g = -4*t - 0*g + 586, 5*t + g - 750 = 0. Is t a composite number?
False
Let z = -9 - -7. Is 12/z*(-37)/2 a composite number?
True
Suppose 0 = -y - y - 2, 2*n - 2680 = 4*y. Suppose m = -m + n. Is m prime?
False
Let o be -62 - ((-2 - -1) + -2). Let n = -220 - o. Is (-2)/4*2*n a composite number?
True
Suppose -3*z + 4179 + 264 = 0. Is z a prime number?
True
Suppose -p - 622 = -4*b - 6*p, -3*b + 472 = p. Is b composite?
True
Let h(q) = -2*q - 1 - 2*q + 3*q. Let r be h(-1). Suppose -4*g + 7*g - 237 = r. Is g prime?
True
Is (0 - 3) + 17*8 a composite number?
True
Suppose -t - 3*h + 7 = 0, -4*t = 4*h - 0*h - 4. Let q = 66 + -97. Is q/((t + 1)/1) a prime number?
True
Let f(r) = r**2 - 3*r. Suppose -2 - 6 = -4*i. Suppose 12 = 2*x + i. Is f(x) prime?
False
Let g = 113 + 108. Is g composite?
True
Is 28/12 - 3 - (-2170)/6 a prime number?
False
Is -2*1 + (311 - -10) a prime number?
False
Is (-27672)/(-18) - (2/3)/2 a composite number?
True
Suppose -6*j - 2*m = -j - 3505, 0 = 5*j - m - 3505. Is j a prime number?
True
Let j be (9/2)/((-6)/36). Let u = j - -38. Is u a prime number?
True
Let a = -19 + 13. Let x = a - -10. Suppose x*c - h = 595, -6*c + 2*c + 5*h = -591. Is c prime?
True
Let z be ((-8)/(-5))/(6/15). Suppose 0 = -w + z*w - 12. Suppose b = -w*b + 345. Is b composite?
True
Let i = 28 - 14. Suppose 3*k - k - i = 0. Is k composite?
False
Suppose -2*t = 813 - 3331. Is t a composite number?
False
Let y be -17*(-12 + 6/(-2)). Suppose y = 2*b - 491. Is b a composite number?
False
Let o = 1067 - 12. Is o prime?
False
Let x be ((-3)/(-2))/(9/12). Suppose -71 = -4*k - g + x*g, -3*g = 3*k - 42. Let l = k + 6. Is l a composite number?
False
Suppose 16 = b - 0*b - 5*t, 0 = 4*b - 4*t - 96. Is b composite?
True
Suppose -5*d = -4*d + 3. Let x be ((-2)/(-6))/((-1)/3). Is (-12)/d + (x - 0) prime?
True
Let g(v) = 2*v - 7. Let t be g(6). Suppose -4*d + 12 = 3*m - t*m, 2*d = 5*m - 2. Is 101/d + (-2)/8 a composite number?
True
Let b = 6 + -7. Let t be (0/1)/(2*b). Let o = t - -37. Is o composite?
False
Let u(v) = 5*v. Let n be u(-2). Let l = 40 + n. Is -1 - 1 - l/(-2) a prime number?
True
Let s(y) be the third derivative of y**8/20160 - y**7/1008 + y**6/90 + y**5/60 + 3*y**2. Let f(j) be the third derivative of s(j). Is f(7) a composite number?
True
Let u = 5 - 2. Suppose -5*j + h - 3*h = 0, -u*j = -2*h. Suppose 2*y + 67 = k, j = -k + 3*y + 2*y + 67. Is k composite?
False
Suppose 2*q = -5*a + 41, -a + 2 - 3 = 5*q. Suppose a*p = 4*p + 50. Is p a prime number?
False
Let i(q) = 5*q**2 - 13. Is i(6) a composite number?
False
Suppose s - 41 = -z, 4*s - 88 = -2*z + 5*s. Suppose 5*n + b - 102 = 0, -5*n + b + 65 + z = 0. Let a = -2 + n. Is a a prime number?
True
Suppose -j - 450 = -5*n - 2*j, 2*n - 5*j - 153 = 0. Is n a prime number?
True
Is 3/6*-137*-6 prime?
False
Suppose -4*x = 3*f - 29, 5*f - 7 = 6*f - 2*x. Suppose 4*j = 1 + f, 3*j - 718 = -5*b. Is b a prime number?
False
Suppose 5*w + 5*h = 15, -2*w + 5*h = -3*w + 15. Suppose w = 3*i + p + 35 - 148, -i - 3*p = -27. Is i prime?
False
Let l(c) be the third derivative of c**6/120 + c**5/10 - c**4/3 + c**3 + 2*c**2. Is l(-7) prime?
True
Let u = 9 + -7. Let d = -8 + u. Let j = 1 - d. Is j a composite number?
False
Let u = 154 - 75. Is u composite?
False
Is 4/(-22) + 12830/22 a composite number?
True
Let c = 127 + -83. Let u = c + -13. Is u composite?
False
Suppose -83 = h + 3*o - 537, -h = -5*o - 414. Is h a composite number?
False
Let y = -18 + 14. Let n = 71 + y. Is n composite?
False
Let c = -12 - -17. Suppose c*d = -40 + 995. Is d composite?
False
Is 5/((-68)/23 + -3 + 6) a prime number?
False
Let n(f) = 127*f**2 + 4*f - 4. Is n(3) prime?
True
Suppose -6*f + 9656 = 2630. Is f prime?
True
Let s(d) = 19*d**3 - d**2 + d - 6. Is s(4) composite?
True
Let u be 16/(-56) + 121/7. Let o be (-3)/(-5) + 335/25. Let v = u + o. Is v a composite number?
False
Suppose 3*d + 2*k - 4377 = -3*k, -3*k - 7261 = -5*d. Is d composite?
True
Let b(i) = 286*i**2 + 1. Is b(-1) prime?
False
Let o be ((0 - 1)/1)/1. Is 38/(o/2*-4) a composite number?
False
Let i(l) = 5*l**2 - 15*l + 5. Let n be i(10). Suppose v = y + 201, 447 = 4*v - 5*y - n. Is v a prime number?
False
Suppose -u + 4*v + 17 + 10 = 0, -5*u + 50 = -3*v. Suppose 4*l + u = 27, -2*k + 234 = -4*l. Is k a prime number?
True
Let k(s) = -3*s**3 - 2*s**2 - s - 3. Let x be k(-3). Let i = 20 + x. Is i composite?
False
Suppose 3*j = -3*y + 243, -2*j + 5*j = -4*y + 241. Is j a composite number?
False
Suppose -5*d + 12913 = 4*l, d = 5*l + 802 + 1769. Is d composite?
True
Let d = -4 + 6. Suppose m - 67 = -2*g, 5*g - d*m - m = 184. Suppose -4*t + g = -3*t. Is t a prime number?
False
Let q(g) = -1 - 7*g - 4 - 1 + 5. Is q(