*(-84725)/(-50) prime?
True
Let q = 2220 + -597. Is q a prime number?
False
Let i = -24084 - -39745. Is i a prime number?
True
Suppose -5*i + 0*i = -3*u - 4, 0 = -i + 5*u - 8. Suppose -5*w + i*a + 1318 + 917 = 0, 0 = 2*w - 5*a - 894. Suppose -5*m + 2*m = -w. Is m a prime number?
True
Let l be (-4)/(-10) - 143/(-55). Suppose 0 = 3*y - 5*x - 5, 0 = -l*y + 2*y - 3*x + 11. Suppose -y*s = -504 + 59. Is s a prime number?
True
Suppose -3*z = -5*b + 8, 3*b - 24 = -0*b - 3*z. Suppose -a = -3*m - m + 839, 864 = b*m + 4*a. Is m prime?
True
Suppose -3*h + 8683 = 2*m, -5*h + 3*h - 2*m = -5786. Is h a composite number?
False
Suppose 6 = -2*f, -12380 = 7*o - 12*o - 5*f. Is o composite?
True
Suppose -3*l = -4 - 8. Let w be 6/l + (-627)/(-6). Is w*((-3)/(-2))/3 a prime number?
True
Let v(j) = 228*j**2 - 5*j + 36. Let x be v(7). Suppose -3*k + 5*z + x = -2122, 0 = 3*k + 2*z - 13309. Is k a prime number?
False
Let s(z) = -3693*z + 263. Is s(-6) a composite number?
True
Suppose 0 = -2*h - 0*h + 3*i + 6287, -5*i = -3*h + 9433. Suppose -18 = -3*y - 3*u + 2331, 0 = 4*y + 3*u - h. Is y prime?
True
Let v(d) = 334*d**3 - 2*d**2 + 2*d + 1. Let a(b) = 669*b**3 - 5*b**2 + 5*b + 2. Let l(n) = -4*a(n) + 9*v(n). Is l(1) prime?
True
Suppose -5*a = 37 - 32, -479689 = -4*l + 5*a. Is l prime?
True
Let q(w) = -4*w**3 + 3*w**2 - 4*w - 4. Let d(z) = z**3 - 2*z**2 - 11*z + 9. Let n be d(4). Is q(n) a prime number?
False
Let j be 18640/12 + (-16)/(-24). Let w = j + -677. Is w a composite number?
False
Let s be 274/18 - (-12)/(-54). Suppose 0 = 5*h - s, -5*h = -3*r + 798 + 630. Is r composite?
True
Suppose 3*b + 2*l = 333, 5*b - 341 = -2*l + 214. Let d = 746 - b. Suppose x = -4*x + d. Is x composite?
False
Let q(x) be the first derivative of 1363*x**3/3 - 4*x**2 - 13*x + 45. Is q(-2) a composite number?
True
Let o(a) = -870*a + 518. Is o(-22) prime?
False
Let a(b) = b**2 + 4*b - 5. Let n be a(-5). Suppose 6*r - r - 895 = n. Is r a prime number?
True
Suppose -7*j = 18*j - 709175. Is j a composite number?
True
Let s = 29 + -25. Suppose -s*y = -v + 2385, 5*v - 6*y + y = 11955. Is v prime?
True
Suppose -3*s + 12 = p, 0*p = 2*s + p - 9. Suppose a = s*a, 2*a = -3*q. Suppose q = 5*l - 87 - 1598. Is l prime?
True
Let x(j) = 57*j**2 + 37*j + 1. Is x(-8) prime?
False
Let l(z) = -114*z. Let j be l(-2). Is -5 + j*2 - 2 a composite number?
False
Let z be (-2)/6 - (-104)/24. Suppose z*v - 495 = -v. Suppose 588 = 3*w + v. Is w a composite number?
False
Is 0 + (-1)/(-6) - 408856/(-48) composite?
True
Suppose n + 4*c = -9, 0 = -2*c + 2 - 10. Let h be 479*1 + -3 + 2. Let i = h + n. Is i a prime number?
False
Let z = 2328 - 1289. Let x = z + -204. Is x a composite number?
True
Let r be 1/((-2)/(-1*6)). Suppose -17 = -r*v + 313. Suppose 3*w - v = 247. Is w a composite number?
True
Suppose 4298 + 10478 = 8*c. Is c composite?
False
Suppose -4*j - 20 = 3*v, -v - 4*v - 5 = j. Suppose 0*s - 2*s + 942 = v. Suppose 5*w - s = -y, w - 2*w - 3*y + 83 = 0. Is w prime?
False
Let g(c) = 2*c**2 - 16*c + 6. Let u be g(8). Suppose -u*a + 890 = -a. Is a prime?
False
Suppose -b + 929 = 5*t, -305 = -2*b - 5*t + 1543. Is b a composite number?
False
Suppose 7*t = 5*t - 10, 3*u - 4751 = 4*t. Is u a prime number?
False
Let i(s) = 1371*s**2 - 10*s + 10. Is i(1) a composite number?
True
Suppose 2*v + 13035 - 76565 = 0. Is v composite?
True
Suppose -x - 203129 = -20*x. Is x composite?
False
Let n(s) = 5*s**2 - s + 3*s + 19*s**3 + 8 + 7 + 2*s. Let r(p) = 10*p**3 + 2*p**2 + 2*p + 8. Let a(v) = -3*n(v) + 5*r(v). Is a(-4) a prime number?
False
Suppose -4*r = -150031 + 27507. Is r a prime number?
True
Suppose 0 = 3*n + 4*k - 208443, -39*n + 42*n + 2*k = 208437. Is n prime?
False
Suppose -7*g = -9*g + 68. Suppose 4*q - 183 + g = -3*o, q + 224 = 4*o. Is o prime?
False
Let f(r) = -r**3 - 4*r**2 + 5*r + 2. Let t be f(-5). Suppose 0 = 5*d - 3*u - 3074, -t*u + 2466 = 4*d - u. Let g = -365 + d. Is g prime?
True
Suppose 4*l - 50313 = -9305. Suppose -51*o + 55*o = l. Is o prime?
False
Let q = -12 + 19. Let y(d) = 5*d**2 + 22*d - 91. Let w be y(4). Suppose -2*j + w = q. Is j composite?
True
Suppose 121*n = 132*n - 696883. Is n a prime number?
True
Let v(a) = a**2 + 10*a + 1. Let l be v(-4). Let g = -20 - l. Suppose 0 = -3*r + 12, -2*t - r - 79 = -g*t. Is t a composite number?
False
Let i(u) = 12 + 2*u**2 - 4*u**2 + u**2 - u**3 - u + 3*u - 5*u. Let s be (-26)/6 + 2/(-3). Is i(s) prime?
True
Is 12086*(104/16)/13 prime?
True
Is (12 - 10/2) + 27934 composite?
False
Let h be (-5 + 8)/(6/8). Suppose -h*w = 3*o + 3, w + 2*w + 1 = -o. Suppose 4*g = -w*g + 2*z + 424, 2*g + 5*z - 212 = 0. Is g a prime number?
False
Let x = 108 + -105. Suppose -4*w + 52 = k, 2*k + 0*k + 3*w = 99. Let c = k + x. Is c a prime number?
False
Let g = -27 - -34. Suppose 7881 - 24044 = -g*l. Is l a prime number?
True
Suppose 81*w = -3*h + 77*w + 11575, -2*w = -3*h + 11605. Is h a prime number?
False
Suppose -4*m + 8 + 0 = 0. Suppose 5*z - 3*v - 1 = -m*v, -3*z = 4*v + 4. Suppose f - 335 = -z*f. Is f a prime number?
False
Suppose 5*z = 4*l - 3274, 2*z - 3012 + 545 = -3*l. Is l prime?
True
Let s(n) = 1712*n**2 - 21*n - 1. Is s(2) composite?
True
Let z(t) = -13*t**2 + 4*t - 2091. Let j(b) = -9*b**2 + 3*b - 1394. Let a(c) = 7*j(c) - 5*z(c). Is a(0) a composite number?
True
Suppose -46028 - 224344 = -6*b. Is b a prime number?
False
Suppose v = 2*j - 28771, -2*j - 4*v - 15284 = -44060. Is j composite?
True
Let n(q) = -q - 1. Let v be n(2). Let m(h) = -6*h**3 + 2*h**2 + h + 8. Is m(v) a prime number?
False
Let l be 10*((-10)/4 + (4 - 1)). Suppose -2333 = -5*f + 2*u - l*u, -f + 5*u = -489. Is f a composite number?
True
Suppose 31796 = 4*g + 3*n, 4*g = -g + 4*n + 39745. Is g a prime number?
True
Let s(t) be the third derivative of 27*t**4/4 - 5*t**3/6 - 2*t**2. Let z = 11 - 9. Is s(z) a prime number?
False
Suppose 0*h = -h - 4. Let r be -1 + (-2)/(8/h). Suppose 3*y - 33 - 216 = r. Is y composite?
False
Let m = 108834 - 35803. Is m prime?
False
Let r(i) be the second derivative of 49*i**3/3 - 2*i**2 + i. Let h be r(7). Suppose y - 1119 - 577 = -5*m, h = 2*m + 4*y. Is m prime?
False
Let y(z) = 1776*z**2 + 8*z - 61. Is y(6) prime?
False
Is (-2)/(-11) - (-933982)/154 a prime number?
False
Let c(s) be the first derivative of 58*s**3/3 - s**2 + s + 8. Is c(-3) composite?
True
Let b = -769 - -1409. Suppose -2*v = 4*j - 994, 5*j = -v + 610 + b. Is j a composite number?
False
Suppose -3*s = -4*s. Suppose -5*q = -s*q - 35. Let f(h) = -h**3 + 15*h**2 - 12*h - 7. Is f(q) a prime number?
False
Let g(l) = -l**3 - 6*l**2 - 9*l - 4. Let u be g(-4). Suppose -q + u*q = -74. Is q a composite number?
True
Suppose 0 = 3*x - 5*a + 4, 2*x - 2*a = x - 1. Let i be (1/x)/((-7)/(-21)). Let y(g) = 50*g**2 + 2*g + 1. Is y(i) composite?
True
Suppose 5*m - p - 33 = 4, 0 = -5*p + 15. Suppose 0 = -m*z + 5*z + 13266. Suppose t + 5*t - z = 0. Is t prime?
False
Suppose 3 - 7 = -y. Suppose -2*v + y*s = 0, s = -2*v - s. Suppose v*p + p = 331. Is p a composite number?
False
Let t be (0*((-10)/(-4) - 2))/2. Suppose -5*n - 312 + 3727 = t. Is n prime?
True
Let h = -34920 + 111127. Is h prime?
True
Suppose -132836 = -4*q - 70*w + 73*w, 0 = -2*q + 4*w + 66428. Is q a composite number?
True
Suppose -m + 2*f = 3*m - 2240, 0 = 5*m - 5*f - 2800. Suppose -2*x + 435 = 3*c - m, -5*c = -5*x - 1625. Is c composite?
True
Suppose 0 = 14*g - 17167 - 9979. Is g a prime number?
False
Suppose 0 = 9*b + 11*b - 319940. Is b prime?
False
Let g(n) = 15*n**3 - 8*n**2 + 3*n - 24. Let l be g(6). Suppose 12*s - 14*s + l = 0. Is s composite?
True
Let m = -1816 - -2975. Is m composite?
True
Suppose 4*o - 27390 = -5*n, o - 3*n + 13694 = 3*o. Suppose 6*q + 4*q - o = 0. Is q a composite number?
True
Let c = -266 + -656. Let a = c - -1369. Is a prime?
False
Suppose -5*l = -2*j + 2003, -11*j + 3018 = -8*j - 3*l. Is j a composite number?
False
Let i(f) = -4*f**3 - 19*f**2 - 33*f - 23. Is i(-14) prime?
True
Let h be 1 - (1*(1 + -3) + 0). Suppose 4*b - 11788 = 5*p, -5*b - p - h*p + 14694 = 0. Is b prime?
False
Let i = 251 - 82. Let a(z) = -4*z**2 + 2*z - 2. Let q be a(5). Let t = q + i. Is t composite?
True
Let q(u) = -u**3 + 11*u**2 - 13*u - 17. Let z be q(10). Suppose 8*t - 3*t - 5*c - 525 = 0, -2*c = 3*t - 300. Let k = t + z. Is k a prime number?
False
Let