71)/(-2) + 9/(-18)*1. Suppose -1187 + p = -4*m. Is m a prime number?
True
Let v be (594/36)/((-1)/(-218)). Let h = v + -1328. Is h a prime number?
True
Suppose -20*z = 545 - 105. Let v(d) be the first derivative of -d**3/3 - 26*d**2 + 31*d - 4. Is v(z) prime?
True
Let t be 2 - (1330/(-105))/((-4)/(-726)). Suppose -3*v = -2*o + 3187, 2*o + 7*v - 4*v - 3181 = 0. Let h = t - o. Is h composite?
False
Let f be 51*120*(-2)/(-3). Suppose 2398 = -4*r + d + 7841, -3*r = -3*d - f. Is r prime?
True
Suppose q - 22*q + 3966744 = 3*q. Is q a composite number?
True
Let q = 113 + -44. Suppose 4*r - 17 - 31 = -4*h, -4*h = -3*r - q. Is 7376/3 - (-5)/h composite?
False
Suppose 3*u = 2*g - 10077, 2*g = -u - 2*u + 10083. Let c = -2582 + g. Is c a prime number?
False
Let m(n) = n**3 + 5*n**2 - 8*n - 9. Let j be m(-6). Suppose 8*y = 3*f + j*y - 13243, -2*f - 5*y + 8862 = 0. Is f a composite number?
False
Let p = 593 + -584. Is 1/(-6 + p) + 48120/9 composite?
False
Let z be -4*(1 + (-28)/24)*3. Suppose -18 = z*w - 5*w. Is ((-15)/w)/((-3)/2778) prime?
False
Let q(r) = -17*r - 14*r + 52*r**2 + 165 - 158. Is q(6) composite?
False
Suppose -5*u + 6 = -2*u. Suppose u*q = -0*q + 3196. Suppose -505 = -5*n + 4*a + q, 0 = -5*n + 2*a + 2099. Is n a prime number?
True
Let z = 777 - 771. Let r(n) = -2*n - 1. Let g be r(-3). Suppose 0 = z*v - v + g*m - 3155, 5*m + 2560 = 4*v. Is v a prime number?
False
Suppose 9*j - 12*j = 0. Let b be (-208)/130*(5 - (0 + j)). Is -2*4/b - 1 - -259 composite?
True
Let g = -39523 + 84470. Is g composite?
True
Let g(z) = 3841*z + 65. Let q be g(3). Let f = -3445 + q. Is f a composite number?
True
Let s = -1666 - -2596. Let b = 3109 - s. Is b a composite number?
False
Let j = 36353 + 43438. Is j composite?
True
Let z = -15780 - -47826. Suppose -7*n + 8*n - 3*r = 10677, -4*r = -3*n + z. Suppose -6*u - 1320 = -n. Is u prime?
False
Let s(k) = -4475*k + 2463. Is s(-10) prime?
False
Let m(v) = v**3 - 5*v**2 - 7*v + 9. Let b be m(6). Let t be 12/(b*(-6)/2961). Let n = t - -4429. Is n a prime number?
False
Let t(k) = -1601*k - 22. Suppose -31 = 5*x - 4*w, -19 = 2*x + 12*w - 7*w. Is t(x) composite?
True
Let r be -2 - (-4)/12*-249. Let s = r - -90. Suppose s*d - 846 = 7979. Is d a composite number?
True
Let x(k) = 243*k**2 - 3*k + 3. Let u be x(2). Suppose z = -q + 514, -11*z + 7*z = 3*q - 2054. Let f = u + z. Is f prime?
True
Let x(h) = 4*h - 18. Let z be x(5). Suppose -20 = -2*b - z*b. Suppose 0 = -b*m - 4*c + 2*c + 404, c = 4*m - 331. Is m prime?
False
Let x(k) = -7*k - 118. Let j be x(-17). Is (j + -2 + 5 - -34555)/1 a composite number?
True
Let d(h) be the first derivative of 151*h**3/3 - 2*h**2 + 29*h + 116. Is d(-6) composite?
True
Let g = -34 - -37. Suppose 3*r - 2901 = 3*f, 3*r - f - 2904 = g*f. Let n = -99 + r. Is n prime?
False
Suppose -o = q - 1732389, -6929564 = -42*q + 38*q - 2*o. Is q prime?
False
Let h(g) = 47*g + 3. Suppose -85 = -11*a - 19. Let k be h(a). Suppose 3*i - k = 1476. Is i prime?
True
Let t(w) = 10*w**2 + w + 9. Let q(h) = h**2 - h - 1. Let u(z) = 5*z**2 - 5*z - 5. Let s(p) = 6*q(p) - u(p). Let m(f) = -6*s(f) + t(f). Is m(6) a prime number?
False
Let u = 1597 - -426. Suppose 0 = -53*k + 46*k + u. Is k a composite number?
True
Let z(g) = 294*g**3 + 4*g**2 - 43*g + 91. Is z(22) a composite number?
False
Suppose -4*f + 12 = 0, -4*m - 4*f + f + 53 = 0. Suppose -26*h + 27*h - 6 = 0. Suppose -m*g = -h*g - 235. Is g a prime number?
True
Let u be (1 + 2 - 1)/((-8)/(-60)). Let x(k) = 15*k + 121*k + 8 - u. Is x(5) a prime number?
True
Let v = -312635 - -476808. Is v composite?
False
Suppose -26*u - 132367 = 444027. Let f = -11116 - u. Is f prime?
False
Let n = 233 - 230. Suppose n*z - 3*w = 12095 + 15928, w - 9351 = -z. Is z a composite number?
True
Suppose -12616211 = -52*a + 2097449. Is a a composite number?
True
Let x be (4920/(-168) - -34) + 3/(21/2). Let q(o) = 23*o + 18. Let m(z) = -68*z - 53. Let f(l) = -6*m(l) - 17*q(l). Is f(x) a composite number?
False
Is (18/36)/(4*(-4)/(-1694368)) prime?
False
Let m(k) = 78692*k + 641. Is m(20) prime?
False
Let v be -1*130655/(-28) - (-1)/(-4). Let k = v + -1983. Is k a composite number?
False
Let c(g) be the second derivative of g**5/20 + g**4/12 - g**3/3 - 23*g**2/2 + 65*g. Is c(7) a composite number?
True
Let y be (1 - (-3)/(-2))/((-63)/1134). Let g be y/(-6)*(-3469 - (-3)/1). Suppose f + g = 4*f + 4*s, 2*f - 3466 = -s. Is f composite?
False
Suppose -3*b + 1521 - 152 = t, -2*t + 2748 = b. Suppose -4*f - 4*u = -2240, -311 - t = -3*f - 5*u. Is f composite?
False
Let x be -6 + 156/21 - 8/(-14). Let n(z) = 3*z**2 - 2*z**x - 8 + 111*z + z**2 - 98*z. Is n(13) a composite number?
False
Suppose -4 = 4*d, 0 = -u + 5*u - 5*d - 5625. Suppose 2*i = -l - l - 1910, 2*i + 4*l = -1904. Let o = i + u. Is o prime?
False
Let n(r) = 3*r**2 + r**3 - 8*r - 15*r**2 + 9*r**2 + 4. Let p be n(7). Suppose -y - p = -2*y - 2*l, y - 3*l = 119. Is y a composite number?
True
Let m = -120509 + 215740. Is m a composite number?
False
Let f = 123059 - 57642. Suppose 29*q - f = -16436. Is q a prime number?
False
Suppose -2*q - 33*n + 32*n = -318680, q - 5*n - 159307 = 0. Is q composite?
False
Suppose 70*w = 63*w + 5922. Suppose 2*f + w + 6974 = 2*d, 0 = -3*f - 9. Is d prime?
True
Let w(z) = -3*z**3 - 11*z**2 + 21*z + 4. Let h be w(-12). Let p = -1841 + h. Is p composite?
False
Suppose 0 = -3*o + 7*o - 3424. Suppose -4*g + 1 = 2*b - 31, b = g - 8. Suppose g*x + o = 12*x. Is x a prime number?
False
Let c(g) = 34*g**3 - 8*g**2 - 339*g - 49. Is c(24) prime?
False
Suppose 10004 = -3*n - 4*p, 2*n + 16665 = -3*n - 5*p. Let x = n - -5105. Is x prime?
True
Let h = -13 + 15. Suppose 1055 = p + h*v - 847, -5726 = -3*p - 2*v. Suppose 0 = -5*k + 5*w + p + 973, 0 = 5*k - 4*w - 2881. Is k prime?
False
Let t(k) = -379*k**2 - 3*k. Let v be t(-1). Let c = 2054 + v. Is c a prime number?
False
Suppose -3066 = 22*t + 15436. Let k = 1362 - t. Is k a prime number?
True
Suppose -154317 + 1525972 = 41*l. Is l composite?
True
Let d = -127936 - -434085. Is d prime?
True
Suppose 76*z - 1276 - 50830 = 21994. Let t = -529 + 353. Let r = z + t. Is r prime?
False
Let l(c) = -2*c**3 + 18*c**2 - c + 47. Let w(o) = o**3 - 9*o**2 + o - 24. Let s(z) = 3*l(z) + 7*w(z). Let d be (-12)/(-66) + (-238)/(-22). Is s(d) prime?
False
Let g = 82456 + -22379. Is g prime?
True
Let b(z) = 7*z**3 + z**2 + z - 2. Let s be b(-2). Let m = s - -430. Suppose -6*q = -8*q + m. Is q prime?
False
Suppose 7*b + 34322 = -202. Let c = -1886 - b. Is c a prime number?
False
Suppose 5*r + 2*b = 13, -4*b - 4 = -r + 3. Suppose 7*d = r*d + 3148. Is d prime?
True
Let t = -1098029 - -2101740. Is t prime?
True
Let b = -2345 + 4681. Suppose 2*o - 2*m - 17328 + b = 0, o - 7511 = -4*m. Is o a composite number?
False
Suppose -625680 = -45*t + 50*t. Is ((-40)/12)/2 - t/27 a composite number?
True
Let l = -51 - -53. Let d be l/(-9) - 176/18. Is 4/d + (-318)/(-10)*13 a composite number?
True
Suppose -3*v = 5*f + 9087, 2*v = -3*f - 3118 - 2335. Let o = f + 964. Let m = o + 1338. Is m a prime number?
True
Suppose -69*j = -64*j - 115. Suppose -27*p = -j*p - 28068. Is p prime?
False
Let m = -1713 - -2922. Let z(j) = -j**2 + 13*j - 9. Let k be z(12). Suppose 0*o = k*o - m. Is o a composite number?
True
Let w(h) = h**2 + 8*h + 20. Let a be w(-5). Suppose -9*t + a*t + 1496 = 0. Suppose t - 81 = n. Is n prime?
True
Let m(g) be the second derivative of -3/2*g**3 - 10*g + 0 + 47/2*g**2. Is m(-16) prime?
True
Suppose -13*z + 188 = 6. Suppose z*c = 52873 + 18219. Is c prime?
False
Let n be ((-3)/(5 + -8))/((-1)/3249). Let f = n + 5686. Is f a composite number?
False
Let q(g) = 378*g**2 + g + 2. Let h = 5 - 6. Is q(h) a prime number?
True
Is ((6949470/(-40))/(-33))/(1 + 3/(-4)) composite?
False
Let p(r) = -6641*r + 10. Let o be p(-3). Let i = o - 13754. Is i a prime number?
False
Let i be ((-20)/(-6))/(2*2/6). Suppose -3*l - 4*v = i - 30, 3*l - v - 5 = 0. Suppose -n - l*n = -3508. Is n a composite number?
False
Let u(c) be the first derivative of -c**4/4 - 5*c**3/3 - 15*c**2/2 - 14*c + 1. Let f = -1566 + 1555. Is u(f) a composite number?
False
Let a(u) = -46*u**3 - 8*u**2 - 7*u - 38. Is a(-7) prime?
False
Let b(z) = -227*z + 992. Is b(-7) a composite number?
True
Suppose 5*s - 48 + 18 = 0. Suppose -j = -3*x - 6, -2