96 + 2745 = j. Is j a prime number?
True
Suppose -5*w + 84 = v, 0 = 4*v - 5*w - 108 - 153. Is v prime?
False
Let u(j) = 6*j**2 + j. Let x be 0 - 2 - -4 - 1. Suppose -v = -5*m - 11, m + x = 5*v - 6. Is u(v) a prime number?
True
Let j(b) = -b**3 - 9*b**2 + 7*b + 5. Is j(-10) a composite number?
True
Let f = -226 + 383. Is f a composite number?
False
Suppose 6*v - 9 = 3. Suppose -v*q - 71 = -189. Is q prime?
True
Is (-9489*(-4)/30)/((-8)/(-20)) composite?
False
Suppose 5*u - c = 121, -u + c + 19 = 6*c. Suppose 30 = 4*a - 86. Let v = a + u. Is v composite?
False
Let a = -11 - -15. Let b = -2 + a. Suppose b*u = -121 + 491. Is u a composite number?
True
Let u be 1 + 0 - (-1 + -2). Suppose u = -4*d + 32. Is d prime?
True
Let i(f) = 2495*f**2 + 8*f + 3. Is i(-2) prime?
True
Suppose 595 = -f + 2*f. Suppose 0*n - f = -5*n. Is n a composite number?
True
Let g be (3 + -8)/(2/(-2)). Suppose 0 = -g*m - b + 632, -2*m - 2*b + 242 = 2*b. Is m prime?
True
Suppose -i = 1, 0 = m + 5*i - i. Suppose m*p = -p. Suppose p*t + 140 = 4*t. Is t prime?
False
Suppose 2*h - s - 3*s - 20 = 0, -3*h + s = -15. Suppose 459 = 4*i + 5*p, h*i + 2*p - 162 = 288. Is 2/((-1)/(i/(-6))) a composite number?
False
Let w = 851 + 131. Is w a composite number?
True
Let u = 148 + 222. Is (u/4)/((-1)/(-2)) prime?
False
Let p(u) = -u**2 + 9*u - 7. Is p(7) composite?
False
Let h = -13 - -10. Is (-158)/h*3/2 a prime number?
True
Let r(u) = 2*u**2 + 7. Suppose -2*f = f - 4*s + 10, -s = -4*f - 22. Is r(f) a prime number?
True
Let y be (-4)/6 + (-34)/(-6). Suppose 0 = 2*j - y*j - 3. Is 2/j*-1 + 19 composite?
True
Suppose 0 = 4*x - x. Suppose x = -2*t + i + 410, -4*t + 560 + 240 = 3*i. Is t composite?
True
Let d(o) = -o**2 + 10*o + 9. Let l be d(9). Let r = 1 + l. Is r composite?
False
Suppose 130 = 5*b - 125. Let t = b - 119. Let d = -15 - t. Is d composite?
False
Suppose 334 = c + 118. Suppose 5*h - c = h. Let g = -33 + h. Is g a prime number?
False
Let y = 731 - 414. Is y a prime number?
True
Suppose -f = -5*a + 19, 4*f = -2*a - 3*a - 176. Let g(z) = -z**3 + 6*z**2 - z - 2. Let d be g(7). Let v = f - d. Is v a prime number?
True
Is 7 + -11 + (-131)/(-1) a prime number?
True
Let h be -3 - (-2)/4*-386. Let q = h - -357. Is q a composite number?
True
Let i(c) be the first derivative of 2*c**3/3 + 3*c**2 + 2. Let m be i(-5). Suppose -m = -s + 1. Is s a prime number?
False
Suppose -k + 10 = 4*k. Suppose 5*z - 12 = c, -5*z + 2*c + k = -6*z. Suppose -2*r - l + 95 = 0, -z*r - l = -4*l - 83. Is r composite?
True
Suppose 4*j = 4, -4*b = -2*j + 28 + 14. Let q(l) = l**3 + 10*l**2 - 6*l - 14. Is q(b) composite?
True
Suppose d - 3*k - 1081 = -k, -k = 5*d - 5405. Is d a prime number?
False
Let s = -2 - -7. Suppose 4*c - 2 = -2*u + 7*u, 0 = c + u - s. Suppose -c*p + 429 + 54 = 0. Is p composite?
True
Suppose 3*z = -2*b + 815, z = -5*b + 232 + 57. Is z a prime number?
True
Let w(q) = 37*q - 9. Is w(8) composite?
True
Suppose 502 = a + a. Is a a composite number?
False
Let z(n) = -1736*n - 17. Is z(-5) prime?
True
Suppose 0*u + 2*u = 0. Suppose -b - 4*n + 2*n + 41 = u, -3*n - 197 = -4*b. Is b a composite number?
False
Let x = 2 - -28. Suppose 0 = 3*c + x - 123. Is c prime?
True
Let s(l) be the second derivative of -23*l**3/6 - 2*l**2 + 2*l. Is s(-3) composite?
True
Is (-2)/(-4) + (-20331)/(-6) a composite number?
False
Let t be (0 - (3 - -2))*25. Let k = -74 - t. Is k prime?
False
Let n = 127 - -270. Is n a prime number?
True
Let a(j) be the first derivative of j - 1/3*j**3 - 1/4*j**4 - 3 - 1/2*j**2. Is a(-3) prime?
False
Let k = -653 + 977. Let w = k - 34. Let c = w + -201. Is c a prime number?
True
Suppose -2*q + 2*w = -1536, -989 = 5*q - 4*w - 4830. Is q a prime number?
True
Let v be ((-16)/40)/((-1)/(-5)). Is (12/24)/(v/(-1004)) a prime number?
True
Let j(p) be the second derivative of p**3/6 - 3*p**2/2 - p. Let q be j(6). Is (-2)/q + 2492/21 prime?
False
Let l(h) = 112*h - 31. Is l(8) a prime number?
False
Let p be -1 + (18/3)/2. Suppose -p*i + 2 = 0, 4*b + i - 130 = 3*b. Is b composite?
True
Let j(o) = -o**2 - 12*o - 9. Let g be j(-11). Suppose -2 + 104 = g*a. Is a a prime number?
False
Suppose 1820 = -b + 6*b. Suppose b = p + p. Suppose 93 + p = 5*g. Is g composite?
True
Suppose 0 = -3*z - 2*z + 15. Suppose -4*x + 68 = -5*a - 187, z*x - 192 = 4*a. Suppose 5*i + 5*l - x = 0, 49 - 6 = 4*i + 3*l. Is i a composite number?
False
Suppose -2*m + 4 = -m. Let a(t) = t**3 - 2*t**2 + t + 1. Is a(m) a prime number?
True
Is (-331)/(-7) - 6/21 prime?
True
Suppose 933 + 1301 = 2*t. Is t composite?
False
Suppose 3*y + 4*q - 16 = 0, -4*y + 0*q = q - 30. Let f(o) = 3*o - 11. Let z be f(y). Let c = 23 - z. Is c a prime number?
False
Suppose -3*r + 0*r = -321. Suppose -38 + r = 3*y. Is y a prime number?
True
Let s = 3 + -9. Let v be (-100)/(-6)*s/(-4). Suppose 0 = -4*y + 3*l + 272, v = 2*y + 5*l - 85. Is y a composite number?
True
Let j(b) = -b**2 + 8*b + 4. Let k be j(8). Let t = k + -2. Is ((-3)/(-6))/(t/76) a prime number?
True
Let j(z) be the first derivative of 5*z**3/6 + z**2/2 - 2*z + 1. Let r(m) be the first derivative of j(m). Is r(4) a prime number?
False
Suppose -m - 3*m + 8 = 0, k + 5*m - 79 = 0. Is k prime?
False
Suppose -w + 3*w = 3*q - 5, w - 17 = -5*q. Suppose -w*p = -p + 2. Is (p/3)/(8/(-108)) a composite number?
True
Suppose -5*v = 0, 4*u + v - 4459 = -1047. Is u prime?
True
Let t(w) = 9*w - 13. Is t(18) a composite number?
False
Suppose 4 = -8*v + 12*v. Suppose -4*g + 288 = -4*m, -v = 3*m - 7. Is g a prime number?
False
Let d = 0 + 2. Let l be d/(-8) + (-930)/(-8). Let b = -83 + l. Is b composite?
True
Let f = 18 + -15. Suppose 0*z - 4*l - 103 = -f*z, -82 = -2*z - 4*l. Is z a composite number?
False
Suppose 3*g + 0*p - 10 = 4*p, 5*g = 3*p + 13. Suppose g*s = 4*s - 6. Suppose q = s*q - 6. Is q a prime number?
True
Let x(d) = -7*d - 2. Suppose -5*h + 5*m = -10, h + 9 = -3*m - 9. Is x(h) a prime number?
True
Suppose a - 1 - 6 = 0. Suppose 3*g + 0 = 3. Is 63 - a - g*-1 prime?
False
Let o be ((-207)/6 + -2)*-18. Let c = o - 190. Is c prime?
True
Let g be (12 + 0)*15/9. Let c be (0 - 132)*(-15)/g. Suppose -3*h + 4*h = 2*f - c, -5*h - 152 = -3*f. Is f prime?
False
Let p = 272 - 181. Suppose 4*d = 4*b - 105 - p, -3*b = 5*d - 123. Is b composite?
True
Let d(b) = 3*b - 2. Let z(w) = w - 1. Let q(o) = -d(o) + 6*z(o). Let m be q(6). Let x = -7 + m. Is x a prime number?
True
Is (0 - 211)/(2/(-2)) a composite number?
False
Let g = -2 - -5. Let y(q) = 22*q**3 - 19*q**g + 0 + 2*q - 1 - 4*q**2 - 1. Is y(3) a prime number?
False
Let y(v) = v**3 - 3*v**2 - 4*v - 3. Let a be y(5). Suppose -a - 6 = -3*g. Is g prime?
True
Is -10*(-596)/8 - 0/(-1) composite?
True
Let r(y) = y**3 - 14*y**2 - 19*y - 5. Is r(19) a composite number?
False
Suppose -b - 2*b = -w + 232, -3*b + 660 = 3*w. Is w a prime number?
True
Let y(m) = m - 1. Let w be y(6). Let i(d) = d + 3. Let o be i(w). Is -1 - o*42/(-3) composite?
True
Suppose -m + 0*m = 0. Let r(j) = 2*j**2 + 4*j - 1. Let a be r(-8). Suppose m = -5*x - 0 + a. Is x prime?
True
Suppose 2*k + k - 1131 = 0. Is k a composite number?
True
Suppose 119 = y - 283. Suppose 122 = 4*l - y. Is l composite?
False
Let p(k) = 9*k**3 - 4*k**2 - k - 1. Suppose 0 = -5*w + 25, -20 = 5*r + 4*w - 55. Is p(r) prime?
False
Let b(q) = 11*q**2 - 13*q + 6. Is b(-5) composite?
True
Suppose 5*v - 1492 = -2*h + 1986, -4*h + 2792 = 4*v. Is v composite?
True
Suppose 16*n + 446 = 18*n. Is n a composite number?
False
Let t(i) = -25*i - 7. Let g be t(-5). Suppose 5*b = -g - 317. Let y = -62 - b. Is y a prime number?
False
Suppose 3*g - 1986 = g. Is g - (0 + -4) - 0 composite?
False
Let p be ((-6)/6)/((-2)/8). Suppose -2*q + 5 - 15 = 5*l, -2*l - p = -2*q. Is (-7)/l - 5/(-10) composite?
True
Suppose 3*k - 320 = -2*k. Suppose -3*a = 96 + 39. Let v = a + k. Is v a prime number?
True
Let d be (-5)/(-3) - (-3)/9. Suppose 424 = d*f + 2*f - 4*u, 5*u - 198 = -2*f. Let c = f - 49. Is c composite?
True
Let n be -10*(-2 + 44/(-5)). Suppose 6*r - n = 3*r. Suppose 0 = 2*s - 10, -2*v - r + 119 = -3*s. Is v prime?
False
Let b = 21 - 3. Let q = b + -12. Is (48/(-20))/(q/(-15)) a prime number?
False
Let l be 1/3 + (-520)/12. Let q = l + 76. Is q a composite number?
True
Suppose 7 = 2*y - 3*a, 4*y = a - 4 - 7. Let p be 38/y - 1/(-2). Let q(l)