 5*l. Suppose y + y - 225 = -b, 0 = 4*y + u*b - r. Is y prime?
False
Is (-3 + 7)*(-1942)/(-8) a composite number?
False
Let l(s) = 252*s**3 - 3*s**2 + 2*s - 4. Is l(3) a composite number?
False
Is (-6)/(-24) - ((-6670)/8 - 1) composite?
True
Suppose -21*b = -16*b - 58385. Is b prime?
True
Let z = 714 - -67. Is z composite?
True
Let y = -271 - -578. Is y prime?
True
Suppose 0 = 2*c - 3 - 1. Suppose -3 = -4*g - c*x + 3, -2*x = 2. Suppose 5*z = -g*i + 68, 0 = 4*i + 2 + 2. Is z a prime number?
False
Let k be ((-1)/3)/((-2)/(-12)). Let o be 2451/15 - (-2)/(-5). Let m = k + o. Is m composite?
True
Let k(y) be the first derivative of -y**7/840 + y**6/30 - 3*y**5/40 - 3*y**4/8 - y**3 + 3. Let o(l) be the third derivative of k(l). Is o(11) prime?
True
Let v(h) = 42*h**2 + 2*h - 17. Is v(5) a composite number?
True
Suppose 3*f - 5*r = -0*r + 5847, -5*f - r = -9745. Is f prime?
True
Let r(l) = -l**2 + 6*l + 5. Let t be r(6). Suppose -s - 380 = -t*x, 3*s + 144 = 2*x + s. Is x composite?
True
Suppose -4*x = -5*d - 2751, 4*x - d - 2667 - 88 = 0. Is x a composite number?
True
Let j(u) = u**2 + 2*u + 2. Let v be j(-3). Suppose 2*l + v*h = 276 - 18, 3*l = 2*h + 349. Is l a prime number?
False
Let n be (-306)/15*20/(-4). Suppose -4*v + n = -646. Is v a composite number?
True
Let o be 2/(1 - (-2)/(-4)). Suppose -3*w + 9 = u, o*w - 23 = -5*u - 0*w. Let x(t) = 2*t**3 + t**2 - 2*t - 4. Is x(u) composite?
False
Let f(m) = -m**3 + 10*m**2 - 2*m + 20. Is f(9) composite?
False
Let c(r) = 6*r + 2. Let j(y) = -2*y - 1. Let m(w) = -3*c(w) - 8*j(w). Is m(-2) prime?
False
Suppose -2*p = -4*t - 522, -p - 3*t + 253 = -t. Is p prime?
True
Let w(o) = -o. Let b(y) = -28*y - 2. Let s(f) = -b(f) + 4*w(f). Is s(3) prime?
False
Let s be (-714)/(-24) + (-2)/(-8). Suppose -113 = -t + s. Is t prime?
False
Let k(r) = 3*r - 1. Let d be k(3). Suppose 0 = -2*b + s + 65, b + b - 4*s = 50. Let y = d + b. Is y a prime number?
True
Let j = 23 + -20. Let k be (-2)/4 + (-14)/(-4). Let q = k + j. Is q a prime number?
False
Let y be 6/(-21) + (-44)/(-7). Suppose 3*c - 2*w - y = w, 5*c - 34 = -3*w. Let s(a) = 2*a**2 - 3*a - 4. Is s(c) prime?
True
Is (-3 - -252)*2 + -1 a prime number?
False
Let c be 57/(-9) + (-2)/(-6). Let k = c + 6. Suppose -4*b = 2*g - 512, 3*b + k*g - 391 = -5*g. Is b composite?
False
Suppose -3*s + 13 + 5 = 0. Is (-1 - (-9)/s)*442 a composite number?
True
Let y(b) be the third derivative of 8*b**4 - b**3/3 + 8*b**2. Is y(2) a composite number?
True
Let c = -2 + 20. Suppose 6 = -3*h + c. Suppose h + 26 = 5*i. Is i composite?
True
Let z(t) = 19*t**2 - 7*t - 33. Is z(-4) a composite number?
True
Let j = 422 + -211. Is j a prime number?
True
Suppose 0 = -0*x - 5*x + 10. Suppose 146 = x*v - 276. Is v a prime number?
True
Let x be 2/(-5) + (-33)/5. Let l(n) be the third derivative of n**5/10 + 5*n**4/24 - 4*n**3/3 + 11*n**2. Is l(x) prime?
True
Let v be 12/((-18)/(-4) + -3). Suppose 6 = 2*z - v. Is z a prime number?
True
Let l(i) = 34*i - 1. Is l(1) a prime number?
False
Let b(v) = 37*v + 1. Let k be b(1). Suppose 3*n + k = 4*a - 177, -103 = -2*a - 3*n. Is a composite?
False
Suppose 3*g - 15 = 8*g. Let u(r) = 14*r**2 - 2*r + 1. Is u(g) a composite number?
True
Let v(m) = -m**3 - 5*m**2 - 5*m - 5. Let t be v(-4). Is t/(-1*2/422) prime?
True
Let l be 6/2 + 0 + 100. Let q = l + -50. Is q a composite number?
False
Let y = -30 - -51. Let g be 5*(122/(-10) + -1). Let q = y - g. Is q composite?
True
Let s be (-363)/(-4) - (-3)/12. Suppose -s = -x + 337. Suppose x = 4*q - 16. Is q a composite number?
True
Let a = 2815 - 1144. Is a composite?
True
Suppose -3 = -4*q - 11, 4*q - 579 = -m. Is m a prime number?
True
Is -1*(3 - (-490)/(-1)) composite?
False
Let x be (10 - (-3 - -4)) + 1. Suppose -4*c + x = -18. Is c composite?
False
Suppose -5*j + 12 = -0*p - p, -4*j = 4*p - 24. Is (-6)/3 + 124 - p a prime number?
False
Let y(a) = 371*a**2 + 3*a - 1. Is y(1) a composite number?
False
Let u(s) = -s**3 + 9*s**2 + 4*s + 1. Let g(k) = -k**2 - 7*k + 8. Let j be g(-7). Is u(j) a prime number?
True
Suppose 2*p = 4*p - 4. Is 1/(p/(-62)*-1) a prime number?
True
Suppose 3*p = 5*q - 151 + 870, 4*q = -4*p + 916. Is p composite?
False
Let l(t) = 3*t. Let b be l(-10). Let f = b + 53. Is f a composite number?
False
Suppose 3*s - 9 = -2*w + w, -2*w + 4*s - 2 = 0. Is (2 - 3) + 384/w a composite number?
False
Suppose -4*p + 12 = -p, 5*w - 3*p - 1643 = 0. Is w a prime number?
True
Is 2884/6 - (-4)/12 a composite number?
True
Is (-2)/(-4)*(2 + 656) prime?
False
Let v(a) = a**2 + 1. Let o be v(1). Is 39 + -3 + o + -1 a prime number?
True
Let a(q) = 3*q + 3. Let m be a(-5). Let p be (45/(-4))/((-3)/m). Let u = 154 + p. Is u prime?
True
Let p = -129 - 25. Is (p/3)/((-2)/3) composite?
True
Let w be (-2)/(4/(-6))*1. Let b(k) = -3*k + 1 - 4*k + w*k. Is b(-8) a composite number?
True
Let r(t) = t - 6. Let w be r(3). Is (w + 113 + 1)*1 a composite number?
True
Let g be 1/(2*2/(-92)). Let o = 0 - g. Is o a prime number?
True
Let v be (0 + -30)*8/(-6). Suppose 0 = -7*x + 3*x + v. Is x composite?
True
Let r(w) = -2*w**3 - 6*w**2 + 5*w - 3. Let g be r(-7). Suppose 0 = -3*s - 63 + g. Is s composite?
False
Let l(x) = 7*x**2 + 11*x - 2. Let q(v) = 4*v**2 + 6*v - 1. Let p(y) = -6*l(y) + 11*q(y). Let j = 2 - 6. Is p(j) composite?
True
Let g(f) be the third derivative of -f**6/120 + f**5/12 + f**4/12 + f**3/6 - 4*f**2. Let l be 7/(-2) + (-3)/(-6). Is g(l) a composite number?
False
Suppose -4*f + 6 = -2. Suppose 5*j + 2*b = 2909, -2*j + 7*b = f*b - 1152. Is j prime?
False
Suppose -p = 5 - 8. Let x = -159 - -73. Is 15/p + -2 - x a prime number?
True
Suppose j + 5*r - 2939 = -2*j, -5*r - 2959 = -3*j. Is j a prime number?
True
Is -6 + 2 - (-2 + -295) composite?
False
Suppose 8*c - 6*c + 2*h - 12 = 0, -5*c - 3*h + 30 = 0. Suppose -22 = -j - 2*r + c*r, -16 = -4*r. Is j a composite number?
True
Let h = 5 - 1. Suppose -h*w = 144 - 24. Is 2 - (w + -2) - -1 a prime number?
False
Let o(k) be the first derivative of 4*k**2 - 6*k - 1. Is o(4) a prime number?
False
Let i = -236 + 499. Is i a composite number?
False
Suppose 375 = -3*t - 2*t. Let o be (t/6 - -3)*-4. Suppose -g = -3*g + o. Is g prime?
True
Suppose -4*t + 7*l = 4*l - 1811, l = -4*t + 1791. Is t prime?
True
Suppose -2*y = 2*i - 3*i + 9, -i - y = -6. Let l = -7 + i. Suppose -15 = -5*k - l*k. Is k a prime number?
True
Let o(m) = -m**3 - 3*m**2 + 3*m - 2. Let d be o(-4). Let b be d/(-8)*5*-220. Suppose q + 4*q = b. Is q a composite number?
True
Suppose 8*a + 4*a = 2820. Is a a composite number?
True
Suppose -5*t + 20997 = 4*t. Is t prime?
True
Suppose -3*r - 33 = 4*h - 2*r, 2*r = -h - 10. Let g be 1 + (-4)/(h/202). Let w = 265 - g. Is w prime?
True
Let s(d) = 2*d**2 + 8*d - 5. Let h be 37/5 + (-4)/10. Suppose 2*f + 3*c + h = -10, 2*f - 4*c = -10. Is s(f) a prime number?
True
Let g(w) = 5*w + 6. Let p be g(6). Let u = p - 14. Is u prime?
False
Let b be -1 - (-6 - (-1 + 1)). Suppose n - 2*x = 397, -3*n + 0*x = b*x - 1158. Suppose 0 = 3*z, -5*g - 2*z = -1046 + n. Is g composite?
False
Is (-165 + -1)/(2/(-5)) prime?
False
Let k(c) = -c + 6. Let q be k(8). Is (-55)/2*(0 + q) composite?
True
Let m(c) = -c**2 + 7*c. Let w be m(7). Let i = 3 - w. Suppose i*u - 4*l = -11, -2*u = u + 2*l - 19. Is u a composite number?
False
Let b = 1192 + -671. Is b a prime number?
True
Let z be ((-6)/5)/((-2)/5). Is (z - (-155)/4)*4 a composite number?
False
Let i = -842 - -1256. Is ((-1)/(-3))/(2/i) a composite number?
True
Let j = -10 - -9. Let o(p) = -389*p**3 - p**2 + 1. Is o(j) composite?
False
Let h = -27 + 42. Suppose -12*d + h*d = 759. Is d prime?
False
Suppose -5 = 5*p - 0. Is 3 - -10*(0 - p) prime?
True
Let i = -27 - -64. Is i a prime number?
True
Let p be (1 + -2)*-3 - 3. Suppose p = -7*j + 2*j + 45. Is 2*(-2)/(-2) + j composite?
False
Is 11 + (9 + -3 - 2) prime?
False
Suppose 2*n - 432 = -72. Suppose -4*g = -n - 416. Is g composite?
False
Let o(r) = -r**3 + 9*r**2 - 8*r + 1. Let z be o(8). Let g be (10/(-6))/(z/(-3)). Suppose 0 = g*c + 271 - 866. Is c a prime number?
False
Let u(l) = 76*l**2 - 10*l + 5. Is u(6) composite?
True
Suppose -5*y = 2*m - 2, 5*y + 7 + 3 = 0. Let d(a) = -5 + 4*a**2 - 6*a**2 + 8*a + a**2. Is d(m) composite?
False
Suppose 0 = i + 13 + 26. Let r = 7 + -69. Let n = i - r. Is n 