alse
Let h(t) = 4*t**3 + 16*t**2 - 2*t - 8. Let v(j) = j**3 + j**2 + 1. Let y be (66/55)/(2/5). Let l(m) = y*v(m) - h(m). Is l(-14) a prime number?
True
Suppose 20*k - 17*k - 5*g - 11632 = 0, 4*g = -5*k + 19325. Is k a composite number?
True
Is (-164075)/(-75)*(3 + 0) a composite number?
False
Suppose 4*u - 4*s - 624 = 31632, 5*u = 2*s + 40305. Is u prime?
True
Let i(d) = -350*d - 178. Is i(-40) prime?
False
Suppose 20 + 72 = 4*x. Suppose g - 314 = -x. Is g composite?
True
Suppose -5 = -11*n + 50. Is (-16794)/(-15) + (-3)/n composite?
True
Suppose -t = 3*c - 6, 5*t = c + 2*c - 6. Suppose -209 + 15 = -c*u. Is u a prime number?
True
Let h(a) = 2*a**3 - a**2 - 6*a - 2. Let w be h(7). Let o = w + -262. Is o prime?
True
Let v = -22 + -3. Let i = v + 28. Suppose b = i*b - 1402. Is b composite?
False
Let v(w) = 69*w + 9. Let o be v(-3). Is 3 + (-1)/(3/o) prime?
False
Let q = -14 + 16. Let y(t) = -2*t - 6*t**2 - 4*t**2 - 3 + 8*t**q - 43*t**3. Is y(-2) composite?
False
Let a = 835 - 264. Suppose -2*y + 5*j = -273, 4*j + a = 4*y - 5. Is y prime?
True
Let v = -38 - -10. Let k = v - -29. Let f(q) = 112*q**2 + 2*q - 1. Is f(k) prime?
True
Suppose 403 = 4*x - 349. Let a = x - 99. Is a composite?
False
Suppose -2*z + 7*z = -0*z. Suppose z*r + 2256 = 4*m + 4*r, r = -2*m + 1126. Is m a prime number?
False
Let w(p) = -4*p**3 - 6*p**2 + 7*p - 2. Let s be w(-7). Let i = s + 2766. Is i a prime number?
True
Let t be (5 - 3)/(-2) - 2. Let w = t - -2. Is (w*17)/(2/(-6)) a composite number?
True
Suppose -2*i + 10267 = -5*f, -3*i - 21*f + 17*f = -15435. Is i a prime number?
False
Suppose 2*u = -0*q - 5*q - 20, 0 = 4*u + 20. Let z(s) = -s**2. Let l(w) = 2*w**3 + 12*w**2 - 9*w + 5. Let x(k) = q*z(k) - l(k). Is x(-8) prime?
True
Suppose q + 5*t - 73131 = 0, 5*t + 157159 = 3*q - 62194. Is q a composite number?
False
Suppose 4515 - 17478 = -3*h. Is h composite?
True
Is ((-51674)/28)/(2/(-4)) prime?
True
Let z(g) = -99*g**2 + 10*g + 11. Let w(h) = 496*h**2 - 51*h - 55. Let o(s) = -2*w(s) - 11*z(s). Is o(6) a composite number?
False
Suppose 5*h - 3*h - 5*p = 322, 3*h + 5*p - 533 = 0. Let q = h + 8. Is q composite?
False
Suppose -34*b + 12*b = -484. Suppose 0 = -b*n + 17*n + 4475. Is n prime?
False
Let j(n) = -1171*n + 15. Let u be j(9). Is u/(-24)*(-1 + 3) prime?
True
Let m = -6 - -4. Let i be (-3)/m*10/3. Suppose -2*p + 317 = -b, -2*p + 111 = -i*b - 202. Is p a prime number?
False
Suppose 2*s + 4*i - 16358 = 0, 8*i - 13*i - 8179 = -s. Is s composite?
False
Let a(o) = 349*o**2 - o + 1. Let d be a(-3). Suppose 2*b - d = -3*l, 5*b + l - 7800 = 6*l. Is b prime?
False
Suppose 70*u = 62*u + 262616. Is u a composite number?
True
Suppose 2*l + 19 = 5*c, -3*l + 6 = 3*c + c. Let y be (1299/9)/(l/(-6)). Let o = y + -14. Is o prime?
True
Suppose 1 = n + 2*h + 4, 5*n + h - 12 = 0. Suppose -n*x + 20 = -5*s, x + 3*x + 4*s = -16. Suppose x = -5*q - q + 2118. Is q a prime number?
True
Let c = 41 + 49. Let n = 643 - c. Is n a composite number?
True
Let v(t) = -3*t**3 + 55*t**2 + 23*t - 16. Is v(15) a prime number?
True
Let k = -1134 + 2138. Suppose 3*z - k = -z. Is z composite?
False
Let h(f) = 6*f**3 - 5*f**2 + 6*f - 35. Is h(4) a composite number?
False
Suppose 4012 = 3*p - 8135. Is p prime?
True
Let g(r) = -448 - 10*r - 4*r + 411. Is g(-21) prime?
True
Let m(q) = -q**3 + 12*q**2 + 10*q - 3. Let u be m(9). Suppose 0 = 5*y + 25, -3*y = 5*l - 0*y - u. Is l a prime number?
False
Let v(i) = -i**3 - 5*i**2 - 2*i - 4. Let w be v(-5). Let l(n) = n**3 - 3*n**2 + 8*n - 15. Is l(w) a composite number?
True
Let m = 7060 + -4445. Is m composite?
True
Let c(i) be the second derivative of i**4/6 + i**3/3 - i**2/2 - 6*i. Let w be c(7). Suppose -2*q + 71 = 5*x - 41, -5*x - q + w = 0. Is x composite?
True
Suppose -b - 5*m = -648, -3*b + 4*m = b - 2520. Suppose -4*f + 5*f - b = 0. Is f composite?
True
Suppose -91*s - 153248 = -123*s. Is s composite?
False
Suppose -2*u + 211887 = 11*u. Suppose 5*w - 3*n - u = 0, -5*w = n - 2*n - 16303. Is w a prime number?
False
Suppose 89 = 12*u - 9403. Is u composite?
True
Let f(o) = 6*o - 21. Let y(q) = -q + 1. Let j(k) = f(k) + 3*y(k). Let x be j(9). Suppose -8*t - 181 = -x*t. Is t prime?
True
Suppose -a + f = -4*a - 40, -5*f + 100 = -5*a. Let r = -12 - a. Suppose 7*i - r*i = 228. Is i composite?
True
Suppose o - 4*t = -911, 817 = -3*o - t - 1981. Let x = 1566 + o. Is x composite?
True
Let v(h) = 128*h + 12. Let c be v(7). Suppose -s = 2*j - c, 3208 = 4*s + j - 389. Is s composite?
True
Let z(t) = t**2 - 2*t - 2. Let u be z(0). Is (5442/9)/u*-3 a composite number?
False
Let f(g) = -g**2 - 14*g. Let z be f(-14). Let r be -1999 + z + -2 + 1. Let k = -1041 - r. Is k a composite number?
True
Let f = 19 + -62. Let d = f + 73. Suppose 0 = 4*c + c - d. Is c prime?
False
Let j be 1157 + 2 + 2*(-4 - -3). Let k = j - -622. Is k a prime number?
False
Suppose 309165 = 26*q - 505753. Is q prime?
False
Suppose -199 = -h + 39. Let j = h - -141. Is j prime?
True
Let p(t) = -39*t**3 + 6*t**2 + 17*t - 5. Is p(-8) a composite number?
True
Let n(s) = s**3 - s**2 + 2*s. Let t be n(2). Is t/6*417/4 a composite number?
False
Let v be 6*((-9)/(-6))/(-3). Let i be 1 + 826 + 2 + v. Suppose -2*t + i = -5*z, 3*z = -3*t - 2*z + 1239. Is t a composite number?
True
Suppose j + 2*j - 5*q = 22768, 0 = 5*j + q - 37928. Is j prime?
False
Let a(f) = f**2 + 7*f - 5. Let g be a(-8). Let v(x) = 348*x - 3. Is v(g) a composite number?
True
Let t(c) = -120*c - 12. Let z be t(10). Let m = -723 - z. Is (1 + 0)/(3/m) a composite number?
False
Let x(f) = 101*f**2 - 8*f - 13. Is x(10) a prime number?
True
Let a be 527/102 - 1/12*2. Suppose -a*u - 3*v = -6082, 2*u + 2*v + 1219 = 3*u. Is u a composite number?
False
Suppose -11*m = 2*m - 62959. Is m prime?
False
Is 1 + 2765 - ((1 - 4) + 2) prime?
True
Let z(q) = 1414*q**2 - q. Let s be z(1). Suppose 2*n = 11*n - s. Is n a prime number?
True
Let x(o) = -4*o - 30*o**3 - 4 + 5*o + 7*o**3 + 3*o**2 + 0*o. Is x(-3) a prime number?
True
Suppose 3*j + 3*n = -j - 221, 0 = -4*j - 2*n - 222. Suppose -4*v = 6*k - k + 82, -v = 3*k + 52. Let z = k - j. Is z a prime number?
False
Let v(z) = -75*z - 3. Suppose -7*i + 6*i - 6 = 0. Let l be v(i). Suppose -5*t = -8*t + l. Is t prime?
True
Suppose -m - 3*q = -4*m + 3270, 4*q = 3*m - 3273. Is m prime?
True
Is (-12)/16 - (-107994)/24 prime?
False
Let d = -28 - -30. Suppose d*h - 182 = -6*t + t, 3*t = -5*h + 94. Is t a prime number?
False
Suppose 38*b = 21*b + 42041. Is b prime?
True
Suppose 5*x = -190 - 145. Let y be ((-26)/(-3))/((-2)/24). Let c = x - y. Is c composite?
False
Let a = 200 - 292. Let i = -53 - a. Is i prime?
False
Suppose g + 4*n - 3473 = 1596, 0 = -4*g + 4*n + 20276. Is g a prime number?
False
Suppose -4*i - 21005 = -9*i. Is i prime?
True
Suppose 4*d = -6*d + 29390. Is d composite?
False
Let b = -13 - -7. Let n = b - -7. Is (3 - n)*762/12 a composite number?
False
Is (-3392768)/(-448) - (-2)/(-14) a composite number?
False
Let k(m) be the second derivative of -115*m**3/6 + 3*m**2 + 5*m. Is k(-5) a prime number?
False
Let c(a) = a**3 - 8*a**2 + 25*a - 39. Is c(9) a prime number?
False
Let u be (1/2 - 0)*-22. Let a = -2 - u. Is ((-3)/a)/(5/(-4035)) prime?
True
Let u = 225 - 134. Is u prime?
False
Suppose -j = 2*u - 749, -3*u + 2816 + 908 = 5*j. Is j prime?
True
Suppose 30*o - 2240878 + 296908 = 0. Is o a composite number?
True
Suppose 9*q = 5*q + 33004. Is q prime?
False
Suppose -3*q = 4*q - 14. Suppose -2*t + 38 = -2*r - r, -q*r = -4*t + 92. Is t composite?
True
Let k(g) = -g**3 - 13*g**2 - 15*g + 14. Let j be k(-9). Let y(r) = -305*r - 1. Let i be y(1). Let p = j - i. Is p a composite number?
False
Suppose -2*y + 2*b = -2806, 1404 = 2*y + b - 1390. Is y composite?
False
Let l(h) = -13*h**3 - h**2 - h - 1. Let s be l(-1). Let n = 2 + s. Is n prime?
False
Let b(x) = -x - 12. Let k be b(-11). Is (k - (-540)/(-8))*-26 a prime number?
False
Is 408/16*670/15 composite?
True
Let r(d) = -181*d + 159. Is r(-28) composite?
False
Let z = -20 + 22. Suppose 449 = z*n - 141. Suppose 22*s - 17*s - n = 0. Is s a composite number?
False
Let n be (-1)/(-5) - 24/(-5). Suppose 0 = -5*r - 0*m + 5*m + 365, 373 = n*r + 3*m. Is r prime?
False
Let g(j) = -10*j**3 - 26*j**2 + 29*j + 68. Is g(-13) prime?
False
Let j = 17 + 29. Is j*1/3*3 composite