19334. Is m prime?
False
Let q = 18 - 54. Let s = -126 + 176. Let k = q + s. Is k composite?
True
Let y(b) = -2*b**2 + 2*b + 2. Let s be y(0). Is 17/s*(-5 + 11) prime?
False
Let p be (0 - 27/(-6))*2148. Suppose 5*a + 0*f - 2*f - 9642 = 0, -4*f = 5*a - p. Suppose a = m + m. Is m a prime number?
False
Let j = 27 + -24. Suppose 3*m - 559 = -2*m + 4*v, 333 = 3*m - j*v. Is m composite?
True
Let s = 99 - 37. Suppose 2*b + b + 31 = 5*v, -8 = 4*b. Suppose 0 = v*l - s - 8. Is l composite?
True
Is (16843*-2)/(8 - (-52)/(-6)) prime?
False
Let z be -3 + 1 - 280*1. Let j(s) = -133*s + 38. Let k be j(-9). Let t = k + z. Is t a composite number?
False
Suppose -b + 3*b + 33075 = 3*u, 4*u - 4*b = 44096. Is u a prime number?
True
Let w = -62 - -59. Is w*(-337)/12*12 composite?
True
Suppose w = -4*w - 2230. Let k = w + 817. Is k a prime number?
False
Let p(r) = -15*r**3 - 3*r**2 + 4*r - 3. Suppose 6*h = 4*h - 10. Is p(h) composite?
False
Let l(u) be the third derivative of u**6/120 - 7*u**5/30 + u**4/6 + 11*u**3/3 - 14*u**2. Is l(15) a composite number?
False
Let m(n) = 3*n**3 + 5*n**2 - 6*n + 9. Let h be m(-6). Let o = 894 + h. Is o a composite number?
True
Let p = -20 + 22. Let i(g) = 1 + 0*g**2 - 5 + 2*g - 1 + p*g**2. Is i(-12) composite?
True
Suppose 63463 = 2*f - 3*p, 0 = p - 8 + 3. Is f a composite number?
True
Let z = 12029 - 4402. Is z a composite number?
True
Let b(z) = 11*z**2 + 1. Suppose 12 = 2*s - 0*s. Let x be b(s). Let j = -196 + x. Is j composite?
True
Let t be 2965/4 - 5/20. Let h = t + -368. Suppose 445 = 2*c - h. Is c a composite number?
False
Is (-6)/27 + (-5372)/(-36) a prime number?
True
Suppose 3*o - 67 = -5*m, 0 = 5*m + o - 6 - 63. Let g = -11 + m. Suppose -g*i + z + 423 = 0, -3*i - i - 4*z + 564 = 0. Is i composite?
True
Let g = 159 - -32. Is g prime?
True
Let g be 129/(-15) + 10/(-25). Is 2/g + 55221/27 composite?
True
Let a(z) = -28*z + 16*z - 9 + 15*z. Let x be a(3). Suppose x = -y + 117 + 24. Is y a prime number?
False
Let d = 56 - 62. Is 1637/4*36/(d - -15) composite?
False
Let f = 14493 + -5802. Is f a prime number?
False
Suppose 4*o = r - 20457, -2*r = -0*r - 2*o - 40908. Suppose -10*d = -r - 6257. Is d a composite number?
False
Suppose -24999 = 79*j - 82*j. Is j a prime number?
False
Let k = -28 - -25. Let o(a) = -548*a + 7. Is o(k) a prime number?
False
Is ((-479)/(-2))/(51/102) a prime number?
True
Let l = 14591 + -3992. Is l a prime number?
False
Let c(m) = 23431*m**3 + 3*m**2 - 8*m + 5. Is c(1) composite?
False
Suppose 11 = 4*g - 1. Suppose 0 = -n + g*q - 1, 4*n = n + q + 5. Is (-19)/(-38) - (-1569)/n a composite number?
True
Let m(l) = 992*l - 41. Let v = 15 - 10. Is m(v) composite?
False
Let t = -42 + 26. Let s(g) = g**2 + 13*g + 1. Is s(t) prime?
False
Suppose -22 = u - 5*l, u + 17 = -0*l + 4*l. Suppose u*d - 3*c - 273 = -0*c, -3*c = 3*d - 261. Is d a prime number?
True
Let z = -742 + 157. Let p = z - -1352. Is p a prime number?
False
Let f be 2797/((1 + 0 + -2)/(-3)). Suppose -9*o + 3714 + f = 0. Is o prime?
False
Let z(y) = -y**3 + 9*y**2 - 8*y + 3. Let o be z(6). Let g = o + 54. Suppose 2*h - g = -h. Is h a prime number?
False
Let x = -12 + 20. Is (-3388)/(-112) - (-6)/x prime?
True
Suppose 32 = 2*i + 2*c, 2*c = 3*c. Suppose i*r + 1676 = 18*r. Is r a prime number?
False
Let o(y) = 15428*y + 13. Let r(l) = 3857*l + 3. Let b(c) = -2*o(c) + 9*r(c). Is b(2) a composite number?
True
Let q(m) = -48*m - 1. Let n(z) = -z**2 - 3*z + 2. Suppose 0 = 2*p + 5 + 3. Let c be n(p). Is q(c) composite?
True
Let y = -1147 + 2036. Is y composite?
True
Suppose -110*n - 28067 = -127*n. Is n composite?
True
Let w be 11 + -9 + (0/2 - -3). Suppose 111 = t - 4*v, 0*t = 3*t - w*v - 347. Is t a composite number?
True
Let y(v) = -7*v**3 + 5*v - 183. Let a(o) = -10*o**3 + 7*o - 275. Let f(g) = -5*a(g) + 7*y(g). Is f(0) a composite number?
True
Let q = -657 - -2138. Suppose -10*i + 629 = -q. Is i a composite number?
False
Let p(v) = -11*v**2 + 13*v + 2. Let a(h) = 6*h**2 - 7*h - 1. Let m(j) = -5*a(j) - 3*p(j). Suppose 3*x + 40 = 4*u, 4*u + 2*x - 10 - 10 = 0. Is m(u) composite?
True
Let h = 34 - 45. Let z(p) = -p**3 + 5*p**2 + 15*p - 2. Is z(h) composite?
True
Let c = 58636 + -4527. Is c a composite number?
True
Suppose 4*n - 1522 - 2390 = 0. Suppose 3*v - m = -5*m + n, 5*m + 326 = v. Is v prime?
False
Suppose 33*u = 41*u - 50824. Is u a composite number?
False
Is ((-3156543)/408 - (-6)/(-16))/(-3) prime?
True
Suppose -5*j = 5*w - 7*w + 13186, -4*w = -2*j - 26388. Is w composite?
True
Let r(u) = u**3 - 11*u**2 + 8*u + 22. Let y be r(10). Suppose -9510 = -5*h - g, -h + 1911 = -0*h + y*g. Is h a prime number?
True
Let u = -10 + 16. Let t(c) = c - 9. Let d be t(u). Is d/(-6) - (-229)/2 a prime number?
False
Let r be (2176/(-10))/((-15)/75). Let x(n) = -29*n**3 + 3*n**2 + 2*n - 3. Let o be x(3). Let m = o + r. Is m prime?
False
Suppose -395*t + 384*t = -194227. Is t a composite number?
False
Let o = 5878 - 3557. Is o composite?
True
Suppose -5*v - 22 = -2, -5*y - 2*v + 7 = 0. Suppose 0 = s + 3*j - 10 - 9, 0 = -y*s + 3*j - 3. Suppose 0 = s*r - 2*r - 278. Is r prime?
True
Let d = 1057 + -1647. Is (d/(-5))/(5/((-195)/(-6))) a prime number?
False
Suppose -8*j = -5*j + 7278. Let f = -1383 - j. Is f prime?
False
Suppose 2*d = 8*d + 24. Is (12 - -3106)*(-2)/d a prime number?
True
Let z = -1181 - -1768. Is z a composite number?
False
Suppose -3*b = 4*t + b - 1788, -906 = -2*t + b. Is t a prime number?
False
Let f(s) = -s**2 - 2*s + 6. Let o be f(-3). Suppose o*b + 151 + 287 = 0. Let k = -95 - b. Is k a composite number?
True
Let m = -1393 - -2470. Is m prime?
False
Let y = -2405 + 3728. Let b = y + 184. Is b prime?
False
Is (-52)/10*19260/(-72) a composite number?
True
Let t(l) = l**3 + 2*l**2 + 3491. Is t(0) a composite number?
False
Let f = -5151 - -13160. Is f prime?
True
Let b(s) = 15*s**2 - 4*s - 2. Let x be b(-6). Suppose -4*i + x = -106. Is i composite?
False
Let h(t) = 4842*t**3 + 1. Is h(1) composite?
True
Let x(i) = -i**3 - i**2 + 13*i + 4. Let l be x(3). Suppose -l*z - 3*s = -3*z - 10245, 5*z = 2*s + 12789. Is z prime?
False
Is (1 - -5518)*(-2 - -3) composite?
False
Let x be -2*(-3 + 2 - -1880). Let r = x - -8261. Is (-16)/6*r/(-76) a prime number?
False
Suppose -9452 = -3*i - 5*z, -z + 9676 = 5*i - 6070. Let c = i + -1608. Is c a composite number?
True
Let g be (5/(-20))/(3/(-1812)). Suppose -d - g = -526. Is d/1 - (-4 - 0) a prime number?
True
Let o = -119 - -119. Suppose -4*j + j + 904 = w, o = j - 5. Is w composite?
True
Suppose 3958*w - 3957*w = 94. Is w prime?
False
Let p be (-2 + (-12)/(-8))*88. Is 7/(11/p*(-4)/97) composite?
True
Let a(r) be the second derivative of -3*r**3/2 + 4*r**2 + 3*r. Let d be a(-4). Let u = 67 - d. Is u composite?
False
Suppose 17 = 2*d - 3*a, -2*d + a = -a - 14. Let c(z) = 3*z**2 + 0*z**2 + d*z - 7 - 2*z. Is c(-6) composite?
False
Let p = -467 - -798. Is p composite?
False
Let g(s) = -157*s - 8. Let b(z) = 313*z + 16. Suppose 2*r + 10 + 2 = 0. Let x(u) = r*b(u) - 13*g(u). Is x(7) composite?
True
Suppose 0 = 2*b - 3*b + 11. Let g(x) = x**3 - 10*x**2 - 10*x - 7. Let l be g(b). Suppose -828 = -2*z - 2*n - 124, -1417 = -l*z - n. Is z composite?
True
Let k(n) = n**3 - 15*n**2 + 28*n - 23. Let y be k(13). Let v(w) = -w**2 + 2*w. Let u be v(4). Is ((-223)/y)/(u/24) prime?
True
Let p(r) be the second derivative of r**4/3 + 4*r**3 - 3*r**2/2 - 14*r. Is p(-17) composite?
True
Let w(n) = n**2 - 9*n. Let g be w(13). Suppose 2*c = 4*a - 46, 3*c = -2*c - 3*a - 154. Let p = c + g. Is p composite?
False
Let h = 3 + -9. Let x = h - -8. Suppose -4*c - 390 = -2*l, x*l - 2*c = 4*l - 378. Is l a prime number?
True
Suppose -30 = -10*s + 5*s + 5*q, 4*s - 16 = 2*q. Suppose -2*x = -2*d - 170, -5*d = -x + s*x + 443. Let p = d + 797. Is p composite?
False
Let k be (-200)/60*6/(-4). Let w(x) = 4*x - 15. Let b be w(k). Suppose -3*h + 328 = -5*o, -b*h + 393 = -4*o - 145. Is h composite?
True
Let i = 8684 - 4291. Is i a prime number?
False
Suppose 3*y + 5*s - 8545 = 115318, 8 = 2*s. Is y a composite number?
False
Let k(y) = 19 + 7 - 43*y - 11. Let n(j) = -1. Let v(f) = -k(f) - 6*n(f). Is v(4) prime?
True
Let a be 13*(1 - 0 - -2). Suppose 0 = 4*j + 3*t - 1009, 2*j + 2*t - a = 465. Is j prime?
False
Let h be 27480/27 + (-2)/(-9). Suppose 4*k = -2