s (-2)/(-4) - (-105)/y prime?
True
Suppose -62 = -3*z - 11. Let t = z - -8. Is t a prime number?
False
Suppose -d + 4*d - 12 = 0. Suppose -28 = -4*b - 4*l, d*b + 2*l = 5*l + 42. Suppose -4*a + b*a = 725. Is a composite?
True
Suppose 5*k - 2*s + 7*s = 3170, 3*k + s = 1904. Is k a prime number?
False
Let l(c) = -4*c**3 - 5*c**2 - 2*c - 6. Let k be l(-4). Is (-3 - -2)/((-2)/k) a prime number?
True
Suppose 3*b = 6*b - 291. Is b prime?
True
Suppose 245*m - 879 = 242*m. Is m a composite number?
False
Let p(u) be the first derivative of u**3/3 + 2*u**2 + 3*u - 2. Let d be p(-4). Suppose z + d*z = 140. Is z composite?
True
Let h be 47/(-2) - (-3)/6. Let k = 0 - h. Let x = 49 - k. Is x a prime number?
False
Suppose 15 = -3*v, -g + 0*g = 3*v - 634. Is g a prime number?
False
Suppose -6*w + 515 = -w. Is w composite?
False
Suppose -2*s - 5*t = 0, 3*t - 14 - 7 = 3*s. Let x = 8 + s. Suppose 2*p = 2*n - 426, -x*n - 2*p = -n - 418. Is n prime?
True
Suppose 2*n = -2*n - 4*l + 36, 5*n - 49 = -l. Is 5/(n/174) + 2 a composite number?
False
Let a be 201/9 - (-2)/(-6). Suppose 5*o = -2*c + 100, -130 = -2*c - o - a. Is c a prime number?
False
Let t(w) = -4*w + 3*w + 4*w**2 - w**3 + 3 - w. Let p = -4 - -6. Is t(p) prime?
True
Let i be 2/(-8) - 39/(-12). Let s(b) = 2*b**2 - 2*b. Let d be s(i). Suppose d = y - 2. Is y prime?
False
Let w(n) = -n**2 - 9*n - 6. Let s be w(-8). Suppose s*p = 9 + 3. Is (-26)/p*(-12)/4 a prime number?
True
Suppose -5*i + 1048 = 3*i. Is i composite?
False
Suppose 4*x + 8 + 4 = 0, 2*i - 2*x - 1902 = 0. Suppose -2*j - i = 2*j. Is (-1)/(3/j*1) prime?
True
Let b be (-3438)/(-12) + (-1)/2. Suppose -4*f = 74 - b. Is f a composite number?
False
Is (-1908)/(-5) + (1 - (-9)/(-15)) prime?
False
Suppose 373 = 3*q + 4*n, -2*n = -3*q + 185 + 218. Is q a prime number?
True
Let i(l) = 124*l - 2. Let x be i(6). Suppose 3*s - 5*s = -x. Is s a composite number?
True
Suppose 4*x = -0*x - 24. Let y = 6 + x. Suppose 0*n - n + 139 = y. Is n a prime number?
True
Let y(k) = -4*k**3 - 5*k**2 + k - 3. Let x(o) = -o**3 - o**2 + o. Let a(w) = 5*x(w) - y(w). Let u be a(-2). Is 42/4*4/u prime?
False
Let j(v) = v + 6. Let g(i) = -i**2 - 7*i - 2. Let d be g(-5). Let r be j(d). Let s = 24 - r. Is s a prime number?
False
Let q(r) = -r**3 - 10*r**2 - 17*r - 7. Is q(-12) a prime number?
False
Suppose 1492 = 3*f + f. Is f prime?
True
Let a(m) = -397*m**3 + m**2 + m. Is a(-1) prime?
True
Let a(r) = -r**3 - 7*r**2 - 5*r + 5. Let d be a(-6). Is 27 - -2*d/2 a prime number?
False
Suppose -83 = -3*b + 5*o, 50 = 2*b - 0*b - 2*o. Suppose 3*y = 5*p + 35, 5*y - 48 = 3*p + b. Is y composite?
True
Suppose 3*g - 3 = 3*q, 3*q - 7 - 5 = -2*g. Let m(o) = 5*o**3 - 2*o**2 - 3*o - 2. Is m(g) composite?
True
Let o = 14 + -23. Is (1 - 0)/(o/(-639)) prime?
True
Suppose 0 = 5*w - 22 - 3. Suppose -5*f + 26 = -3*u - 2, 0 = -5*u - 2*f + w. Is u/(-1) + (32 - 0) a prime number?
False
Let o = 168 - 99. Suppose -11*g = -14*g + o. Is g a prime number?
True
Let i(l) = 3*l**3 - 5*l + 5. Let x be i(4). Let t = -115 - -23. Let o = x + t. Is o prime?
False
Suppose 131 = s - 0*s. Is s a prime number?
True
Let v be 4/(-6) + (-2141)/(-3). Suppose 0 = 2*o + z - 472, -v = -3*o - z - 3*z. Is o a composite number?
True
Suppose -l - 1417 = -2*b - 314, -2221 = -4*b - 3*l. Is b composite?
True
Let w = -1725 + 3052. Suppose w = 5*v - r, 1317 = v + 4*v + 4*r. Is v a prime number?
False
Let v(f) = 22*f**3 - f**2 + 3*f + 3. Let s be v(-2). Let x = s + 795. Is x/63 + 4/14 prime?
False
Let k be (-668)/(-5) + (-6)/(-15). Let u = 68 - 144. Let m = u + k. Is m prime?
False
Let l(k) = -52*k + 23. Is l(-6) a composite number?
True
Is (0/1 - 141)/(-1) a prime number?
False
Let h(b) = -b + 4. Let q be h(3). Suppose -u + q = 0, v - 4*u = 4*v - 4. Suppose v*t = 3*t - 201. Is t a composite number?
False
Suppose 2*i + 1199 = 3*q, q + 0*i + i = 408. Is q composite?
True
Suppose -6*y = -4*y - 2122. Is y a composite number?
False
Suppose -10*y + 282 = -608. Is y a prime number?
True
Suppose 0 = -5*b - 38 - 122. Let m = b + 69. Is m a composite number?
False
Suppose 764 = 26*i - 22*i. Is i a composite number?
False
Is 10/(-2) + (3 - -151) composite?
False
Let s = -9 - -1. Let b be (-2)/s - (-74)/(-8). Is (-331)/(-9) + (-2)/b a composite number?
False
Suppose -3*v = v, 0 = 2*a - 5*v - 30. Let q = 8 - a. Let u(p) = -p + 2. Is u(q) prime?
False
Suppose 4*v = -79 + 1075. Is v prime?
False
Let k = -806 - -1161. Is k composite?
True
Let b(h) be the third derivative of -h**7/630 - h**6/120 - h**5/60 - h**2. Let t(p) be the third derivative of b(p). Is t(-4) prime?
False
Let p(g) = g**2. Let s be p(3). Suppose -c + 2*x - s = 1, 5*x = -4*c + 12. Is -2 - c - (1 - 116) a prime number?
False
Let g = 947 - 456. Let i = g - 212. Suppose -4*u + u + i = -3*b, -3*u = 3*b - 267. Is u a prime number?
False
Suppose 0*v = -v + 734. Is v a prime number?
False
Let i(r) = -r**2 + 10*r - 6. Let x be i(8). Suppose -l - x = -6. Is 51/(2/(l/(-3))) a composite number?
True
Let q(b) = 3*b**2 + 9*b - 5. Let i = 16 - 7. Suppose -i = 4*f + 23. Is q(f) a composite number?
True
Suppose -470 = -0*b + 5*b. Let w be 8/20 - b/(-10). Let r = w - -20. Is r a composite number?
False
Let u be (1/(-2) - 1)*2. Is (-2 - u)/(1/373) prime?
True
Let z(h) = -2*h + 8. Let d be z(6). Is (-218)/d + (-3)/2 composite?
False
Let s(a) = a**3 - 4*a**2 + 4*a - 1. Let z be 0 + -1 - (5 + -8). Suppose -3*k + y = -6, -5*k + z*y + 7 + 2 = 0. Is s(k) prime?
True
Let r(g) be the third derivative of g**4/24 + 3*g**3/2 - 2*g**2. Let l be r(-7). Suppose j = 2*v - 0*v - 98, -l*j = 8. Is v prime?
True
Let x be (-3)/((9/(-2))/3). Suppose 7 = j + x. Suppose -7*p + 42 = 4*i - 2*p, -j*i - p = -63. Is i a composite number?
False
Let g be 4/(1/(-1 + -2)). Is g/8*(-148)/6 a prime number?
True
Suppose -5*v + 11032 = 3*v. Is v a composite number?
True
Suppose -3*d = -992 + 113. Is d a composite number?
False
Let y = 9 + -8. Is -127*y/1*-1 a prime number?
True
Suppose 3*q - 15 = -2*w + 5*w, 3*q = 2*w + 14. Let y(b) = -149*b - 1. Let v be y(-1). Suppose -4*t - 4*p + v = 4, 5*t = -q*p + 181. Is t prime?
True
Suppose 814 = 5*b + 9. Suppose -3*s + b = -40. Is s a composite number?
False
Let j = 1339 - -628. Is j composite?
True
Is (11/3 + -4)*-2073 a composite number?
False
Suppose 0*b - 3*b + 632 = 5*u, 4*u - 509 = b. Is u a composite number?
False
Suppose -y = y. Let d(v) = -v**2 - v + 67. Is d(y) a prime number?
True
Is (-398)/(-3)*(-57)/(-38) prime?
True
Let i(a) = 6*a + 1. Suppose 2*u - 14 = 3*l, 4*u + 1 - 19 = l. Is i(u) a prime number?
False
Let t = 24 - -193. Is t a prime number?
False
Let v be 60/(3/3)*1. Suppose 5*h + v = 5*o, 32 = 2*o - 5*h - 4. Suppose 242 = 3*z + 5*c - o, 4*c = -5*z + 421. Is z a prime number?
False
Let n(v) be the first derivative of 7*v**3/3 + v - 2. Let c be n(-1). Let q = c + 3. Is q a prime number?
True
Let r be 48/3 + 0/1. Is (644/r)/(1/4) composite?
True
Let m be (2 + 3/(-2))*-2. Let u = 0 + m. Is 778/3 + u/3 a composite number?
True
Suppose 8 = -5*n - 2*y, 8 = 2*n + 2*n - 2*y. Suppose n = -3*l - 2*j - 6, 3 = l - 5*l - j. Suppose -q + 35 = -l*q - 2*v, 5*q - 2*v - 159 = 0. Is q composite?
False
Is ((-624)/(-3) - -2) + 1 composite?
False
Suppose 54*d - 59*d + 14665 = 0. Is d prime?
False
Suppose 4*w + 64 = -5*k - 483, 3*k = -4*w - 325. Is 1 - k - (-8 - -11) a prime number?
True
Suppose 17*p - 5*p = 8124. Is p composite?
False
Suppose 2*c + 1886 = 4*w, -2*w - 2*w - c + 1883 = 0. Let s = w + -124. Is s a composite number?
False
Let d(s) = -2*s**2 - 3 - 10*s - 6 + s**2. Let w(v) = 4*v - 6. Let f be w(0). Is d(f) a composite number?
True
Suppose -4*k + 414 = -142. Is k composite?
False
Let a(y) = 4*y**2 + 10*y - 9. Let q be a(6). Let k = -82 + q. Is k a prime number?
True
Let h(w) = 0*w - 8*w - w**3 - 8 - 7*w**2 + 3. Is h(-6) a composite number?
False
Suppose 0 = 2*x + 4*x - 2994. Is x a prime number?
True
Let z(t) = 352*t. Let n(d) = 13*d. Let r(i) = -55*n(i) + 2*z(i). Let j = 7 - 12. Is r(j) a prime number?
False
Let m(l) = 113*l**2 - 2*l + 1. Is m(2) a composite number?
False
Let q = 231 + -143. Suppose -f = 3*f - 684. Let l = f - q. Is l a prime number?
True
Let k = 7883 + -5176. Is k a composite number?
False
Suppose -2*q = -14 - 62. Is q prime?
False
Suppose -3*x + 5*f = -1588, -4*x + 5