*a + 5076. Suppose u = 5*r + 2*h - 3*h, h = -2*r + 669. Is r prime?
True
Suppose 0 = -7*i + 3658 + 4175. Is i a prime number?
False
Let c(r) = r. Let i be c(5). Suppose -2*t - i = -3. Is (-12)/18*(t + -20) a composite number?
True
Let u = -112 - -561. Is u a prime number?
True
Let w(u) be the second derivative of -863*u**3/6 + 8*u. Is w(-1) prime?
True
Let n = 3 + 12. Is n a prime number?
False
Suppose 0*y - 2 = -y. Suppose 0 = 5*c - 7 + y. Suppose -x + 5 = c. Is x a composite number?
True
Suppose -9 = -2*y - 21. Let t be (-842)/y - (-6)/9. Suppose -4*w + w + t = 0. Is w a prime number?
True
Suppose -3*w = w - 5*p - 45, -4*p - 20 = 0. Suppose 3*u - 14 = w*u. Is -3*3/3*u composite?
True
Let u(p) = 18*p**2 + 3*p - 4. Let o be u(-4). Let k be (o/12)/((-1)/(-3)). Suppose -k - 25 = -3*i. Is i a composite number?
False
Let x(d) = d - 3. Let u be x(6). Suppose -2*v = -u*o - 65 - 9, o = -v + 37. Is v a composite number?
False
Let a = -15 + 9. Let d(g) = -g - 12. Let m be d(a). Is ((-22)/m)/(2/18) prime?
False
Let g = -11 - -2. Suppose 5*w - 14 = u + 3*u, w = -2*u + 14. Let m = w - g. Is m prime?
False
Let f(u) = -2*u**3 - 8*u**2 - 4*u - 6. Let h be f(-6). Let g = h - 73. Is g composite?
False
Suppose 2*g - 73 = 45. Suppose 4*x - 257 = g. Is x composite?
False
Let k(g) = g**2 - 2*g - 2. Let l be k(4). Suppose 4*j - l*a - 1678 = -4*a, -j + 420 = -a. Is j a composite number?
False
Let b be 2 - (4/(-2) + 1). Suppose 3*f + 981 = 3*h, 0*f = 2*h - b*f - 658. Suppose -3*o + 88 - h = -5*g, -5*g - 5*o + 235 = 0. Is g prime?
True
Let t be 3/(-9)*(-4 - -7). Is t - -1 - 330/(-6) a composite number?
True
Let l = 36 - -141. Is 3/(-3)*l/(-3) composite?
False
Let f be 18/9 - (1 + 9). Is (-1)/4 + (-50)/f a prime number?
False
Suppose 4*f - 60 = -f. Let s = f + -3. Is s a composite number?
True
Let n(z) be the first derivative of 10*z**2 - 3*z - 2. Is n(5) composite?
False
Is (-9)/12 + (-7379)/(-4) + 3 composite?
False
Is (-30)/(-120) - (-275)/4 a prime number?
False
Let a(k) = k + 52. Let y be a(0). Is 2 + -3 + y/2 composite?
True
Let r = -14 + 6. Let t be (r/(-6))/(1/6). Suppose 4*q = t*q - 124. Is q a composite number?
False
Let m = -18 + 6. Let z(r) = 3*r**2 + 13*r - 19. Is z(m) prime?
True
Let z(k) = k**2 + k. Let f be z(-1). Suppose -2*j = 3*u - 91, 3*j + j - 2*u - 222 = f. Is j a prime number?
True
Let k = 478 + -171. Is k composite?
False
Let i(g) = -g**3 + 11*g**2 - 14*g - 8. Let z be i(10). Let w = z + 12. Let x = w - -51. Is x prime?
False
Suppose -4*r + 4577 = -3*h + 4*h, 4*h - 5*r = 18413. Is h a composite number?
False
Suppose 2*p = 294 - 28. Is p a composite number?
True
Suppose -3*n + 3*x + 146 = -n, 3*n - 4*x = 218. Suppose n = 5*y - 0*y. Is y a composite number?
True
Let h = 25 + 30. Is h a composite number?
True
Suppose -5*u - 8 + 28 = 0. Let y be 4 - 2/u*0. Suppose -y*r = 4*w + r - 51, -3*r = w - 4. Is w a composite number?
False
Let r = 4 - 1. Suppose a + 4*k + 43 = -k, 5*a - r*k = -271. Is -1 - (1 - (2 - a)) a composite number?
False
Let d(a) = 54*a - 21. Is d(6) a composite number?
True
Is -191*(4/(-16) - (-6)/(-8)) a prime number?
True
Let j = 100 + -48. Let p = 185 - j. Is p/4 - 2/8 composite?
True
Is 36 - (2 - (-4)/4*-3) prime?
True
Suppose 4*m - 4*y + 502 = -2*y, -3*m - 4*y - 382 = 0. Let h = m - -253. Is h a prime number?
True
Let s = 26 + -13. Let j = 10 + s. Is j composite?
False
Let b(k) = 12*k + 2. Is b(10) a composite number?
True
Is (1115/(-2))/(5/(-10)) prime?
False
Suppose 3*n + 5 = -1. Let g be (-78)/15 - n/10. Is g/((-10)/(-6)) - -68 a composite number?
True
Let m(q) = q**2 - 3 + 2 + 0 + 38. Let x(n) = n**2 - 5*n. Let f be x(5). Is m(f) a composite number?
False
Is (-1 + 5007)*6/12 a composite number?
False
Let n = 183 + -56. Is n prime?
True
Let o(h) = 11*h**2 + 3*h + 3. Suppose 0 + 3 = -i + b, 0 = 5*i + 2*b + 36. Let y be o(i). Suppose 2*r - y = -r. Is r composite?
False
Let v be -1 - (0 - 1)/1. Suppose 0*o + 3*o + 15 = v. Is (-277)/o - (-4)/(-10) a prime number?
False
Let p(l) = -3*l**2 - 2 - 8 + l**3 - 5*l**2 + 2*l. Let y be p(8). Suppose y - 41 = -k. Is k a composite number?
True
Let q(k) = k**3 + 16*k**2 - 39*k + 5. Is q(-16) a composite number?
True
Suppose -18*m = -14*m - 1964. Is m composite?
False
Let i(w) be the first derivative of 24*w**2 - w - 2. Let d = -10 - -11. Is i(d) a composite number?
False
Let m = 36 + -25. Let j = 64 - m. Is j a prime number?
True
Suppose 5*g = -3*y + 43, -3*y + 5*y + 4*g = 32. Let k(q) = 1 + 6*q - 4 + 3*q. Is k(y) prime?
False
Suppose -h - 2*h = -9. Let v = 0 + h. Suppose -v*z + 3 + 8 = 2*i, -5*z + 21 = 4*i. Is i a prime number?
False
Let z = 35 - -2. Is z a prime number?
True
Let r = 408 - 91. Is r prime?
True
Let p(s) = s**2 - 4*s - 10. Let u be 4*2 - (-3 + 0). Is p(u) a composite number?
False
Is (4/(-8))/((-4)/3832) a composite number?
False
Let w(q) = -q**2 - 2*q - 3. Let i be w(-3). Let h be 46/12 + (-1)/i. Suppose 4*s = -h, -3*r + 2*s + 278 = -3*s. Is r a prime number?
False
Let s = -68 - -142. Is s a composite number?
True
Let o(v) = -v**3 - 2*v**2 - 3*v - 3. Let z be o(-4). Suppose -45 = 5*k - 8*k. Let s = z - k. Is s prime?
False
Let a be 0*2/6 + 2. Suppose 4 = 2*b + a, -3*m - 4*b = -865. Is m a composite number?
True
Let w(a) = a**3 - 1. Let l(k) = -2*k**3 + 8*k**2 + 2*k + 8. Let v(z) = l(z) + 3*w(z). Let f be v(-7). Is f/(-6)*(-15)/10 prime?
False
Let r be 4 - (-20)/(0 - 4). Let v(m) = -127*m**3 + m**2 + m. Is v(r) a composite number?
False
Suppose 0 = i + 3, -2*s = 3*s - 5*i + 1270. Let x = -100 - s. Is x a prime number?
True
Suppose 3*j - 9 = -0*j. Suppose -2*w - 28 = 2*g - 1198, -j*w + 2*g + 1740 = 0. Suppose -r = r - w. Is r composite?
True
Suppose 0 = 5*n - d - 8, 2 = -n - d + 3*d. Let j(c) = 4*c + 3. Is j(n) composite?
False
Let i be -65*(74/(-10) + 1). Let z = -285 + i. Is z prime?
True
Suppose -3*r + 2*r - 1494 = -3*j, -5*r - 1009 = -2*j. Is j a prime number?
False
Is (-1 + 4)*2786/3 + 3 a prime number?
True
Suppose -3*p - 6*j + 462 = -3*j, -p - 5*j = -142. Is p prime?
True
Suppose 3*s - 7*s + 40 = 0. Let y = s + -7. Suppose -y*t + 49 = 2*w, 3*w - 1 = t + 1. Is t a prime number?
True
Let r(b) = -b**2 + 12*b - 13. Is r(10) a prime number?
True
Let p(f) be the first derivative of -f**4/2 + f**3/3 - 2*f**2 - 3*f - 1. Is p(-4) composite?
False
Suppose 2*x = 4, -4*x + 186 = -0*j + 2*j. Is j a prime number?
True
Suppose -a + 2*m = 0, 0*a = -2*a + 3*m. Let l be 4*50*(1 + a). Suppose 255 = 5*d - 0*p - 5*p, 4*d - 2*p - l = 0. Is d a composite number?
True
Let h be ((-2)/(-3))/((-2)/(-654)). Suppose 215 = -0*i + i - 5*x, -i + h = -2*x. Suppose 6*u - 2*u - i = 0. Is u a prime number?
False
Let z(r) = -r**3 + 2*r**2 + 2*r - 5. Let j be 4/14 + (-40)/(-7). Let q = -10 + j. Is z(q) a prime number?
True
Let q(n) = -2*n + 21. Let h be q(9). Suppose -2*d + h*z = -73, -5*z + 170 = 4*d + d. Is d a composite number?
True
Let h be (-30)/9*(-18)/(-5). Let s = 55 + h. Let z = 62 - s. Is z a composite number?
False
Let i(o) be the second derivative of -o - 1/6*o**3 + 0 + 0*o**4 + 37/2*o**2 + 1/20*o**5. Is i(0) a composite number?
False
Let o = 61 + -121. Let r be 6/(-9)*o/8. Suppose 0 = -s + 122 + r. Is s a composite number?
False
Is (-290)/(-3) - 2/(-6) a prime number?
True
Let z(v) = v - 7. Let a be z(0). Let n be a/(((-6)/(-8))/3). Is (14/(-8))/1*n composite?
True
Let o = 8 - 4. Suppose -3201 = 2*m - 7*m - z, 0 = o*z + 16. Is m prime?
True
Suppose -5*l + 40 = -60. Suppose 0 = -a + l + 3. Is a prime?
True
Let z(u) = -u**3 + 6*u**2 + u + 7. Let w be (18/(-24))/((-2)/(-8)). Let k be 0 + 2 + 6 + w. Is z(k) a prime number?
True
Let q(x) = 4*x**3 + 2*x**2 - 7*x - 12. Let o(v) = -v**3 + v**2 + 1. Let f(w) = -5*o(w) - q(w). Is f(6) composite?
False
Suppose -5*b + 84 + 1286 = 0. Let v = 573 - b. Is v a composite number?
True
Let g(z) = z - 5. Let l be g(5). Suppose l*y = 3*y. Suppose 2*q - 125 - 57 = y. Is q prime?
False
Let g(z) = z**3 - 5*z**2 + 2*z + 5. Let s be g(4). Let o be ((-3)/(-4))/(4/(-16)). Is 36 - (s + 0)/o a composite number?
True
Let w = -61 + 282. Is w composite?
True
Let y(q) = -q**2 - 29*q + 37. Is y(-20) prime?
False
Suppose -r = 5*p - 185, -5*p + 5*r + 0*r + 185 = 0. Is p prime?
True
Let r be 3/((-6)/(-68)) + 1. Let x be 649/(-55) + 2/(-10). Let m = r + x. Is m a prime number?
T