site?
False
Let z be (-2)/(-12) - (-3)/(-18). Is (2 - z)/(12/498) a composite number?
False
Let i(n) = -n**3 + 17*n**2 - 4*n + 7. Is i(13) prime?
True
Let v(s) = 2*s**2 + 3*s + 2. Suppose -b - 3 = -5*f + f, -b = -5*f + 3. Let j be v(b). Suppose 0 = 3*o - j - 190. Is o composite?
False
Suppose 3*f + 365 - 1064 = 0. Suppose f = -5*u + 1018. Is u prime?
True
Let u(m) = -m**3 - 11*m**2 + 13*m - 6. Let g(i) = 5*i + 2. Let j be g(-3). Is u(j) a prime number?
True
Suppose 996 = 4*m - 3*l + 5*l, 1259 = 5*m - l. Is m a prime number?
True
Suppose 0 = 5*j - 91 + 276. Is j/(0 + 2 - 3) composite?
False
Let c(j) = -7*j + 1. Let s be c(-1). Let p(z) = -z**3 + 8*z**2 + 4*z + 1. Let v be p(s). Is (1 + 0)/(1/v) a composite number?
True
Suppose -3*a + c - 9 = -5*a, 5*a + 3*c - 25 = 0. Suppose 264 = a*v - 92. Let y = v + -125. Is y a composite number?
False
Is (-8344)/(-24) + 6/(-9) a prime number?
True
Is (-1337)/(-15) - (-6)/(-45) composite?
False
Let u(f) = 7*f**2 + f. Let v be u(-1). Let q(m) be the first derivative of m**3/3 - 2*m**2 - 2*m - 1. Is q(v) a prime number?
False
Let r = -11 + 16. Let j = r - 5. Suppose 2*z - 2*p - 16 = j, 5*z - 2*p = 3 + 22. Is z prime?
True
Let z(w) = 11*w - 2. Let f(h) = -h**3 + 5*h**2 - 3*h + 4. Let l be f(5). Let m = 16 + l. Is z(m) a prime number?
True
Let o = 244 - 105. Is o prime?
True
Suppose -4*i + 3*k = -i, 4*i = 5*k - 2. Let y be (1 - i)/(8/(-24)). Suppose -c + 3 = -2, c - 254 = -y*t. Is t composite?
False
Let v(g) = g**3 - 4*g**2 - 5*g - 7. Suppose 4*p + a - 23 = 0, -2*p = 5*a - 1 - 6. Is v(p) a composite number?
True
Let z be (2 + -4)*6 + 2. Let k = 6 + z. Is k/(-18) - (-169)/9 a composite number?
False
Let g(m) = 22*m**2 + m. Let q be g(-1). Suppose -q = 5*o - 71. Suppose -d = -o - 0. Is d prime?
False
Let n be (-58)/(-18) - 2/9. Suppose 0 = n*c - 8*c + 385. Is c a prime number?
False
Suppose 2*g = 20 - 0. Is g a composite number?
True
Suppose 5*g = 5*y, 3*y + 5*g - 4 = 12. Suppose -c - 5*s + 1 = y, -5*c - 5 = 4*s. Let v = 39 + c. Is v a prime number?
False
Suppose -3*t - 5*g + 651 = 219, -g = -5*t + 748. Is t prime?
True
Suppose 14*r - 12730 = 4*r. Is r a composite number?
True
Let p be (-46)/(-10) - (-14)/35. Suppose 0 = -p*l + 3*l + 74. Is l a composite number?
False
Suppose 0 = -k - 2*j + 225, -2*k - 83 = 5*j - 535. Is k prime?
False
Let w = 8 + -8. Suppose w*s + s - 21 = 0. Is s a prime number?
False
Let d(g) = 10*g**3 - 4*g**2 - 4*g + 5. Suppose 0 = 4*r - h - 17, r + 3*r - 4*h - 20 = 0. Is d(r) a composite number?
True
Let s(o) = 3*o**2 + 2*o - 4. Let q be s(-4). Is (q/(-21))/(4/(-14)) composite?
True
Let r(i) = i**3 - 7*i**2 + 7*i. Let x be r(6). Suppose -3*s + 51 = -x. Is s composite?
False
Let s(l) = 6*l**3 + l**2 + 2*l - 3. Suppose -y = -4 + 2. Is s(y) composite?
False
Let a = 42 - -39. Suppose c - a = 85. Suppose v = 3*v - c. Is v a prime number?
True
Let k = -107 - -298. Is k a prime number?
True
Let h(b) = 4*b - 6. Let s(f) = f**2 - 2*f + 4. Let t be s(3). Is h(t) prime?
False
Suppose 5*i + q = 15, -12 = -4*i + 4*q - q. Suppose 106 = i*b - 71. Is b prime?
True
Let c(l) = -l**3 + 8*l**2 + 7*l + 3. Is c(8) composite?
False
Let y = -1451 - -2682. Is y/4 + (-3)/4 composite?
False
Let x(l) = 3*l + 18. Let t be x(8). Suppose t = u - 32. Is u a composite number?
True
Suppose 0 = 2*m - 6*m + 28. Suppose 0 = 3*g - m*g + 20. Suppose -4*t = 2*o - 26, -22 + g = -o + 2*t. Is o composite?
True
Suppose -2*f = 3*v - 2*v - 43, 85 = 5*f - 5*v. Is f - (1 + -2 + 0) prime?
False
Suppose x = -4, -3*s + 6*x = 2*x - 31. Suppose -5*m + 4*u = -26, 0 = -m - s*u + 11. Is m prime?
False
Let s be (-3)/(-12) - 73/4. Let d be (-1 + s/(-8))*-16. Is (d/8)/(1/(-6)) prime?
False
Suppose 5*b - 3*a - 1495 = a, 3*b - 900 = 3*a. Suppose 0 = 4*h - b + 83. Is h a composite number?
False
Let m(s) be the third derivative of 49*s**4/24 - 7*s**3/2 - 2*s**2. Is m(10) composite?
True
Suppose 4*h - 21 - 53 = 5*t, -4*t = h - 8. Let r = 25 + h. Let j = r - -6. Is j composite?
False
Let p = -17 + -260. Let u = p - -468. Is u a composite number?
False
Let p = 95 - 13. Suppose -18 = -4*l - 2*u + 136, 0 = -2*l + 4*u + p. Is l a composite number?
True
Let c = -343 + 524. Is c a prime number?
True
Let i = 9 - 7. Let a be ((-3)/12)/(i/(-40)). Suppose y - a*p = -p + 38, 38 = y + 4*p. Is y composite?
True
Let w(l) = -2*l**2 + 12*l - 7. Let m(f) = 4*f**2 - 24*f + 13. Let o(v) = -4*m(v) - 7*w(v). Let d be o(8). Let j = 66 + d. Is j a prime number?
True
Let y(f) = f**2 + 3*f - 1. Let b be y(-4). Suppose 2*r - 4*m - 218 = 0, -5*r + b*m + 815 = 249. Is r a prime number?
False
Let y(c) = 9*c - 7. Is y(10) prime?
True
Let d = -2915 - -4300. Is d a composite number?
True
Let t(h) be the third derivative of h**5/20 - h**3/3 - 2*h**2. Let b be t(2). Is (0 - 3)/3 + b a prime number?
False
Suppose -5*s + 5*b = -10470, 2*s - b + 6*b - 4223 = 0. Is s a prime number?
True
Let i(d) be the first derivative of 2*d**3 + d**2/2 + d + 2. Is i(3) a composite number?
True
Suppose -2*r - r = -6. Let d(p) = 18*p**3 + p**2 + 2*p - 3. Is d(r) prime?
True
Let j be 1279/5 + 3/15. Suppose 21 - j = -5*f. Is f prime?
True
Let y(t) = 6*t**3 - t + 2. Let l(x) = x**3 - x. Let o(z) = -3*l(z) + y(z). Is o(3) a composite number?
False
Let o = 1363 + -716. Is o composite?
False
Suppose 4*k - 4 = 8. Let a = -3 + k. Suppose x + 7 - 98 = a. Is x a composite number?
True
Suppose -1974 = -6*w - 0*w. Is w composite?
True
Suppose 2*a - 1194 = 3868. Is a a prime number?
True
Suppose -v - 78 + 269 = 0. Is v a composite number?
False
Let c(y) = -y**3 + 2*y**2 + y. Let p be c(2). Let s(o) = -20*o**3 + 2*o + o + 1 + 2*o**p - o. Is s(-1) composite?
True
Suppose 0 = -2*g + 4. Let z = -57 - -51. Is ((-6)/z)/(g/118) a prime number?
True
Suppose 0 = 5*s + 4*z - 60, 3*z + z + 12 = 4*s. Suppose -4*t + s*u + 176 = 4*u, -5*t + 270 = 5*u. Is t prime?
False
Suppose p = -3*v - 9 + 2, 3*p + 15 = -3*v. Let w = -1 - v. Suppose 0 = -4*l + y + 200, 0*l - l - y + 45 = w. Is l composite?
True
Suppose 3*c + 26 = -4*z, 2*c = z + 9 + 3. Let l be (z + 0)/((-3)/(-3)). Let g = l - -31. Is g a composite number?
False
Suppose -10*a + 6690 = -4*a. Is a composite?
True
Let h(d) = 74*d**2 - 4*d + 3. Is h(2) prime?
False
Let d(r) be the second derivative of -3*r**5/20 - r**4/4 + r**3/2 - 5*r**2/2 + 7*r. Is d(-4) a prime number?
True
Let h(p) = -24*p + 27. Is h(-13) composite?
True
Suppose j + 2620 = -4*r, r - 3*j + 2604 = -3*r. Let c be 4/(-18) + r/(-27). Suppose 5*k - 54 - c = 4*y, -2*k - y = -26. Is k prime?
False
Let s(f) = -9*f**2 - f - 2. Let o(g) = 4*g**2 + g + 1. Let y be (-8)/(-6)*(-3)/(-2). Let m(r) = y*s(r) + 5*o(r). Is m(-3) prime?
False
Let s(i) = -i**2 + 4*i + 4. Let x be s(5). Suppose 2*w - 2*a = 18, -5*w - 4*a + 4 = -4*w. Is (1 - 3*w)/x a composite number?
False
Suppose -4*q + 155 + 13 = 0. Let w be 12/q + (-12)/(-7). Suppose -s = 2*t - 29, -5*t + 35 + 22 = w*s. Is s composite?
False
Let i(b) = -78*b - 1. Suppose 0*x = x + 1. Is i(x) a prime number?
False
Suppose 2*v + 58 = f, -f - 5*v + 33 = -11. Let y = 7 - 5. Suppose -u = s - y*u - f, -2*s + 111 = -3*u. Is s a composite number?
True
Suppose 13 = 4*n + 3*i, 0 = 3*n - 8*n - 2*i + 25. Suppose n*m - 3*m = 892. Is m prime?
True
Suppose -3*h - n - 2*n = -1233, h - 405 = 2*n. Is h composite?
False
Let m(c) = -5*c**3 - 7*c**2 - 2*c. Let t(g) = -9*g**3 - 13*g**2 - 4*g + 1. Let j(q) = 7*m(q) - 4*t(q). Let u be j(-3). Is (u/1)/((-4)/14) prime?
False
Let d = 180 - -523. Is d composite?
True
Let q = 28 + 135. Is q a prime number?
True
Let q = 8 + -4. Suppose q*p = 5287 - 1407. Is p/8 - 2/8 a prime number?
False
Suppose 3*g - 7*g + 16 = 0. Suppose 0 = -g*x + 4*d - 7*d + 311, -5*x - d + 386 = 0. Is x composite?
True
Let g(m) = 19*m - 11. Suppose 4*y = 4*x - 28, 5*x = 3*y + 35 + 2. Is g(x) prime?
False
Let u be (-5410)/25 - 4/(-10). Let t = u + 97. Let r = t - -170. Is r prime?
False
Let k(l) = 5*l + 2. Let f be k(-2). Is (-889)/28*f/2 a composite number?
False
Let w(v) = 2 - 12*v - 6 - 5. Is w(-8) a prime number?
False
Let c be 0/(2 - (2 + -1)). Suppose c = a + 14 - 116. Suppose -8 = 2*k, -q + a = k + 15. Is q a prime number?
False
Let m(z) = z**3 - 20*z**2 + 23*z + 13. Is m(19) a composite number?
False
Let b(s) = -21*s - 7. Let m(n) be the third derivative of 7*n**4/12 + 5*n**3/6 - 