er?
True
Suppose k + 3*j = -11, 3*k - k - 5*j = 33. Is (-9)/12 - (-87)/k composite?
True
Let s(r) = r**2 + 2*r - 7. Let w be s(-5). Let g = w + -6. Suppose 2*z = 2*i + 100, 5*i = g*z - 0*z - 103. Is z prime?
False
Suppose -8885 = -5*o + 5*r, -o = 2*r - 1950 + 173. Is o a prime number?
True
Suppose 11*s + 49 = 12*s. Is s a composite number?
True
Let q(u) be the second derivative of 7*u**3/6 + 5*u**2/2 + 5*u. Is q(6) a prime number?
True
Is (-1 - (-1)/3)/(28/(-164094)) a prime number?
True
Let r be (2 + 14)/1 + -1. Let p = 37 - r. Is p a composite number?
True
Suppose -3*y + 1675 = -5*z + z, 4*z + 4 = 0. Is y composite?
False
Let h(q) = -20*q + 7. Suppose 2*m = 5*m + 36. Is h(m) a composite number?
True
Let f = -183 + -23. Let q = 340 + f. Is q prime?
False
Let t(s) = -s**2 - 1. Let j be t(-1). Let m be j + (-1 - -54) + 0. Suppose 3*b = v - 19 + 172, -5*v + m = b. Is b composite?
True
Let d(b) = -b**3 - b**2 + b + 1. Let h be d(-1). Suppose h*c = c - 19. Is c a prime number?
True
Let u(i) = 120*i**2 - 1. Is u(1) prime?
False
Is (314*2/4)/1 composite?
False
Let x = -324 + 1109. Is x composite?
True
Suppose -a = 20 + 151. Let v = a + 284. Is v a composite number?
False
Let u(l) = -5*l**2 + 1. Let f be u(1). Let m(c) = -7*c**3 - 3*c**2 + 4*c + 5. Let j(z) = z**3 - z - 1. Let n(q) = 6*j(q) + m(q). Is n(f) prime?
True
Let f be 3 + (0 - 0 - 0). Suppose -f*v = -x - 15, -3*x = v - 2*x - 1. Is v*(-2)/((-8)/35) prime?
False
Is (-2201)/(-3) + (-6)/9 a prime number?
True
Let s = -37 + 80. Suppose -3*d - 3*a - 13 + 130 = 0, 3*a = -d + s. Is d prime?
True
Let k(p) = p**3 - p**2 + 3*p - 2. Let x be k(3). Let r = x + -12. Is r a prime number?
True
Let v(m) = 7*m + m**3 - 6*m**2 + 5*m - 2*m**3 - 5*m + 9. Let s be v(-7). Is (-618)/(-5) - s/15 a prime number?
False
Let m(p) = p**3 + 6*p**2 - 1. Let k be m(-6). Let w = k + 4. Is w*3 - (-6)/3 a prime number?
True
Let j = -24 - -12. Let v be 6/(-4)*(-8)/j. Is (v - 0)*(-13)/1 composite?
False
Let s = -2 - -5. Suppose 3*y - 381 = y - 5*c, -2*c + 599 = s*y. Is y prime?
False
Let u(i) = 0*i + i + 33 - i - i. Is u(0) a composite number?
True
Let i(x) = x**2 + 2*x + 149. Is i(0) prime?
True
Let y be 15*42/15*2. Suppose -2*d + y = 2*d. Is d prime?
False
Suppose 2*c - 10 - 18 = 0. Suppose 0*m - c = -2*m. Suppose -12 = -n + m. Is n a prime number?
True
Suppose -3*y = y - 492. Is y a prime number?
False
Suppose -4*i + 4*z + 420 = 0, -5*i - z + 3*z + 540 = 0. Suppose -i - 53 = -j. Is j a prime number?
True
Let z(l) = 0*l - 10 + 3 - l. Let r be z(-8). Is (-2)/(r/((-435)/6)) a prime number?
False
Suppose 6*q = 3*q + 39. Suppose 0*n + 3*n = 6. Suppose -2*d + q = n*z - 19, -72 = -3*z + 5*d. Is z a composite number?
False
Let j(c) = -87*c - 26. Is j(-5) composite?
False
Is (-6690)/(-9) - 2/6 a composite number?
False
Let c(v) = -v**3 + 7*v**2 + v + 3. Let h(l) = 4*l**3 - 27*l**2 - 5*l - 11. Let i(s) = -9*c(s) - 2*h(s). Let n be i(9). Is n/(-6) - (-644)/12 a prime number?
True
Let x(u) = 12*u**2 - 2*u + 1. Let c = 9 + -8. Let k be x(c). Suppose -4*a = 4*s - 44, -a = s - 2*a - k. Is s composite?
False
Suppose -5*r + 9538 - 183 = 0. Is r composite?
False
Let t(h) = h + 131. Is t(0) prime?
True
Let b = 23 + -42. Let r = 108 + b. Is (-3 + 6 + r)/2 a composite number?
True
Suppose 4*v = 6*h - 3*h - 17, -5*v - 2*h - 4 = 0. Let r = 299 + -637. Is r/(-6) - v/3 composite?
True
Suppose 2779 = w + 4*w + 2*j, 2*w - 1117 = j. Is w a prime number?
True
Suppose -354 = 2*n - 5*n. Is n prime?
False
Suppose -5*z - 20 = 0, f + z + z = 4845. Is f a composite number?
True
Let w(k) = -58*k - 5. Let s be w(6). Let a = -240 - s. Is a prime?
True
Suppose -4*a + 2 + 14 = 0. Suppose 0 = -a*u + 2334 - 818. Is u composite?
False
Let i(l) be the third derivative of l**5/12 + l**4/12 + l**3/2 + 5*l**2. Is i(4) a composite number?
True
Suppose -4*l - 25 - 51 = 0. Let y = l - -28. Is y a composite number?
True
Let l be ((-21)/9 + 2)*0. Suppose l = -d - t + 42, -d - t + 80 = d. Suppose -n + 3*n = d. Is n a composite number?
False
Let h = 391 - -196. Is h a prime number?
True
Suppose 5*z - 921 = 134. Is z composite?
False
Let b be 14/49 - 12/(-7). Suppose -b*g - 2*u = -662, 2*g - u = 2*u + 667. Suppose 0 = 3*z + z - g. Is z composite?
False
Let k = 323 + -196. Suppose -k = -5*q + 198. Is q a prime number?
False
Suppose -6*r + 3*r = 9. Is (-344)/r + 1/3 a composite number?
True
Let o(z) = z**2 + 11*z - 1. Is o(-15) prime?
True
Let u = -26 + 81. Suppose -4*r - u = s - 246, 5*r + 191 = s. Is s composite?
False
Suppose 3*m - 11 = 5*i - 151, -i - 3*m + 46 = 0. Let u = 57 - i. Is u a composite number?
True
Let l(j) = 7*j + 5. Suppose -3*w - 3*r + 3 = -6, 15 = 4*w + r. Is l(w) composite?
True
Let m = 17 - 9. Let x(n) = -n**3 + 7*n**2 + 11*n - 5. Is x(m) a composite number?
False
Suppose -5*v + 4810 = -3*x, -7*v + 4815 = -2*v - 2*x. Is v a composite number?
True
Suppose -2*j - 3*d = j - 6, -8 = 4*d. Let o(r) = r + 1. Let p be o(j). Suppose 2*k = -p + 25. Is k composite?
True
Let q(j) = -32*j - 5. Let l(t) = -t**3 + 9*t**2 - 10*t + 8. Let h be l(8). Is q(h) a composite number?
False
Is 123/18 - 2/(-12) a prime number?
True
Suppose g + 832 = y, 2*y - 6*y + 3301 = 5*g. Is y composite?
False
Suppose 2*c - c = u - 318, 2*u - 638 = c. Suppose 2*r + 349 = -37. Let d = u + r. Is d prime?
True
Suppose 8*i - 13*i + 165 = 0. Is i composite?
True
Let m be 8 - 5/((-5)/2). Let q = m + 67. Is q composite?
True
Let j = -3 + 6. Suppose g - 2 = -j. Let l(x) = 47*x**2. Is l(g) composite?
False
Let d be (-2)/4*1*-12. Let v(l) = -l**3 + 4*l**2 + 6*l - 1. Let g be v(5). Suppose 0 = -5*k + d*z - 2*z + 61, -z = -g*k + 40. Is k a composite number?
True
Let k = 5 + -5. Suppose k = x + 4*x - 1085. Is x a prime number?
False
Let v = 6683 - 2896. Is v a prime number?
False
Let x(a) = 3*a**2 - a + 5. Let w be x(-4). Let s = w - 8. Is s a prime number?
False
Let b = -143 + 93. Let h be 2/(-7) + (-466)/(-14). Let v = h - b. Is v a prime number?
True
Is 297/3 + 16/(-8) composite?
False
Suppose -5*o + 3 = -2. Let a be 21 - ((1 - o) + 0). Let q = 64 - a. Is q a composite number?
False
Let w(j) = -j**2 + j. Let c be w(1). Suppose c*a = -5*a + 165. Is a composite?
True
Let l(t) = -109*t + 1. Let w be l(-1). Suppose -f = -6*f + w. Is f a composite number?
True
Let y(i) = 8 - 1 - 3 + 3*i - 2*i. Let n be y(-5). Is (-1)/(1/(-23)) + n prime?
False
Suppose 0 = -2*d - 68 - 396. Let a = 63 - d. Is a a prime number?
False
Suppose -2*v + 1321 = 5*u, u - 5*v + 1315 = 6*u. Let x(b) = 5*b - 1. Let m be x(1). Suppose 2*z = 6*z + 12, m*n + z = u. Is n a prime number?
True
Suppose -4*c = -2*c - 6. Suppose 0*k = -c*k + 9. Suppose -k*u = i - 198, 3*i - 170 - 34 = -3*u. Is u prime?
False
Let a be 1 + -5 + (-1 - 1). Let z = a + 4. Is 39/2 + z/4 composite?
False
Let m be (0 - -4) + -1 - 0. Is (-2 + 4 - -26) + m a prime number?
True
Let z(s) = s - 8. Let h be z(-6). Let n = 191 + h. Is n/5 + 8/(-20) a prime number?
False
Suppose -2*f + 5*f - 156 = 0. Suppose -3*n + b = 343, b = -2*n + f - 284. Let j = 236 + n. Is j a prime number?
False
Suppose 4*o = 4*b - 120, -4*o = -2*b - 3*o + 55. Is b a composite number?
True
Let d(g) = 6*g**2 - 6*g - 3. Let c be d(8). Let m = -220 + c. Is m composite?
False
Let w = -2289 + 3946. Is w a composite number?
False
Let c be (6/(-4))/((-15)/20). Suppose -c*l + 310 = 4*s, 131 = l + s - 27. Is l a composite number?
True
Suppose -4*v = -16 - 20. Let w(t) = 2*t**2 + 5*t. Let d be w(v). Is (-28)/(-12)*d/3 a composite number?
True
Let q(c) be the third derivative of -c**6/40 - c**5/15 - c**4/6 + 5*c**3/6 - 3*c**2. Is q(-4) prime?
True
Suppose -2*j - 253 = -w, w + j - 247 = -3*j. Is w a prime number?
True
Let l(d) = 32*d**3 - 4*d**2 + 4*d - 3. Let g be l(2). Suppose 8*j - 3*j - g = 0. Is j prime?
False
Suppose -3*v = v. Suppose v*o - 2350 = -4*i + o, 4*i - 4*o = 2356. Is i a prime number?
True
Is (-742)/(24/18*6/(-4)) a prime number?
False
Let k be 9/(-6)*80/(-12). Is k/(-4)*(-914)/5 prime?
True
Let p(c) = c - 7. Let x be p(7). Suppose 1 = t - 3. Suppose x = -j - 0*j - 3*o + 20, -3*o = -t*j + 95. Is j prime?
True
Let z be 224/6*3/(-2). Suppose 13*h = 10*h - 111. Let s = h - z. Is s a prime number?
True
Let o = 131 + 30. Is o a prime number?
False
Suppose c - 42 = -c. Suppose -l + 3 = v - c, 3*v = -5*l +