1)/5 + 2786/p a prime number?
True
Let v = -107 - -124. Suppose v*l - 9358 + 2235 = 0. Is l a composite number?
False
Let m = 19 + 316. Is m composite?
True
Let n(y) = -3103*y - 89. Is n(-2) a prime number?
False
Let y be 1 + -3 - (-6 - 0). Suppose y*a - 61 = -25. Is ((-15)/a)/(2/(-66)) prime?
False
Suppose 0*w - 23*w = -154537. Is w a composite number?
False
Suppose 2*f + t = 3*t + 16, -t - 2 = f. Suppose -5*p = -0*p - 4*g - 631, 3*g = f*p - 378. Is p prime?
True
Suppose -6*c = -211103 - 92875. Is c a composite number?
True
Suppose -r - 2*r = 5*l + 315, 5*l - 420 = 4*r. Let i = r - -5. Let h = i - -147. Is h prime?
True
Let i(t) = -t**3 + 11*t**2 + 11*t + 12. Let y be i(12). Suppose -1556 = -y*w - 4*w. Is w a composite number?
False
Let m be 0/(-6)*2/4. Let t be (m + -3)*(-14 - -1). Is (6/(-9))/((-1)/t) a prime number?
False
Is 15/(-25) + (-373090)/(-25) composite?
False
Let a = -1074 + 1861. Is a prime?
True
Let q be 40/6*(-1455)/(-10). Suppose -5*n = -7*n + q. Suppose 333 = 2*u - n. Is u composite?
False
Is (2 + 0)/((-10664)/(-5331) - 2) a composite number?
True
Let n(g) = 86*g + 8. Let f be n(23). Suppose 2*v = 2*m - f, -m = 5*v - 560 - 409. Is m composite?
True
Suppose -8*c + 4749 = -123. Suppose 0 = -27*p + 24*p + c. Is p prime?
False
Suppose -4*x + 5*x - 12 = 0. Is 1100/x + 2/(-3) composite?
True
Suppose -2*w - 19 = 3*t, -3*t - 6 = -t. Let m(n) = -n**3 - n**2 + 2*n - 1. Let a be m(w). Suppose 3*i - 448 = a. Is i a composite number?
False
Let g(o) = -2*o**3 - 6*o**2 + 5*o + 1. Suppose -7*w + 0*w = 42. Is g(w) prime?
False
Let h be 15318/20 - (-2)/20. Suppose 0 = 5*x - h - 549. Is x a composite number?
False
Suppose 21 = 4*z - 23. Suppose -q + 12 + z = 0. Is q a prime number?
True
Suppose -f = 6*q - 2*q - 12, 5*f + 15 = 5*q. Suppose f = 2*g + 4, -2*g + 790 = 2*h + 132. Is h a prime number?
True
Let z = -14 + 17. Is 1/z*(1224 - (0 + -3)) composite?
False
Suppose 4*m - 3475 = 3*m. Suppose 4*d - 3*b = 2*d + m, -5*d = 2*b - 8659. Is d a prime number?
True
Is 4*(-1)/12*-2271 a composite number?
False
Let a = 42785 - 28474. Is a a prime number?
False
Suppose 0 = -0*d + 2*d - 10. Suppose -x - d*r + 422 = 97, 337 = x + r. Let q = 593 - x. Is q composite?
True
Is -8 + -3*104262/(-18) composite?
True
Let n be (-6*8/12)/(-3 + 4). Let b be (-2)/((-5)/((-315)/2)). Let u = n - b. Is u a prime number?
True
Is (2 - 2 - -2)/(2/2203) composite?
False
Suppose 10*f - 8027 + 42397 = 0. Let i = -1636 - f. Is i prime?
True
Suppose a + 9 = 41. Let q be a/(-40)*(-1270)/4. Suppose 0 = n - q + 76. Is n prime?
False
Let p(i) = -37*i - 21. Let x(q) = 12*q - q - 23*q - 24*q - 20. Let t(f) = -5*p(f) + 6*x(f). Is t(-8) a composite number?
False
Let b = 1812 - -4331. Is b composite?
False
Suppose -y = -339 + 102. Suppose -f + 392 = -y. Is f composite?
True
Suppose -210 = -3*r - 3*r. Suppose -r = -u + 15. Suppose -45 = -5*q - w, 0*q + 3*q - u = 4*w. Is q a prime number?
False
Suppose -4*j = -3*m - 2743, 0*m + 687 = j - 2*m. Suppose 4*z + j = -295. Let f = -168 - z. Is f prime?
False
Suppose -8*r = 2*r - 8730. Suppose 2*n - 3*b = r + 392, 4*n - b = 2525. Is n prime?
True
Let z be 1/2 - 11955/(-10). Suppose 21*k - z = 17*k. Is k a prime number?
False
Let j = -169 - -387. Suppose -z + 5*y + 816 = -j, -z = -4*y - 1037. Is z a prime number?
True
Suppose -16*m = -93261 - 36035. Is m a composite number?
False
Let t(j) = -j**2 + 5*j - 1. Let k be t(4). Suppose -12 = -z - k*z, 3*z + 726 = 5*u. Is 6/(-2 + 5) + u prime?
True
Suppose 4*b - 2*v = 34, -5*v + 47 = 2*b - 0*v. Suppose b - 3 = -2*x. Is (1348/(-6))/(x/6) a composite number?
False
Let l be 46338/1 - (-8 + 9 + -3). Is (-1)/5*l/(-28) composite?
False
Let k(g) be the second derivative of 11*g**4/12 + g**2/2 + 9*g. Let f be k(1). Is (-463)/(-5) + f/30 a composite number?
True
Let l(g) = g**3 - 7*g**2 + 8. Let p be l(7). Suppose -p*n + 4984 = -4*n. Let z = -567 + n. Is z prime?
False
Is 4/(-26) + -5*814543/(-65) composite?
True
Is ((-10154)/2)/(-14 - -9 - -4) composite?
False
Let j(r) = -56*r**3 + 5*r + 5. Let l(z) = -2. Let n(s) = -s + 2. Let b(w) = 3*l(w) + 4*n(w). Let m be b(1). Is j(m) a composite number?
False
Let p = -177 + 2070. Is p prime?
False
Let j(w) be the second derivative of 0 - 1/6*w**3 + 35/2*w**2 - 5*w. Is j(0) composite?
True
Let f = 273 + -271. Let v = -85 - -36. Let o = f - v. Is o a prime number?
False
Let w(g) = 170*g - 24. Let h be w(10). Suppose 0 = -2*d - 2*d + h. Is d a prime number?
True
Let x = 45 + 19. Suppose -2*h + x = -190. Is h a composite number?
False
Let v = 9715 + 13128. Is v composite?
True
Suppose -6981 = -8*v + 1091. Let p = -490 + v. Is p composite?
True
Let z = 5632 + -3806. Suppose z = -4*i + 6*i. Is i composite?
True
Suppose -2*n + 6 = -3*n. Let m be (n - 4)*2/5. Is (m + 2)/(4/(-134)) a composite number?
False
Let m = 59 - 51. Suppose -m*w + 2744 = -1952. Is w a composite number?
False
Let w(b) = 7*b**2 - b + 6. Let d be w(-6). Suppose -82 = 3*s + 4*a - d, 3*s - 4*a = 142. Suppose 2*f - 16 - s = 0. Is f composite?
True
Is (-2)/(-8)*-4*(0 - 4417) composite?
True
Suppose g - 2*g + 3 = 0. Let a(u) = 3*u**3 + u**2 - u. Let j be a(1). Suppose -8*b + 190 = -g*b - j*o, -5 = o. Is b prime?
False
Let t = -249 - -168. Let s = 25 - t. Is s a composite number?
True
Suppose 4*b - 22 - 64 = 3*d, -76 = 3*d - 2*b. Let q be d/14 + 6/(-14). Is q + 22 - 2/2 prime?
True
Let c(k) = k**2 - k. Let d(n) = -49*n**2 + 5*n - 3. Let g(x) = -2*c(x) - d(x). Is g(4) a prime number?
True
Suppose 0*u - 2 = -3*k - 2*u, 3*k + 5*u = 14. Is (-4)/k*(-1414)/(-4) prime?
False
Suppose 0 = -5*w - 4*w. Suppose w = -0*y + 6*y - 13698. Is y a composite number?
True
Let i(h) be the first derivative of 2*h**4 - 4*h**3/3 + 2*h**2 - h + 6. Is i(3) composite?
False
Let c be 756/10 - (-4)/10. Let o be (-49)/2 - 2*18/(-24). Let m = o + c. Is m prime?
True
Let a = -2879 - -4284. Let r = 711 - a. Let s = 1349 + r. Is s composite?
True
Let w = 1182 - 482. Suppose f + 4686 = 4*s, -s + w = f - 469. Is s prime?
True
Let q be 12/3 - (-4 + 3). Let n = -355 - -1233. Suppose n - 103 = q*x. Is x a prime number?
False
Suppose 0 = 3*m - 5*x - 14258, -4*m + 19002 = x + x. Is m prime?
True
Suppose -4179 - 4223 = -2*f. Is f a prime number?
True
Let q be (-12)/30 + 4/10. Let g be 609*1*(1 + q). Suppose 0 = 6*p - 3*p - g. Is p composite?
True
Let r be 429*(-1 - (-1)/3). Let a = -527 - r. Let z = a - -888. Is z a composite number?
False
Let a = -5081 + 7255. Suppose -a = 20*c - 22*c. Is c a prime number?
True
Suppose 3*g + 5 - 15 = -5*k, 4*k = 2*g + 8. Suppose -4*n = 16, k*f + 2*f - 3*n = 352. Let b = f + 124. Is b composite?
True
Is (-2 + 0)/(10162/(-3386) - -3) a prime number?
True
Let m = -3613 + 12364. Is m composite?
True
Let o(k) = -5*k**2 + 11*k + 6. Let l be o(3). Is l/15 + 17622/30 a composite number?
False
Suppose 0 = k + 1, -5*r + 4*k + 0*k + 1589 = 0. Is r a prime number?
True
Let i(a) be the third derivative of a**6/120 + a**4/24 + 177*a**3/2 + 3*a**2. Let s be i(0). Suppose -1559 = -2*x + 3*n - 507, s = x + n. Is x prime?
False
Let m = -15 + 10. Let z be (8/(-10))/((-2)/m). Is z + 2 + 2 - -1203 prime?
False
Let x(k) = 530*k**2 + k + 17. Is x(4) a prime number?
True
Suppose 5*q + 65 = -5*v, 44 - 5 = -3*q - 5*v. Let x = 8 - q. Is x a prime number?
False
Let d be -16*((-18)/(-24))/((-9)/15). Suppose -5*i - 4*j + 3*j = -29611, -5*j - d = 0. Is i composite?
False
Let a(k) = 111*k - 17. Let m be a(7). Suppose 0 = 3*x + 13 - m. Is x composite?
True
Suppose -41*i + 32*i + 4653 = 0. Is i a composite number?
True
Is ((-37)/2 - 2)*(-308)/14 a composite number?
True
Suppose 0 = m + 3*q - 530, 3*m - 1551 = -2*q + 6*q. Is m a composite number?
False
Let p(s) be the first derivative of s**2 + 6*s - 5 + 2 + 7*s - 8*s**2. Is p(-6) composite?
False
Let r be (-3)/(-2)*4/3. Let f(u) = -u**3 + 201. Let m be f(0). Suppose d - m = -r*d. Is d prime?
True
Let c = -1 - -4. Let s be 1032 - (0 + c) - 0. Suppose -s = -f - 190. Is f prime?
True
Suppose -4*f = -4*z + 3692, -f + 2*z - 933 = -z. Let a = 2449 + f. Is a a composite number?
False
Let n(f) = -f**3 - 9*f**2 - 10*f - 11. Let u be n(-8). Suppose -2*q - 1118 = -u*s, -2*q = 3*s - 0*q - 674. Suppose 4*w - s - 228 = 0. Is w prime?
True
Suppose 395 = -5*h - 1065. Let l = 441 + h. Is l a prime number?
True
Suppose 