e
Is (0 + -4)*(24477/(-12) - -3) prime?
True
Suppose 2*r = 10, -2*r - 2 = 2*y - 26. Is 387*1 - (-4 - (-14)/y) a prime number?
True
Let x(v) = -v - 13. Let h be x(-9). Let f be 19779/(-15) - h/(-10). Let i = -672 - f. Is i a composite number?
False
Let x be 6/(-15) - (-3111)/15. Suppose -359 = -4*a - 3*g, -g - 72 = -3*a + x. Suppose 13*t - a = 9*t. Is t composite?
False
Suppose 60*b = 637328 + 12532. Is b prime?
True
Let v(m) = -2*m**3 + 3*m**2 + 3*m - 3. Suppose 0*p = -2*a - 3*p + 11, 0 = 5*a + 4*p - 24. Let j = a + -10. Is v(j) a composite number?
True
Suppose 5*m - 50 = 5*c, -3*c - 3*m = 2*m + 30. Let z be 102/9 + c/(-15). Is 85 + 8/z*3 a composite number?
True
Let c be (-4)/(-16) - (-14)/8. Suppose -3*r + 660 = 3*l, 3*r - 407 = -c*l + 30. Is l prime?
True
Let f(a) = 14*a - 4. Let z be f(-2). Is (-3 - z/12)*-237 composite?
False
Let i = -610 + 1163. Is i prime?
False
Let g = 7 + -5. Let l(z) = 3*z**2 - 2*z - 6*z**3 + 2 + 27*z**3 + 1. Is l(g) a prime number?
True
Suppose -5*i - o = -12865, -10292 = -i - 3*i - 3*o. Suppose -6*w + i = -301. Is w prime?
True
Suppose -7*m = -3*m + 560. Let l = 22 + m. Let h = l - -203. Is h prime?
False
Let i = -400 + 2161. Let t = i + -874. Is t a composite number?
False
Let i(u) = -u**2 + 37*u - 13. Let z be i(-12). Suppose 2*t + 5*h - h - 60 = 0, -h - 5 = 0. Let g = t - z. Is g prime?
True
Let t(s) be the third derivative of s**5/60 - 13*s**4/24 - 2*s**3/3 - 28*s**2. Is t(-10) a composite number?
True
Let l = 21 - 19. Let t(x) = -3*x + 24*x**2 + 5 - 5*x**l - 4*x + 0*x. Is t(-7) composite?
True
Let c = 87659 - 23292. Is c prime?
False
Suppose -4*z + 3*g = 689, -6*g - 729 = 4*z - g. Let i be (30/(-40))/((-1)/z). Is ((-40)/(-12))/((-8)/i) a prime number?
False
Let h = 22 + -24. Let c be (0/h + 1)*-140. Let p = -75 - c. Is p prime?
False
Let j(t) be the second derivative of -t**3/6 + t**2/2 + 3*t. Let f be j(-4). Suppose r + f*v = 94, 5*r - v + 2*v = 398. Is r a prime number?
True
Suppose 43922 = 9*s - 299509. Is s a composite number?
True
Suppose -6*y + 80345 = -1105. Suppose -m - 3*d - 2707 = -2*m, -y = -5*m + 5*d. Is m a composite number?
False
Let k(p) = 23*p + 18. Let z(d) = 35*d + 27. Let g(i) = -7*k(i) + 5*z(i). Is g(5) prime?
True
Let m = -15 + 18. Let h = 6 - 2. Is -2*(m - h) + 291 composite?
False
Suppose -5*g - 4*y + 12853 = 0, -9*y - 4 = -11*y. Is g composite?
True
Let y = 18966 - -15061. Is y a prime number?
False
Suppose 0 = -z + 1 + 4, -4*z = 2*y - 3146. Is y prime?
False
Let o(d) = 15*d**2 - 28*d - 2. Is o(-13) a prime number?
True
Let h = 34993 - 23034. Is h prime?
True
Let o(r) = -920*r + 4. Let d be o(2). Let x = 3399 + d. Is x composite?
True
Suppose 33*y + 403 = 46*y. Is y prime?
True
Suppose 4*r - 6*r = -6. Is 266/(-8)*(-12)/r a composite number?
True
Let b(z) = -z**3 + 6*z**2 - 3*z - 2. Let u be b(4). Suppose -43 = -d - u. Is d a composite number?
True
Suppose 292*x - 296*x + 64788 = 0. Is x prime?
False
Let h(k) = k**2 + 3*k - 13. Let j be h(-6). Suppose -3*q - 21 = 2*l - 6, -4*l = -j*q - 25. Suppose l = 3*p - 8*p + 2705. Is p a prime number?
True
Is (-8)/(-1)*(5108 - -22) - -5 composite?
True
Let b(z) = 34*z**2 + 16*z + 37. Is b(-19) a composite number?
False
Suppose 0 = o + m + 7, 5*o + 26 = -2*m. Let x be 113/(-2 + -1 - o). Suppose 2*w - 179 - x = 0. Is w a prime number?
False
Suppose -6*d + 466 = -176. Let v = 270 - d. Is v a composite number?
False
Let m(y) = 9903*y**2 + 16*y + 6. Is m(-1) prime?
False
Let h be (-2)/4 + 555/10. Suppose h = -3*j - 50. Let p = -21 - j. Is p composite?
True
Let u(o) = -o**3 + 6*o**2 - 3*o - 9. Let b be u(5). Let g(s) = 92*s + 2. Let n be g(b). Suppose -4*a - 5 = 3, -3*a = 4*t - n. Is t composite?
True
Is -144395*((-55)/(-550))/(1/(-2)) a prime number?
True
Is 1*-1*(-969 + -98) composite?
True
Suppose -3*d + 15 = 0, 0*k - 3*k - 4*d = -2375. Is (2 + -3 - -3) + k prime?
True
Suppose w - 3*w + 3*s = -805, 0 = -5*w + 5*s + 2020. Is w prime?
False
Suppose 75058 + 1594 = 4*j. Is j a prime number?
True
Suppose -100*m + 94*m + 88062 = 0. Is m a prime number?
False
Suppose -10*l + 11*l = 3. Suppose 5*r + 2 = 3*v - 7, 4*v = l*r + 12. Suppose -2*s + 514 = -d - 3*d, -799 = -v*s - d. Is s prime?
False
Let w(a) = a**3 + 14*a**2 + 7*a - 7. Let c be w(-9). Suppose 7*i - c = 3*i - l, 0 = -i + 5*l + 110. Is i prime?
False
Let b(i) = 8*i**2 + 2*i - 3. Let s be b(-6). Let q = -60 + s. Suppose 0 = 7*v - 326 - q. Is v prime?
False
Let w(v) = 200*v - 14. Let a be w(-5). Is (10/(-30))/(2/a) a prime number?
False
Let d(r) = -6*r**3 - 8*r**2 + r - 17. Let v be d(-7). Suppose 2*l = n - 545, -2*n - l - 562 = -v. Is n prime?
True
Let h be 10 + -7 + 200/1. Let w be (134/3)/((-10)/30). Let u = w + h. Is u composite?
True
Let d be 288/(-60) + (-2)/10. Let a(x) = -164*x + 7. Let s be a(d). Suppose -k - s + 152 = -4*t, 2*k + 336 = 2*t. Is t composite?
True
Let g be (-1)/((-98)/(-100) - 1). Suppose 3070 = g*a - 48*a. Is a prime?
False
Let f = -6 + 6. Suppose 6 = 2*z - f*z. Suppose 0 = z*r - 0*r - 159. Is r prime?
True
Let j(o) = 6*o**2 + 8*o - 15. Let t be j(-11). Let f = 916 - t. Is f a composite number?
False
Suppose 5*i + 0*i - 1401 = -q, -i = -4*q + 5562. Is q a prime number?
False
Let y(j) = 23*j**3 - 2*j**2 - 5*j + 6. Let u be y(3). Suppose 4*h - 2006 + u = 0. Is h composite?
False
Is ((-14)/4)/(83/(-455006)) prime?
False
Suppose 0*k = k + 22. Let v = -17 - k. Suppose v*y - 3129 = 2*y. Is y a composite number?
True
Suppose f - 3*d = 23944, -3*f + 3*d + 71792 = 2*d. Is f composite?
False
Let g(d) be the first derivative of -d + 1 - 2 - 2 + 166*d**2. Is g(1) prime?
True
Let c(k) = 3*k**2 + 7*k + 43. Let i(b) = -6*b - 53. Let w be i(-11). Is c(w) a prime number?
True
Let k(d) = -d**3 - 26*d**2 + 26*d + 49. Is k(-28) a composite number?
True
Suppose 0 = 2*b - 34 + 162. Let q = b - -357. Is q composite?
False
Suppose 14*w - 12323 = 31735. Is w a prime number?
False
Suppose 0 = l - f - 101, -2*l - 2*f = 16 - 198. Let m = 253 - l. Is m a composite number?
False
Let r = -8371 + 39738. Is r a prime number?
False
Let l = -154 - -275. Let j = l + 22. Suppose -d + j = -0*d. Is d prime?
False
Let z = -422 - -433. Let r(a) = -11*a + 12. Let c(u) = 33*u - 36. Let x(f) = -2*c(f) - 7*r(f). Is x(z) a prime number?
True
Let a(j) = -69*j - 6. Let n be a(-15). Let o = -710 + n. Is o a prime number?
False
Let y(v) = -v + 479. Let r be y(0). Let t = r + -228. Is t a composite number?
False
Suppose -61*p - 26186 = -63*p. Is p composite?
False
Suppose 22 = 3*r - g, -4*r + 4*g + 32 = 2*g. Suppose -4*f = 4*d - 2*d + 78, f + 5*d = -r. Is 14/f*(-4746)/4 composite?
True
Suppose 2*i = -6, -4*o - 3*i + 3 = -4. Suppose -4*p = o*m - 7316, 0 = 3*m - 3*p - 453 - 5034. Is m composite?
True
Let j(a) = a**3 - 2*a**2 - 1. Let i be j(2). Is (-5260)/(-18) - i - 68/306 a composite number?
False
Let a = 70172 - 40795. Is a a composite number?
True
Let z(l) = 39*l**2 - 7 - 16*l**2 + 38*l**2 - 4*l + 6*l**2. Is z(4) a composite number?
False
Let c(f) = f**2 - 14*f - 9. Let l be c(16). Let i(n) = -n - 5. Let q be i(-8). Suppose q*z + l = 4*z. Is z a composite number?
False
Suppose -3*c + 19584 = -2*l, -3*c + c + 2*l = -13056. Suppose -4*f = -652 - c. Is f a composite number?
True
Let w = 126 - -28. Let h be (-1)/(2 + 508/(-252)). Let j = w - h. Is j composite?
True
Let x(o) be the first derivative of o**4/4 + 14*o**3/3 - 7*o**2 + 17*o - 6. Let i be x(-15). Suppose 0 = -i*l + 5*f + 43, -2*l - 5*f + 14 = -l. Is l prime?
True
Suppose -5 = 2*q - 1, -5*s - 1 = 3*q. Is 29 - s - (-5 + 2) composite?
False
Let z(v) = -8*v**3 + 3*v**2 - 14*v - 9. Let n(b) = -15*b**3 + 6*b**2 - 27*b - 17. Let r(k) = 6*n(k) - 11*z(k). Is r(-5) composite?
True
Let i be -2 - (0 - -4)*-2. Suppose -127 - 347 = -i*c. Is c a prime number?
True
Suppose 3*m = 2*m + 3. Suppose -m*a + 634 = -a. Is (a/(-2))/(3/(-6)) composite?
False
Let m = 100139 - 58452. Is m a composite number?
False
Suppose z - 2 - 6 = 0. Let v be z/(39/(-36) + 1). Let j = 17 - v. Is j prime?
True
Suppose 2*o - 11 = -7. Suppose 0 = -o*a + 8, -t - t + 18 = 4*a. Let q(c) = 3*c**3 - 3*c + 2. Is q(t) a prime number?
True
Let c be (4/6)/((-2)/1059). Let x = -90 - c. Is x composite?
False
Suppose q = 3*x + 2*q - 7, 0 = 5*q + 10. Let n(r) = 16*r**3 - 3*r**2 + 3*r + 1. Let v be n(x). Suppose 0 = g + 4*g