v**a. Is b(-2) a prime number?
True
Let j(m) = 3*m. Let z be j(-6). Let q be 2 - 6/(-4)*z. Let l = 12 - q. Is l a composite number?
False
Let n(x) = x**3 - 9*x**2 - 10*x - 11. Is n(12) a prime number?
False
Let g be (-2)/(-8) - (-525)/(-20). Let o = g - -48. Is o prime?
False
Suppose 2*i + i + 4191 = 3*u, -5*u + 4*i + 6985 = 0. Is u composite?
True
Let k(o) = o**3 + 5*o**2 + 9*o + 4. Let m be k(-6). Let c = 132 + m. Is c prime?
False
Let o = 340 - 125. Is o a composite number?
True
Suppose 2*p - f = 9718, -2387 + 16986 = 3*p + 4*f. Is p a prime number?
True
Suppose -2*j = 2*j - 2*q - 10, 3*j - 4*q - 5 = 0. Suppose -5*m - 143 = -j*h, -4*m - 197 + 1 = -4*h. Is h prime?
False
Let l = -1075 - -2268. Is l composite?
False
Let m = 2471 + -1480. Is m a composite number?
False
Let a(t) = -t + 21. Let k be a(11). Let m(y) = 3*y**2 + 10*y + 11. Is m(k) a prime number?
False
Let v be -2 + 6 + (-1 - 0). Suppose -v*d + 7*d + 2*t - 44 = 0, -28 = -2*d - 4*t. Is d composite?
True
Suppose 5*j - 26 = 2*b, -5*j + 28 = -j - 4*b. Suppose -j*a - i + 6 = -1, 4*i = -4*a - 8. Suppose -t - a*z + 22 = -0*z, -3*t = -5*z - 24. Is t composite?
False
Let t(w) = -233*w + 18. Is t(-7) a prime number?
False
Let t(p) = -p**3 - 4*p**2 - 2*p - 6. Let w be t(-4). Suppose 412 = 3*g + w*o - 33, -3*o - 710 = -5*g. Is g prime?
False
Let v = 1 + 4. Suppose 5*a + v*m - 320 = 0, 5*a - m - 4*m - 370 = 0. Is a prime?
False
Suppose -y + 5*k = 3*y + 23, -2*y - k = 1. Is 67 - (-5)/(5/y) prime?
False
Let o be 2 - 6/(-3 - 0). Suppose -o*n = n - 1020. Suppose 2*h - n = -2*h. Is h a composite number?
True
Let l(a) = 3*a**2 - a - 4. Let p be l(-4). Let y be (-2)/(-7) + p/28. Let z = y - -41. Is z composite?
False
Let f(i) = -i**2 + 4*i - 1. Let c be f(3). Suppose 0 = v - c*v + 2, 2*s - 58 = 3*v. Suppose -r = -179 - s. Is r a prime number?
True
Suppose -z = 5*k - 126, z - 2*k + k = 144. Suppose z = 5*l - 604. Is l a prime number?
True
Let n(m) = -m**3 - 5*m**2 - 5*m - 1. Let g be n(-4). Suppose -204 = g*i - 3*b, 343 = -3*i - 2*i + 4*b. Let k = 124 + i. Is k a prime number?
True
Let l(r) = -r**3 - 2*r**2 + 10*r + 5. Is l(-6) prime?
True
Let v = -109 - -181. Let t = v - 35. Is t a prime number?
True
Let p = 110 + -71. Suppose p = t - 31. Suppose -415 - t = -5*k. Is k a composite number?
False
Let q(r) = -r**3 + 8*r**2 + 6*r - 1. Let u be q(6). Suppose -u = -4*k - 15. Is k prime?
True
Suppose -4*i + 20 = 0, 4*j - 5*i + 25 = j. Suppose j = 3*x + x + 2*u - 2, -5*x + 5*u + 40 = 0. Suppose q = -x*q + 12, -37 = -s - 5*q. Is s composite?
True
Let b be 8/5 + (-10)/(-25). Let j(u) be the first derivative of 17*u**2/2 - 3*u - 2. Is j(b) prime?
True
Let w(o) = 2*o**2 - 14*o + 11. Let l(k) = -k**2 + 9*k - 7. Let r(t) = 7*l(t) + 5*w(t). Is r(5) prime?
False
Let f(n) = n**3 + 6*n**2 + 2*n + 5. Let g be f(-7). Let v = 113 + g. Is v a prime number?
False
Suppose -h = 4*g - 1059, 4*h - 2*g - 4180 = -4*g. Is h a prime number?
False
Is 2103/(-2)*((-12)/(-9) + -2) composite?
False
Let g = 17 + -18. Let u(k) = -64*k**3 + 2*k**2 + 2*k + 1. Is u(g) a composite number?
True
Let p = 1025 + -556. Is p a composite number?
True
Let r = 1 - 1. Suppose -4*g = 3*s - 65, -2*g - 3 + 1 = r. Is s a composite number?
False
Let x(t) = -20*t + 0 - 1 + 4. Is x(-7) prime?
False
Suppose 3*v - 521 - 61 = 0. Is v prime?
False
Suppose 146 = 4*p + 2*o, -3*o - 2*o = 4*p - 137. Suppose 302 = 4*g - p. Is g a prime number?
False
Let q be (-168)/(-77) - (-2)/(-11). Suppose 4 = -s + a + 6, -4 = -5*s + q*a. Let u(g) = g**2 + g + 37. Is u(s) prime?
True
Let u = -177 - -381. Suppose u = 4*m - m. Is (-1)/(1 - m/66) a composite number?
True
Suppose -5*r + 2715 = 5*s, 0 = -3*s + r - 2*r + 1625. Is s composite?
False
Let u = 4 + 2. Let y(a) = -a**3 + 5*a**2 + 5*a + 8. Let s be y(u). Is (-163)/(-4)*(s + 2) composite?
False
Let m(f) = -f**2 - 8*f + 2. Let i be m(-8). Let b(k) = -13*k + 3. Let c be b(5). Is (-2)/8*c*i a prime number?
True
Suppose 0 = 2*t - 2 + 4. Let k(r) be the second derivative of 3*r**4 - r**2/2 + r. Is k(t) a composite number?
True
Suppose -3*p + 7 = -5. Suppose -h + o + 17 = 0, h = p*h + 3*o - 75. Let k = 16 + h. Is k prime?
True
Let p(j) = -71*j - 12. Is p(-7) a composite number?
True
Let j = 17 - 13. Is 51/2*j/3 prime?
False
Is (-1)/(2 + 286/(-142)) prime?
True
Let n(w) = -w**3 - 3*w**2 + w - 1. Let m be n(-3). Let h = 6 + m. Suppose 4*y + 0*y - 84 = -h*d, 5*d - 5*y - 150 = 0. Is d a prime number?
False
Let k = 3912 + -1135. Is k composite?
False
Let h(u) = 28*u**2 - 7*u + 5. Is h(2) composite?
False
Suppose -5*w + 2 = -3. Let p be (30/(-9))/(w/(-33)). Suppose b = -b + p. Is b composite?
True
Is 780/3 - (-12)/4 composite?
False
Let q(f) be the second derivative of 53*f**3/2 + f**2/2 + 3*f. Is q(2) composite?
True
Let h = 6 - 4. Let d be ((-292)/(-6))/(h/12). Suppose 2*t - 3*t = 4*v - 288, d = 4*v + 2*t. Is v composite?
False
Suppose -2*s + 6*s + 1028 = -4*b, 2*b - 2*s + 510 = 0. Let i = b + 1407. Is i composite?
False
Is -1 + 1 + (1 - -2) + 248 prime?
True
Let r(t) = -t**2 + 6*t + 1. Let m be r(6). Is 1 - m - (-5 + -2) prime?
True
Let f = 8 - 3. Let x = 6 - f. Suppose -p + 12 = x. Is p a prime number?
True
Let f be (5/(-2))/(1/10). Let g(i) = i**2 - 11. Let t be g(0). Let o = t - f. Is o prime?
False
Is (286/39)/(2/93) a composite number?
True
Let b(y) = 36*y**3 + 9*y**2 - 16*y + 12. Let g(h) = -9*h**3 - 2*h**2 + 4*h - 3. Let q(r) = 2*b(r) + 9*g(r). Let m be q(2). Let z = -36 - m. Is z composite?
False
Let l(f) = 563*f - 30. Is l(5) a prime number?
False
Let p(f) = 3*f + 7. Let r be p(-3). Is (46 - 0)*(-3)/r composite?
True
Let j(a) = -a**3 - 2*a**2 + a. Let x be j(-3). Let g be 4/x*3*51. Is 2/(g/(-106) - -1) prime?
True
Let i = 43 + 31. Suppose 0 = 5*c + 5*z - 90, 4*c - 3*z = -c + i. Suppose 2*r - 14 = -w - 3*r, -c = 4*r. Is w a prime number?
False
Suppose 180 = 4*t - 3*t. Let v = t + -85. Let x = v + -30. Is x prime?
False
Suppose 3*u = -2*u + 5*n - 520, 0 = -3*u + 4*n - 315. Let z = -68 - u. Is z prime?
False
Let m be (2 - -1)/(6/212). Suppose -k + m = k. Is k a prime number?
True
Suppose -184 = -t + 3*i, t = 4*t + i - 602. Is t a prime number?
True
Suppose 2*c + 36 = 2*b, 2*c = -3*b - 0*b - 41. Let i = 18 - c. Is i composite?
False
Suppose -d = -3*d + 4. Suppose d*o + 110 = 4*o. Is o prime?
False
Suppose 0 = -2*a - 0*a + 138. Let s = -14 + a. Is s a prime number?
False
Suppose -4*t = 0, 3*q - 1180 = 4*t + 281. Is q a composite number?
False
Suppose -b - 3 = 0, 5*p - 3*b - 586 = -b. Suppose 5*n - 59 = p. Is n prime?
False
Let c(z) = z**3 + 13*z**2 - 4*z - 8. Let l(t) = t**2 - t + 1. Let y(s) = -c(s) + 5*l(s). Is y(-10) composite?
False
Let w = -39 - -58. Let h be 1/(22/12 + -2). Let d = h + w. Is d a composite number?
False
Let l(r) = -18*r**2 - 4*r - 3. Let q be l(-4). Let d = -144 - q. Suppose d = 4*v - 73. Is v composite?
True
Is (-6)/(-18) + 4010/3 composite?
True
Is (7692/18)/(4/6) composite?
False
Suppose -5444 = 2*p - 6*p. Is p a prime number?
True
Let z be 1/(-3)*(-395 + 2). Suppose -5*v + z + 34 = 0. Is v composite?
True
Let i be 5 + 6 + (-3 - -1). Suppose -3*d + 5*t - 7 = 0, 2*t + 5 + i = 4*d. Suppose -x = -4, 4*x + 1039 = -q + d*q. Is q composite?
False
Let d(b) = -b**3 - 4*b**2 - 3*b - 3. Let y be d(-3). Suppose a - 412 = 2*l, 0 = -2*a + 3*a + 2*l - 392. Is (1/y)/((-2)/a) prime?
True
Let n(u) = 3*u**2 - 6*u - 1. Is n(6) composite?
False
Let z = 934 + -147. Is z a prime number?
True
Let n = -8 - -12. Suppose 5*v + 23 - 659 = -f, -2*v - n*f + 258 = 0. Is v a composite number?
False
Let w = 750 - 379. Is w prime?
False
Is 6824/72 - (-2)/9 prime?
False
Let k be 6/(-15) + (-34)/(-10). Suppose 0 = -3*m + k*s + 81, -48 = -3*m + 4*s + 38. Is m a prime number?
False
Let m = 29 - -26. Let y be (-4685)/m - (-4)/22. Let w = 119 + y. Is w prime?
False
Suppose -4*z + 37 = b - 114, 2*z - 2*b = 68. Is z composite?
False
Suppose 3*c = -2*c + 195. Suppose -3*n + 2*r + c = 0, -4*n + 0*r + 56 = -4*r. Suppose -5*v + 24 = -n. Is v composite?
False
Suppose r + 3*t = -3*r + 1652, -2*t = -3*r + 1239. Is r prime?
False
Let f be (12 - 13)/(2/(-68)). Suppose 2*k - k - f = 0. Is k a prime number?
False
Let z(u) = u. Let h be z(-4). Is 18/(-12) - 142/h prime?
False
Let h = 18 - 7. Is h composite?
False
Suppose 2*k + 2*k + 54 = -2*j, -5*k = j + 27