mposite number?
True
Suppose -g - 16 = -5*g. Suppose g*s = -46 + 14. Is 1743/12 - (-2)/s prime?
False
Let g be (2 + -1 + -1)/3. Suppose g = 3*p - 3*z - 39, -17 = -2*p + z + 11. Is p composite?
True
Suppose 0 = x - 3*s + 5 - 19, 0 = -s. Is x a composite number?
True
Let p(g) = -64*g + 3. Is p(-4) a prime number?
False
Let j(p) = 156*p - 1. Let c be j(1). Let q = -86 + c. Is q a prime number?
False
Let d be -1 - 0 - 272/(-4). Let m = 82 + d. Is m a composite number?
False
Let q = 12 - 20. Let n be ((-4)/q)/(2/20). Suppose -g - n*y = -29, 4*y - 2*y - 4 = 0. Is g a composite number?
False
Let c(w) = w**2 + 5*w - 10. Let r be c(-8). Let t be (4/r)/(3/21). Suppose -t*s = y - 67, 2 - 34 = -s - y. Is s prime?
False
Let f(h) = 2*h + 6. Let m be f(-4). Let d(t) = 136*t**2 + 2*t + 1. Is d(m) a prime number?
True
Suppose -b - m = -14, 0 = -0*b - b + 2*m + 8. Let r(y) = -2*y**2 - 4*y + 1. Let i be r(-3). Let t = i + b. Is t composite?
False
Suppose -1 + 10 = -c + m, 57 = -4*c - 3*m. Is 4/c + (-1074)/(-9) a composite number?
True
Let a = 20 + -14. Let r be 6/15 + (-2)/5. Suppose -d = -3*w + 161, r = -a*w + 4*w + d + 108. Is w composite?
False
Suppose -547 - 719 = -6*l. Is l prime?
True
Let g(z) = -44*z - 2. Let u be g(-1). Is 1354/14 - (-12)/u a prime number?
True
Let m = 3241 + -2028. Is m composite?
False
Let u(z) be the first derivative of -34*z**2 + 13*z - 3. Is u(-11) a composite number?
False
Suppose -67 = -2*o - w, -4*o - 3*w = -2*w - 135. Is o composite?
True
Let l = 44 - 22. Suppose c = 2*c - l. Is c prime?
False
Suppose 0*u + 4*n + 67 = u, 3*u - 173 = -2*n. Is u composite?
False
Is ((-26)/4)/((7 + -15)/1552) prime?
False
Let z(q) be the third derivative of -q**7/720 - q**6/720 + q**5/60 + 2*q**2. Let h(p) be the third derivative of z(p). Is h(-2) a prime number?
True
Let t(a) be the second derivative of 63*a**3/2 - a**2/2 + a. Let n be t(1). Suppose 0 = i + 3*i - n. Is i composite?
False
Suppose -4*u - 3*z = -6*u + 606, 0 = 3*z. Is u a composite number?
True
Suppose -2*v = 1 - 9. Suppose 2*d - 5*j - 98 = 0, -j + 7 = -v*d + 239. Is d a prime number?
True
Let s(y) = -43*y - 5 - 4 - 40*y. Is s(-10) prime?
True
Let r(h) = 10*h**2 - h + 2. Is r(-9) a prime number?
True
Let c(y) = y**3 - 13*y**2 + 2. Let o be c(13). Suppose -4*s + o*s = -1730. Is s prime?
False
Let u(z) = 2*z**3 - 11*z**2 + 10*z - 9. Let o be u(8). Suppose -5*j = -5*x - 1460, -2*j + x + 194 = -o. Is j a prime number?
True
Let w(g) = 2*g**2 + 7*g + 1. Suppose 0 = -2*l + 3*c + 10, 2*l - c - 10 = 3*c. Suppose 2*s + s + 3 = 5*i, l*i = -15. Is w(s) a prime number?
True
Suppose 8 = -f + 5*i + 3, -2 = 4*f - 2*i. Let r = 3 + f. Suppose -2*s - r*y + 3 = 0, -5*y = -0*s - 3*s + 33. Is s prime?
False
Let w be 82/4*(0 - -2). Suppose 4*d - 191 - w = 0. Is d prime?
False
Let f(d) = 2*d**2 - d**2 - 9*d + 3*d**2 + 5 - 5*d**2. Is f(-7) composite?
False
Let h = -1 - -1. Suppose -5*y + 9 = -4*s, s + h*y = 4*y - 16. Suppose 3*p - 27 = 2*p + s*r, 2*p + 4*r = 18. Is p a prime number?
False
Let s(n) = -19*n - 5. Let o be 4/8*2 - 11. Is s(o) a prime number?
False
Let r(q) = -3*q + 6. Let w be r(6). Let x be 88/7 + 9/21. Let t = x - w. Is t composite?
True
Suppose o - 4*o + 5*i + 30036 = 0, 4*o = -4*i + 40016. Is o a prime number?
True
Let i be (-12)/(3 + 18/(-4)). Is ((-22)/i)/(4/(-112)) composite?
True
Suppose 5*l - 1270 = -3*k, 315 = 2*l + 5*k - 174. Is l prime?
True
Let z(b) = 3 + 2*b + 23*b**2 + 1 - 3. Is z(-1) a composite number?
True
Suppose -3*n + 27 = 3*t, n = 2*t - 5 + 2. Suppose t*k - 183 - 173 = 0. Is k a prime number?
True
Suppose 0*t + 3*t = -2*x + 736, 0 = 4*x + 5*t - 1474. Is x prime?
False
Let h(s) = 11*s + 10. Let n be h(7). Suppose -3*k + 2*t = -5*k + 66, -3*k = -t - n. Suppose l + k = 6*l. Is l prime?
False
Let f be -320*(-1 + (-3)/(-5)). Suppose l - f = -5*d - l, l + 116 = 5*d. Is 1/6 + 884/d a prime number?
True
Let u = 48 - -859. Is u a prime number?
True
Let h = -41 - -29. Let a = 2 - 3. Is a/3 + (-124)/h a composite number?
True
Let f(d) be the third derivative of d**6/180 - d**5/30 + d**4/8 - d**3/3 + d**2. Let k(y) be the first derivative of f(y). Is k(4) a composite number?
False
Let p = 13 + -13. Suppose p*h = -5*h + 395. Is h a prime number?
True
Suppose 0 = 11*v - 4595 - 46236. Is v a prime number?
True
Let b(y) = y**3 + y**2 - y - 8. Let v be (0 - 0)*(-5)/(-10). Let w be b(v). Let a = -4 - w. Is a prime?
False
Is 1158*((-2)/16)/((-3)/12) composite?
True
Suppose -3*a + 9 = -6. Let s = a - 3. Suppose 3*d + s*d = 185. Is d composite?
False
Suppose -4*h + 4809 + 6931 = 0. Is h prime?
False
Let w(p) = -4*p - 3. Let x(r) = -r + 3. Let i be x(5). Let s be w(i). Suppose -51 + s = -2*v. Is v composite?
False
Let r be ((-15)/9)/(1/(-3)). Suppose 0 = r*d - 3*x - 425, -4*d = -5*d + 4*x + 85. Is d composite?
True
Let n(y) = -y**3 + 12*y**2 - 5. Suppose 2*a = 3*a - 6. Is n(a) composite?
False
Suppose -2*g = -0*g - 230. Is g composite?
True
Let r be 6 + (0 - (-6)/(-2)). Suppose r*t - 1 = 5. Is t a composite number?
False
Let b(u) = 123*u - 3. Let h be b(2). Suppose 3*i + 4*d = h, -53 = -i - 4*d + 20. Is i prime?
False
Suppose 0 = 2*h - 4*s - 28, h - 3*s + 69 = 4*h. Suppose -46 = -3*k - 4*c, 2*k - h = -3*c + 11. Is k prime?
False
Is ((-154)/(-8))/(1/4) prime?
False
Let c(u) be the first derivative of 2*u**2 + 2*u**2 + 4 - 4*u**2 + 2*u**2 - u. Is c(2) a prime number?
True
Let y(v) = -v**3 + 3*v**2 + 2*v - 2. Let w be y(2). Suppose -w*o + 3*o = 1158. Is o/(-10) - (-18)/45 a prime number?
False
Suppose 0 = -2*m + 6, -2*m = a + a - 176. Suppose 0 = 2*t - 21 - a. Is t composite?
False
Let f = 7 - -1. Suppose 3*c = -s + f*c + 9, -c - 1 = 0. Let l = s - 1. Is l prime?
True
Let g(n) = 11*n - 3. Let s be g(-1). Is ((-190)/(-3))/(s/(-21)) composite?
True
Suppose -2*y = -5*s + 1084 - 4829, y = s + 1874. Let c = -1138 + y. Is c composite?
True
Suppose 0 = -2*p + k + 106, 5*p = k - 4*k + 265. Is p a composite number?
False
Let b(l) = -8*l + 13. Let h(r) = 7*r - 12. Let y(c) = -4*b(c) - 5*h(c). Is y(-6) prime?
False
Let u = 51 + -35. Suppose 0 = 4*m + u, -5*d - m + 193 = -378. Is d a prime number?
False
Suppose 0*t = -t. Suppose 4*b - 22 - 2 = t. Suppose b*r + x = 2*r + 225, 5*r - 4*x - 255 = 0. Is r composite?
True
Let j(k) be the first derivative of k**4/4 + 11*k**3/3 + 7*k**2/2 + 2*k - 3. Is j(-7) composite?
False
Suppose 3*k = -3 + 9. Suppose -4*a + k = -3*a. Suppose -a*i - i + 21 = 0. Is i prime?
True
Suppose q - 15 = -4*q. Let o be (-1)/(-2)*1*0. Suppose 5*p - 7*k + 2*k - 85 = o, q*p - 59 = 5*k. Is p a composite number?
False
Let n be (-16)/(-10) + 4/10. Let x = 5 - n. Suppose x*c - 430 = -2*g - 0*g, -3*g - 3*c = -639. Is g prime?
False
Let f(t) = -t - 13. Let q be f(-13). Suppose q = n + 3*n - 84. Is n a composite number?
True
Let r be 5*(4 + 1 + -4). Suppose 3*g + 382 = 6*g + 4*i, -r*g + 630 = 5*i. Is g a prime number?
False
Suppose -4*s + 3*j = -1898, -3*s - s + 1914 = 5*j. Let f = s + -248. Suppose -3*t + f = t. Is t composite?
True
Suppose 5*j - 3*n = -97 - 119, -2*n = -4. Let t be 2/(-8) - j/8. Suppose -159 = -t*w - 2*l, 2*l + 86 = 4*w - 34. Is w a prime number?
True
Suppose 3*s - 175 = -2*s. Is s composite?
True
Let z(l) = -l**3 - 1 - 1 + 2*l**3. Is z(4) prime?
False
Suppose x + b = -5 + 3, 0 = -3*b. Let r be 0/((x/2)/1). Suppose -82 = 4*w + 3*f - 687, -3*w + 2*f + 441 = r. Is w composite?
False
Let a(r) = 188*r**2 - 5*r - 4. Let t be a(-3). Suppose -5*m = -10, -5*f = -m - 0*m - t. Is f prime?
False
Is (0 + -2)/(5/(2980/(-8))) composite?
False
Suppose 108 = 4*n - 4*i - 896, 2*n + i - 496 = 0. Is n composite?
True
Suppose -2*i - 68 = -3*b, 4*b - 108 = -4*i + 16. Is b prime?
False
Let i(r) = -6*r + 17. Is i(-12) composite?
False
Let d = -15 + 34. Is d a composite number?
False
Suppose -12*w + 318 + 198 = 0. Is w prime?
True
Suppose 1589 = 2*q - 117. Is q composite?
False
Suppose w + 2*w - 33 = 0. Suppose 1 = -2*y + v + w, -2*v = -3*y + 15. Suppose u + 40 + 17 = y*z, 0 = 3*z - 2*u - 37. Is z a composite number?
False
Suppose -4*x = -5*t - 60, x + x = -t + 44. Suppose 2*w = -2*p + x - 4, w = 2*p + 14. Suppose -4*l + w = -202. Is l composite?
False
Let o be ((-51)/68)/(3/(-8)). Is (o + (-620)/12)*-3 composite?
False
Suppose -2*w + k = 0, 6 = -2*w - w + 3*k. Let s(r) = 4*r**2 + r**w + 2*r - 6 + 4. 