se -5*k - 1779 = -2*r, 2*r - 198 = k + 1577. Is r prime?
True
Let d(f) be the second derivative of -2*f**2 + f - 1/6*f**3 + 0. Is d(-7) a prime number?
True
Let c(n) be the first derivative of n**4/4 + 8*n**3/3 - 5*n**2 - 13*n + 1. Let o be c(-9). Is (-22 - 1)*(o - -3) prime?
True
Let k(y) = 2*y - 2. Let p(i) = 2*i - 3. Let a = -1 - 1. Let o(b) = a*k(b) + 3*p(b). Is o(6) composite?
False
Suppose j - 191 - 420 = 4*c, -2*j + 5*c = -1237. Is j prime?
True
Suppose 7*s = s + 2262. Is s a prime number?
False
Let q = 10391 - 3322. Is q a composite number?
False
Suppose 0 = -n - n + 48. Let i = 38 - n. Is i composite?
True
Suppose 4*u + 4*b - 464 = 0, -4*u - b = -386 - 78. Suppose r - u - 87 = 0. Is r a prime number?
False
Let r be 3*(2 + 113/(-3)). Let q = 213 + r. Is q a composite number?
True
Let n = -33 + 160. Is n a composite number?
False
Let w(z) = z**2 + 6*z - 8. Let a be w(-6). Let g = a - -31. Is g a composite number?
False
Let m(s) = -3*s**3 - s**2. Let o be m(-1). Suppose 0 = o*f - f - 53. Is f a prime number?
True
Suppose j - 6*j = 30. Let r be (j + 0)*10/3. Is 254/10 - (-8)/r composite?
True
Is 0 + (-16)/(-4) - (-8497 + 0) a prime number?
True
Suppose 4*d - 246 = 50. Is d a composite number?
True
Let w(x) = x. Let s(b) = 7*b + 6. Let v(k) = s(k) - 4*w(k). Suppose 0 = 5*l + 1 - 26. Is v(l) a prime number?
False
Suppose -5*r + 869 + 1181 = 0. Suppose n - u - 41 = 164, 5*u = -2*n + r. Is n a prime number?
False
Let r = -3 - -2. Let z be (r/(-3))/(2/24). Suppose 0 = 4*l + t + z*t - 109, 83 = 3*l + 4*t. Is l prime?
False
Suppose -5*v - 1 + 0 = -3*m, -2*m + 6 = 2*v. Let w(o) = -15*o - 6. Let h(c) = c - 1. Let a(j) = v*w(j) - 5*h(j). Is a(-4) a prime number?
True
Let z(b) = b - 7. Let n be (0/(-4))/(0 + 2). Let o be z(n). Let q = o - -20. Is q composite?
False
Let j(g) = -g**3 - 4*g**2 - 9*g - 5. Let w be 5 + -10 - (0 + 2). Is j(w) prime?
False
Let l = 10 + 34. Suppose 0 = 3*c + c + l. Let s = c - -30. Is s composite?
False
Let w(r) = -2*r + r - 12 + 14. Let u be w(-6). Suppose 3*f - 3*s = 285, 378 = 4*f + 3*s - u*s. Is f prime?
True
Let z(k) = k - 3. Let u be z(5). Suppose u*a + 1 + 1 = -l, 2 = -a. Is -15*((-6)/3)/l a composite number?
True
Let m(r) = -r**2 - 6*r + 2. Let j be m(-6). Let c(s) = -s - 3. Let p be c(-8). Suppose 4*x + j*t - 156 = 0, p*x - 168 = 3*t + 5. Is x a prime number?
True
Suppose -2*s = 5*c - 150, -406 = -4*s - s + 3*c. Let q = 5 + s. Is q a prime number?
False
Let i(q) be the first derivative of -q**3/3 - q**2/2 + 10*q + 2. Let k be i(-7). Let m = 45 + k. Is m a prime number?
True
Suppose 6*c + 5 = c. Is (-3)/(12/1028)*c a prime number?
True
Let z = 678 - 415. Is z a prime number?
True
Let l be 6/21 - 65/7. Let z(v) = v**3 + 9*v**2 + 9*v - 6. Let n be z(l). Let r = n + 124. Is r composite?
False
Suppose 3*o - 2193 = -2*c, 0 = 4*o - 4*c + 1132 - 4076. Is o prime?
True
Let j be 64/10 + 6/(-15). Let n(p) = -9*p**3 - 14*p**2 - 3*p + 1. Let t(w) = -5*w**3 - 7*w**2 - 2*w. Let g(c) = -6*n(c) + 11*t(c). Is g(j) a composite number?
True
Suppose -2 - 1 = -y. Let b = y + 96. Let q = b + -61. Is q composite?
True
Let q = -1380 - -690. Let w = 985 + q. Is w composite?
True
Suppose 4*g + g = 3*x - 16, -4*g + 2 = 5*x. Is (x/(-4))/(2/(-460)) a prime number?
False
Is ((-22735)/10)/((-3)/6) a composite number?
False
Let m(x) = x**3 - 12*x**2 + 9. Let c be m(12). Is c + 8 + 4/1 composite?
True
Suppose -9 = q - 4*q. Suppose -m - 262 = -q*m. Is m a composite number?
False
Let a = -485 - -784. Is a a composite number?
True
Suppose 0 = 2*g - 0*u - 3*u - 291, 715 = 5*g + 5*u. Let r = -312 + g. Let m = -81 - r. Is m composite?
True
Suppose 6 = 5*q - 19. Suppose 4*g - 4*z - 1 = -q*z, 2*g - z + 1 = 0. Suppose g*r - 596 = -4*r. Is r composite?
False
Suppose -5*i = -0*i + 3*z - 2050, 2*i - 5*z - 789 = 0. Is i prime?
False
Let r be (-2 - -9)*2/7. Suppose r*i - 410 - 56 = 0. Is i composite?
False
Let z be -2 - (3 + -7) - -2. Is ((-39)/6)/(z/(-8)) a composite number?
False
Let x be (-2)/(-2)*(-4)/(-2). Let d(a) = -5*a**3 + 2*a**2 - 2. Let m be d(x). Is (m/6)/(2/(-30)) prime?
False
Let h(f) = 6*f - 5. Let o(g) = 6*g - 5. Let v(s) = -3*h(s) + 2*o(s). Is v(-15) a prime number?
False
Let o(j) = 260*j**2 + 5*j - 22. Is o(3) a prime number?
True
Suppose 0*n = -5*n + 5. Suppose -3*s - 13 = -1. Is n/s - (-174)/24 a prime number?
True
Suppose 15*p + 1358 = 17*p. Is p a prime number?
False
Let k(g) = g - 2. Let o be k(2). Suppose -5*s + 172 - 2 = o. Is s a composite number?
True
Let g = -27 - -30. Suppose 2*k = -3*k - 555. Is (-2)/(g/k*2) a composite number?
False
Let m be (4/(-3))/((-8)/12). Suppose m*t + 16 = 90. Is t a composite number?
False
Let j = 4 + 0. Suppose -1074 = -f + j*f. Let l = -225 - f. Is l a prime number?
False
Let d be ((-2445)/9)/((-1)/(-18)). Is (6/9)/((-4)/d) prime?
False
Let t = -38 + 215. Is t prime?
False
Let x(z) = -z**2 - 2*z + 1. Let m be x(-4). Let r = 11 + m. Let c(h) = 34*h - 3. Is c(r) a composite number?
True
Let l(p) = p**3 + 20*p**2 - p + 1. Is l(-18) composite?
True
Suppose p - 3801 - 9910 = -3*o, 4*o - 4*p - 18260 = 0. Is o a prime number?
False
Let v = 6 + -4. Suppose 3*j + 110 = 8*j. Suppose -j - 76 = -v*c. Is c composite?
True
Let o = -14 + 18. Let w(t) = 4*t**3 - t - 1. Is w(o) a composite number?
False
Suppose -p = 3*j - 21 + 7, 0 = -3*j + 12. Suppose -4*v + v + 705 = 0. Suppose -p*y = 3*y - v. Is y a composite number?
False
Let j be 1*(0 - 1)/1. Let a = j + 6. Suppose z - 28 = -3*k, z + a*k = -z + 59. Is z composite?
False
Let i = 15 - 11. Suppose -247 = -i*p + 1093. Suppose 0*x = -5*x + p. Is x prime?
True
Suppose -3*v - i + 6515 = 0, -2*v + 0*i = -2*i - 4354. Is v a composite number?
True
Suppose 3*l - 5*v - 9 = 0, 3*v - 15 = 3*l + 6*v. Is (-1)/((-554)/(-278) + l) a composite number?
False
Suppose -6*b - 2509 = -10*b - 5*p, p - 3152 = -5*b. Is b prime?
True
Let p(m) be the first derivative of -m**4/4 - m**3/3 + 3*m**2/2 + 3*m - 1. Let w be p(-2). Is 15/10*(w - -45) prime?
False
Suppose -49 = 3*v - 154. Is v prime?
False
Let f = 961 + 1196. Is f a prime number?
False
Let h(f) = -3*f**3 - 2*f**2 + 4. Let d = 1 + -4. Is h(d) prime?
True
Suppose 0 = -0*u + 9*u - 24498. Is u a composite number?
True
Suppose 3*h + 2*z - 6 = 0, -z - 12 = -5*z. Suppose p - 91 + 17 = h. Is p a prime number?
False
Suppose 0 = -4*y - 2*r + 135 + 151, 0 = 5*y - 3*r - 352. Is y prime?
True
Let k(y) = -y**2 + 4*y + 8. Let u = 16 - 10. Let b be k(u). Is (-132)/(-21) - b/(-14) composite?
True
Let d = 15 - 10. Suppose -d*q + 4*t - 22 = 0, 5*q = 6*t - 3*t - 19. Is q*1*(-237)/6 a composite number?
False
Is 8966/2 - 1/((-1)/4) a prime number?
False
Suppose -m = -3*r, 2*m = -m + 4*r + 5. Suppose -4*k + 3*k = -m. Is 3/k*-15*-1 composite?
True
Suppose 139 = t - 0*t. Is t prime?
True
Suppose 37 - 1267 = -6*k. Is k composite?
True
Let i be ((-3)/2)/3*0. Suppose 0*r - 2*r + 38 = i. Is r composite?
False
Let r = -17 + 17. Suppose -m = -r*m - 149. Is m prime?
True
Suppose -m - 4*m + 20 = 0. Let h(d) = 2*d + 0*d - m*d + 5 + 0*d + 2*d**2. Is h(-5) composite?
True
Suppose n - 15 = -4*m, m + 7 = 2*m - 3*n. Suppose 4*b + m = -w, -2*w + 0*w + 4 = 2*b. Let j = w + -2. Is j prime?
True
Let j be (-1)/(-4) + (-143)/(-4). Let k(u) = -u**3 - 11*u**2 - 12*u - 7. Let p be k(-10). Let m = j - p. Is m a composite number?
False
Suppose 0*m - 2*m = -206. Is m prime?
True
Suppose -17*r = -12*r - 935. Is r composite?
True
Suppose -5*u + 3*u - 56 = -5*t, 3*u - t + 110 = 0. Let q = -23 - u. Is q a prime number?
False
Suppose 4*j - 30 = -0*i - 2*i, 3*j - 17 = 4*i. Let v be (-1 + 1)*(j - 6). Suppose 5*o - m = 3*o + 49, 4*o - 5*m - 107 = v. Is o prime?
True
Let p(h) = -h + 14. Let q be p(11). Suppose q*x + x = 680. Suppose 9*m = 4*m + 5*u + x, 4*m - 129 = -3*u. Is m a prime number?
False
Let p = -730 - -1217. Is p + -2*(0 - -1) prime?
False
Let y = 443 + 242. Is y composite?
True
Let d(a) = -32*a - 18. Let q be d(-9). Suppose -3*y + 3*w = -q, 70 = y - 0*y - 5*w. Is y prime?
False
Let w be -6*-4*(-2)/16. Is (-1 - (-612)/4) + w a composite number?
False
Suppose -5*v - 25 = -5*x, -v - 25 = -5*x + v. Let i be (-3 + x)/(1/2). Suppose 2*z - i*y - 70 = 0, z - y - 133 = -3*z. Is z composite?
True
Let v be (18/(-15))/((-6)/100). Let b = -66 + v. Let x = b - -79. Is x a composite number?
Tru