rue
Let s = 14603 - 8134. Is s a prime number?
True
Let w(f) = 3*f**2 - 16*f - 11. Let z(l) = -2*l**2 - 28*l - 18. Let p be z(-13). Is w(p) prime?
True
Suppose 117 = -3*r + 966. Let i = r + -138. Suppose -60 = -2*p + p - f, -4*f = -3*p + i. Is p prime?
False
Suppose -8*m = -3*m. Suppose -6*n - 2 + 14 = m. Suppose 3*i = w - 206 + 12, -n*w + 333 = 5*i. Is w a composite number?
False
Let p = -200 - -1110. Is p/98 - 4/14 composite?
True
Let d = 670 - 664. Suppose -1 + 0 = -u. Is u/((-3)/d) + 81 composite?
False
Let h(k) = -3 - 1 - 6 - 39*k. Let c(x) = 2*x + 1. Let g be c(-3). Is h(g) a prime number?
False
Suppose -5*t + 91 = 4*r - 306, -5*r - 216 = -3*t. Is (51 - 53)*(-1)/(2/t) prime?
False
Suppose -4*d + 6*d = 23722. Is d prime?
False
Let u(g) be the first derivative of -231*g**2 + 13*g + 19. Is u(-3) a composite number?
False
Suppose -18*m = -18454 - 48308. Is m a composite number?
False
Suppose -89*t = -85*t - 12. Suppose -2*j - 5 = 4*n + 11, -18 = 5*n + 3*j. Is (179/t)/((-2)/n) prime?
True
Let m(g) = -g**3 + 7*g**2 - 9*g + 6. Let k be m(6). Is k/16*1 - 19005/(-12) composite?
False
Let h(x) = 3*x - 12. Let b be h(8). Suppose 4*r = b, -15 = -3*l + 3*r - 6*r. Suppose 2*p - 2*c - 136 = -0*p, -l*p + c = -135. Is p composite?
False
Suppose 0 = -6*g - 21 - 87. Let y = -14 - g. Is 447 - 9/(9/y) prime?
True
Let a(v) = v. Let d(y) = 19*y**2 - 1. Let m(k) = 2*a(k) + d(k). Let x be (0 + (-4)/14)/(7/(-49)). Is m(x) prime?
True
Let q(s) = -6*s + 12. Let i(j) = -4*j + 8. Let n(k) = 7*i(k) - 5*q(k). Let x be n(4). Suppose -3*o = 0, x*f + o = -0*f + 232. Is f composite?
True
Let l(j) = -j**3 - 22*j**2 - 21*j + 4. Let h be l(-21). Suppose 0 = -5*k - 5*i + 2830, -h*i = 28 - 8. Is k a composite number?
False
Let r = 132 + -189. Let a be (-9)/(-63) - r/(-7). Is 7*(-2)/a*4 a composite number?
False
Suppose 6 = -2*a, -2*u = 2*a - a + 23. Let q = u - -15. Suppose -4*t + 3*o = -0*o - 75, 4*o - 117 = -q*t. Is t prime?
False
Is ((-215576)/16)/(5/(-10)) composite?
False
Let k = -4368 - -12827. Is k a prime number?
False
Let i be ((-3)/(-4))/3 - (-9162)/24. Suppose q = 3*q - i. Is q prime?
True
Let q = -366 + -5. Let j = 63 + -169. Let h = j - q. Is h a prime number?
False
Let x(k) = k**2. Let r be x(0). Suppose -2*u - u + 246 = r. Let y = -24 + u. Is y a composite number?
True
Let n(b) = b**2 - 13*b + 35. Let j be n(3). Let g = 2 + 0. Is g + 327/(j - 2) composite?
True
Let p(w) = 3*w + 3 - 2*w**2 - w - 4 + 7*w**3. Let d be p(1). Let z(r) = 8*r + 10. Is z(d) a composite number?
True
Let z(m) = 51*m**2 - 59*m + 81. Is z(-29) a composite number?
False
Let q(s) = -8*s - 3. Let i be q(-10). Let o = 2 + i. Is o prime?
True
Suppose -12845 = -7*h - 3416. Is h composite?
True
Is (-3 + 2)*-2104 - (-28 - -31) prime?
False
Let w be 2/((-4)/(-614))*3. Let a = 8 - 4. Suppose -123 - w = -a*t + 2*m, -2*m = 3*t - 797. Is t prime?
True
Let u(s) = -s**3 - s + 149. Let i = -69 + 69. Is u(i) composite?
False
Let u(a) = -a - 7. Let o be u(-11). Suppose -o*g = -5*y - 119, -5*g - 2*y + 124 = -0*y. Let j = -12 + g. Is j a composite number?
True
Suppose -7*z + 5 = -2*z. Let v(m) = 414*m**2 - 3*m + 2. Is v(z) a composite number?
True
Let v(r) = r**2 - 11*r. Let k be v(11). Let i(g) = g**2 - 2*g + 19. Is i(k) prime?
True
Let y(m) = m**3 - m**2 - m + 317. Suppose 36*h - 34*h = 0. Is y(h) prime?
True
Let y = 9533 - -390. Is y a composite number?
False
Suppose 3*b + 65 = x - 2*b, 4*b = 0. Suppose x = -c - 276. Let l = c + 808. Is l a prime number?
True
Let a = -99 - -174. Let w = a - -56. Is w a composite number?
False
Let v be 2356/14 - 22/77. Let l = 257 - v. Is l prime?
True
Let a(n) = 2*n + 5. Let i(o) = -o**2 + 4*o + 9. Let h(t) = 7*a(t) - 4*i(t). Let x = 7 - 5. Is h(x) prime?
True
Let t(w) = 5089*w**2 + 3*w + 1. Is t(-1) prime?
True
Let g(o) be the second derivative of o**4/12 + o**3 - 3*o**2 - 8*o. Let s be g(-7). Is 49*s - (-12 - -8) prime?
True
Let h = 512 - 1100. Let s = h + 834. Suppose p - 1619 = -4*v - 622, -v + 3*p = -s. Is v prime?
False
Suppose -12*z = -s - 16*z + 13959, -5*z - 13968 = -s. Is s prime?
True
Let g = 598 - 1170. Let s = g - -1021. Is s composite?
False
Let l be 14/(-21) - (-35300)/(-6). Let j = -1199 - l. Is j a composite number?
True
Let z(q) = -72*q + 5. Is z(-83) prime?
True
Let a(t) = t**2 + 19*t + 13. Let k be a(9). Suppose 0 = 23*g - 24*g + k. Is g composite?
True
Let o be (-89)/((-3 + -2)/5). Let f = 2 + o. Is f a prime number?
False
Suppose j - 4*t = -26, 0 = -4*j + 3*t - 4*t - 19. Let a(r) = r + 8. Let v be a(-4). Is 280/(-30)*j/v prime?
False
Suppose -57 = -4*p - 13. Suppose -5*m = z - 6 - 5, -3*m - 5*z - p = 0. Suppose -q - 790 = -5*q - m*j, 4*q = -2*j + 792. Is q prime?
True
Let j(a) = -a**2 - 11*a + 4. Let u be j(-11). Suppose 12 = 3*f + 3. Suppose w - f*w = 2*q - 126, u*q = -2*w + 128. Is w prime?
False
Let d be 8/20 + 4/(-10) + 0. Let t = 423 + -294. Suppose -g - t = -4*c, 2*c + 5*g - 54 - 27 = d. Is c composite?
True
Suppose -w + h + 10268 = 4296, 12 = -4*h. Is w a composite number?
True
Let i be 4 - (-4 + 7656 + 2). Let n = -4291 - i. Is n composite?
False
Let i(u) = 5*u - 4. Let n be i(2). Suppose m + 4*w - 8 = 0, 2*m + 5*w - 16 = -n. Suppose p + m*p - 3*g - 9 = 0, p + 5*g - 1 = 0. Is p composite?
True
Let u be ((-6)/9)/((-8)/828). Suppose 3*s = -z + 812 + u, 0 = -4*s + z + 1170. Is s prime?
True
Suppose 0 = w + 6*w - 100506. Suppose -4*i = -10*i + w. Is i a composite number?
False
Let i be -129 - -2 - (-7 - -5). Let y = i + 376. Suppose -6*g + 7*g = y. Is g prime?
True
Let m = -2189 + -3210. Let v = -3706 - m. Is v composite?
False
Suppose -3*j - 4*h = 12 + 11, 0 = -3*j + 4*h - 31. Let o be 6/(-3)*j/6. Is 14/4*114/o a composite number?
True
Let o(m) be the first derivative of 8/3*m**3 - 3 - 7*m + 1/4*m**4 + 7/2*m**2. Is o(-6) a prime number?
True
Let t(b) = -4*b - 2. Let z(q) = q**2 - 3*q - 1. Let m be z(3). Let n be t(m). Suppose 0*o - 331 = -o + n*g, 0 = 5*o + g - 1633. Is o prime?
False
Let q be ((-131)/2 + 0)/((-24)/48). Is q*(2/(-2) + 2) composite?
False
Suppose -10*y + 13*y - 11639 = -2*m, 5*y = 15. Is m a composite number?
True
Let x = 584 + -187. Is x prime?
True
Let u(v) = 101*v + 131. Is u(18) a composite number?
False
Let i = -8 - -3. Is (324/15)/1 - (-3)/i a composite number?
True
Suppose -5*j + 21655 = 2480. Suppose -2*r + j = 3*n, -6393 = -5*n - 0*r - 4*r. Is n composite?
False
Let y(v) = 13*v**2 - 12*v + 18. Let u be y(-10). Let s = u + -807. Is s a composite number?
False
Let h(u) = 6*u**2 + 4*u + 1. Suppose 2*o - 3*m = 5*o - 15, -3*o + 33 = -3*m. Let v be (o/12)/(6/27). Is h(v) prime?
True
Let r(s) = 2*s + 18. Let f be r(-11). Is (-11 - -21)*(-1)/(f/422) a prime number?
False
Suppose 7*f = 4*f - 18. Let y = 1537 + -2230. Is (4/f)/(14/y) a prime number?
False
Let z = -56 + 61. Suppose -7*a = -3*i - 2*a + 119, -z*a + 46 = 2*i. Is i a composite number?
True
Suppose 11613 = -m + 37472. Is m a prime number?
False
Let j = -16868 + 28947. Is j prime?
False
Suppose 2*p = 2*i + 4, 2*p - 2*i - 1 = 3*i. Suppose 3*f = 4*n - 72, -p*n - 4 + 52 = -2*f. Is f/96 - 3338/(-8) prime?
False
Let c(v) be the second derivative of -5*v**3/2 + v**2 + 4*v. Is c(-5) prime?
False
Suppose 3*j + 3 + 6 = 0. Let z be (0 - 0)/j + 74. Suppose -n - 4*r + 185 = -z, -3*n - 4*r = -777. Is n composite?
True
Is 15/100*82354 + 3/(-30) prime?
False
Let g = 29 + 104. Is g a prime number?
False
Let j(k) = -k**2 + 407. Suppose -3*v + 3 = 5*l, 2*l - 4*l + v - 1 = 0. Is j(l) prime?
False
Is ((52794/4)/21)/(3/22) a composite number?
True
Is 16673*(8 + (-28)/4) a prime number?
True
Suppose 0 = 2*t + f - 21351, -3*f + 2 + 13 = 0. Is t a prime number?
False
Suppose 0 = -3*h + 1 + 17. Suppose -a = -5*l + 780, -4*l + 624 = a - h*a. Let p = l + -53. Is p a composite number?
False
Let c(m) = -m**3 + 13*m**2 - 11*m - 13. Let g be c(12). Is 3 + g + 1*104 a composite number?
True
Suppose -3*a = 4*w - 64847, 15*w - 11*w = 4*a - 86472. Is a a composite number?
False
Let g = 8 + -134. Let w = g + 341. Is w prime?
False
Suppose -2*a - 5*t = 1821 - 36380, 86320 = 5*a - 3*t. Is a prime?
False
Let o = 4992 + 4975. Is o a prime number?
True
Let p(d) = -325*d + 23. Is p(-2) a prime number?
True
Let i(q) = q - 12. Let k be i(12). Let f be 0*(3 - k)/9. Suppose 3*h - h - 178 = f. Is h a prime number?
