alse
Suppose -1060 = -7*k + 3378. Is k a prime number?
False
Is 265 - (3 - 4 - -1) composite?
True
Suppose 4*r - 5*s = 23, 4*r - s - 13 = 2*r. Is r a composite number?
False
Let v = 5 + 246. Is v composite?
False
Let c = -132 - -223. Suppose -34 = u - c. Is u a composite number?
True
Let l(v) = v**3 - 6*v**2 - 5*v - 9. Let y be l(7). Let f(u) = -2*u + 24*u**2 - 8*u**2 - 3*u - 2. Is f(y) a prime number?
True
Let r(k) = 8*k**2 - k - 8. Let m be r(-13). Let s = -888 + m. Is s composite?
True
Let m(w) = 6*w - 4*w - 3*w + 2*w**2 + 11 - w**2. Is m(0) prime?
True
Let t be (2/(-1) - -1) + -8. Let l = 2 + -5. Let z = l - t. Is z composite?
True
Let t(y) = 5*y**2 + 4*y + 2. Let v = 4 - 7. Is t(v) prime?
False
Suppose -1 = p + 3*b - 6, -p + 4*b = -5. Suppose -648 = -3*u + p*w, 2*u + 3*w + 4 - 417 = 0. Is u a composite number?
False
Is (-12)/(-36) + (-5)/((-15)/5198) a composite number?
False
Let x be (2 - 4) + 12*2. Suppose x = 5*t - 4*b, -5*t - 2*b + 20 + 14 = 0. Suppose 3*f + 339 = t*f. Is f prime?
True
Let p(h) = 63*h**2 + 2*h - 1. Let t be p(2). Suppose -5*z - 5*w = -375, -5*z + 119 + t = 4*w. Suppose 0 = -d - d + z. Is d a composite number?
False
Let c = 5 - 3. Suppose 0 = -5*y + g - c*g + 339, 0 = -2*y + 4*g + 118. Is y prime?
True
Let t(v) = 2*v**2 + 5*v - 2. Is t(-11) prime?
False
Suppose g - d = 5*g - 34, 5*g - 4*d = 32. Is 57/(-6)*g/(-4) prime?
True
Suppose 3*l = -l - 5*b - 327, 5*l + 5*b = -410. Let j = 120 + l. Suppose 2*u - j = u. Is u prime?
True
Is 1/(-4) + (-517)/(-4) a prime number?
False
Suppose 81 = 2*r + b, -4*b - b - 13 = -r. Is r composite?
True
Suppose u + 9 = 4*u, -2*a + 360 = 2*u. Is a prime?
False
Let d(c) = -c**3 + 7*c**2 - 2*c - 13. Is d(6) a prime number?
True
Let y = 243 + -18. Suppose y = b + 34. Is b a composite number?
False
Let r = -169 + 354. Is r a composite number?
True
Let k(j) = 6*j**2 + 9*j + 7. Let b be k(-6). Is b/5 + 4/20 composite?
True
Suppose 3*s = 2*j - 826, -2*j - s = j - 1261. Is j a composite number?
False
Suppose -2*j + 3*m + 10 = -4, -5*m - 14 = -j. Let z be 1 + -3 + (j - 0). Suppose -z*q - 2*q + 228 = 0. Is q prime?
False
Suppose -2*n = -7 - 167. Is n a prime number?
False
Let l be (-48)/(-15) - 1/5. Let j = 1 + -2. Let y = l + j. Is y a prime number?
True
Let n = -222 - -337. Is n composite?
True
Let l = -15 - -11. Let d be -1*(l - (0 + -2)). Suppose -2*t = -5*i + 59, -i - d*i = 5*t - 54. Is i prime?
True
Let l be -9 - -8 - (-31 - 0). Suppose -i = i - l. Is i prime?
False
Let u(h) = 5*h**2 - 9*h - 7. Is u(11) prime?
True
Suppose -39 + 9 = 5*a. Let x = a - 2. Is (-548)/(-16) + (-6)/x composite?
True
Let i(d) = 26*d**2 + 3*d. Is i(-5) composite?
True
Let r(y) = -y**3 + 3*y**2 + 3*y + 5. Let i be r(4). Is -2 + 2 - (-25 - i) composite?
True
Let d(b) = -b**3 + 8*b**2 - 6*b - 4. Let p be d(7). Suppose 5*m + n = 2*m + 5, -m - p*n - 1 = 0. Suppose 5*k - m*k = 3, 0 = 4*l + k - 9. Is l prime?
True
Let h = -1079 - -1866. Is h a prime number?
True
Let w = -2 + 6. Suppose 2*u = 5*p + 354, -142 = -w*u - 2*p + 518. Is u a composite number?
False
Suppose -5*c + 1055 = 5*l, 3*c - 19 = 3*l + 608. Let k = -70 + c. Let v = 215 + k. Is v prime?
False
Suppose -6*j + 10 = -j. Let o(s) = 11*s**2 + 3*s - 3. Is o(j) a composite number?
False
Let a = -229 + 355. Let u = a + -79. Is u composite?
False
Let o(h) be the third derivative of -h**6/120 + 115*h**3/6 - 6*h**2. Is o(0) a prime number?
False
Suppose -5*h = -h - 4. Suppose 4*a - 3*z + 34 = -h, 0 = 2*a + 4*z + 12. Is 4820/16 - (-2)/a composite?
True
Let n(b) = -11*b**3 - b**2 + 2*b - 1. Let g = 11 - 8. Suppose q - 3 = a + 1, a = g*q - 8. Is n(a) prime?
True
Let d = -12 + 21. Is (-1414)/(-6) - 6/d prime?
False
Let x = -3 - -6. Suppose 2*k - 265 = -x*k. Is k prime?
True
Let b(j) = 733*j**2 - 4*j - 10. Is b(-3) composite?
False
Suppose -4*u = -2*u - 2*o - 9716, -4*o - 24293 = -5*u. Is u a composite number?
False
Let x(w) = 2*w**2 + 4*w + 1. Is x(3) prime?
True
Suppose 3*v = -3*p + 393, -2*v - 527 = -6*v - 3*p. Is v a composite number?
True
Suppose -33 = -4*t - 1. Suppose 5*m + 0*d = d + 349, 2*d = -t. Suppose z = -0*z + m. Is z composite?
True
Suppose -16 = 4*o, -4*o = 3*v + 7 - 0. Suppose 2*x = 5*j + 147 - 1996, -v*x = -4*j + 1475. Is j a composite number?
True
Let y(r) = r**3 + r**2 - 2. Let f be y(2). Let i = f - 0. Suppose -3*v + 5*t = -227, t + i - 379 = -5*v. Is v a prime number?
False
Suppose 0 = -3*n + 4*n - 83. Is (1/1)/(1/n) composite?
False
Suppose -4*v = 2095 - 6683. Is v a composite number?
True
Is 18/42 + (-256)/(-7) composite?
False
Let g(i) be the third derivative of i**6/24 - i**5/60 + i**4/24 + i**3/6 + 2*i**2. Let k be g(-1). Let z(r) = -r**3 - 5*r**2 - r - 3. Is z(k) prime?
False
Let d(g) = 5*g**3 - 3*g**2 + 2*g + 4. Let u be d(4). Let w = u + -93. Is w composite?
False
Let r(v) = v - 9. Let f be r(7). Let w(c) = -c**3 - 3*c**2 - 3*c - 2. Let m be w(f). Suppose m = -3*k + 54 + 3. Is k composite?
False
Let c(i) = 11*i**2 + 2*i - 1. Let s(a) = a**2 + 2*a + 2. Let b be s(-2). Is c(b) composite?
False
Let n = 1 - -79. Suppose 5*u = -d + 39, 5*d + 5*u = 3*u + n. Is d/(-3)*(-3)/2 a composite number?
False
Let a(f) = -7*f**2 + f - 31. Let h(x) = -13*x**2 + 2*x - 63. Let y(l) = 11*a(l) - 6*h(l). Let b be y(0). Suppose u = -0*u + b. Is u a prime number?
True
Suppose -m + 375 = n, 0 = n - m - 216 - 167. Is n a prime number?
True
Let c be 5/(-15) - 4/6. Is ((-14)/35)/(c/145) a prime number?
False
Let f be 25 + (0 - 1)/1. Let a = f - 12. Suppose 233 = 5*n - a. Is n a prime number?
False
Let z(u) = 5*u**2 - 2*u - 1. Let d be z(-6). Suppose -4*v + 3*r = 2*r - 248, 2*r = 3*v - d. Suppose 0 = -4*t - 17 + v. Is t composite?
False
Let y(d) = 5*d + 20*d + 3 + 1 + 0. Let l(x) = -2*x - 7. Let r be l(-5). Is y(r) prime?
True
Suppose 4*p - 24 = -q - q, 3*q + 4 = 4*p. Suppose 0 = p*x - 0*x - 236. Is x composite?
False
Suppose 0*m = t + 4*m - 899, 4*t = 5*m + 3638. Is t prime?
True
Suppose -14*g + 17*g = 873. Is g prime?
False
Let b = 0 - -6. Suppose b*l - 3*l - 341 = -4*x, 0 = -5*l - x + 557. Is l a prime number?
False
Suppose -3*a - 2*a = -6985. Is a composite?
True
Suppose -6*v = -3*v - 2790. Suppose 4*t - v - 738 = 0. Is t prime?
False
Let s(k) = 4*k**2 + k + 1. Suppose -4 = 2*m - 2. Let h be s(m). Let v(f) = 4*f**2 - 4*f + 5. Is v(h) a composite number?
False
Let y(d) = -8*d + 2. Let h(s) = s - 1. Let k(r) = -4*h(r) - y(r). Let x be k(-6). Is -1*(0 + 0 + x) composite?
True
Suppose 0 = c + c + 108. Let w be (c - 0/(-3))/(-1). Suppose -4 = 2*r + 2, 0 = -k - 5*r + w. Is k a composite number?
True
Let u = 20 + -17. Suppose -u*g + 823 = 2*r, 4*r + 0*g + 3*g = 1661. Is r composite?
False
Let y(z) = -z + 40. Let x be y(0). Let s = x + -90. Let l = -17 - s. Is l composite?
True
Is -2*505/(-1) + -1 + 0 a prime number?
True
Let h be 168/18 - 2/(-3). Suppose -2*k - 5*q = 15, -q + h = -3*q. Suppose -2*y + 210 = 4*l, 3*l - k*y - 245 = -l. Is l composite?
True
Suppose -5*h = -0*h - 295. Is h a prime number?
True
Let f(v) = -v + 7. Let s be f(5). Suppose 0*m = -5*m. Suppose -2*k = m, -4*x + x - s*k = -174. Is x a prime number?
False
Let i(t) = 15*t**2 - 2*t - 2*t - 2 + t. Let d be i(-3). Suppose b + 5*z + 191 = 4*b, -2*b - 4*z = -d. Is b a prime number?
True
Suppose 2*s = -0*s. Suppose -2*u + 6*j - j + 165 = 0, -3*u + 5*j + 250 = s. Is u composite?
True
Let o(w) = 5*w**2 - w - 1. Let k be o(5). Suppose 0*u - u = -k. Let a = u + -62. Is a composite?
True
Let d be 15810/(-50) + (-1)/(-5). Is -2 + d/(-4) + 2 a prime number?
True
Let t be 0*2/(-6)*-3. Let i be 4/(-5)*(-25)/10. Suppose t = i*h - h - 55. Is h composite?
True
Suppose 2*d - 31 = -3*j, 5*d + 5*j - 95 = j. Is d composite?
False
Let k = -3 + 4. Suppose 14 = 5*c - k. Suppose -g + 3*r + 21 + 16 = 0, 2*r = c*g - 97. Is g composite?
False
Let z(v) be the second derivative of -4*v**3/3 - 2*v**2 + v. Let c be z(5). Let j = -11 - c. Is j a prime number?
False
Let r(g) = -g**2 + g + 1137. Is r(0) composite?
True
Let q be 6/3*(1 - 2). Let m be 1 - 3/6*4. Is 270/4 - m/q a composite number?
False
Let r(f) = -218*f - 3. Is r(-5) prime?
True
Suppose 0 = -4*k + 3*k - 5*w + 2, k - 2 = 3*w. Suppose k - 12 = -5*b. Suppose p - b*p + 223 = 0. Is p a composite number?
False
Let c(q) = -1. Let n(d) = -d**2 + 11*d - 15. Let o(t) = 3*c(t) - n(t). Let j 