 - 815 = 0. Is j prime?
True
Suppose 0 = -5*n + 4 + 11. Let j(c) = -n*c + 5*c - 2*c + 3*c + 5. Is j(6) a composite number?
False
Let s(x) = 8*x - 5*x - x. Let c(u) = u**2 - 9*u + 5. Let n be c(9). Is s(n) composite?
True
Let k(h) = h**3 + h**2 + h + 25. Let l be k(0). Is 4870/l*(-20)/(-8) prime?
True
Let x be -1 + -1*(-6)/2. Suppose -x*d = -6*d - z + 5, -2*d - 5*z = -25. Suppose 118 - 9 = 3*u + 2*s, d = -4*u - 3*s + 147. Is u prime?
False
Suppose 5*l - 9 - 4 = -4*m, 0 = -2*l - 3*m + 8. Is l*(-2)/4*-38 a prime number?
True
Suppose -2*x + 4*k = -x - 51, -5*x = -k - 198. Is x prime?
False
Suppose 5147 = y + 4*z, 3*y - y - 10310 = -4*z. Is y a prime number?
False
Let k(a) = 2*a**3 + a + 1249. Is k(0) a prime number?
True
Let x(v) be the second derivative of -v**4/12 + v**3/6 + 2*v**2 - 2*v. Let g be x(3). Is g/6*(-340 - -1) a prime number?
True
Let a(s) = 1 + 2*s**2 - 4*s + 2*s**2 - 3*s**2. Suppose 12*o - 60 = 36. Is a(o) a composite number?
True
Let c(g) = 138*g - 7. Is c(5) composite?
False
Suppose 0*b - 2*b + s = -136, -5*s = -3*b + 211. Is b a prime number?
True
Let m = 3 - -1. Suppose -4*x = -3*s - 557, 4*x = 3*s - m*s + 577. Is x composite?
True
Let t be -2*((-6)/4 - -2). Is 93 + (t - (-4 - -1)) a prime number?
False
Suppose -v - 284 = 3*i + 3*v, -2*v + 254 = -3*i. Is (-2)/11 + (-3272)/i prime?
True
Let b(m) = m**2 - 12*m - 3. Is b(-8) composite?
False
Suppose -3*h + 5*h - 1898 = 0. Is h prime?
False
Is ((-3)/9)/((-1)/2631) a prime number?
True
Suppose 5*y - 3336 = -x, -3*x - 366 = -5*y + 2966. Is y composite?
True
Let i be (-15)/((0 + 2)/48). Let l = -125 - i. Is l a composite number?
True
Let q be 4/(-3)*(-81)/(-18). Is -4 + 69 + q/2 prime?
False
Let j = 512 + -212. Suppose -n + 5*v = -30, -3*n - 5*v + j = 2*n. Suppose -2 = k - n. Is k composite?
False
Let x = -1487 - -2156. Is x a prime number?
False
Suppose 0 = 3*p, -3*o = -7*o + 2*p - 4. Is -2 - 2172/4*o prime?
True
Let a(o) = -o**3 + 3*o**2 + 4. Let m be a(3). Is 4/2*46/m prime?
True
Is (3/6)/((-1)/(-1166)) composite?
True
Suppose 29392 = -9*u + 79603. Is u a composite number?
True
Suppose 0 = 3*v + 182 - 2915. Is v a composite number?
False
Suppose 571 = 3*o + 4*m + 68, -2*m + 10 = 0. Suppose -g + 4*i + 106 = g, -3*g + o = -4*i. Is g a prime number?
False
Suppose 4*k = 5*z - 620 - 2619, -3*z - k = -1940. Is z composite?
False
Let t(g) = -14*g - 6. Let f be t(5). Let u = -30 - f. Is u a composite number?
True
Suppose -k + 7 + 0 = 0. Is (k + -9)*239/(-2) a composite number?
False
Let m(u) be the third derivative of u**6/120 - 2*u**5/15 - 5*u**4/24 - u**3/2 + u**2. Is m(11) composite?
True
Suppose -d - 5 = 5*i - 0, 3*i = -3. Suppose -3*n + 115 = 22. Suppose d = -q + n + 34. Is q a prime number?
False
Let r be 6/((-9)/6 - -2). Suppose -2*a + r = 3*j, -3*a + 3 = 5*j - 16. Suppose -p = j*p - 45. Is p a composite number?
True
Let w(i) = 37*i - 4. Let q be w(-6). Let m = 678 + q. Suppose 0*x + 4*x = m. Is x a prime number?
True
Let h(f) = -2*f**3 + 7*f**2 - 8*f + 2. Let n(k) = -k**3 + k**2 - k + 1. Let j(c) = -h(c) + 6*n(c). Is j(-3) a prime number?
True
Let f be 5/5 + (-1)/(-1). Suppose -f*k + 226 = -0*k. Is k a composite number?
False
Suppose 0 = -3*r - r - 2944. Let q = r - -1229. Is q composite?
True
Let t be ((-4)/(-6))/(4/354). Suppose 4*d = x - t, -d = 3*x - 68 - 96. Is x composite?
True
Suppose 7*o - 3*o = -5*q + 226, q - 58 = -4*o. Suppose 4*p - 10 = -q. Let u = 89 - p. Is u composite?
False
Let k = 2 - -3. Suppose -2*h - 3*f = -6*h + 141, 0 = -4*h + k*f + 131. Is h a prime number?
False
Let j = 398 + 279. Is j prime?
True
Let b(w) = 3*w + 3. Let u be b(-3). Is (57/u)/(2/(-4)) a prime number?
True
Suppose 0 = 4*x - 3*q - 2687, 0*x + 4*q = 2*x - 1346. Is x a composite number?
True
Let c = -226 + 363. Let h = -58 + c. Is h a prime number?
True
Let y = 2522 + -621. Is y prime?
True
Let r(x) be the second derivative of 6*x**4 + x**3/6 - x. Is r(-1) prime?
True
Let a(h) = -h**3 - 4*h**2 + 5*h + 1. Let w be (5 + -6)*(-14)/(-2). Is a(w) composite?
False
Let t be 444/10 - (-3)/5. Suppose g + 4*o - 47 = 0, -o + t - 280 = -5*g. Is g a prime number?
True
Suppose 0 = 3*u - 8*u. Suppose 2*t = -u*t + 4*q + 128, -5*t = q - 375. Is t a composite number?
True
Suppose -1 = -5*p + 254. Is p a prime number?
False
Suppose -c + 0 = 6. Let h(a) = -a**3 - 5*a**2 - 1. Is h(c) prime?
False
Suppose -5*d + 3*k = -67, 2*d - d + 5*k = -9. Suppose d + 41 = 4*u. Is u prime?
True
Let t be 174/(-54) + 4/18. Let a be (-8)/(2/t*3). Is 2*4 + (-8)/a prime?
False
Suppose 19 = 5*q - 11. Suppose 0*z = -2*z + q. Suppose 4*l = -5*h + 54, -z*l + 4*l + 18 = h. Is h composite?
True
Let x(s) = -10*s**3 - 8*s**2 - 6*s + 5. Let i be x(-5). Suppose -j = -l + 51 + 163, 5*l - 2*j = i. Let q = -142 + l. Is q prime?
False
Let o(t) be the first derivative of 2*t**3/3 + 5*t**2 + 5*t - 2. Is o(-7) a prime number?
False
Is (0 - 2)*(-409)/2 composite?
False
Let p = 66 - -497. Is p a composite number?
False
Let x = 6 - 5. Is x + 260 + (-2)/1 a composite number?
True
Let v(c) = -c**3 - 3*c**2 + c - 7. Let k = 6 + -12. Is v(k) composite?
True
Suppose -3 = b - 7, 4*b = 4*p. Suppose u - 46 = -3*k, -5*u - 3*k = -5*k - 264. Suppose -p*s = -3*w - 224, 5*w - 34 - u = -2*s. Is s a composite number?
False
Let v = 873 + -74. Is v a composite number?
True
Let k = 5 - 7. Let g be (-9)/(-4) - k/(-8). Suppose -3*z + 0*v + 153 = -g*v, 138 = 3*z + 3*v. Is z a prime number?
False
Let z = 218 + -113. Let n = z + -74. Is n a composite number?
False
Let i = -1441 - -3378. Is i prime?
False
Let o(u) = -51*u**3 - u - 1. Let x(n) = n**2 + 3*n - 1. Let f be x(-3). Is o(f) composite?
True
Let l = 399 + -265. Is l a composite number?
True
Let y = 19 + -11. Suppose y = -2*z + 6*z. Suppose -3*l - z*l = -165. Is l composite?
True
Let g(l) = -34*l + 3. Let d(y) = y + 1. Let k(a) = 4*d(a) + g(a). Is k(-5) composite?
False
Suppose -2*o + 6 + 0 = 0, 4*o = 4*r - 728. Suppose -4*t = t - r. Is t a composite number?
False
Is (3 - (-396)/(-16))*-4 a composite number?
True
Suppose -3*a + 22596 - 2656 = 5*m, -5*m = a - 19930. Is m prime?
False
Let t = 4 + -6. Suppose 3*y + 24 = -y - 3*a, 4*y = 3*a. Is (-172)/(-6)*y/t composite?
False
Let j be 50/5*2/4. Suppose -2*w - 10 = -4*c + c, -j*w = 3*c - 17. Suppose -5*d + 5 + 1 = -a, -54 = -5*a + c*d. Is a prime?
False
Let r(u) = 138*u**2 + 4*u - 3. Is r(2) composite?
False
Is (5 + -2)/((-9)/(-32127)) a prime number?
True
Let d = 0 + 0. Let y = 6 + d. Is 1 - -60 - y/2 a composite number?
True
Suppose -x = -5*x + 3704. Is x prime?
False
Let s(z) = -20*z + 18. Is s(-5) composite?
True
Suppose 5*a = -4*w + 4423, -4*a - 2*w + 5363 - 1821 = 0. Is a a composite number?
False
Let o = 30 + -76. Let i = o - -93. Is i a composite number?
False
Let n = 619 - -12. Is n composite?
False
Let f = 39 + -4. Is f a prime number?
False
Let p(c) = -c**2 + 683. Is p(0) composite?
False
Let t be (1 - 1)*3/(-6). Suppose 3*f - u = 16, -5*f + t*u + 26 = -u. Suppose 228 - 53 = f*p. Is p a composite number?
True
Let q be (-40)/(-5) + (-3)/1. Suppose t - 26 = -f - f, 5*f - 130 = -q*t. Is t composite?
True
Let a = 33 - 34. Let i be 0 + -1 + -1 + -1. Is a/i - (-123)/9 composite?
True
Suppose 0 = b - 5*r - 2482, 0*r - r + 4953 = 2*b. Is b prime?
True
Suppose 4*r = 517 - 9. Is r a composite number?
False
Let r = 41 - 33. Let l(b) = 2*b**2 + 3*b**2 - b**2 - 13*b + 11. Is l(r) composite?
False
Suppose 2*g = -5*o - 15, -2 - 13 = -4*g - o. Let y be (4/5)/(2/5). Suppose 0 = -5*b + 3*b + 5*i + 6, y*i - 15 = -g*b. Is b composite?
False
Let p(r) = 167*r + 3. Is p(2) prime?
True
Let g be -1 + 0 + (-4)/2. Let a(b) = -2*b**3 - 4*b**2 - 2*b + 2. Is a(g) a prime number?
False
Suppose v = -7 + 49. Suppose 35 = j - v. Is j a composite number?
True
Let y be (134/8)/((-9)/(-252)). Suppose 3*l + 170 = h, 5*l = 4*h - 204 - y. Is h composite?
False
Let q(z) = 4*z + 7. Let u be q(-6). Suppose -7*t = -2*t + 260. Let a = u - t. Is a prime?
False
Let t be -1 - -3 - (-4 + 1). Suppose 3565 = t*g + 1220. Is g a prime number?
False
Let w be 78/21 - (-6)/21. Let b(s) be the first derivative of -s**4/4 + s**3 + 3*s**2 - 5*s - 1. Is b(w) a composite number?
False
Let f(l) = -l**3 - l**2 + 2*l - 3. Let b = 9 + -14. Is f(b) a composite number?
True
Let p be ((-16)/10)/(6/(-75)). Suppose -p = -u + 31.