-3*t + 5*r + w + 105, r = 3. Is t prime?
True
Suppose -4*g = -7*g + 21. Suppose -g*s - 6195 = -2*s. Is s/(-2)*4/6 prime?
False
Let h(j) = -j**3 + 9*j**2 + 17*j - 13. Is h(8) prime?
False
Let x = -383 - -834. Is x prime?
False
Let d(y) = 13*y**3 - 3*y**2 - 39*y + 22. Let m(v) = 7*v**3 - v**2 - 20*v + 11. Let g(o) = 6*d(o) - 11*m(o). Is g(9) a composite number?
False
Let f(j) be the first derivative of -19*j**2/2 - 2*j - 2. Is f(-3) a composite number?
True
Let t be 555/33 + 4/22. Let u = t + -4. Is u composite?
False
Suppose -3*n + n = -244. Let w be (-1 - 1)/(4/138). Let k = n + w. Is k a composite number?
False
Let z(f) = -3*f - 1. Let k be z(-1). Let o be 0 - ((k - -1) + -1). Is (o + -1 + 2)*-21 composite?
True
Let a(r) = 2*r + 1. Let u be a(3). Suppose -5 - u = 3*l. Let h(i) = 6*i**2 + 4*i - 1. Is h(l) a prime number?
True
Let s be -2 - (-7 - -2) - 0. Suppose 0 = -s*k + 461 - 104. Is k a prime number?
False
Suppose -4*v = 12 - 0. Is 2/v*3 + 55 composite?
False
Let c = 565 - -66. Is c a prime number?
True
Suppose 2*p + 1 = -3. Let z = p - -4. Is 2*89/z + 2 a prime number?
False
Is 1 + 12 + (-6)/3 composite?
False
Let z be (-3)/4 - (-23416)/32. Suppose -2*f + z = -33. Is f composite?
True
Suppose 0 = -2*t + 2*w + 14092, -3*t + 2*w + 11394 = -9743. Is t a composite number?
True
Let b(p) = p**3 + 2*p**2 - 3*p - 6. Let k be b(-4). Suppose -149 = 3*g - 4*y, 0*y - y = -2*g - 96. Let z = k - g. Is z a composite number?
True
Suppose 3*n = -5*i - 13, 3*n = 2*i - 1 + 2. Let w be ((-22)/(-3))/(3/(-9)). Is ((-5)/i)/((-1)/w) a composite number?
True
Let i(a) = 0*a**2 + 6*a**2 + 2*a**3 - 3 - 2*a**2 - a**3. Let n be i(-3). Is (3/9)/(1/n) a prime number?
True
Let r = -39 - -65. Let t = r - 9. Suppose -40 = -3*s + t. Is s prime?
True
Let z(j) = j**2 + 3*j + 7. Let v be z(-6). Suppose 9*x - v = 4*x. Suppose -2*b + 2*i = -16, x*b + 2*i - 98 = -23. Is b prime?
True
Suppose -3*v = -4*y - 621, -y + 1058 = -v + 6*v. Suppose -5*p + 74 = -v. Let j = p - 20. Is j composite?
False
Let o(t) = -16*t - 2. Let a be o(-3). Let d = 217 + a. Is d composite?
False
Let v be 4/(-10) + (-34)/(-10). Suppose -n + 4 = x - 0, -v*x - 4*n = -10. Is (4/x)/(4/132) a composite number?
True
Let b = -11 - -168. Is b prime?
True
Suppose 5*h = 2*r + 13, 5*h + 5*r - 30 = -10. Is 1 - -1 - (2 - h) prime?
True
Suppose 7*j - 2*j + 40 = 0. Let a = 2 + j. Is -2*(-3)/a - -86 prime?
False
Suppose -3*k = -0*k + 3. Is (-24)/4*k/2 prime?
True
Let s(m) = 23 + 2*m - 5*m + 2*m + 0*m. Let c be s(0). Suppose 3*g - 4*p - 106 = 0, 2*g = 5*p + c + 43. Is g composite?
True
Let p(i) = 148*i**2 + 2*i - 1. Suppose -2*g + 20 = 3*g. Let y be (3 + -1)*2/g. Is p(y) a prime number?
True
Let n(x) = 6*x + 6. Let m(z) = -7*z - 6. Let r(b) = -4*m(b) - 5*n(b). Let i be r(-4). Is 0/(i - 0) - -55 prime?
False
Let v(h) be the first derivative of 3*h**2 + h - 3. Is v(7) a composite number?
False
Let w = -13 + 19. Suppose -t + w*t = 665. Is t composite?
True
Let r(m) = 42*m - 3. Is r(12) a composite number?
True
Let c = -174 - -363. Let j(g) = -6*g - 1. Let w be j(-1). Suppose 0 = -3*s - w*l + 2*l + c, s - 79 = -5*l. Is s a prime number?
True
Let f(m) = m**2 + 4*m + 5. Let d be f(-4). Let x = 9 - d. Let b(g) = 9*g + 1. Is b(x) prime?
True
Let c(j) = j**2 + 6*j - 11. Let p = -17 - -9. Let n be c(p). Suppose 13 = y + n*i, 38 = 2*y - i + 12. Is y prime?
True
Let q(f) = f**2 + 5*f - 6. Let k be q(-6). Suppose -940 + 225 = -5*u + 5*r, k = -4*u - r + 597. Suppose -2*s + 90 + u = 0. Is s composite?
True
Suppose n + 40 = 9. Suppose 4*v + 383 = -4*c + v, -v = -5*c - 493. Let j = n - c. Is j composite?
False
Let d = 880 + -526. Suppose 5*j - d = -c, -c + 2*j + 220 = -99. Is c a prime number?
False
Suppose -5*r + 405 = -5*q, 5*q + 52 = -2*r + 228. Is r composite?
False
Let a(l) = -8*l + 3. Let i be (-42)/(-8) + 2/(-8). Let g = i + -9. Is a(g) a composite number?
True
Let t(r) be the first derivative of r**6/360 + r**5/12 + 13*r**4/24 + r**3/3 - 1. Let x(s) be the third derivative of t(s). Is x(-9) composite?
True
Is 75/(2/(-40)*-6) - 3 a composite number?
True
Let o(k) = 151*k**3 + k**2. Let z be o(1). Let b = z + -69. Is b a prime number?
True
Suppose 5*t - 3164 = t. Is t a composite number?
True
Suppose -1488 = -5*g + 407. Is g a prime number?
True
Let h be (3/(-2))/(4/(-8)). Suppose 2*o = -o - h*j + 213, -o + 47 = -5*j. Is o a composite number?
False
Let o(k) = -31*k**2 + 10*k - 6. Let l(r) = -4*r + 4. Let t be l(3). Let a be o(t). Is (-2)/(-10) - a/25 a composite number?
False
Is 4 - 5/((-20)/292) a prime number?
False
Let k = -4 + 1. Let i be (-3)/(-1) + 1 + k. Is (i + -29)*(-141)/12 composite?
True
Let b be (-22)/(-2)*(0 + 2). Suppose p = 2*y - 2, 4*y - 2*y = -4*p + b. Suppose s = y*s - 70. Is s a prime number?
False
Let y(h) = 5*h**2 + 7*h - 9. Let c be y(-7). Suppose 3*u - 305 = 5*j + 273, -4*j + c = u. Is u a composite number?
False
Let t = -10 + 15. Suppose -t*v = n - 212, 5*n = -5*v + 3*v + 94. Suppose y = -y + v. Is y a composite number?
True
Let i be 4/(-5)*5/(-2). Is (-1)/(-2)*(396 + i) a composite number?
False
Let h(v) = -8 + 2 + 1 - 12*v. Is h(-5) a prime number?
False
Let q = 6 - 6. Suppose q*j = 2*j - 158. Is j a composite number?
False
Let t(c) = -c**3 + 3*c**2 + 5*c - 2. Let m be t(5). Let w = m + 112. Is w a composite number?
True
Let d = 66 + 977. Is d composite?
True
Let i(u) = -4*u**3 + 6*u**2 - 3*u - 9. Let t be i(-7). Suppose -5*x - l + t = -391, 5*x = 3*l + 2053. Is x composite?
True
Suppose 0 = 5*u - 0*u - 1715. Let z = u + -224. Is z a composite number?
True
Suppose 17 = 5*q + 2. Is q composite?
False
Let j(z) = -z**3 - z**2 + 6*z + 9. Let v be (2 - 9)*(0 - -1). Let i be j(v). Let c = i - 182. Is c prime?
True
Suppose -2*v + 6 = 3*i - i, 0 = -4*i - v. Let q(y) = -y**3 + 8*y**2 - 6*y. Let t be q(6). Is 3 + i + -1 + t prime?
True
Let h(b) be the first derivative of b**4/4 - b**3 + b**2 - 7*b + 1. Is h(6) composite?
False
Suppose 3*v = -3*v + 6018. Is v composite?
True
Is (-2)/(-7) + 103113/63 composite?
False
Suppose 3*w = 5*z - 39, 7 = z - 2*w + w. Is (-239)/(-3) + (-6)/z a prime number?
True
Is (-3)/6*(2 - 1824) a prime number?
True
Suppose 491 = 4*y + 91. Suppose 5*o - y = o. Let n = o - 18. Is n a prime number?
True
Let h(m) = 4 + 3*m + 4*m + 2*m. Is h(6) a prime number?
False
Let y = -23 + 15. Let q be 4/(20/(-15)) - -84. Let a = q - y. Is a a prime number?
True
Suppose -5*f + 20 = 2*i - 4, -2*i + f = 0. Suppose -v - i*t = -155, 4*v + 4*t = 3*t + 585. Is v a composite number?
True
Suppose u + 0*u = 4. Let f(r) = 0*r + 7*r - 4*r + 1 - u*r**3 + 3*r**3. Is f(-2) prime?
True
Let f(t) = t + 1. Let v(i) = i + 1. Let z(b) = 4*f(b) - 3*v(b). Let y be z(4). Suppose y*o = 8 + 67. Is o a composite number?
True
Let r = -354 + 599. Suppose -231 = -4*v + r. Is v composite?
True
Let z = -129 + 332. Let d = z - 86. Suppose 302 = 5*u + d. Is u a composite number?
False
Let k(g) = 8*g**3 - 6*g**2 + 3*g - 5. Let w be k(-5). Is w/(-22) + (-14)/77 prime?
True
Suppose -m + 27 = 2*m. Let n(r) = 9*r + 2. Is n(m) prime?
True
Let a(u) = -10*u - 12. Let g be a(-8). Suppose 3*h = -2*b + 89, -2*b - 2*h + 24 = -g. Is b a prime number?
False
Is (1 - (-2)/(-1))*(-3 - 1358) a composite number?
False
Suppose 3*q + 2*g = 479, 3*q + 2*q - 801 = -2*g. Is q prime?
False
Suppose -5*v - 25 = -0. Let j(r) = -r**3 - 4*r**2 + 5*r + 3. Let l be j(v). Let t = l - 0. Is t a prime number?
True
Suppose -5*h + 175 = -5*n, -5*h - 101 - 12 = 3*n. Let z = 62 + n. Is z a composite number?
True
Suppose 0*y + 3*y = -5*x + 864, 0 = -2*y - 2*x + 580. Is y a prime number?
True
Let q(t) = 33*t**2 + 4*t - 6. Let k be q(2). Let j = 10 + -7. Is k + -1*3/j composite?
True
Suppose -2*y - 34 = 3*u - 2, -45 = 5*u + 5*y. Is (-26732)/(-28) - 4/u prime?
False
Let h = -7 + -8. Is 17 + (-5)/(h/6) a composite number?
False
Let b be 3 - (1 - (0 + 156)). Let f = b - 47. Is f composite?
True
Is 3/(-4) - 5/(80/(-40284)) a prime number?
False
Let c(o) = -o**2 - o + 268. Let d be c(0). Suppose -2*n - 5*a + d = 0, -5*n + 0*n = 5*a - 685. Is n a composite number?
False
Suppose -h - 3*r = -11, -7*h + 4*h = 2*r - 26. Let a(f) = 2*f**2 - 3*f - 10. Is a(h) a composite number?
True
Is 2 + ((-692)/(-16))/(3/108) prime?
True
Suppose -6*m = -8*m + 998. Is m a prime number?
True
Suppose 223