prime number?
False
Let q(p) = -p**3 + 3*p**2 - 2*p. Let x be q(2). Suppose 4*m - 556 - 96 = x. Is m composite?
False
Let j be (9/(-2))/((-3)/6). Let m = -17 + j. Is (-870)/m + 8/32 prime?
True
Let n(x) be the second derivative of x**5/20 + x**4/4 - x**3 - 7*x**2/2 + 2*x. Let s(v) = -v**2 - v + 1. Let z(f) = -n(f) - s(f). Is z(-4) a composite number?
True
Suppose 2012 = 4*j - 5*b, -2*j + b + 0*b = -1006. Is j prime?
True
Suppose 0 = -0*h - 4*h + 1604. Is h a prime number?
True
Suppose 657 = 11*t - 2225. Is t prime?
False
Suppose 0 = -2*s + 5 - 17. Is 13/(1 + s/7) a prime number?
False
Let t(i) = i**2 + 2*i - 5. Let v be t(-4). Suppose 3*r = -2*r + 5*l + 40, r - 20 = 5*l. Suppose -r*p + k + 114 = 14, 0 = -v*k + 15. Is p prime?
False
Is 382/(-6)*(2 + -5) a composite number?
False
Suppose -t + 0*t - 143 = -5*z, 0 = -5*z - 2*t + 134. Suppose -4*a = 3*g - 0*a + z, 2*a + 10 = -g. Let b = 35 - g. Is b a prime number?
True
Let r be ((-140)/30)/(2/(-132)). Suppose 2*o - 5 + 1 = 0. Suppose o*l = 6*l - r. Is l prime?
False
Let u(o) = -o**2 + 3*o + 7. Let w(n) = -4*n**2 + 9*n + 20. Let i(x) = 8*u(x) - 3*w(x). Suppose 0*z + z - 3 = 0, 3*a + 3 = -4*z. Is i(a) a prime number?
False
Suppose q - 146 = 3*q. Let t = q + 126. Is t composite?
False
Let s be ((-8)/20)/(3/(-30)). Suppose -c + s*c = 741. Is c a prime number?
False
Suppose 4*o - 24 = -8. Let m(j) = -o + 0*j + 3*j + 5. Is m(4) prime?
True
Let m be (2/3)/((-5)/(-90)). Is (44/m)/(2/174) a composite number?
True
Suppose -3*l = -5*l. Suppose 0 = -2*m - l*m + 14. Let o = 7 + m. Is o prime?
False
Suppose 492 = 7*o - 89. Is o composite?
False
Let y(d) = -d**2 + 11. Let a be y(0). Let r = -7 + a. Is r a prime number?
False
Suppose 28 = 2*g - 0*g - 4*s, -36 = -4*g + 4*s. Suppose -u + 15 = u + x, u - g*x - 3 = 0. Suppose 0 = -u*a + 2*a + 155. Is a a composite number?
False
Suppose m - 3*m = -290. Is m a prime number?
False
Let v be 4/14 - (-2)/(-7). Suppose 3*b - 4*t - 26 = 0, 0 = -t - 1 - 4. Suppose b*w + 33 - 95 = v. Is w a prime number?
True
Suppose 5*o + 21 + 34 = -5*w, 4*w - 4*o + 4 = 0. Let u(r) = 6*r + r**2 + 8 - r + 0*r**2. Is u(w) a prime number?
False
Let u be 2/((0 + 2)/1). Let r(w) = 80*w - 1. Is r(u) a composite number?
False
Let y be (-64)/(-14) - (-12)/(-21). Suppose u - 40 = 4*d, 0 = -4*u + 2*d + 3*d + 182. Suppose y*o - 100 = u. Is o a composite number?
False
Suppose 3 = l - 0. Suppose 2*f = 2*n + 10, -f + 2*n + 16 = l*f. Is f a prime number?
True
Suppose 2*h = h + 2*z + 403, -h + 4*z + 395 = 0. Is h a prime number?
False
Let l = 7 + 2. Is l - 5/(10/(-4)) prime?
True
Suppose g = -4*g - 45. Is (6/g - 0)*-39 a prime number?
False
Let a(z) = -121*z + 44. Is a(-5) prime?
False
Let j(y) = -24*y**3 + 3 - 3 + 1. Let x be j(-1). Suppose -4*h = h + x, -70 = -b + 3*h. Is b a composite number?
True
Suppose 0 = 4*d + d - 5, 0 = -3*j - 2*d + 8. Let s be (2 - j) + (-6)/(-2). Let l = s + 12. Is l a composite number?
True
Suppose -4*o = -2*k + 4430, -2*k + 3*o = 5*o - 4430. Is k prime?
False
Let p = 7 + -6. Is 276/9 + p/3 composite?
False
Let z = 168 + -88. Let r(f) = f**2 + 7*f - 5. Let d be r(-8). Is z + (-3)/d + 0 a prime number?
True
Let d(v) = 19*v - 88. Is d(21) a composite number?
False
Let w(v) = v - 4. Let r be w(7). Suppose -5*f = -r*f + 118. Is (f/(-1 - -2))/(-1) a prime number?
True
Let n(u) be the third derivative of u**6/60 - u**5/20 + u**2. Let d be n(2). Is 30/d*(-24)/(-20) composite?
True
Suppose 4*c + 6*y - 56 = 8*y, 3*c = -2*y + 49. Let l(s) = 12 - 1 - c*s - 1. Is l(-7) prime?
False
Let n be (-5)/(-3)*(0 + 3). Let y(c) = 29*c + n - 2 - 1. Is y(3) a prime number?
True
Suppose 308 = n - 5*l, 0*l - 3*l = -n + 302. Is n a composite number?
False
Suppose g - 2 = -g. Suppose -3*f + j + 5 - 10 = 0, 2*f - 4*j + 10 = 0. Is g/(f/(-53) + 0) composite?
False
Let j(f) = f - 3. Let g be j(7). Let l(o) = o**3 - 2*o**2 + 7*o - 5. Is l(g) composite?
True
Let t = -20 + 32. Is t/(-18) + (-95)/(-3) a composite number?
False
Let n(z) = z**2 - 3*z + 4. Let r be n(4). Suppose l = r - 34. Let x = l - -48. Is x prime?
False
Suppose -4*f + 2*f - 5*t = -19, 5*f + t - 13 = 0. Suppose -63 = f*i - 5*i. Is i a composite number?
True
Is -1811*(-1 + -3 + 3) prime?
True
Suppose -2*g = 2*i + 248, -3*i + 0*i + 4*g - 351 = 0. Let o = i - -270. Is o a prime number?
True
Suppose k = 4*k + 303. Let b = k - -156. Is b composite?
True
Suppose 7*d - 2*d = 1895. Is d prime?
True
Suppose -3*j - r + 0*r = -2670, -4*j + 4*r = -3544. Is j prime?
False
Let b be 6/8 - 68/(-16). Suppose b*d + 2*x = 95, 5*x - 38 = -2*d + 3*x. Is d prime?
True
Let b(q) = -11*q - 6. Let y(a) = -a - 1. Suppose z = -3*k - 7 + 24, -4*k + 2*z = -6. Let c be y(k). Is b(c) a composite number?
True
Is (47 + -3 + 3)*7 a prime number?
False
Suppose 2*v + g + 402 = -3*g, -3*g = -3. Let x = -106 - v. Is x composite?
False
Let q(f) = -f - 1. Let i be q(2). Let v be ((-2)/2)/(1/i). Suppose -13 = -3*u + w, 5*u + 0*u - 15 = v*w. Is u prime?
False
Suppose -3*q - 1 + 3 = -m, 8 = -4*m + 5*q. Is (3/(-6))/(m/148) prime?
True
Suppose 6*g = 11*g - 1575. Suppose 3*o - o - 5*w - g = 0, 3*o - 3*w = 450. Is o a composite number?
True
Is ((-3694)/(-8))/((-19)/(-152)) a composite number?
True
Suppose -u + 183 = 5*w, 4*w = -0*u + 3*u - 530. Let f = u - -1. Is f a prime number?
True
Let h(l) be the first derivative of l**3 - l**2/2 + 1. Is h(-2) a prime number?
False
Let d = 1 + 0. Let p be 2 - 0 - (2 - 3). Suppose 0 = 3*w + 16 - d, w + 23 = p*b. Is b prime?
False
Let a(q) = -2*q**2 + 4*q + 1. Let l be a(3). Let j be 4/(-2) + 0 - l. Suppose 2*h = j*g + 182, -23 = -2*h - 2*g + 159. Is h a prime number?
False
Suppose -2*a - 1 = 3*n - 2, -3*a - 21 = -3*n. Suppose -n*f + 5*f - 182 = 0. Is f prime?
False
Is (20/30)/(4/26022) a prime number?
True
Let k(x) = -42*x + 1. Let b be k(-6). Suppose 3*d = 1582 - b. Is d prime?
True
Let b = 2385 - 1188. Suppose -289 = -2*m + b. Is m composite?
False
Let q(d) = -d**2 + 7*d - 5. Let o be q(5). Suppose o*i = 78 + 152. Is i prime?
False
Suppose 0 = -2*i + 17 + 1207. Suppose -4*h + 656 = -i. Is h composite?
False
Let s = 226 + 121. Is s prime?
True
Let f be (-1)/(1/(-5))*1. Suppose w + 248 = f*w. Is w composite?
True
Let i(n) = 11*n + 0*n**2 - 5*n - n**2. Let z be i(6). Let g(v) = -v + 26. Is g(z) a composite number?
True
Let s(h) = -h**3 - 6*h**2 - h - 7. Let w be s(-6). Is 1 + 22 - (-1 + w) a prime number?
False
Let h be 5 - (-3)/(-1) - -5. Suppose -565 = -3*f + h*w - 3*w, -3*f - 5*w + 583 = 0. Is f prime?
True
Let p(q) = q**3 + 2*q**2 - 5*q - 2. Let x be p(-3). Is (-447)/9*(1 - x) a prime number?
True
Let k = -9 + 5. Let f = -1 - k. Suppose 0*h = f*r + 3*h - 141, -3*r = 2*h - 145. Is r a prime number?
False
Let r = 2991 - 1910. Is r composite?
True
Suppose 2*l + 48 = v, 3*v = -l - 4*l - 109. Let h = l + 46. Is h a composite number?
False
Let x be 2/(-4) - (-25)/10. Let z be (-2)/1 + x - 0. Suppose -3*m - m + 76 = z. Is m prime?
True
Let m be ((-4)/2)/(2/(-3)). Suppose 5*h - 2*n = 4*h + 295, -4*n = m*h - 935. Is h a composite number?
True
Is (-18)/4*(-670)/15 a prime number?
False
Is (0 + 2)/((-22)/(-16291)) composite?
False
Let w = -9 - -1. Is ((-140)/(-6))/(w/(-12)) a prime number?
False
Let c(w) = w**2 - 8*w + 5. Let p be c(8). Suppose 49 = -p*a + 179. Is a a composite number?
True
Let f(i) = -i**3 - 13*i**2 + 22*i + 19. Is f(-15) a prime number?
True
Let s = -2 - -4. Suppose 0*j + 106 = s*j. Is j a composite number?
False
Suppose t - 469 = -4*f + 2*t, 3*f - 2*t = 348. Is f prime?
False
Let d(b) = 8*b**2 + 23*b + 1. Is d(18) a prime number?
False
Suppose -2*v = -3*n + 37, n - v - 2 - 11 = 0. Suppose 4*k - 3*k = 3*p - 4, -p = -2. Suppose -5*d = -2*s + n, -k*s - 3*d + 48 = s. Is s composite?
False
Let t(n) = n**2 + 3*n + 3. Let d be t(-3). Suppose 5*l = d*b - 376, 0 = -b + l + 127 - 1. Is b a prime number?
True
Let s = 264 + -1. Is s prime?
True
Let u(v) = v**2 - 5*v - 5. Suppose 3*x - 18 = l, -29 = -2*x - 5*l - 0. Is u(x) a composite number?
True
Suppose 6*i = 3*i + 36. Is 45/2 + (-6)/i a prime number?
False
Is (-14)/1*(-254)/4 a prime number?
False
Suppose -9 = -3*i - 3*o, -2*i - o + 1 = -2. Suppose a - 40 - 17 = i. Is a prime?
False
Let f(p) = p**2 + 1. Let z(y) = -2*y + 5. Let r(b) = f(b) - z(b). Let a be r(4). Suppose -4*u + 120 = -a. Is u prime?
F