, d + f = 32. Is d a prime number?
False
Let n(d) = -2*d + 8. Let w be n(7). Let m(f) = -f**3 - 4*f**2 - 8*f - 5. Is m(w) composite?
True
Suppose 1 = -3*m + 28. Suppose -f = -2*k + m - 3, -f + 6 = k. Suppose f*o + 231 = 5*o. Is o composite?
True
Let c = 0 + -2. Is (-1)/(2/37)*c prime?
True
Let p(u) be the third derivative of -u**6/120 + u**5/60 - u**4/24 - 2*u**3/3 - 3*u**2. Let n be p(0). Let f(b) = 6*b**2 + 1. Is f(n) prime?
True
Let x(h) = -h**3 - 11*h**2 - 7*h + 18. Is x(-13) a prime number?
False
Let w be (-3)/1*(4 + -5). Is 474/w - 3/1 composite?
True
Let d(l) = l**2 - 4*l - 9. Suppose 4*y - 5*a = 43, -5*y + 15 = -2*y + 2*a. Let z be d(y). Is 8/z + (-200)/(-6) composite?
True
Let m be (-1 - -4)*20/3. Suppose 4*f = -m, -i + 2*f - 5 + 1 = 0. Is 1 + (-7)/(i/60) composite?
False
Let g be 2 + 3/(1/1). Suppose k - 64 = g*d - 2, -2*k = -d - 133. Is k a composite number?
False
Let j(p) be the third derivative of 7/30*p**5 + 0*p + 0 - 1/24*p**4 - p**2 + 2/3*p**3. Is j(3) composite?
False
Let z(u) = -2 - 12*u - 3 - 4*u + 3*u. Is z(-7) a prime number?
False
Suppose 3*s = 2*g + 1361, 5*s + 2*g = 3*s + 924. Is s composite?
False
Suppose 0 = -4*y + 8, -4*k - 3*y = -0*y + 1250. Is k/(-4 - -2) - -2 prime?
False
Let u(t) = t**3 + 5*t**2 - 7*t + 0 + 2 - 5. Let c be u(-6). Suppose c*l = 257 - 56. Is l prime?
True
Let s = 5 - 0. Suppose -s*r - 1990 + 145 = 0. Let h = -184 - r. Is h a composite number?
True
Let o = -95 - -344. Is o prime?
False
Let n = -4 + -4. Let t be 2/8 + (-1366)/n. Suppose 2*b - 20 = 7*b, 4*b + t = 5*i. Is i prime?
True
Let c be -3*((-32)/6)/4. Suppose -i = -2*v + c*v - 223, 119 = v - i. Suppose -l + 245 - 85 = 5*t, 3*t - 3*l - v = 0. Is t composite?
True
Let d(z) = -24*z + 2. Let u(a) = 12*a - 1. Let s = 9 + -15. Let v(h) = s*d(h) - 13*u(h). Is v(-2) a composite number?
True
Suppose -2*z + 371 = 53. Is z a prime number?
False
Let w(i) = 62*i. Let k = -7 + 8. Is w(k) a composite number?
True
Suppose 3 + 13 = 4*t. Suppose -2*c + 18 + 42 = 4*a, 4*c - t*a = 144. Suppose -2*v + c + 4 = 0. Is v composite?
False
Is (-4395)/(-10)*(1 + 1) prime?
False
Let w(c) = -11*c - 7. Let o(z) = 22*z + 13. Let n(r) = 3*o(r) + 5*w(r). Let h = -10 + 15. Is n(h) a composite number?
False
Let u(z) = 12*z + 4. Let q be u(6). Let x = 16 + -45. Let a = q + x. Is a prime?
True
Suppose -41 = -2*j + 27. Is j composite?
True
Suppose -4*z = -5*u - 2284, -3*z + 2073 - 359 = -4*u. Is z a composite number?
True
Let c = -65 + 140. Let n = 128 - c. Is n prime?
True
Let b be (4 - 14)*1/(-2). Suppose -b*m = -56 - 49. Is m composite?
True
Suppose 0*h - 11 = -g + 4*h, -4*h = 4*g - 4. Suppose 5*w - 385 = -g*z + w, 4*w = -z + 131. Is z composite?
False
Let j(u) = 2*u - 9 + 6 - 3. Suppose -3*n + n - 5*m + 31 = 0, 4*n + 5*m - 47 = 0. Is j(n) a prime number?
False
Let s(m) = -1 + 15*m - 15*m - 25*m. Let x(v) = -75*v - 3. Let j(z) = -8*s(z) + 3*x(z). Is j(-2) a composite number?
True
Suppose 4*o - 2*y - 288 = 0, -4*o - 2*y = -3*y - 288. Suppose -5*u + o = 17. Is u a prime number?
True
Let f = -476 + 975. Is f a composite number?
False
Let p = 2388 - 1201. Is p composite?
False
Let q = 3 - 4. Let j be q + -1 - -1*3. Is 51*j*(-3 - -4) composite?
True
Let q(b) = -b + 6. Let m be q(8). Is m/(-5) + (-489)/(-15) prime?
False
Let s = -2 - -4. Let i be -12 - s*(-9)/(-6). Is (-172)/(-6)*i/(-10) prime?
True
Let m(v) = 2*v**2 + 4*v + 17. Let q be m(7). Is q/(-26)*10/(-1) composite?
True
Suppose 3*r + 5*q - 896 = -0*q, 3*r - q - 926 = 0. Is r prime?
True
Suppose x = -5*f + 8288, 0 = -5*f + 2*x + 11463 - 3184. Is f prime?
True
Suppose -l + 854 = 67. Is l a composite number?
False
Suppose -2*z - 3*z + 9 = -2*r, -2*r + 12 = 2*z. Suppose w + r = -2*i, -7 = -0*i + 3*i + w. Let u = 19 - i. Is u a prime number?
True
Let x = -5 + 5. Suppose x = -4*y - 699 + 2691. Is (y/(-12))/(2/(-4)) a composite number?
False
Suppose 4*x = -4*i + 1512, 0 = -3*i - x - 343 + 1483. Is i prime?
False
Suppose -3*c + s + s + 6053 = 0, 0 = 3*c - 5*s - 6047. Is c a composite number?
True
Let p(l) be the third derivative of l**6/120 - l**5/20 + l**4/24 + l**3/6 + l**2. Let n be p(3). Suppose 0 = -n*d + 196 - 56. Is d a prime number?
False
Suppose 7 - 28 = -y. Let d = y + -30. Let x = d - -19. Is x a prime number?
False
Let n = 3767 - 2328. Is n composite?
False
Let z(t) = t - 9. Let o be z(7). Let j = 6 + o. Suppose 0*d + 4*n = 4*d - 140, 5*d + j*n - 157 = 0. Is d a prime number?
False
Suppose -j + 0*j + 2*l + 1 = 0, -4*l + 13 = 3*j. Suppose -c - 96 = -j*c. Suppose 2*k + 30 = 4*h, c - 11 = 5*h - 2*k. Is h a composite number?
False
Is -4 - 22/(-2) - (-1 + 1) a prime number?
True
Suppose 3*f - 4 - 2 = 0. Let w be f/(-4) + 604/8. Suppose 10 = -r + w. Is r composite?
True
Suppose -m - h = -0*m - 9, -15 = -3*m + 3*h. Is ((-322)/49)/((-1)/m) prime?
False
Let w be 3 + 1342 + (0 - 2). Suppose 49 = -4*c - w. Is 2/6 + c/(-9) a prime number?
False
Suppose -18 = 3*o + 5*q + 12, -4*o + 4*q - 8 = 0. Let b = -14 + o. Is 1 - 1 - b*2 composite?
True
Let q(v) = v. Let g be q(7). Let a = g + -9. Is 53*(-3)/(a + -1) prime?
True
Let l(s) = s**2 + 6*s + 9. Let d(b) = b**2 + 7*b + 9. Let g(a) = -6*d(a) + 5*l(a). Is g(-8) composite?
False
Is (3/(-2))/(9/(-1146)) a composite number?
False
Let d = 2 + -3. Is (-88)/24*d*15 a prime number?
False
Suppose -5*s + 842 = -3303. Is s a composite number?
False
Suppose -4*v + y + 96 = 0, -v + 2*y + 25 - 1 = 0. Let k = -14 + v. Is k/(-45) + 173/9 a prime number?
True
Let m be 14 + 0 + (0 - -1). Suppose v + 2 + 10 = 4*t, -5*t - 4*v + m = 0. Suppose -31 = -t*w + 32. Is w prime?
False
Let m(p) = p**2 + 7*p + 5. Let g be m(-6). Let a be (0 - (-1 - 2))/(-1). Is 3*53*g/a composite?
False
Suppose 2*v - 3456 = 2*c, -5*c = -0*v - v + 1708. Is v composite?
False
Suppose -d - 2*d + 15 = 0. Suppose d*s - s = 2368. Suppose -3*u + s + 65 = 0. Is u a prime number?
False
Let p(l) = l**2 - 12*l - 8. Let v be p(9). Let o = v - -94. Is o composite?
False
Suppose -2*q = -8, 0*q - 5107 = -3*z + 5*q. Is z a prime number?
True
Let f be (-5 - -352)/(0 - -1). Let b = f - 184. Is b a prime number?
True
Let f = 1 - -4. Suppose -5*a + 4*g + 371 = 0, -a - f*g + 26 = -25. Is a composite?
False
Let z = 31 + -7. Is (-361)/(-3) + 16/z prime?
False
Let k be 10/25 - 316/(-10). Let r = 45 - k. Is r composite?
False
Let k(x) = -6*x + 3. Let v(i) = 5*i - 4. Let z(d) = -4*k(d) - 5*v(d). Suppose -2*s = -3*s + 4. Is z(s) a prime number?
False
Suppose -25 = -5*i, -193 = -5*k + k - 5*i. Suppose 2*m - k = -m. Is m a prime number?
False
Let f be (-6)/4*(-4)/(-6). Is f/(1/154*-2) a prime number?
False
Let m = -1267 + 2054. Is m a composite number?
False
Is 2/(27936/13964 + -2) composite?
False
Suppose -3*x - 2*x = 10, 5*x = 4*s - 14. Let u = -1 - s. Is 1191/15 + u/5 prime?
True
Suppose -2*h = -16 + 6. Suppose h*f = m + 13, f = -f - m + 1. Is (33/4)/(f/8) prime?
False
Let f(j) = -2*j. Let l(c) = 5 - 4*c + 13*c + 10*c**2 - c**2 - c**3. Let s be l(10). Is f(s) a prime number?
False
Suppose k + 135 = 4*k. Let b = k + 8. Is b a composite number?
False
Let g(z) = z**3 - 5*z**2 + 2*z - 4. Let u be g(5). Is 1/(-2) + 405/u a prime number?
True
Suppose -h + 172 = 3*h. Let y = 15 - h. Is 4/(-14) - 1044/y a prime number?
True
Suppose 4*w - 3*g + 575 = 0, -2*g - 36 = -2*w - 326. Let l be 15/2*w/6. Let u = 262 + l. Is u a prime number?
False
Let g = -4 - -35. Suppose 2*n = n + g. Is n a prime number?
True
Is 202/(-4)*(-12 + -2) prime?
False
Let o be 996 + -4*(-2)/(-4). Suppose -503 + 3378 = -5*b. Let n = o + b. Is n a prime number?
True
Let u = 396 + -269. Is u a composite number?
False
Let x be (-1)/(-3) - 150/(-9). Let u = 56 - x. Suppose u = -y + 4*y. Is y composite?
False
Suppose 0 = 6*o - 4*o - 6. Suppose q + 2*z = 123, 126 = q - o*z + 4*z. Is q a prime number?
False
Let i(s) = -6 + 2*s + 40 - s. Is i(0) a composite number?
True
Let d = 7 - 4. Is (-71 - -2)*d/(-9) prime?
True
Let q = 27 + -8. Let o = q - 10. Suppose o = w + 2*w. Is w a prime number?
True
Suppose -3*p = 6*p - 3339. Is p a composite number?
True
Suppose 0 = 2*b - 2*k - 8, -2*k - 3*k - 17 = -4*b. Suppose 0*g - b*p = -g - 9, -2*g - 3*p = 0. Is (g + -1)*141/(-12) a composite number?
False
Let h(v) = -v**3 - 2*v**2 - 5*v + 19. Is h(-8) composite?
False
Suppose -b + 4*o = -2*b + 25, 2*o = 10. Let i = b