
Let k(c) = 164*c - 16. Let l be k(11). Let t(x) = 2*x + 49. Let m be t(-22). Is m/25 - l/(-10) a prime number?
True
Suppose -4*m + 269 = -t - 0*t, 0 = 3*m + 5*t - 219. Let w be (-4)/6 - m/(-12). Suppose c + w*r = 612, -4*c - r + 1092 = -1261. Is c composite?
False
Suppose 6*v - 3*v = 47724. Suppose -v = 3*p - i + 73889, 4*i + 59888 = -2*p. Is p/(-42) + 6/21 prime?
False
Let z(k) = k**3 - 6*k**2 + 8*k - 12. Suppose 8*s = 13*s - 25. Let a be z(s). Suppose a*r - 245 = 244. Is r prime?
True
Let f = -194 - -1222. Suppose -22 = -4*p - 2. Suppose -t = -p*t + f. Is t a prime number?
True
Suppose -21*c = -19*c - 712. Suppose 5347 = 3*f - c. Is f composite?
False
Suppose -3*q = 9, t - 7*q = -9*q + 4745. Is t prime?
True
Let h be (-9)/(3 + 20/(-8)). Let v be (3192/h)/((-1)/(-3)). Let r = v - -981. Is r composite?
False
Let r(u) = -13*u**2 - 6*u - 7. Let o be r(10). Let s = 1136 - o. Is s a composite number?
False
Suppose 2*x - 4*u = -3*x + 25, 0 = x + 3*u + 14. Let i(m) = 54*m**3 - m**2 - 2*m + 2. Is i(x) composite?
False
Suppose 0 = -2*d + 6*d - 28. Let r = -338 - -673. Suppose 2*x - d*x = -r. Is x a prime number?
True
Let w(b) = -3166*b**3 - 3*b**2 - 5*b - 7. Is w(-2) a composite number?
True
Let s(a) = 340*a + 5. Let t be s(4). Suppose t = -11*u + 8350. Is u a composite number?
True
Let k(d) = 15*d**3 - 24*d**2 - 82*d + 5. Is k(16) a prime number?
False
Suppose 17*m = 21*m - 5*a - 63421, m + 2*a - 15865 = 0. Is m a composite number?
False
Suppose -11*m - 2*m + 50219 = 0. Is m a prime number?
True
Let n(z) = 15*z**2 - 15*z + 32. Let l be n(-13). Suppose -3*h + o = -262 - 1810, -4*h = -2*o - l. Is h prime?
True
Is 73182/4*(-4 + (-70)/(-15)) composite?
False
Let s be 4 + (-8)/(-4)*-14. Is 1*-1*(-4)/(s/(-2682)) prime?
False
Let v = 6776 + 7131. Is v prime?
True
Let n(d) = 6*d + 45. Let b be n(-7). Suppose 0 = -b*p - 6, -f + 5041 = 4*f - 3*p. Is f a prime number?
False
Suppose -8*q = -3*q. Suppose -2*h - 21 + 7 = q. Let w = h + 41. Is w composite?
True
Let j be (1 - 1)*(-1 - 0). Suppose j = -3*n + n - 2*p + 2, 5*p + 19 = n. Suppose n = -f, -l - 3*l + 840 = -5*f. Is l a prime number?
False
Let a be (0*(-1)/(-2))/1. Suppose 2 = -s, 2*l + a*l + 2*s - 4 = 0. Suppose 3*n - 1611 = l*j, 3*n + 6*j = j + 1584. Is n a composite number?
True
Let m = -9797 - -17277. Suppose 650 = -2*s + m. Is s a prime number?
False
Let f = -24 + 41. Suppose 13*g = f*g - 5660. Is g composite?
True
Let u(q) = q**2 - 11*q + 1. Let c be 48/36 + 25/(-3). Is u(c) composite?
False
Let m(u) = u**2 - 9*u + 13. Let x = 191 + -341. Let b be x/(-14) - 4/(-14). Is m(b) prime?
False
Suppose 5*m - 2*d + 9 = 0, -3*d - 2*d - 30 = 5*m. Let q = 3 + -3. Is q + 212 - (m - -4) prime?
True
Let v(q) = q**2 + q + 1. Let w(c) = c**2 - 2*c + 1. Let d(k) = -2*v(k) + w(k). Let l be d(-1). Suppose -7*u + l*u + 105 = 0. Is u composite?
True
Let i = -13 + 18. Suppose 3*a + 16 = -5*c, i*c - c = -20. Suppose a*q + 47 = f - 9, 2 = -2*q. Is f a composite number?
False
Suppose 8*j - 7*j - 3 = 0. Let w = j - -2. Suppose w*p = -a + 691, -165 + 22 = -p + a. Is p a prime number?
True
Let k(t) be the first derivative of -3*t**2/2 + 10*t - 3. Let j be k(4). Is ((-1)/j)/(4/1264) prime?
False
Let p be (6 + 0)*((-756)/7)/(-3). Suppose p = 2*j - 2122. Is j composite?
True
Let h(n) = 879*n**2 + 5*n + 5. Suppose -2*o + 3*z = 5*z + 14, 0 = -4*o + 4*z + 12. Is h(o) a composite number?
False
Let y = -74 - -76. Suppose -p = -2*t + 190, y*t + 3*p - 206 = 8*p. Is t a composite number?
True
Suppose 9427 + 13241 = 12*n. Is n a prime number?
True
Is 14 - 9 - (0 - 5214) a prime number?
False
Is (8/30)/2 + (-219002)/(-210) a composite number?
True
Let q = 2192 - 3196. Is q/2*1/(-2) a composite number?
False
Suppose 0*h + 4664 = 8*h. Is h a prime number?
False
Let s(p) = p**3 - 14*p**2 - 24*p + 32. Is s(19) prime?
True
Suppose -2*a + 6*a - 8 = 0. Is a - (387/(-1) - 2) a composite number?
True
Suppose 8 = p + p. Let x(c) = 7 - 8*c + 7 - p. Is x(-8) a prime number?
False
Let j = 25203 - 14006. Is j composite?
False
Let j = 1 + 10. Let m = j - 11. Is m + (-789)/(-3) + -4 a prime number?
False
Let o be 1 + (-5 - -1) - -70. Let t be o/2*(12 + -6). Let g = -38 + t. Is g a composite number?
False
Let z(w) be the third derivative of w**7/840 + w**6/36 + 7*w**5/120 - 5*w**4/24 - w**3/6 - w**2. Let f(t) be the first derivative of z(t). Is f(-6) prime?
True
Let d(r) = 43*r - 3. Let c be 4/6*(-27)/(-9). Let f be d(c). Suppose 4*b = -b - 3*q + 81, -5*b - 4*q = -f. Is b a composite number?
True
Suppose -1760 = -5*k + 35265. Is k a prime number?
False
Let l = 18268 + -485. Is l composite?
False
Suppose x + 256241 = 18*x. Is x a composite number?
False
Let x(y) = 20*y - 31. Let a(o) = o**2 + 6*o + 7. Let t be a(-6). Is x(t) a prime number?
True
Suppose 17*m - 747632 = 619287. Is m a composite number?
False
Suppose -5*c + 226170 = 3*b, b + 2*b + 4*c - 226167 = 0. Is b prime?
False
Let o = -7534 - -5024. Is (o/40)/((-1)/4) - 2 a composite number?
True
Is (14 - 10)/1 + 30022 composite?
True
Suppose k + 4*k + 3*a + 5 = 0, 2*k - 5*a + 33 = 0. Is 4/(-6)*1986/k composite?
False
Let h = 42702 - 25151. Is h a prime number?
True
Let d(x) be the second derivative of x + 0 - 5/6*x**3 - 4*x**2. Is d(-15) composite?
False
Let c be -1 + 1 + 8/(-4). Let a be (-1)/c - (-1110)/4. Let f = a + -145. Is f prime?
False
Suppose 0 = 4*z + 5*r - 0*r - 10222, -r = 3*z - 7672. Is z a composite number?
True
Suppose 52*h - 53*h + 1538 = z, -5*h = -2*z - 7725. Is h composite?
False
Let u(n) = 14*n - 5. Let s be u(8). Let o = -250 + s. Let q = o - -288. Is q prime?
False
Suppose 0 = -t - 3*q - 4 - 9, -4*q - 26 = -3*t. Suppose 315 = 3*i - 3*h, -t*i + 0*i - 2*h + 202 = 0. Is i composite?
False
Is (-1361)/((-10)/(-2) + (-270)/45) a prime number?
True
Let p(t) be the first derivative of 9*t**2/2 + 10*t + 14. Is p(5) composite?
True
Suppose 0 = -4*y + 488 + 396. Suppose 2586 = 5*i - c, 0 = 2*i - 5*c - 1260 + y. Is i composite?
True
Suppose 3*m = -15*m + 50742. Is m a prime number?
True
Let s = 268 - 390. Let c = -43 - s. Is c a composite number?
False
Let f(b) = -b**2 - 5*b + 3. Let h be f(-5). Suppose 4*m - 4248 = -2*s, 1 - 7 = -h*s. Is m prime?
True
Suppose 18*k = -2*y + 20*k + 19790, 8 = 4*k. Is y composite?
True
Let k = -12 + 14. Suppose x + k*x = 1266. Is x a prime number?
False
Let l(u) = 3*u**2 - 9. Let i be l(4). Let k = i + -21. Let z = 76 - k. Is z a prime number?
False
Let f(y) = -297*y - 4. Let u be f(-2). Let g = u + 574. Is (-2)/(-4)*(g - -2) prime?
False
Suppose 0*f = -4*q - 4*f - 20, 0 = 3*q + f + 5. Suppose q = -29*m + 31*m - 6730. Is m prime?
False
Suppose -8*n = -3*n - 755. Suppose -2571 = -2*j + n. Is j a prime number?
True
Let a(m) = m**3 + 19*m**2 - 85*m + 19. Is a(14) a composite number?
False
Suppose -6*c + 3*c = 3*g - 1512, g = -4*c + 510. Is g prime?
False
Let x(l) = l**2 - 12*l + 16. Let w be x(11). Suppose 0*t = -3*n + t + 1, w*n - 7 = -t. Is (-1 + 0)*(-123)/n a prime number?
False
Suppose 0 = -10*f + 4687 + 1623. Is f prime?
True
Suppose 16648 = 4*m - 0*m - 4*j, m - 3*j - 4160 = 0. Suppose -5*n = -5*l - 8400, 2*n - 5*l + 818 = m. Suppose q + 4*q - n = 0. Is q prime?
True
Let n(l) = -4*l**2 + l + 13781. Is n(0) prime?
True
Is 1/(-5) + 5*(-35384)/(-100) a prime number?
False
Suppose 6728 = 5*z - 4*a, 3*a = -3 + 12. Suppose -g + z = 3*g. Is g prime?
True
Suppose 2*b + 9 = 3*i + 31, 3*b = 4*i + 31. Let d(w) = 149*w**2 - 1. Let r be d(2). Suppose -4*u + m + 465 = 0, -b*u + 4*m + r = -0*u. Is u composite?
True
Let v(z) = 88*z**3 - 6*z**2 + 41*z - 11. Is v(8) prime?
False
Let k = 156 + -150. Is 13083/k + ((-12)/8)/(-3) a prime number?
False
Suppose 3*z + 644 = 2*z. Let c = 1431 + z. Is c prime?
True
Let g = 1415 + -102. Let j = g + -772. Is j a prime number?
True
Let u(w) = -w**2 - 13*w - 33. Let y be u(-9). Is ((-11532)/3)/(-1) + y a prime number?
True
Suppose 0 = g - s + 4, 4*s = 2*g + 8. Let l(o) be the first derivative of -11*o**4/4 - o**2 + 7*o - 1. Is l(g) a composite number?
False
Let q(z) = -9*z - 52. Let w be q(-17). Is w/(5/435*3) a composite number?
True
Suppose 5*l - 304 = 2751. Suppose -l = -2*q + 2211. Is q a prime number?
False
Suppose -2*y - 9 + 21 = 0. Suppose 0 = y*s + 232 - 2614. Is s a prime number?
True
Let w = -5880 + 28981. Is w a prime number?