se k - 130 = -a + 2*k, h*a - 3*k - 523 = 0. Is a a prime number?
False
Let j be -2*8/(0 - -2). Is (-2)/j - (-339)/4 composite?
True
Let h(s) = s**3 - 7*s**2 - 7*s - 8. Let o be h(8). Suppose 2*c + o*c = 4. Suppose -r - 3*j + 59 = 0, -2*r + 110 = c*j - 0*j. Is r a prime number?
True
Let l = 47 - 32. Suppose -2*s = 5*c - 67, 5*s - 46 = -2*c - l. Is c composite?
False
Let c(v) = -31*v. Suppose 4*z + 29 = -5*x, 2*z + 6 = -4*x - 16. Is c(x) prime?
False
Suppose -31 + 207 = 4*p. Suppose 0 = -d + p + 21. Suppose -i - 4*i = -d. Is i composite?
False
Is 153 + -2 - 3 - -1 prime?
True
Suppose 3*f - 1140 = 2*w - 3*w, -373 = -f + 2*w. Is f composite?
False
Suppose 3*s - 455 = -5*r, 3*s + 0*r - 415 = 5*r. Suppose 3*j - s = 8. Is j composite?
True
Let y(a) = 2*a**3 + 5*a**2 + 2*a. Let z be y(-3). Suppose f + 40 = 3*l, 0*f = 2*f + 4*l + 60. Let q = z - f. Is q a prime number?
True
Let n be (-3)/((-6)/(-4)) + 1. Suppose -4*y - 4*x - 16 - 20 = 0, 12 = -4*x. Is (-321)/y - n/(-2) a prime number?
True
Let d(u) = -4*u + 1 - 2 + 9*u**3 + 4*u**2 - 10*u**3. Let k be d(3). Is -3 - (-5 + 3 + k) prime?
True
Suppose 14*j - 17*j = -1455. Is j a prime number?
False
Let r(s) = -22*s**3 - s**2. Let w be r(-1). Suppose -q = -132 + w. Is q a composite number?
True
Let k(m) = 51*m - 13. Is k(6) a composite number?
False
Let w(n) = 4*n + 2. Let o = -5 - -8. Is w(o) composite?
True
Is (-2)/4 + (-3731)/(-26) a prime number?
False
Suppose 8*v - 1799 = v. Is v prime?
True
Suppose -4*f - 3*s + 408 = -608, 0 = -f + 5*s + 277. Is f a composite number?
False
Suppose t - 234 = -t - f, -2*t + 232 = 2*f. Is t a prime number?
False
Suppose -74 = -3*b + 5*c, 4*b + 5*c - 153 - 4 = 0. Is b prime?
False
Suppose -4*b + 2*b + 534 = 0. Is b composite?
True
Let j(q) = -q - 5. Let h be j(-4). Let r = -3 - h. Is (195/(-6))/(r/4) prime?
False
Let w(c) = -c + 15. Let i be w(15). Suppose i = 5*p, -p - 42 = -2*t + 4. Is t prime?
True
Suppose 0 = 2*z - 2 + 4. Is (3/(-9))/(z/201) a prime number?
True
Suppose 17*n - 12*n - 3485 = 0. Is n prime?
False
Let f be ((-12)/18)/(2/3). Is -1 + (-152)/f - 2 a prime number?
True
Let f = -6086 - -8808. Is f a composite number?
True
Suppose 5*o + 4*t = 8 - 3, -3*t = 0. Let z be o*0*3/9. Is (-1 - z)*-17 - -2 composite?
False
Suppose 5*r - 4394 = 2*o + 3801, 4*r = o + 6559. Is r prime?
False
Suppose -6*p + 7*p = 559. Is p a prime number?
False
Suppose 25594 = 6*z + 9982. Is z prime?
False
Suppose -3*f + 0*f + 1408 = b, 0 = 4*f - 5*b - 1909. Is f a prime number?
False
Is ((-1)/(-3))/((-5)/(-12465) - 0) composite?
True
Let s be 4 - (-2 - 7)/3. Let x(l) = 17*l - 8. Is x(s) a prime number?
False
Suppose 143 + 135 = -j. Let d = 489 + j. Is d prime?
True
Suppose 7*z = 3*z + 16. Suppose -304 = -4*s - 4*l, z*l = 16 - 0. Suppose 5*b + q = s, b + b - 33 = q. Is b composite?
True
Suppose 3*b - 142 = -z, -5*z + 697 = 3*b - b. Is z prime?
True
Let j(q) = 5*q**2 + 6*q + 8. Is j(7) a composite number?
True
Suppose s - 6*c + 3 = -4*c, 0 = -2*s + 5*c - 2. Let q = 12 - s. Is q a prime number?
True
Suppose -4*v + 2 = -5*h - 7, 3*v - 7 = 4*h. Suppose q - v = 2*q. Is q/(3/(-30)) + 1 a prime number?
True
Let x(q) = 9*q**2 + 10*q + 1. Is x(-6) composite?
True
Suppose 2*h = 3*h - 31. Suppose 0 = 5*y, -p = -0*p + 5*y - h. Is p a prime number?
True
Let g = 312 + 1255. Is g composite?
False
Is 2 + (-74)/(-2) - 2 a prime number?
True
Suppose -3*j = -k + 1532, 0*j - 3073 = -2*k - 3*j. Is k composite?
True
Let v(m) be the third derivative of 23*m**4/24 + m**3/3 - m**2. Is v(7) a composite number?
False
Is (-12018)/(-27) + 2/(-18) a composite number?
True
Let m = -19 + 3. Let i = m - -31. Let j = -8 + i. Is j a composite number?
False
Suppose 3*x + x = -16. Let p(b) = 6*b**2 + 4*b + 3. Is p(x) composite?
False
Let x be (-9)/(1/((-2)/3)). Let d be (2 + -4)*9/x. Is (186/(-9))/2*d a composite number?
False
Let p(t) = t**2 - 3*t. Let k be p(5). Let x be -3 + (k + 0)/2. Suppose x*b = -0*b + 26. Is b composite?
False
Let v(a) = a + 11. Let c be v(-11). Suppose t - 5*n + 10*n - 90 = c, -t + 45 = -4*n. Suppose -2*s + q = 4*q - t, 0 = s + q - 32. Is s a prime number?
True
Suppose 43 + 17 = 5*f. Is (6/(-4))/(f/(-104)) prime?
True
Is 69 - (-9 + 3)/3 a prime number?
True
Let w be 2/(1162/386 + -3). Let l = 410 - w. Is l a prime number?
False
Let m = 35 + 1116. Is m a composite number?
False
Let f(u) = u**3 + 18*u**2 - 20*u + 18. Is f(-15) a prime number?
False
Suppose -u + 151 = -k, -51 - 269 = -2*u - 4*k. Suppose -4*w + u = -3*c - 246, -287 = -3*w - c. Is w prime?
True
Let c(n) = -6*n**2 + 6*n + 3. Let v be c(-7). Let i = -196 - v. Let h = 294 - i. Is h composite?
False
Let o(k) = k**3 - 4*k**2 - 2*k - 2. Suppose 1 = 3*w + 4. Let l be w + 1 + 3 + 2. Is o(l) a composite number?
False
Let o(p) = -14*p + 3. Let d be o(-4). Suppose -3*v + 3*j + d = v, j - 6 = -v. Is v a composite number?
False
Let l(z) = 344*z + 23. Is l(3) prime?
False
Let n(c) = -c**3 - 7*c**2 - 5*c + 6. Let w(p) = p**2 - 6. Let u be w(0). Let o be n(u). Suppose o = -s + 3*s - 38. Is s a composite number?
False
Suppose i - 56 = 23. Is i composite?
False
Let m = -2950 - -4797. Is m a composite number?
False
Suppose -240 = -6*c + 624. Suppose -f + c + 185 = 0. Is f a prime number?
False
Suppose -2*l + 11 = 3. Let t be 1/l + (-198)/24. Let v = -5 - t. Is v composite?
False
Let j = 658 + -187. Let b = -322 + j. Is b prime?
True
Let i(w) be the third derivative of 3*w**4/4 + w**3/3 - 5*w**2. Is i(4) a prime number?
False
Let f(c) = -c - 8. Let h(o) = o**3 + 2*o**2 + 1. Let j be h(-3). Let u be f(j). Suppose -4*a + d + 55 = 0, 20 = a - u*a + d. Is a composite?
True
Suppose -f = 2*f + 504. Is (-1)/(f/165 - -1) a prime number?
False
Let l be -1 + (-3)/(3/(-7)). Suppose 3*j - j = l. Suppose 3*p + j*f + 72 = 6*p, 12 = -4*f. Is p prime?
False
Is -317*(3 + -2)*-1 a prime number?
True
Let g(b) be the third derivative of b**5/60 - b**4/24 - b**3/6 - 2*b**2. Let l be g(-2). Suppose -4*k - 127 = -l*k. Is k composite?
False
Let y(q) = 2*q**2 + 3*q + 2. Let v(o) = o**2 - o. Let l(i) = v(i) + y(i). Let c be (-22)/8 + (-2)/8. Is l(c) a composite number?
False
Let k(g) = -320*g + 6. Let i be k(-5). Suppose -21*o = -19*o - i. Is o a composite number?
True
Suppose 4*v + 82 = 5*v. Is v prime?
False
Let w(b) = -12*b**3 + 3*b**2 - 5*b + 29. Is w(-7) prime?
True
Let h be 3/((-18)/(-16))*3. Let x = h - 6. Suppose -60 - 94 = -x*t. Is t a composite number?
True
Let n = 12 - 2. Let l be 2/n + (-354)/(-30). Suppose -4*x - l = -200. Is x a composite number?
False
Suppose 3*y - 4*y = 0. Suppose 2*l - 6 - 18 = 2*s, 5*s - 3*l + 50 = y. Let t(g) = g**3 + 7*g**2 - 2*g. Is t(s) a prime number?
False
Suppose j - 4 = 0, 4*j = -s + 5*j - 4. Suppose s = -2*t, -r + t = 3*r - 56. Is r a prime number?
False
Let c be (0 - 1)*1 - -53. Suppose -2*s = -m + c, -2*m = s - 71 - 58. Is m prime?
False
Suppose 2*b - k = 133, b - 4*k + 15 - 99 = 0. Suppose b + 22 = 2*h. Is h a prime number?
True
Let m = 1 + -2. Let w be (3/(-3))/m - -65. Suppose c - 31 = -3*n, -2*c + 0*c - 4*n + w = 0. Is c a prime number?
True
Let n(s) = 2*s**2 - 19*s - 3. Is n(16) a prime number?
False
Suppose -5*o - 1 = -11. Let q be (-8)/(-1)*(-42)/o. Is (-5)/(10/q) + 3 prime?
False
Suppose -4*f + 4 = 3*x - 2*x, 3*x + 2 = -5*f. Let d = 232 - 158. Is (-3 + f)/((-2)/d) composite?
False
Let n(i) be the second derivative of -i**4/12 + 3*i**3/2 - 3*i**2/2 + i. Let h be n(8). Suppose -4*x + 2*x = h*z - 1285, -3*z + 5*x + 771 = 0. Is z prime?
True
Suppose -2*n + 0*n + 590 = 0. Suppose 0*l - n = -5*l. Is l composite?
False
Let f(w) = 42*w**2 + 4*w + 3. Is f(-2) a prime number?
True
Suppose -3*d - 4*w + 3*w = 14, -d + 4*w - 9 = 0. Let u(s) = -s**3 - 6*s**2 - 3*s - 6. Let h be u(d). Let t = -2 - h. Is t a composite number?
True
Let a = 319 + 614. Is a a composite number?
True
Let d = 327 - 6. Is d a composite number?
True
Let r(m) = -649*m**3 + 2*m**2 - m - 1. Is r(-2) prime?
False
Let o = -24 + 50. Suppose 9 + o = h. Is h a prime number?
False
Suppose 2*h + 5*p = -15, -25 = -5*h + 4*h + 4*p. Let i = -3 + h. Let g(d) = 3*d**3 - 4*d**2 + 2*d + 2. Is g(i) a prime number?
False
Suppose -298 - 31 = -s. Is s composite?
True
Let c = 10 + -19. Let m be ((-4)/(-2))/((-6)/c). Suppose h - 4*h + 60 = -3*x, m*x = -15. Is h a prime number?
False
Is 214