 - 4*y - 697, 2*y = -2*f + 1089 + 345. Is f a composite number?
True
Let d = -7774 + 13283. Is d a composite number?
True
Suppose -13*q + 1156 = -9*q. Is q a prime number?
False
Let x(d) = -d + 7. Let l be x(7). Let u = l + -35. Is (0 - -3)*u/(-3) composite?
True
Let i(f) = 60*f**3 + 3*f**2 + f - 3. Let d(c) = 300*c**3 + 15*c**2 + 5*c - 16. Let k(p) = 2*d(p) - 11*i(p). Is k(-1) a prime number?
True
Let k = 2157 + -983. Is k prime?
False
Is 130 + ((-14)/(-28))/(2/(-12)) a prime number?
True
Let s(d) be the second derivative of 13*d**4/12 - d**3/3 + 3*d**2/2 + 2*d. Let p(g) = -g**2 - 8*g - 5. Let t be p(-7). Is s(t) a prime number?
False
Let s = -7 + 32. Is s prime?
False
Let g(v) = -v**2 + 5*v - 2. Let l be g(4). Let b(d) = 4*d + 4*d + 3*d - 4 + l. Is b(3) composite?
False
Suppose 0 = 3*k + 4*x - 46, -20 = -4*k + 7*x - 2*x. Let l(s) = 7*s + 5. Let d be l(k). Suppose -j = -4*j + d. Is j composite?
True
Is (-2 + 0 + -1)/(18/(-21822)) a composite number?
False
Let u be 2/2 - (-117 + -1). Let c be u/2 + 3/(-6). Suppose 45 = 4*x - c. Is x prime?
False
Suppose -112 = -3*a + 641. Is a prime?
True
Let d(f) = 3*f**3 + 3*f**2 + 4*f + 22. Let j(a) = 2*a**3 + 2*a**2 + 3*a + 15. Let n(b) = -5*d(b) + 7*j(b). Let i be n(-4). Is i/6 + (-1)/2 prime?
False
Let t be -3 + 583*(-1)/(-1). Suppose 6*b - b + t = 5*d, 5*d - 4*b - 583 = 0. Is d composite?
True
Is 0 + 2253*4/12 a composite number?
False
Suppose -5*b + 95 = -0*b. Is b prime?
True
Let a(n) = 7*n**2 + 12*n - 9. Let b(k) = 8*k**2 + 13*k - 9. Let m(t) = 7*a(t) - 6*b(t). Let l be (12/(-10))/((-3)/(-20)). Is m(l) prime?
True
Let o = -1 + -5. Let p = o - -12. Is 111/9 - (-4)/p composite?
False
Suppose 5 = -5*v - 10. Let k(c) = -16*c + 2. Let q be k(v). Let l = q + -31. Is l composite?
False
Suppose -y + 3195 = -6*j + 2*j, -3*j - 15992 = -5*y. Is y composite?
True
Let u be (-45)/(-12) - (-1)/4. Let x be ((-14)/(-4))/(2/u). Let v(t) = t**3 - 8*t**2 + 9*t - 8. Is v(x) a prime number?
False
Suppose -4*x - 3*q + 433 = 94, 5*x - 5*q - 415 = 0. Suppose v - 4*l - x + 15 = 0, -4*l + 316 = 4*v. Is v a composite number?
True
Suppose -272 = -2*y + 170. Is y a prime number?
False
Let q(u) = -21*u**2 - 8*u. Let b be q(-6). Is (-4)/6*b/8 prime?
True
Let j(y) = -122*y**3 - y**2 - 3*y - 2. Is j(-1) a composite number?
True
Let r = -14 - -24. Suppose 0 = -3*k - 2*g - 0 + 10, 3*g = -2*k + r. Let i(o) = 7*o**3 - 2*o**2 + 2*o + 1. Is i(k) composite?
False
Let l be 1 + (-2 - 0)/2. Suppose l = 5*m - 3*m - 26. Is m a prime number?
True
Let n = 139 - 57. Suppose -4*s + 42 = -n. Is s a prime number?
True
Suppose -5*g - 5*q + 30 = 0, -6*g = -2*g + q - 24. Suppose -u = d - g*u + 11, d = -5*u - 1. Let r(v) = -7*v + 5. Is r(d) prime?
True
Let p(z) = -z**2 - 9*z. Let o be p(-9). Suppose -6*b + b + 30 = o. Suppose -57 = -3*s + b*u - u, u = 0. Is s composite?
False
Let q = -1617 + 2324. Is q composite?
True
Let h be ((-6)/15)/((-3)/15). Suppose 6*f = h*f - 24. Is (-303)/f - 2/(-4) a prime number?
False
Let r(y) = 2*y - 10. Let u be r(4). Let q(v) = 66*v**2 - v - 1. Is q(u) a composite number?
True
Suppose -l - 3*l + 20 = 0. Suppose -104 = -a + 5*m, 0*a + 462 = l*a + 4*m. Suppose 3*r - r = a. Is r prime?
True
Let h = -32 - -99. Let z = -48 + h. Is z composite?
False
Let i(t) = t + 2. Let g be i(-2). Suppose g = 2*f + 16 - 132. Is f a prime number?
False
Suppose -25 = -5*w, -3*t + t = 2*w - 84. Suppose -63 = -3*j + 2*n, -4*n - t = -2*j - 3. Is j prime?
True
Let t(h) = h**3 + 6*h**2 + 4*h + 6. Suppose -r = -2*r - 5. Is t(r) composite?
False
Suppose 4*u = 6*u. Let m(o) = o**2 - o + 3. Let g be m(u). Suppose 4*i + g*x - 134 = -1, 89 = 2*i - 3*x. Is i prime?
True
Let j(f) = 66*f**2 - f - 1. Let k be j(-1). Suppose -3*q - k = -t - 10, -3*t - 5*q + 126 = 0. Is t a composite number?
False
Suppose 0*d - 4*d - 16 = 0, 4*w - 176 = d. Suppose 4*i = -5*t - 130, 0 = -5*t + t - 3*i - 103. Let k = t + w. Is k a prime number?
False
Let m = -78 - -1133. Is m a prime number?
False
Let u(s) = -6*s - 1. Let m(j) = -6*j - 1. Let q(p) = -4*m(p) + 3*u(p). Suppose -4*b + 37 = 21. Is q(b) prime?
False
Let w(b) = b**3 - 3*b**2 - 4*b - 2. Suppose -3*u + 7 = 5*s, 10 + 7 = 4*u - s. Let t be w(u). Let x(k) = 3*k**2 - 1. Is x(t) a composite number?
False
Suppose 5*o - 10 - 5 = 0. Suppose 0*k + o*h - 177 = -3*k, 4*k - 208 = 3*h. Suppose 2*z - k = z. Is z prime?
False
Is (-12)/(-18)*(-12594)/(-4) a composite number?
False
Suppose 5*m = -3*d + 338, -d + 2*m - 25 + 134 = 0. Let l = d - 34. Is l composite?
True
Suppose 23*k - 16*k - 16765 = 0. Is k a prime number?
False
Suppose -4*n + 2 = -3*v, 2*n - 2*v + 10 = 5*n. Is (51 - 2)*(-1 + n) composite?
True
Let m be (-4)/6 - (-20)/3. Let x(c) = c**3 - c**2 - 6*c + 4. Let h be x(m). Suppose -86 = -3*w + 5*b + 25, 4*b = 4*w - h. Is w composite?
False
Is (-4)/((-36)/(-21))*-93 a composite number?
True
Suppose -u = 5*w + 17, -4*w = 3*u + 4 + 3. Suppose 2*m + u*m - 425 = 0. Is m a prime number?
False
Suppose -5*s - 15 = 0, 0 = -3*j - 0*s - 3*s + 6. Suppose -w + 36 + 2 = 0. Suppose -j*b + w = 3. Is b composite?
False
Let q be 4/((0 - 0) + 2). Suppose 3*r - 3*a - 11 = -5, -4*a = -r + q. Suppose 0 = -2*l - 5*d - 8 + 74, -54 = -2*l - r*d. Is l prime?
True
Let b(p) = -p**3 + 5*p**2 - 2*p - 5. Let k be b(4). Suppose 184 = k*m - 263. Is m composite?
False
Let d(b) = 19*b**2 - 2. Is d(-2) a prime number?
False
Suppose 0*o - 28 = -4*o. Is o a composite number?
False
Let s = 1066 - 179. Is s a prime number?
True
Let n = -306 - -717. Is n a prime number?
False
Let c(p) = 7*p**2 + 9*p - 10. Let a be c(-7). Suppose 4*t - 5*w - 927 - a = 0, -4*t = 4*w - 1152. Is t composite?
False
Let t = 0 - -3. Suppose 2*a + 3 = t*a. Suppose -110 = -a*b + b. Is b composite?
True
Suppose 0 = -s + 1, 2*z - 3*z + 3 = -4*s. Let c = z - -111. Is c composite?
True
Suppose n + 3*s + 7 = 6*s, 4*n - 6 = -5*s. Let f be -1 + n*1*-210. Suppose 0 = -t + 2 + f. Is t prime?
True
Suppose g = -3*g. Let d(l) = -l**3 - l**2 + 4*l - 1. Let k be d(-5). Suppose g*f - f + k = 0. Is f composite?
False
Let i(l) = -l**2 + 6*l. Let p be i(7). Let r = 7 + p. Suppose 3*y - 3 = r, y - 23 = -2*z - 4*y. Is z a composite number?
True
Let a(q) = -q**3 + 7*q**2 - q + 1. Let d be a(5). Let k = 9 + d. Is k prime?
False
Let k(a) = -11*a + 3. Let u be k(5). Is 1 - (u + (-16)/(-4)) prime?
False
Suppose -2*w - 17 + 3 = 0. Let l = 30 - w. Is l prime?
True
Let j(t) = t**2 - 5*t + 7. Let n be j(11). Let q = 130 - n. Is q a composite number?
True
Let c(z) = -z**3 - 7*z**2 + z + 7. Let b be c(-7). Let s(i) = i + 87. Is s(b) composite?
True
Suppose 0*t + 3*t + 202 = -n, 5*n = 3*t - 992. Let v = n - -486. Is v composite?
True
Let d be 1/(-4) - (-13)/4. Let h(i) = i**2 + 5*i + 6. Let j be h(-4). Suppose -d*l = 2*m - 78, 5*m + 3*l + j*l - 195 = 0. Is m prime?
False
Suppose 2*z + 3*l + 1 = 3*z, 3 = z - l. Suppose 5*o + 2*v - 98 = 0, -v = z*o - 2*v - 81. Is (-766)/(-10) + 8/o composite?
True
Let k = -11 + 17. Suppose -r - k = -4*r. Suppose 0 = -3*s - w + 7, -3*s - r*w = -0*s - 5. Is s a composite number?
False
Let t(k) be the third derivative of k**4/12 - 5*k**3/3 + k**2. Let c be t(7). Suppose -3*l + 7*n + 9 = c*n, 0 = 2*l - 4*n + 2. Is l prime?
True
Let v be ((-8)/(-2))/((-2)/84). Let z = -115 - v. Is z prime?
True
Let d = 96 - 30. Suppose 4*v - a - 8 = 0, -5 = -3*v + 2*a - 4. Suppose -v*m + 0*z + d = 3*z, 3*z - 112 = -5*m. Is m a composite number?
False
Suppose -3*k = -2*b - 1990, -5*k + 6*b - 7*b = -3308. Is k a composite number?
True
Let n(z) = z**3 - 5*z**2 - 6*z. Let q be n(6). Let c(m) = -m**3 - 5*m**2 - 4*m + 2. Let j be c(-4). Suppose j*p - 3*p + 21 = q. Is p composite?
True
Let a(r) = -391*r**3 + 1. Suppose -2 + 3 = -p. Let j be a(p). Let t = j - 233. Is t a prime number?
False
Suppose 0 = -3*d + 8*d - 545. Is d composite?
False
Let s = -6 - -10. Suppose -h = 3*y - 12 + 2, 0 = 4*y - s*h - 24. Suppose -y*z + 450 = 5*i - 3*z, -460 = -5*i - 3*z. Is i a prime number?
True
Suppose 2*g + c - 8 = 0, 0 = g - 4*c - 5 + 19. Suppose -2*k - g*k = -88. Is k composite?
True
Suppose -263 = -3*b + 502. Suppose -5*r + 850 = b. Is r/9 + (-2)/9 a prime number?
True
Let f(b) = b**2 + 7*b + 4. Let p be f(-6). Let u = 3 + p. Is (-4 + u)/(-3) + 32 composite?
True
Let w = 5 + -4. Let x be 1/(-2)*w*-12. Suppose -4*m = p - x*p - 1