 Is x(6) composite?
True
Suppose 4*g = 280 + 540. Is g a prime number?
False
Let f = 30 + -20. Suppose i - 4*k = -4*i + f, 5*i = 5*k + 5. Is i prime?
False
Let g(u) = u**2 - u. Let t be g(1). Suppose 6 = -3*d - t. Is (-2)/4*(d + -60) a composite number?
False
Suppose 3*u - 540 = 354. Is u composite?
True
Let x(o) = -o**3 + 5*o**2 - o + 6. Let u be x(5). Is (u + -39)*(-14)/4 a prime number?
False
Suppose -f + 12 = 4*z, -f + z - 3 = -0*z. Let p be 2/(2 + f)*-3. Is (0 + -1)*(-28 + p) a prime number?
True
Suppose -3*s + 34 = -s. Let a = 5 + -15. Let w = s + a. Is w a prime number?
True
Let r = 9 + -5. Suppose r*a + 21 - 55 = -2*j, -3*j + 2*a = -59. Is j composite?
False
Suppose 4*x - 1220 = -0*x. Is x prime?
False
Let z be (-12)/(-18)*(-15)/(-2). Let k(q) = 23*q + 4. Is k(z) prime?
False
Suppose -4 = 2*m - 6*m. Is 50 + 6 + (-3)/m a prime number?
True
Suppose -8*k + 4136 = -0*k. Is k a composite number?
True
Let l be (-1 + (-2)/(-4))*-2. Let o be 1 - (l - -1)/(-2). Is (1/3)/(o/222) a prime number?
True
Suppose -q = -a, -3 = -4*q + 3*a - 1. Let r be 70 - 1/q*4. Suppose 3*m = -3*x + 48, -5*x + 0*x - m + r = 0. Is x prime?
True
Suppose 3*m + m - 84 = 0. Is m prime?
False
Suppose 4*a - 8 = -4*m, 3*m = a - 0*a - 6. Is a + 0/(-1) - -86 prime?
True
Let p be 2/7 + 15/21. Suppose 4*s = -11 - p. Is (-92)/s + (-3)/(-9) a prime number?
True
Is 2*3/(-12)*-1486 prime?
True
Let b = -4 + 6. Let w be 8 + 1 - (1 - b). Suppose -w*t + 5*t = -385. Is t a prime number?
False
Let c(j) = -j**3 + 2*j**2 + j - 1. Let f be c(2). Let v = 1 - f. Suppose 4*l - 380 = -2*z - z, v = -3*l + 4*z + 285. Is l a prime number?
False
Let s = 18 - 18. Suppose -3*z - z + 88 = 0. Suppose h = -s*h + z. Is h a prime number?
False
Let x = 8 + 2. Suppose -106 = 9*t - x*t. Is t a composite number?
True
Let x(l) = 4*l - 1. Suppose -3 = -5*w + 2. Is x(w) prime?
True
Suppose 0 = -2*z - r + 12, 0 = -0*z - 3*z - 5*r + 32. Let u be -3 + 12/3 + z. Suppose -u*m + 345 = 3*v + 72, 5*v - 5*m = 455. Is v prime?
False
Let l(g) = -422*g - 3. Is l(-1) prime?
True
Suppose -2*z + 0*z + 6 = 0. Suppose -4*a = -u - 7, -4*u - z = -4*a + 13. Is a*(0 + -2) + 21 prime?
True
Let l be (-4)/(4/2) + 6. Suppose -5*s + 22 = -l*n, 5*n - 6*n = -4*s + 22. Is s/9 + 219/9 prime?
False
Let v = 14 - 14. Suppose 2*h + 3*h + 3*s - 1319 = v, -2*h = -4*s - 538. Is h composite?
True
Let f = 61 - -18. Is f a composite number?
False
Suppose 0 = 11*n - 4892 - 377. Is n a prime number?
True
Let f = 271 + -540. Suppose -511 = -0*o + o - 3*a, 5*a = -25. Let t = f - o. Is t prime?
True
Let i(z) = z**3 + 8*z**2 + 10*z + 9. Let c be i(-6). Let o = 53 - c. Suppose 25 + o = 3*d. Is d a prime number?
True
Suppose 0 = 5*u - 8*u. Suppose u = -2*i + 4*i - 190. Is i composite?
True
Suppose 2248 = -4*i - j, -5*i + 4*j = -0*j + 2810. Let p = i - -821. Is p a composite number?
True
Suppose 2*h + v - 15 = 0, 4*h - 4*v = -0*v + 24. Let t(k) = -2*k**2 + 5*k**2 + 7 - 4*k**2 + 7*k. Is t(h) a prime number?
True
Let n = -1121 + 3480. Is n prime?
False
Suppose 12 = 3*m - 4*k, -4*m - 14 = 3*k - 5. Let x be (-286)/(-6) + (-1)/(-3). Suppose 3*b - 54 = -3*r, 2*b + x = 2*r - m*b. Is r a prime number?
False
Let l(z) = -z**2 + z + 3. Let a be l(0). Suppose 0 = -a*n + 2*v + 17, 2*n + 2*v = -0*v + 28. Let b = n + -3. Is b a prime number?
False
Let o = -4 - -7. Suppose -2 = o*g - 5. Is 385/(-7)*g/(-1) a composite number?
True
Suppose 0 = -c - 3*j + 232, j - 3*j = -6. Is c a composite number?
False
Let m(w) = -353*w**3 - w**2 - w. Is m(-1) composite?
False
Let q be 3*(2 + (-12)/9). Suppose -3*l = q*l - 295. Is l a composite number?
False
Suppose -x - 3*x + 2580 = 0. Let v = x + -293. Let o = v + -239. Is o prime?
True
Let k(m) be the second derivative of -3*m + 0 + 1/2*m**2 + 5/3*m**3 + 1/2*m**4. Is k(7) a prime number?
False
Let d be ((0/(-1))/(-3))/(-2). Let y(v) = -v + 417. Is y(d) prime?
False
Let d be 4/(-3)*(-27)/9. Suppose 4 = -3*q - q, d*z - 5*q - 353 = 0. Is z composite?
True
Let c be 1320/(-75) + 4/(-10). Is -2 - (-3 - c/(-3)) a prime number?
True
Suppose -3*i - 7*g - 18 = -3*g, 0 = 4*i - 4*g + 52. Let q(f) = f**2 + 8*f + 1. Is q(i) a composite number?
True
Let b = 171 + -102. Is b a composite number?
True
Let s(q) be the second derivative of -q**4/12 - q**3 - q**2/2 - 4*q. Is s(-4) prime?
True
Let h be (-2)/(-4) + (-12)/(-8). Let f be -7*(-28 - (0 - h)). Let j = f - 127. Is j a composite number?
True
Let q = -3 - -25. Suppose -d + q = -6. Let u = -17 + d. Is u composite?
False
Suppose 0 = -7*n + 3*n. Suppose -l - h + 62 = -n*l, -3*l = -4*h - 165. Is l a composite number?
False
Let h be (6 - 18)*1/(-3). Suppose i = h*v - 33, -2*i + 3*i = -2*v - 51. Let k = -24 - i. Is k a prime number?
False
Let o = 1941 - -2221. Is o a composite number?
True
Let x = -719 + 1024. Is x composite?
True
Suppose 4*t = 2*t - 2*y + 4, -t - 2*y = -3. Let m(h) = 8*h**2 + h. Is m(t) composite?
True
Let q = -59 + 55. Let y(b) = 0*b**2 + 6 + b - 3 + b**2. Is y(q) composite?
True
Let i = 21712 + -14879. Is i prime?
True
Is (1 + 0)*(1813 - 20) a composite number?
True
Let f(i) = -19*i**3 + 3*i**2 - 3*i + 2. Is f(-3) a prime number?
False
Suppose c - 39 = 4*v, 4*v + c + 27 = -6. Let q = 26 - v. Is q prime?
False
Suppose 3*b - 2 = -m, 0 = 2*b + b - 5*m - 8. Let q be 54/12 + 2/(-4). Is b + 68 + -4 + q a composite number?
True
Suppose 6 = 2*b + b. Suppose 4*i - 2*i = b. Is 50/2*i + -3 a prime number?
False
Let l(d) be the third derivative of -d**8/6720 + d**7/840 + d**6/240 - d**5/40 - d**4/6 + 2*d**2. Let f(w) be the second derivative of l(w). Is f(2) prime?
True
Let m be (3216/40)/((-6)/(-20)). Suppose n + n - m = 0. Let p = n - 49. Is p prime?
False
Let w(p) be the second derivative of p**6/360 + p**5/30 + p**3/6 + 2*p. Let n(g) be the second derivative of w(g). Is n(3) prime?
False
Suppose -2*g = 3*x - 7*g - 43, -5*x - 5*g = -5. Suppose 0 = x*r - 5*r - 14. Is (3 + r/(-4))*-446 prime?
True
Let n be ((-12)/14)/((-5)/595). Suppose -3*m + m = -n. Is m a prime number?
False
Suppose -3*i = -7*i, -3*u = -i - 282. Is u a prime number?
False
Let p(l) = 4*l**3 + 10*l**2 - 5*l - 4. Let n(g) = -9*g**3 - 21*g**2 + 10*g + 9. Let a(y) = 3*n(y) + 7*p(y). Is a(-5) prime?
False
Suppose 36 = 2*h - 14. Suppose -4*c + 101 = h. Is c prime?
True
Let v(y) = -49*y. Let p be v(-3). Let l = -213 - -145. Let a = p + l. Is a prime?
True
Suppose c = -3*c. Suppose 4*r + 2*j + c*j = 222, 2*j + 202 = 4*r. Is r composite?
False
Let y = -4 + 11. Let g(m) = -2*m**3 + 3*m**3 - 3 - 4*m**2 - 2*m**2. Is g(y) a prime number?
False
Let m(r) = -32*r - 9. Let i = 7 - 14. Is m(i) composite?
True
Suppose -3*b = -b + 36. Let g = b + -2. Is -1 + (-2 - (g + -2)) a prime number?
True
Let a = -1264 + 4427. Is a prime?
True
Let d be (-52)/(-12) + (-1)/3. Suppose -d*u - 3*t - 39 = -3*u, 4*u = t - 117. Let x = u - -107. Is x a composite number?
True
Let m be (248/6)/(2/3). Let f = m - 9. Is f a prime number?
True
Let h be 1022/6 + 6/(-18). Let j = 297 - h. Is j prime?
True
Let s(x) = -6*x**3 + 2*x**2 + 2*x - 7. Let g be s(-5). Suppose 4*a + 372 = 6*t - 4*t, g = 4*t + 5*a. Suppose 0 = k - t + 31. Is k prime?
False
Suppose 6*y + 3 = 3*y. Suppose -5*z + 9 = -81. Let g = z - y. Is g prime?
True
Let g = 258 - 116. Let r = g + 1. Is r composite?
True
Let b(f) = -3*f - f**2 - 2*f - 2 - 2*f. Let i be b(-6). Suppose 5*j = -m + 817, -j = i*m - 145 - 26. Is j a composite number?
False
Suppose 2*v + 6 + 14 = 0. Let k(f) = -f - 12. Let a be k(-10). Is (-346)/v + a/(-5) a composite number?
True
Let x be (-170)/(-4)*(6 - 2). Let n = x - 101. Is n prime?
False
Let k = -18 + 23. Suppose -k*m + 2*o - 1 = 6*o, -3*m - o + 5 = 0. Is m composite?
False
Suppose 0 = -0*w - 5*w + 40. Let c be -184*3*(-2)/w. Is (c/18)/((-1)/(-3)) composite?
False
Let q = 6 - 4. Let s = 10 + q. Is (-8)/s - (-82)/6 composite?
False
Suppose 3*j - 31 = 2*j. Suppose g - 2*g + 17 = 5*y, 5*g - j = 2*y. Suppose -i + 26 + g = 0. Is i composite?
True
Let d = 4 + -11. Is (-93)/d + (-4)/14 composite?
False
Suppose 28 = 5*g + 3*q, -g + 5*q = -0*g. Suppose g = a + 1. Suppose a*m - 4*u - 56 = 0, 3*u - 17 = 4*m - 78. Is m composite?
False
Let m(c) = -19*c - 4. Suppose 5*u = u - 12. Is m(u) composite?
False
Let t be 1 + -1 + 3 + -2. Is (78/12)/(t/14) a prime number?
False
Let m(h) be the third deriva