0*k + k**2. Is r(n) prime?
True
Let f be 1*(-3 + 0 + 3). Suppose f*y - 2*s + 369 = -3*y, 5*y + 614 = 3*s. Let p = -66 - y. Is p prime?
False
Let v be ((-616)/(-11))/(3 + (1 - 3)). Let x = 18 - -9. Let w = x + v. Is w composite?
False
Suppose 0 = 5*o + 634 + 621. Let s = o - -378. Is s prime?
True
Suppose -2*t + 18 = -4*j, 0*j - 3 = j. Suppose g - 26 = -t*c, -4*c = -2*g - 8*c + 44. Let u = g + -7. Is u a composite number?
False
Suppose -1 = -5*g + 4*g. Suppose 2*w - 5 = g. Suppose 0 = 3*s + t - 65, w*t - 7*t + 99 = 5*s. Is s composite?
False
Let t(u) = -73*u + 4. Is t(-3) composite?
False
Is (-156)/(-5) + (-1)/5 a composite number?
False
Let f = -7 - -13. Suppose 0 = l + 5*h + f, 6*h - h = -20. Is l a composite number?
True
Suppose 0 = -5*o + 4*o + 6. Let c be 44/o*135/(-6). Is -3*(c/9 + 2) composite?
True
Let p be 3/(-2)*(-5 - -3). Let l be ((-16)/6)/((-1)/p). Is -141*(1 + l/(-6)) a prime number?
True
Let a(m) = m**2 - 4*m - 7. Let v be a(-6). Suppose -2*j - v = -375. Is j prime?
False
Let o be (1 + 0)*(1 - -1). Let v = 27 - o. Is v a composite number?
True
Let r = -11 - -11. Suppose -5*a + 0*a + 65 = r. Is a prime?
True
Let q = 3 - 5. Let y be -2 + 2 + q + 72. Suppose 3*z - y = -1. Is z a prime number?
True
Let l = 326 + 13. Is l composite?
True
Let i be (-2 - 6) + (0 - -2). Let h(l) = l**2 + 7*l + 7. Let q be h(i). Suppose 0*z = -z + q, -4*j + 306 = -2*z. Is j composite?
True
Let w = 8 + 6. Let u be (-32)/w - 2/(-7). Is (166/(-3))/(u/3) a composite number?
False
Suppose -4*u + 830 = -5*d, 5*u = 3*d + 733 + 298. Is u prime?
False
Let q be 26/117 - (-196)/9. Let u = q - -45. Is u a prime number?
True
Let s = -254 + 181. Let l = s + 104. Is l a composite number?
False
Let l = 572 + 137. Is l prime?
True
Suppose 3*l + 2*l = 35. Let z = 12 + l. Is z prime?
True
Let s(n) = -n**2 + 8*n - 5. Let r be s(6). Suppose 3*l - 429 = -4*j, 3*l = r*l + j - 572. Is l a composite number?
True
Let b be ((-8)/10)/(4/20). Let m = b + 4. Suppose m = -0*g - 5*g + 385. Is g prime?
False
Let v(d) = d**3 - 8*d**2 - d + 9. Let h be v(8). Let l(x) = h + 2*x + 7 + 0*x. Is l(7) prime?
False
Suppose t + 0*t + 1 = 0. Let x(f) = 16*f**2 - f - 2. Is x(t) a prime number?
False
Suppose -i + 3 = c + 1, 5*c + i = -6. Is (3/6)/(c/(-268)) a composite number?
False
Let h(d) = -d**3 - 4*d**2 - 5*d - 4. Let z be h(-3). Let q(x) = 8*x - 3*x + x + 2. Is q(z) a prime number?
False
Suppose 0 = 3*y - 21 - 1671. Suppose 5*t - t - y = 0. Is t a prime number?
False
Is (-681)/(-5 + 4) + 2 a prime number?
True
Suppose 9*a - 4*a = -3*i + 29, -5*i = -4*a + 1. Suppose -i*n - n + 1276 = 0. Is n a prime number?
False
Let d(m) = m + 295. Is d(0) composite?
True
Suppose -y + 396 + 1013 = 0. Is y composite?
False
Is (3 + -5 + 1)*-67 composite?
False
Let u(f) = f**3 - f**2 + 2*f - 3. Let w be u(2). Suppose w*l - 5*y - 1655 = 0, 6*l - 3*y - 1655 = l. Is l a composite number?
False
Suppose -2*h - 3*h = 4*f - 20, 5 = -3*h + f. Suppose -3*z + 9 = -h*z. Let x(k) = 5*k**2 + 5*k - 2. Is x(z) a prime number?
False
Is 1*(6 + -859)/(1*-1) a composite number?
False
Let p(n) = -27*n. Let s be p(2). Is (-4)/18 - 20046/s a composite number?
True
Let y(v) = 13*v**2 - 1. Is y(-2) a composite number?
True
Let p(j) = j**3 - j**2 - j + 1. Let x be p(2). Suppose -6 = -x*g + 3. Suppose -g*k + 4*w - 11 = -0*k, -w = -4*k + 7. Is k a prime number?
True
Suppose 260 = 5*n - 5*q, 0 = 4*n - 3*n - 5*q - 40. Let k = n - 34. Is k a prime number?
False
Let w(j) = j**3 + 7*j**2 + 2. Let f be w(-7). Let q(x) = -x + 4. Let b be q(f). Is b + 52 - (0 + 1) a prime number?
True
Let v(o) = -2*o**2 + 753 - 11*o + 9*o + o**2. Is v(0) prime?
False
Let q = -40 - -143. Let f = -73 + q. Let c = -16 + f. Is c composite?
True
Let o(n) = 13*n - 68. Is o(18) a composite number?
True
Let j(h) = h**3 - 2*h**2 + h + 3. Let w be (-3)/(((-27)/12)/3). Let m be j(w). Suppose -k - 2*k = -m. Is k a composite number?
False
Let o(y) = -5*y**2 - y - 131. Let c(s) = -s**2. Let u(v) = 4*c(v) - o(v). Is u(0) composite?
False
Let a be (1/(-3))/(5/15). Let r be (a + 4/3)*39. Let d = 10 + r. Is d prime?
True
Let r be 2/8 - 17/4. Is -4*2/r + 1 a composite number?
False
Let q = -17 - -25. Suppose 0 = -c - f - 3, -5*f = 4*c + 19 - 2. Is c/q + 307/4 a composite number?
True
Suppose -7*b = -275 + 16. Is b prime?
True
Let j(l) = 16*l**2 + 14*l + 7. Is j(-6) prime?
True
Let x = -43 - -125. Suppose -5*y + 22 = 2*a - 166, 5*a - y = 443. Suppose -x = -3*t + a. Is t composite?
True
Is 2 - (1 + 2) - -195 a composite number?
True
Suppose y = -0*y + 3. Suppose 3*n - 136 = -y*w + 2*n, -3*n = 3*w - 144. Let o = w - 25. Is o a composite number?
False
Let x(o) = -37*o + 2. Let l be x(1). Suppose -20 = -2*g + 80. Let v = l + g. Is v a composite number?
True
Suppose 0 = -0*w + 5*w - 10. Suppose -w*x - 25 = 3*x. Is (-13)/(-1) + x + 3 a composite number?
False
Let o(s) = 68*s**2 - 13*s - 2. Is o(-9) composite?
False
Is (-6 + 19/3)/((-2)/(-6606)) composite?
True
Let v = -3 + 10. Let g = v - 5. Suppose -214 = -4*t + g*z, 5*t + 0*z - 290 = -5*z. Is t a prime number?
False
Let f = 6 - -31. Suppose f = -2*b + 327. Is b prime?
False
Suppose -5*j + 320 = 5*c, 3*j + 0*c = 3*c + 180. Is j composite?
True
Let p = -22 - -34. Let x(f) = f**2 - 4*f + 5. Let i be x(3). Is (10/4)/(i/p) prime?
False
Is 3/(3/(-613))*(-4 + -1) a prime number?
False
Let k(v) = -v. Let o(c) = -20*c**2 - c + 1. Let j(t) = k(t) - o(t). Suppose 4 = -4*y - 0. Is j(y) a composite number?
False
Suppose 7153 = 10*u - 7077. Is u composite?
False
Let v(w) = 3*w**3 + w - 1. Let g be v(1). Is g + -3 + 79*1 prime?
True
Let j be 1 - -9 - (1 - 0). Let q = j + -3. Is q prime?
False
Let b(p) = 11*p**2 + p**3 - 14*p + 6*p - 5*p - 2. Is b(-12) a prime number?
False
Let c(v) = -5*v + 7. Let n be c(5). Let x be (-12)/(-54) + 40/n. Is x/(-2*3/21) a composite number?
False
Let u(h) = -h**2 - 22*h - 2. Is u(-9) a prime number?
False
Suppose 0 = c - 5*c + 2*z + 2962, -c - 3*z = -758. Is c a prime number?
True
Suppose 0*l = -2*l + 4. Suppose 16 = 2*f + l*f. Suppose f*n + 4*a = 492, 16 = a - 5*a. Is n a composite number?
False
Suppose -3*u + 180 = -297. Is u composite?
True
Let t = 198 + -75. Let n = -86 + t. Is n a prime number?
True
Is 3453*((-16)/(-3) - 5) composite?
False
Suppose 2*t + 129 = 5*t. Suppose 0*s + 6*s = -48. Let l = t + s. Is l prime?
False
Is (-13 - -15) + 1*483 a prime number?
False
Suppose q - 46 = 107. Let t = q - 247. Is t/(-4)*(-6)/(-3) prime?
True
Let j = -10 - -10. Suppose j*o = -o + 205. Is o a prime number?
False
Suppose -h + 2 = -0*h. Is 13 + h + 0 + 0 composite?
True
Let g be 9 - (-1)/((-2)/(-6)). Let x(d) = -15*d**2 + g*d - 1 + 1 + 14*d**2. Is x(7) prime?
False
Suppose -3*k = 2*f - 20, -3*k - 24 = -f - 8*k. Let b be f/(-18) - 75/27. Let i(q) = 3*q**2 + 2*q + 1. Is i(b) a prime number?
False
Suppose 0 = o + 10 + 10. Is 1/5 - 416/o a prime number?
False
Suppose 4*j - 1102 = -98. Is j a prime number?
True
Let r = -146 + 249. Is r a prime number?
True
Let t = 12 + 15. Suppose -3*g - 2*k - 2*k - 42 = 0, 5*g - k = -70. Let j = t + g. Is j composite?
False
Let l(u) = u**2 - 5*u + 2. Let x be l(6). Let j be -1 - (-1 - -2) - 948. Is 2/8 - j/x a composite number?
True
Suppose -u - 3*u = -4. Suppose -5*t - 1 = 9. Is (-11)/(u/(14/t)) a prime number?
False
Let h(w) = w**2 + 7*w - 11. Let l be h(-9). Let d(f) = 24*f - 1. Let n(q) = -49*q + 2. Let o(i) = l*d(i) + 4*n(i). Is o(-2) a prime number?
False
Let i be (-154)/21*(-2 + -1). Let o be (-2)/(2 - 48/i). Suppose 3*h + o = 5*t, -2*h + 3*h + 2*t = 11. Is h composite?
False
Let o(c) = -c - 3. Let g be o(0). Let n be (2/2)/(g/(-9)). Suppose 4*t = 2*k + n*k - 397, 3*k + 3*t - 222 = 0. Is k a composite number?
True
Let k(q) = q**2 - 2*q - 2. Suppose 4 + 6 = 5*l. Let c be k(l). Is (1 + c + 14)*1 composite?
False
Let d be (-4)/14 + (-144)/(-14). Let w be (-6)/(-4)*(-5 - -3 - -4). Let b = w + d. Is b prime?
True
Let d = -19 + 16. Let s(g) = -28*g**3 - 5*g**2 - 2*g + 2. Is s(d) composite?
False
Let j = 372 + 19. Is j a prime number?
False
Suppose 4*n - 2*n = 0. Suppose 3*y - 8 - 4 = n. Suppose -y*m + 318 = -134. Is m a composite number?
False
Suppose 0 = -k - 3, o + k - 6*k - 115 = 0. Suppose x + 28 = a, 0 = 8*a - 3*a + 3*x - o. Is a prime?
True
Suppose 2*a - 1562 = -474. Suppose -5*n + a = 