1447, -f + 4*y + 20355 = 0. Is f composite?
True
Suppose 0 = -z - 4*q + 491 + 4352, q = 5*z - 24173. Is z prime?
False
Let r(z) = 68*z**2 + 4*z + 3. Let l(i) = i**3 + 10*i**2 - 11*i - 1. Let n be l(-11). Is r(n) a composite number?
False
Let v = 448 + 62. Let d be (-1447)/(-5) - (-10)/(-25). Let i = v - d. Is i composite?
True
Suppose -168 = -v - 3*d, 2*v - 345 = -d - 14. Let m = 667 - v. Is m a composite number?
True
Let q(v) = 127*v**2 - 15*v - 2. Let i be q(3). Suppose -11*u + 8287 = -i. Is u composite?
False
Suppose 3*z + w + 3*w - 6380 = 0, 3*z = -3*w + 6384. Let n = 3531 - z. Is n a prime number?
True
Let c(h) = 304*h - 105. Is c(13) prime?
True
Let z(c) = -16*c**2 - 2*c + 8306. Is z(0) a prime number?
False
Let j = -18 - -18. Is (j + -257)*2*5/(-10) a prime number?
True
Suppose -5*n = 2*b - 0*n - 6215, b + 5*n - 3110 = 0. Let t = b + -1570. Let a = t - 418. Is a prime?
True
Let n be (-2 + 1160/(-6))*3. Let k = -191 - n. Suppose 0 = 3*y + 2*i - k, 3*y - 281 = -3*i + 112. Is y a prime number?
False
Let c be 6*2/6 + -8. Let j be (c - 1)/(6/(-24)). Let h = j - -69. Is h composite?
False
Let q be 22/6 - 18/27. Suppose 2*i - 4*i - 14 = 2*u, -4*i = -q*u - 7. Is 22206/15 - 3/u a prime number?
True
Let a(r) = 32*r - 16*r + 6*r + 22*r + 25. Is a(8) prime?
False
Suppose 5*r = 3*c + 4, 3*r + 0*r + c - 8 = 0. Suppose -r*a = 24 + 8. Is 778/4*a/(-8) a composite number?
False
Let u = -1 + 3. Suppose -4605 = -5*f - u*i, -i = -2*i. Is f composite?
True
Suppose -3*i + 3284 = 2*v, 0 = -3*v - 5*i + i + 4925. Let w = -699 - v. Is w*3*4/(-24) a composite number?
True
Let o be 6/4 + (-21)/14. Let u be (-2 - o)*5/(-2). Suppose 5*k + 2*z = 1727, 2*k - u*k + 1029 = 3*z. Is k a composite number?
False
Is 0/(-1 + 3) + 1635197/19 composite?
True
Suppose 2*u - 3*u - 4 = 0. Is 18 + 2721 - (u + 0) composite?
True
Let y(t) be the second derivative of t**4/12 + 13*t**3/6 + 7*t**2/2 - 19*t. Is y(16) a prime number?
False
Let j be ((-75)/(-60))/(1/4924). Suppose 9*o = j + 2116. Is o a prime number?
True
Let j = -18 + 18. Suppose 2*h - 80 - 58 = j. Is h a composite number?
True
Suppose -20543 - 16058 = -17*n. Is n prime?
True
Let c(f) = -1312*f - 243. Is c(-5) composite?
False
Suppose 3*g + 3*v - 61680 = 0, -2*v + 5*v + 9 = 0. Is g a composite number?
False
Let y = 57 - 40. Suppose 0 = 5*o - 2*u + u - y, -2*u = -3*o + 6. Suppose -4*j = -o, -b - 2*b + 3*j = -774. Is b prime?
False
Let l(i) = i - 1. Let a(z) = 82*z**3 + z**2 + 3*z - 3. Let h(p) = a(p) - 3*l(p). Let g(o) = -o**3 + 30*o**2 + 1. Let q be g(30). Is h(q) prime?
True
Suppose -j - b = -17216, 39*b = 4*j + 38*b - 68874. Is j prime?
False
Suppose 4*f = -12 - 20. Let x(s) = s**3 + 7*s**2 - 10*s - 12. Let o be x(f). Suppose 3*y + 970 = 5*n, -o*n = -2*n + 4*y - 362. Is n a prime number?
True
Let z(l) = l**3 + 11*l**2 - 5*l - 49. Let d be z(-11). Is 3314*4/d*(-18)/(-24) a composite number?
False
Let s(x) = -250*x**3 - x + 1. Let r be s(1). Let n = 369 + r. Suppose -4*k = -331 + n. Is k a prime number?
True
Is (-1 + 522)*-12*(-7)/84 a prime number?
True
Suppose -1 = -f + 1. Let p(i) = 3*i - 9 - 2*i + 3*i**f + 0*i**2. Is p(10) a prime number?
False
Let t be 92/(-3)*(-702)/12. Suppose -w - 5*x + t = w, -3*w + 3*x = -2649. Is w composite?
False
Suppose 3*a - 4*a = 2. Let u(h) = -146*h + 1. Is u(a) a prime number?
True
Let g = 5504 + 15849. Is g composite?
True
Suppose 4*u = 4*o - 5416, -3*o + 3*u = -7*o + 5416. Let c = o + 45. Is c a prime number?
True
Let m = 628 + 489. Is m a composite number?
False
Is 6/14 - 794442/(-21) composite?
False
Suppose 0 = 3*a + 3*n - 6, 2*a + 0*a - n = 7. Suppose -z = r - 49, 2*r - 153 = -3*z - a*r. Suppose -d - d = -z. Is d a composite number?
False
Let j(f) = 5349*f + 11. Is j(2) a composite number?
False
Let j = 5764 - 1061. Is j a prime number?
True
Let c = -2 - -4. Suppose -c*v + 4 = -4. Suppose 5*h - v*h = 257. Is h composite?
False
Suppose -30*n + 33*n - 10707 = 0. Is n prime?
False
Suppose 39 - 93 = -9*m. Is m composite?
True
Let n(p) = p**3 - 2*p**2 - 4*p + 1. Let h be n(4). Let s = h - 18. Is s*-1*(7 - 0) composite?
False
Let x = -78 + 82. Is 273 + (-2)/(2/x*2) a prime number?
True
Suppose 104 = 2*f - 104. Let t = 190 - f. Let i = -31 + t. Is i prime?
False
Let u = 208 - 456. Let c = u - -4837. Is c composite?
True
Let m(o) = -9 + 4*o - 2*o**3 - 6*o**2 + 4*o + o**3 + 0*o**3. Let s be m(-11). Suppose 4*q - s - 984 = 0. Is q a prime number?
True
Let y(o) = -15*o**3 - 14*o**2 + 35*o - 13. Let d(p) = 7*p**3 + 7*p**2 - 17*p + 6. Let s(r) = -13*d(r) - 6*y(r). Let m be s(-8). Is ((-398)/3)/(m/36) prime?
True
Suppose 0 = -4*x + 5*f - 2*f + 10863, 2*x - 2*f = 5432. Let m = -1642 + x. Is m prime?
False
Suppose 0 = -5*m - k + 74223, -2*k = 3*m - 3*k - 44537. Is m a composite number?
True
Is 6517 + 4*2*10/20 composite?
False
Suppose -195 - 395 = -2*n. Is n composite?
True
Let u(b) = b**3 + 5*b**2 - b - 3. Let i be u(-5). Let d(x) = 2 + 8*x**2 + 2*x - 5 + 2. Is d(i) composite?
True
Let m = 68 + -58. Suppose 7*d = m*d - 3837. Is d a prime number?
True
Let b(d) = -d**3 + 2*d**2 - 4*d + 3. Let n be b(2). Let c = -5 - n. Is -3 - -589 - c/2 a prime number?
False
Let b(c) = -c**2 - 12*c - 7. Let g be b(-11). Suppose -10*o - 6 = g. Is o - (-538 + -8 + 4) prime?
True
Suppose -14 = -q - 2*z, q + 3*z + 1 = 15. Is 2 + -1 + 3878/q a prime number?
False
Let h = 12 - 4. Let o be 2/h*(-64)/(-8). Is (-1 - -143) + (-2)/o a composite number?
True
Let l(h) = -h - 2. Let p be l(4). Let o(k) = -98*k - 19. Let x(y) = 293*y + 60. Let m(j) = 7*o(j) + 2*x(j). Is m(p) composite?
False
Let t(q) = 253*q + 76. Is t(7) prime?
True
Is 31/310 - 139629/(-10) a prime number?
True
Suppose -4 = 4*a - 3*z, -4*a + 14 = -5*a + 4*z. Suppose -a*u + 2144 = -1898. Is u prime?
False
Let q = 17 + -14. Let g be (6 - 1)/(q/6). Suppose -48 = -y - g. Is y a prime number?
False
Let v(t) = 20*t**2 + t - 4. Let k = 11 - 5. Suppose j = k*j + 10. Is v(j) a composite number?
True
Suppose -103532 = -4*n + 6*a - 4*a, n = -3*a + 25876. Is n composite?
True
Let t be 2/(-13) + 9249/156*4. Suppose 4*k - 7*k = -t. Is k composite?
False
Let c(q) = -8*q**3 - 8*q**2 - 8*q + 43. Is c(-8) prime?
True
Suppose -8*x + 532 + 188 = 0. Let a = -23 + x. Is a composite?
False
Let y(c) = -11*c + 6. Let j(u) = u**2 - 8*u + 4. Let i be j(6). Let a = i - -1. Is y(a) prime?
True
Suppose 0 = q + 5*m - 19672, 4*q + 93*m - 78634 = 91*m. Is q a prime number?
False
Let v(l) be the first derivative of 34*l**3/3 - l**2/2 + 4*l + 6. Is v(3) composite?
False
Let v = 37 + -47. Is (-2898)/v + 24/(-30) a prime number?
False
Let c(o) = -175*o - 389. Is c(-10) a composite number?
False
Let s be -17*-1*(-1 - 0). Let t = s - -23. Is 4 - -52 - t/(-3) a prime number?
False
Let r(c) = -c**3 + 10*c**2 + 8. Let z be r(10). Suppose -5*y + t - 6*t = -10, 3*y - 4*t = -z. Suppose 3*b + 5*l + 0*l - 757 = 0, y = b - 5*l - 239. Is b prime?
False
Suppose 4*a = -4*a + 40. Suppose 3*j - 2831 = -a*o, -2 = -3*j + 4. Is o prime?
False
Let a(f) = 13*f**2 + 5 - 10 + 7*f - 5*f. Is a(4) composite?
False
Suppose 4*o - 4*o - 3*o = 0. Suppose 0 = 4*b - x - 1808, 2*b + o*x = 5*x + 922. Is b a prime number?
False
Let w = -261 - -610. Let h = 208 + w. Is h composite?
False
Let g be ((-8)/(-20))/((-4)/5 + 1). Is 1*(39/g - 1/2) a composite number?
False
Is (110799/78)/(3/10) composite?
True
Let o = -137 + 142. Suppose 4*r + 1470 = 2*v, 0 = v - 4*v - o*r + 2260. Is v composite?
True
Suppose -12*z = -3*z - 117. Suppose z*a - 11*a = 1246. Is a composite?
True
Suppose 0*u + 3*u - 360 = 0. Suppose -u = -o - 4*o. Is (402/o)/((-3)/(-36)) prime?
False
Let v = -153 + 708. Let z = 7 - 3. Suppose z*x - x - v = 0. Is x a prime number?
False
Suppose 16*q = 38*q - 33022. Let r be 534 - 0/(-2)*1. Let d = q - r. Is d composite?
False
Suppose 3 - 5 = -2*j. Let l be -129 - (0 - (j - -3)). Let q = l + 376. Is q a prime number?
True
Suppose 0 = -c - 4*a - 2 - 2, 3*a = -3. Suppose c*j - 5*j = -4105. Is j prime?
True
Is 28/(-14)*2*1333/(-4) a composite number?
True
Let x be 4/(-14) - (-3420)/63. Let k = 1057 + x. Is k a prime number?
False
Let k be 152 + -1*8/4. Suppose -2*d = 3*d - k. Let p = 85 - d. Is p prime?
False
Let q(v) be the first derivative of -25*v**2/2 + v - 7. Let f be q(-1). Let g = f + 9. Is g a prime number?
False
Let w =