+ 15 - 87 = -4*s, 2*s = -4*u + d. Is s prime?
True
Suppose 4*s + 42 = 7*s. Suppose s*j - 1317 = 11*j. Is j composite?
False
Is (-159033)/(-14) + (3/(-6))/1 a prime number?
False
Suppose -2*m - 2 = -10. Let l(t) = 26*t**2 + 9*t - 1. Let v be l(-9). Suppose -3*d + 6*f - 4*f = -1543, -m*f = 4*d - v. Is d prime?
False
Let n = -2810 + 1931. Is (4*n/30)/(4/(-10)) composite?
False
Let s(p) be the first derivative of p**2 + 37*p + 6. Is s(-9) prime?
True
Suppose -4*g + 30 = g. Suppose 0 = -4*h - 5*r - g - 1, -2*h - 2*r - 2 = 0. Suppose -h*d + 76 = -78. Is d a composite number?
True
Let w = -39885 + 64674. Is w prime?
False
Let f be (-5)/2*(-2 - 0). Let p(k) = 197*k - 6. Is p(f) a composite number?
True
Let c = 262 - -613. Suppose -n = -6*n + c. Suppose -p - 4*p = -n. Is p a prime number?
False
Let u(b) = 9*b**2 + 3*b - 8. Let p be u(-7). Let k be (14/21)/(2/681). Let h = p - k. Is h prime?
False
Let x = 7272 + -3263. Is x prime?
False
Suppose -5876 + 39125 = n - y, -5*n + y = -166261. Is n composite?
True
Let t(w) = -2564*w + 34. Is t(-3) a composite number?
True
Let h = -1117 + 3576. Is h composite?
False
Suppose -68*m + 62293 = -61*m. Is m prime?
False
Suppose 3*g = -3*w + 379 + 650, -3*w + 5*g + 1029 = 0. Suppose -4*n - 649 = 71. Let j = w + n. Is j prime?
True
Suppose 0 = -4*f + 3*n + 315, 5*n + 208 - 33 = 2*f. Suppose 0 = -10*x + 15*x - f. Let q(b) = -b**2 + 17*b - 20. Is q(x) a composite number?
True
Let b = 41731 - 27846. Is b composite?
True
Let f(p) = 4075*p - 4. Let a(u) = u**3 + 7*u**2 - 9*u - 10. Let n be a(-8). Let c be f(n). Is c/(-10) - (-2)/(-5) a prime number?
False
Suppose 17*a - 126273 + 23134 = 0. Is a prime?
True
Let q = 8 + -8. Suppose -3*y - 50 + 17 = q. Let v(o) = 4*o**2 + 9*o - 4. Is v(y) a prime number?
False
Let q(l) = 97452*l**3 + 1. Is q(1) prime?
True
Let a(x) = -x - 4. Let d be a(5). Is ((-402)/d)/((-4)/(-30)) a prime number?
False
Suppose -i - 1967 = 1481. Let z = -2393 - i. Suppose -m - 5*n = 4*m - z, -2*n = -5*m + 1041. Is m composite?
True
Is (-6)/(54/(-405069)) + (-6)/9 prime?
True
Let a = -1477 - -7016. Is a prime?
False
Suppose 4*b = -4*g - g + 66, 5*g = 5*b + 30. Let v(m) be the first derivative of 2*m**2 + 9*m - 12. Is v(g) a composite number?
True
Let x(k) = -93*k - 25. Is x(-3) a prime number?
False
Let p be 3 - 2*(-3)/(-2). Let a be 1 + p - (-9)/9. Is 14/((-4 + a)*-1) a composite number?
False
Suppose 14373 = 4*x - 5*g, 4*x - g + 5*g = 14328. Is x a composite number?
True
Suppose -c = 3*g + 2005, 3*g + c + 2007 = -2*c. Let s = g - -1165. Is s prime?
False
Let p(o) be the first derivative of 29*o**4/4 + 5*o**3/3 - o**2/2 + 5*o + 15. Is p(4) composite?
True
Let g(q) be the third derivative of 7*q**6/20 - q**5/60 + q**4/24 + q**3/6 - q**2. Let t be g(2). Suppose 0 = -r + 6*r - t. Is r composite?
False
Suppose 53481 = i + 2*q + 9916, -217773 = -5*i + 3*q. Is i a prime number?
False
Let t(s) = 414*s**2 + 248*s + 5. Is t(-9) prime?
True
Let s(p) be the second derivative of p**4 + 5*p**2/2 + 2*p. Suppose 5*o + 3*n = o + 27, 5*o - 2*n = 5. Is s(o) composite?
False
Suppose -13*w = -60*w + 2109313. Is w composite?
False
Let g = 1264 + 577. Is g a composite number?
True
Let f(q) be the first derivative of -q**4/4 + 34*q**3/3 - 3*q**2 - 8*q + 32. Is f(15) a prime number?
True
Let v = -60 - -194. Suppose 0 = -x + v - 23. Is x a composite number?
True
Suppose -4*s = -3 - 5. Suppose 5*z - 3939 = -2*l, z + s*z = 2*l - 3931. Is l a prime number?
False
Suppose 4*r = -130 + 6. Let q = -18 - r. Suppose -b + q = -136. Is b a composite number?
False
Let n(s) = s**3 + 14*s**2 + 13*s + 2. Let h be n(-13). Let o be -1 + (1 - (126 - h)). Is -2 - (2 + -1) - o prime?
False
Let g be ((-183)/2)/((-18)/(-36)). Let t = g + 418. Suppose -4*h - 5*c + 4*c + 957 = 0, 4*c + t = h. Is h a prime number?
True
Suppose 0 = -7*n + 154394 - 55015. Is n composite?
False
Suppose 2*g = -0*g - 3*q + 40387, 2*q = 4*g - 80814. Is g a composite number?
False
Suppose 24*b - 61378 = 614678. Is b prime?
False
Let l(q) = 76*q + 8353. Is l(0) prime?
True
Is -4 + 98503 - (-3 + 9) a composite number?
True
Let j(t) = 227*t - 12 + 6 + 2 + 2. Is j(3) a prime number?
False
Let h = -22118 - -39349. Is h a prime number?
True
Let l = 20630 - -1731. Is l a prime number?
False
Is (2/(-1) - 2)*130933/(-44) prime?
True
Let x(q) = -q**3 - 15*q**2. Let f be x(-15). Let g be (-7)/(-1) + (-3 - f). Is (g - 3) + 31*3 prime?
False
Suppose -o = 6 + 3. Let i(z) be the first derivative of z**4/4 + 3*z**3 + z**2/2 + 12*z - 4. Is i(o) composite?
False
Let x(f) = 11*f**3 - 8*f**2 - 5*f - 5. Is x(6) a prime number?
True
Let m be 208/(-6) + 2/3. Let i = m + 70. Suppose -2*q = i - 258. Is q prime?
False
Suppose 4*f + 2172 = 4*n, f = -5*n + 1970 + 733. Is n a composite number?
False
Let a = -30 - -51. Let f = 13 - 15. Let m = a - f. Is m composite?
False
Let m be (4/(-6))/(11/33). Let p be ((-24)/15)/(m/(-10)). Is p/2 + (93 - 0) prime?
True
Let o(j) = 1043*j - 14. Let v be o(2). Suppose 7*k - 15*k + v = 0. Is k composite?
True
Suppose 9*f - 15*f = -6. Is f/(-8) + 9778/16 a prime number?
False
Let f = -81 - -45. Let n = 18 + f. Is (-4)/n - (-1463)/99 a composite number?
True
Let v(p) = -p**2 + 6*p + 9. Let c be v(7). Suppose 5608 = 3*x - x + 2*n, 4*x - c*n - 11234 = 0. Is x a prime number?
False
Let o = -112 - -107. Is 4 - (1 + o + -783) a composite number?
True
Suppose 10977 = 67*h - 64*h. Is h a composite number?
False
Suppose -58 = -3*d + 5. Let k(u) = u**2 + 7*u - 2. Let j be k(-7). Let q = d + j. Is q a composite number?
False
Suppose -332 = -2*y + 76. Let j = y - 73. Is j composite?
False
Suppose 0*h = -3*c - 3*h - 15, c - 3 = -5*h. Let m(d) = -2*d**3 + 8*d**2 + d - 10. Is m(c) a composite number?
False
Let n = -17476 + 27881. Is n a prime number?
False
Let q be -15*(-4)/12 - 1. Suppose q*d + 3 = 39. Let u(n) = 2*n**3 - 14*n**2 + 6*n + 1. Is u(d) a composite number?
False
Let r = 8 + -4. Let i(d) = -2 + 2 + r - 51*d - 18*d. Is i(-3) a composite number?
False
Suppose 5*u = 9 + 16. Suppose 4*t - w + 0*w = 11, -2*t - 3*w = u. Suppose -t*n - s + 9 = -13, 4 = s. Is n composite?
True
Suppose -18*g = -0*g - 1746. Let h = g - 32. Is h a composite number?
True
Suppose 5*m = 13*m - 3016. Let i = m + -138. Is i composite?
False
Let x(f) = -f**3 + 5*f**2 + 18*f + 10. Is x(6) a composite number?
True
Let o = 6566 + -4155. Is o a composite number?
False
Suppose -4*t = -n - 3*t + 335, 4*n + 3*t - 1368 = 0. Is n composite?
True
Let l(r) = r**3 + 6*r**2 - 3*r + 7. Let t be l(-6). Suppose -26*s = -t*s - 1361. Is s a prime number?
True
Suppose 26*t + 5*t - 1531679 = 0. Is t composite?
False
Suppose 3*t - 6 = 0, -58901 = -10*c + 9*c - 3*t. Is c prime?
False
Let g = 10361 + 9326. Is g prime?
True
Suppose n + 3*x - 13 = 2*x, 3*n - 3*x = 45. Suppose 4*a - 46 = n. Is -34*(1 - a/2) prime?
False
Let p = 545 + -90. Suppose -4*j = -m - 4901, -p = -j - m + 774. Is j a prime number?
False
Suppose 2*z + 3 = 13. Suppose a = -q - 2*a + 653, 3*q = z*a + 1903. Is q a prime number?
True
Let m(n) = 3*n**3 - 5*n + 2. Let a be m(2). Let g(h) = 0*h**3 - h**3 - 6*h + 17*h**2 - 4*h - 7. Is g(a) composite?
False
Suppose 5*q + 0*q - 20 = 0. Suppose q*i = 16*i - 34428. Is i prime?
False
Let q = 11 - 8. Let k be -14*((-23)/7 + q). Suppose 0 = 3*u + k*m - 2491, 0*m - 4144 = -5*u + m. Is u composite?
False
Suppose 12*f - 11*f - 366 = 0. Let t = 325 + f. Is t a prime number?
True
Let c(p) = -p**3 - p**2 + 6*p - 3. Let a = 9 - 13. Let j be c(a). Suppose -j*z + 16*z = -1655. Is z prime?
True
Suppose -4*g + 9 = -3. Suppose 6*v + 22 = 5*o + g*v, v + 19 = 4*o. Suppose 2*n - 899 = r, -2*n - n - o*r = -1368. Is n prime?
False
Suppose 27748 = 5*u + 1113. Is u a composite number?
True
Let i be 3/12*4 - -256. Let j = i + 36. Is j composite?
False
Suppose -388506 = -30*s - 45456. Is s composite?
True
Suppose 5*c - 112635 = -4*j, 13*c - 11*c + 5*j = 45037. Is c composite?
False
Let o = 8 - 5. Suppose g + 1 = o*u, 2*g - u = 3*g + 5. Is (1 - (-11)/g)*-92 prime?
False
Let d = -1 - -3. Suppose -i + d = -1. Suppose -i*m - 364 = -5*v - m, 3*v + 4*m - 234 = 0. Is v prime?
False
Let g = -19 - -21. Suppose -3*x = g*w - 1807, 0 = x - 5*x + 3*w + 2432. Let k = x - 394. Is k composite?
False
Suppose 511788 = -157*g + 169*g. Is g prime?
True
Let t = 341 - 