se
Suppose 3*c + 6 = 2*r, -3*r + 3*c = r - 6. Suppose 0*s - 3*s + 408 = r. Let q = s + -57. Is q a composite number?
False
Let b(l) be the first derivative of 94*l**4 + l - 7. Is b(1) a composite number?
True
Let q(v) = -568*v + 77. Is q(-18) a prime number?
True
Let s(t) = -1 + 7 - 105*t - 5*t + 3*t. Is s(-13) composite?
True
Let d be (-14)/2*(-15 - 2). Suppose 8*w - 3*w = 3*x - d, -56 = 2*w + 3*x. Is 138/5*w/(-10) a prime number?
False
Let i = 61 - 58. Suppose 0 = i*r - 16338 - 9651. Is r composite?
False
Let a be (-1487)/(-15) + 4/(-30). Suppose a + 64 = i. Is i prime?
True
Suppose 3*o - 6 = -0*v - 3*v, -v - 3*o = -10. Let j = v - -2. Suppose j*l + 2524 = 4*l. Is l a composite number?
False
Let p be 1470/(-4)*-2 + 0. Suppose 3*g = 4*t - 0*t + 2201, t = g - p. Is g prime?
True
Suppose -3*d + 1756 = -1496. Let c = d + -698. Let l = -181 + c. Is l prime?
False
Let a(s) = -255*s**2 - 32*s - 27. Let w(y) = -85*y**2 - 11*y - 9. Let d(r) = -6*a(r) + 17*w(r). Is d(5) a prime number?
False
Suppose -2*o = -o. Let b(s) = 0 + s + o*s - 6 + 10*s. Is b(5) composite?
True
Suppose 4*c - 16 = -2*s, s - 45*c + 50*c - 17 = 0. Let n = -7 + 12. Suppose -s*r + 432 = -0*r - n*d, -4*d - 641 = -3*r. Is r composite?
False
Suppose 46*z - 272631 = 27*z. Is z composite?
True
Let b be ((-6)/18)/((-9)/54). Suppose -z + 6 = -y + 3*z, -4*y + 5*z = 2. Suppose 5 = -w + b, -y*w - 1120 = -2*v. Is v a composite number?
False
Let j(h) = h**3 + 14*h**2 + 2*h + 32. Let k be j(-14). Is k/(-10) - 787/(-5) a composite number?
False
Suppose 8*v - 4*v = i - 8521, i - 8491 = -2*v. Is i composite?
False
Let w(r) = -r**2 + r. Let v(k) = -4. Let i(j) = -v(j) - 5*w(j). Is i(3) a prime number?
False
Suppose -d = t + 1805, 2*t = 4 + 2. Let c be (d/40)/(1/5). Is c/(-8)*(1 - -3) prime?
True
Let j(f) = 6*f**2 + 10*f - 6. Let d(t) = t**3 + 15*t**2 + 2*t + 22. Let w be d(-15). Is j(w) a prime number?
False
Let z be (-4)/(-2) - (-6 + 3). Let h be (z - 1)/(2 - 1). Is -322*((-10)/h + 2) prime?
False
Let p be (-8 + 2 + 0)*(-2 - -1). Suppose 2*l + 5*t = p*t + 1585, -l + 782 = 3*t. Is l a prime number?
False
Let p(j) = j**2 - 19*j - 1. Let x be p(19). Is (515/(-10))/(x/46) prime?
False
Is (-893707)/(-8) + (-12)/32 composite?
True
Is (78/(-12)*1)/((-6)/1524) a composite number?
True
Let z(c) = 1365*c**3 - 2*c - 7. Is z(2) composite?
False
Let b(s) = -3*s + 1. Let v be b(-1). Suppose -107 = v*f - 375. Is f composite?
False
Suppose -6*p - 2*p = -20168. Is p composite?
False
Let o(l) = l + 417. Let y be o(0). Suppose -8*t - y = -1577. Is t a prime number?
False
Suppose -2 = s + s. Let r(q) = q**3 - 11*q**2 + q - 13. Let o be r(11). Is (-12 - s)*(o - -1) prime?
True
Let s be (1 - -1)/((-4)/(-6)). Suppose 4*v + d = 16, 4*v - d = 8 + 8. Suppose -s*b = -v*m - 4*b + 1416, -2*m + 4*b = -690. Is m prime?
True
Suppose 5*u - b = 3*b + 42, -3 = u + 3*b. Let i(c) = -5*c**2 - 6*c + 4. Let j be i(-6). Is j/u*6/(-4) a composite number?
True
Suppose -2*z = -4*z + 450. Suppose 4*f = -z - 103. Let u = f + 140. Is u a composite number?
True
Let k(h) = -4*h - 36 + 12*h + 6*h**2 + 53. Is k(-6) a prime number?
False
Suppose -2*b + 4*f - f - 6 = 0, -4*f = -b - 8. Let p(q) = 2*q - 1. Let t be p(b). Is (-55)/(-4)*(t - -5) prime?
False
Let a(w) = -w**3 + 4*w**2 - 5*w + 2. Let j be a(3). Is 75 - (4/j - -2) a prime number?
False
Let w = 19660 + -13102. Suppose 16*t = w + 3250. Is t prime?
True
Let b = -15 - -15. Suppose -2*t + 5*a + 1 = b, 0 = 7*t - 2*t + a + 11. Is 0*t/(-6) + 141 composite?
True
Let m(l) = 2*l + 6. Let b be m(-1). Let d = -2 - -1. Is (-10)/(d/(34/b)) a composite number?
True
Let f(r) be the third derivative of -r**6/120 + r**5/12 + r**4/24 - 2*r**3/3 - 4*r**2. Let h be f(5). Is 119 + h + -2 - -1 composite?
True
Let b(g) = -g**3 + 7*g**2 - 5*g - 20. Let s be b(6). Let w(f) = -f**3 - 9*f**2 + 19*f - 17. Is w(s) composite?
True
Suppose 4*h - 3*l = 5, h + 3*l - 3 - 2 = 0. Suppose h*x = 844 - 258. Is x a prime number?
True
Let f = -20 - -26. Is 2/(f/9) + 10 composite?
False
Let t(x) = x**3 + 23*x**2 + 1. Let w be t(-23). Is (-2)/((-2)/1) - (w - 3221) composite?
False
Suppose 3*f + 239765 = 2*u, -24*f = -u - 21*f + 119884. Is u a prime number?
True
Suppose -14 = 5*f + 11. Let n(i) = -i**3 - 4*i**2 + 7*i + 2. Let z be n(f). Is (-1262)/z + (-3)/4 a prime number?
True
Suppose -4*p = -12 - 36. Let o be 19*8 - (11 - p). Suppose -4*x + 0*y = -3*y - 590, x + 2*y = o. Is x a prime number?
True
Suppose -y - 7 = -10. Suppose -20 = -4*g, y*g - 21 = 3*p - 0*g. Is (p/(-4))/(11/1276) a prime number?
False
Let i(p) = p**2 + 12*p + 1. Let k be i(-12). Let z(n) = 249*n**3 - n**2 + 2*n - 1. Is z(k) prime?
False
Let c = -5948 + 2007. Let a = -2784 - c. Is a prime?
False
Let a be 97/2 + 1/(-2). Let w be a/10 - (-1)/5. Is w - 8 - 8*-2 a prime number?
True
Let p be (-3)/(15/(-65)) + -1. Let b(o) = 4*o**3 - 4*o**2 - 18*o + 23. Is b(p) composite?
False
Let j(m) = m - 4. Let b be j(-12). Let g = -14 - b. Suppose -280 = -g*l + 222. Is l prime?
True
Suppose -g - g = 0. Let n(u) = -2 - 183*u + 2*u + g. Is n(-1) composite?
False
Suppose -3*x + 36 = 24. Suppose -x*y - 32 - 1232 = -4*f, 15 = 3*y. Is f a prime number?
False
Suppose -294*l + 299*l + 642871 = 3*t, -3*l + 1071497 = 5*t. Is t a composite number?
False
Let y = -66929 + 93883. Is y a composite number?
True
Suppose 2 = 3*i - 7. Let p(h) = 69*h + 4. Is p(i) a prime number?
True
Suppose -4 = -5*b + 11. Suppose -f + 203 = 4*h, -3*h + 930 = b*f + 330. Is f composite?
False
Let r be -1 - 2 - -1 - -7. Suppose r = 4*p + 17. Is 4/p*105/(-10) a composite number?
True
Let p be 2/(0 + 2)*0. Suppose 3*y - 5*c = 22, 0 = -4*y + 6*y - 2*c - 12. Suppose p = -4*t - 2*h + 2088, y*t - 2*h - 3*h = 2074. Is t prime?
True
Suppose -6*z + 27196 = 3394. Is z composite?
False
Let a(u) = 4*u**3 - 3*u**2 + 3*u + 1. Suppose -3*v + 3 + 6 = 0. Suppose 12 + v = 5*y. Is a(y) a prime number?
False
Is 582 - 1/4*(-19 - -15) prime?
False
Let i(h) = 103*h + 86. Is i(35) prime?
True
Let a(d) = -4*d**3 + 12*d - 7*d**2 - 6*d + 5*d**3. Let z be a(6). Suppose z = 7*y - 6*y - 87. Is y prime?
False
Let p = -160 + 164. Suppose 3*w + 0*a + 3*a - 786 = 0, 2*w - 530 = p*a. Is w a composite number?
False
Let b(i) = 311*i + 7. Let p be b(3). Suppose f + 3*f - p = 0. Is f prime?
False
Let d = 7 + -20. Let h = 21 + d. Let a(t) = t**3 - 5*t**2 + 11. Is a(h) a composite number?
True
Let h(s) = -5012*s**3 - 2*s**2 - 9*s - 12. Is h(-2) prime?
False
Let v = 15303 + 8594. Is v a prime number?
False
Let t = 449 + -113. Suppose 4*n + t = 4*d, -5*d + 465 = -0*d + 4*n. Is d a prime number?
True
Let a be 126/(-12)*36/(-21). Suppose 22485 = a*n - 13*n. Is n a composite number?
True
Suppose -2 = 5*n - 27. Suppose -3*d + n*p = -728, p + 1014 = 4*d + 3*p. Is d composite?
False
Let t = -43 - -43. Suppose 4*x - 409 = -a - t*x, -4*x + 20 = 0. Is a prime?
True
Suppose 3*b = 5*h - 108 + 376, -104 = -b - 2*h. Let y = -29 + b. Is y prime?
True
Is (-16)/20 - (4 + (-483837)/15) prime?
True
Let t = 13 - 12. Let z be (t - -3) + (-10 - -10). Suppose -z*m + m = -921. Is m a prime number?
True
Let p be -3 + (0/(-3) - -3). Suppose p = -3*k + 4*k. Suppose 2*i - 3*i + 35 = k. Is i prime?
False
Let v(x) = 6940*x - 39. Is v(2) a composite number?
False
Let v = -2 - -8. Is (v - 5) + (-1 - -295) composite?
True
Suppose -8*b - 784 = -4*b. Is -1*(b + 6 - (1 + 0)) a prime number?
True
Let b = 42804 - 22543. Is b a prime number?
True
Let o(m) = 216*m**2 - 13*m + 26. Is o(3) composite?
False
Let m(b) = 79*b**2 - 50*b**2 - 2*b + 0 + 3. Let k = 6 - 4. Is m(k) prime?
False
Is 8/6 + (-27045)/(-108)*4 prime?
False
Suppose -10027 = -3*a - 2*f, -3*a + 6*a + f = 10028. Is a a prime number?
True
Let k(x) = 550*x - 3. Let m(f) = -f + 16. Let o be m(14). Let i be k(o). Suppose 4*c - 2*v - 1068 = 0, -4*v + 29 - i = -4*c. Is c prime?
False
Suppose -10*j + 9*j + 2779 = -4*w, 0 = -5*w - 10. Is j prime?
False
Let w = -51 - -51. Suppose -5*a + 1171 + 864 = w. Is a a prime number?
False
Let u(c) = c**2 + 28*c - 17. Let n(m) = -m**2 - 29*m + 16. Let y(t) = -4*n(t) - 5*u(t). Is y(-16) prime?
True
Suppose 6*q - 15*q = 0. Suppose 5*y - 386 - 179 = q. Is y a composite number?
False
Let a be (-4)/22 - (-140)/44. Suppose w = -4*u + a*w + 96, 2*u = -4*w + 38. Let p = 0 + u. Is p prime?
True
Let w = 226 - 1