0*w + 511 = q*n + w. Is n a prime number?
True
Let n = 847 - 689. Is n a composite number?
True
Is (2 - 3)*(-65131)/11 a prime number?
False
Suppose -9*z + 29548 = -4*z - o, 3*z - 17715 = -4*o. Is z prime?
False
Let q(a) = a**3 + 6*a**2 + 2*a + 3. Let w be q(-4). Let x = -13 + w. Is 318/x - (-12)/42 a composite number?
False
Let c(f) be the second derivative of 1/20*f**5 + 7/12*f**4 + 0 - 5*f + 0*f**3 + 5*f**2. Is c(-7) a composite number?
True
Suppose -f - 2*o + 7*o - 30 = 0, 2*f + 3*o - 5 = 0. Let j(u) = -777*u - 7. Let p be j(f). Is p/26 - (-10)/(-65) composite?
False
Suppose 4*b - 3*o - 60946 = 0, 2*b = -0*o + 4*o + 30478. Suppose -16*h = -21*h + b. Is h a composite number?
True
Suppose 2*d - 120 = 382. Is d a composite number?
False
Suppose 3*b - 11 = -2. Suppose 904 = 3*y - 2*h, -4*h - 313 + 1241 = b*y. Suppose -2*d + y = -130. Is d composite?
True
Let a(x) = 3*x**3 + 10*x + 12. Let n(q) = -q**3 + q**2 - 1. Let f(s) = -a(s) - 5*n(s). Is f(6) prime?
False
Is 4162*1/((-10)/(-15)) a prime number?
False
Suppose -10576 + 59344 = -6*z. Is z/(-36) + 0 + 2/9 prime?
False
Suppose 9*i - 4*i - 2*t = 7689, -4*i + 6142 = 3*t. Is i composite?
True
Let a(z) = 55*z**2 - 32*z - 81. Is a(22) a prime number?
False
Is (-649640)/(-110) + (-8)/(-44) a composite number?
True
Suppose 0 = 4*c, c = -5*q - 3*c. Suppose q = -16*h + 8980 + 19996. Is h a prime number?
True
Let p(b) be the second derivative of -b**4/6 - 3*b**3/2 - b**2/2 - 2*b. Let x be p(-4). Suppose x*u = 218 + 415. Is u a composite number?
False
Suppose 3*p + 1827 = 10*p. Suppose p = 2*v - n, 0*v - 3*v + 389 = -4*n. Is v composite?
False
Suppose k - 161 - 39 = 0. Suppose 5*m + 0*d + 5*d + k = 0, 0 = 5*d + 20. Let r = -3 - m. Is r composite?
True
Suppose -2*s = -4, -1226 = -4*u - 5*s + 1572. Is u a prime number?
False
Let o(n) = -1380*n - 11. Is o(-7) composite?
False
Suppose -59*q + 1462281 = 398098. Is q a prime number?
False
Let x be 495/60*32/6. Let s = 303 - x. Is s composite?
True
Let f be (-5 + 3)*((-1219)/2 + -2). Let p = -726 + f. Is p a prime number?
False
Suppose -o - 132 - 173 = 0. Let i(m) = -m**3 - 4*m**2 + 11*m - 10. Let k be i(7). Let y = o - k. Is y a composite number?
False
Suppose 4087734 = -18*b + 60*b. Is b a composite number?
False
Let v = -14054 + 27889. Is v a composite number?
True
Let l(i) = 3*i**2 - 5*i - 20. Let d be l(-6). Let x = d + -83. Is x a composite number?
True
Let i = -1231 - -2490. Is i composite?
False
Let r be (-3 - (-12)/3) + 2. Let b = 730 - 443. Suppose -2*z + 5*f = -5*z + b, -344 = -4*z + r*f. Is z a composite number?
False
Suppose 4*z = -9910 + 1650. Let f = 832 - z. Is f a composite number?
False
Let h be ((-386)/(-6))/((-1)/(-78)). Let i = h - 2769. Is i composite?
True
Let a = -78 - -289. Is a prime?
True
Let x = 70070 - 43123. Is x composite?
False
Let u be (0/6)/(-3 - -1). Suppose -l + 460 + 316 = 3*g, u = -3*g - 4*l + 791. Is g prime?
True
Let c = 40 + -32. Suppose -3992 = 4*o - c*o. Is o a prime number?
False
Suppose 0 = -3*d + 4*d + 2*g - 237, 0 = 4*d - g - 912. Let m = -116 + d. Is m prime?
True
Let n(u) = 5*u**2 + u + 58. Let r(v) = 6*v**2 + v + 58. Let a(p) = 5*n(p) - 4*r(p). Is a(0) a prime number?
False
Let q(j) = -80*j**3 - 3*j**2 - 5*j + 10. Is q(-7) composite?
True
Suppose -4*k + 72 = -k. Let f be 2/2*k/4. Is ((-1128)/(-36))/(4/f) composite?
False
Let p(t) be the second derivative of t**3/6 + t**2 - 7*t. Let x be p(-2). Suppose x = -3*v + 4*a - 2*a + 83, -3*a - 16 = -v. Is v a composite number?
False
Let k(o) = -3*o**3 - o**2 + 3*o + 1. Let a be k(-2). Suppose -a*n = -18*n. Suppose n = 3*g - 1083 - 1344. Is g a composite number?
False
Suppose 5*z - 558 = -b, 2*z + 220 = 4*z + 2*b. Suppose z = -3*h + 577. Is h a prime number?
False
Let x = -19095 + 38216. Is x prime?
True
Suppose -8015 = 2*m + x - 0*x, 3*m = 2*x - 12026. Let k = 6203 + m. Is k composite?
True
Suppose 0 = -15*m + 8*m + 14567. Is m a composite number?
False
Is ((-6)/(-18))/((-5)/(-87135)) prime?
False
Suppose 0 = -h - 4, 5*g - 2*h - 40317 = 42036. Is g prime?
False
Let o = 542 - -159. Is o a prime number?
True
Let o = 184 + 427. Is o a prime number?
False
Suppose 47 = 5*q - 23. Let d(w) be the second derivative of w**4/12 - w**3 + 17*w**2/2 - 2*w - 28. Is d(q) a prime number?
False
Let u(l) = l**2 - 7*l - 4. Let b be u(8). Suppose -o - b*q + 12 = 0, 21 = 2*o - 0*o + 5*q. Suppose c - 2*s - o = 87, -c + 123 = 5*s. Is c prime?
True
Is (-144)/36 - (-5)/((-15)/(-3534)) a composite number?
True
Let w = 177058 - 1905. Is w prime?
False
Let g(j) = 113*j**2 - 18*j - 4. Let u(q) = q**3 - 16*q**2 + 2*q - 29. Let y be u(16). Is g(y) a composite number?
True
Let t = -745 + 1628. Is t composite?
False
Let z(q) be the second derivative of q**5/20 + q**4/3 + q**3/6 + 17*q**2/2 + q. Let k(f) = -f**2 + f - 1. Let h(m) = -6*k(m) - z(m). Is h(-5) prime?
True
Is 8 + ((-178)/(-3))/(4/42) prime?
True
Let q = 14 - 9. Suppose q - 17 = -4*h. Suppose 0 = 4*l - 0*l + 2*g - 1186, 3*g - 894 = -h*l. Is l a composite number?
True
Let w be (6 + -2 - 3) + 1. Suppose -z - 14 = 5*h, -2*z + 0*h - w*h = -4. Suppose -422 = z*m - 8*m. Is m prime?
True
Suppose 111*y - 3849776 - 6989929 = 0. Is y a composite number?
True
Let l = -9 + 11. Suppose -b + 407 = 2*t, 200 = t - l*b - b. Is t composite?
True
Let n(d) = d. Let v be n(4). Suppose -u = -v*r + 1232, 1769 - 218 = 5*r - 4*u. Is r composite?
False
Suppose -22138 = -v + 4*c - c, 0 = -5*v + c + 110704. Is v prime?
False
Is 5919*(4/9 - (-4)/18) composite?
True
Suppose -j = 3*j - 20. Suppose 2*w + 5*k - 760 = 1942, -5*k + 6785 = j*w. Is w a composite number?
False
Let a(b) = -b**3 - 10*b**2 - 8*b + 11. Let t(h) = -h - 28. Let q be t(-19). Let k be a(q). Suppose -2*j = 8, k*s - j - 60 = -3*j. Is s a prime number?
False
Let d(f) = -3*f - 12. Let b be d(-4). Suppose -23*g + 25*g - 5654 = b. Is g prime?
False
Suppose -4*k = 4 - 16. Let b(f) = 28*f - 1. Is b(k) prime?
True
Suppose 5*a - o + 1 = -7, -2*o = -3*a - 9. Is a/((-3)/8373*1) + -2 prime?
True
Suppose 148265 = 3*s - 13*d + 9*d, -148267 = -3*s + 2*d. Is s a prime number?
False
Suppose -3*m - 3*i + i + 10773 = 0, -2*m + 2*i + 7192 = 0. Is m prime?
True
Let p = -369 + 237. Let i be ((-2)/(-6))/((-2)/p). Is i/3*30/4 prime?
False
Suppose 15*i - 317665 + 106600 = 0. Is i prime?
True
Let k be 35/5 - 10 - (366 - 0). Let p = k + 530. Is p composite?
True
Let g be (-4)/16 + (-20)/(-16). Suppose j + q + 14 = 6*j, -q = -g. Suppose 4*r - 1904 = 4*m, m + 1082 = j*r - 352. Is r a prime number?
True
Let a(n) = n**3 - 7*n + 34*n**2 - 53*n**2 + 24*n**2 - 4. Let c be a(-6). Is (-1506)/(-2)*(-1 + c) a prime number?
False
Suppose 2*k - 4816 = -3*b, 1604 = b - 0*b + k. Suppose 0 = -5*f + f + b. Is f*(-3)/(-6) - -2 composite?
True
Suppose -39*k = -689550 - 62487. Is k a prime number?
False
Let t(p) = -43*p**3 - p**2 - p - 4. Let i = -20 - -17. Is t(i) composite?
False
Suppose -72 = -2*s + 3*b + b, -3*b - 12 = 0. Is 12530/s + 2/(-4) composite?
True
Suppose 5*v + s + 858 = -229, -5*s = 2*v + 421. Let m(g) = 4*g**2 - 17*g + 10. Let t be m(11). Let f = v + t. Is f composite?
False
Suppose -4*r + 15 = 4*z + 3, 3*z - r = -3. Suppose -65*m - m = -198. Suppose m*s - 156 - 603 = z. Is s prime?
False
Suppose 6*l + 12388 = 4*q + 4*l, 0 = 4*l - 8. Is q composite?
True
Let d = -17 - -20. Suppose 2*i - v - 32 = 0, 2*i - 52 = -d*v - v. Let o = 37 - i. Is o composite?
False
Suppose 2*y = c + 33, 4 + 8 = y - 2*c. Let f = y - 15. Let o = 92 - f. Is o a prime number?
True
Let g(w) = 4*w**3 + 3*w**2 - 3*w - 3. Let q(k) = -8*k**3 - 7*k**2 + 7*k + 6. Let o(l) = 13*g(l) + 6*q(l). Let i be o(2). Suppose 2*t = t + i. Is t composite?
False
Is (-4)/(-10) + 41139/15 a prime number?
False
Suppose -4 = 3*k - 8*k + 4*b, 0 = 3*k - b - 8. Suppose 75 = 5*r - 5*d, 0 = r - k*r + d + 55. Is (r/(-8) - -3)*194 prime?
True
Suppose -2*r - 14 = -0*r + 5*d, -5*d = -3*r + 4. Is 6/3 - 3 - (r - 916) prime?
False
Let k = -502 - -1589. Is k composite?
False
Is ((-8166)/9)/(16/(-24)) a composite number?
False
Suppose 5 = 3*h - 1. Suppose 652 = 4*a - h*z, 5*z - 87 = 2*a - 405. Let m = 291 - a. Is m a prime number?
True
Suppose -1243 = -4*p + 1353. Is p prime?
False
Suppose -5*n + d = 4*d - 8, 4 = -d. Suppose -5*j - 33 = -n*f + 293, -4*f - 4*j = -308. Is f a composite number?
False
S