 + 2*o - 24, 4*j = -o + g. Let d = j - -134. Is d prime?
True
Let c(q) = -8*q**3 - 7*q**2 - 11*q + 11. Is c(-15) a prime number?
True
Suppose 5*o + 25589 = 2*c - 36515, 0 = 4*c - 2*o - 124160. Is c a composite number?
True
Let f(j) = -5*j**2 - 10*j + 54. Let g be f(11). Let s = -164 + g. Let x = 886 - s. Is x composite?
True
Let u = -2220 - 1622. Let i = 249 - u. Is i a prime number?
True
Suppose w - 3*w = 2*l + 16, 4*l + 24 = -2*w. Let b(f) = -2*f - 5. Let t be b(w). Suppose -t*m = -0*m - 861. Is m a prime number?
False
Suppose 1 = -5*z - k - 14, -2*z + 3*k + 11 = 0. Let v(x) = 4*x + 13. Let c be v(z). Suppose c*o = 4414 + 831. Is o prime?
True
Let c(q) be the first derivative of -29*q**2/2 + 40*q + 1. Suppose 3*z = -2*k - 49, -5*k - 3*z = 8 + 92. Is c(k) a composite number?
True
Suppose -2651 - 7513 = -14*a. Let o = a - 275. Is o prime?
False
Let p = -4333 - -2494. Let b = 7472 + p. Is b composite?
True
Let d be (-5)/((-15)/63) - 5. Suppose -12367 = -d*z + 3217. Is z prime?
False
Suppose -26*p + 221825 + 334706 = -3*p. Is p prime?
True
Let o(x) = -3*x**3 - 15*x**2 - 36*x + 22. Let z be o(-13). Suppose z = 7*j - 1803. Is j a composite number?
False
Suppose 0 = -5*p + 6 + 14. Suppose 5*v = p*v + 3. Suppose 0 = -v*d + d + 434. Is d composite?
True
Let s(t) = 795*t**2 - 3*t + 1. Let u(o) = -o**2 + o. Let w(q) = -s(q) - 2*u(q). Let l be w(1). Let g = 2450 + l. Is g prime?
True
Let f(x) = -x**2 - 29*x - 190. Let z be f(-17). Is (-48)/168 - (-33072)/z a composite number?
True
Suppose -2*n - 17 = -3*i, 0 = n + 4*i - i + 22. Let f(t) = -91*t + 34. Is f(n) a prime number?
True
Suppose 5*r - 886119 = 74541. Is r/180 + 2/(-5) a composite number?
True
Is -743638*6/(-30) + (-12)/20 a prime number?
True
Suppose -4*c - 59 = -75. Suppose 0 = 5*u + 5*z - 38005, -c*u + z + 30404 = -4*z. Is u a composite number?
True
Suppose 44*u = -27*u + 3570519. Is u a composite number?
True
Let r(w) = 423*w**2 + 418*w - 69. Is r(22) a composite number?
False
Let a be 2/4 - (-1 + -1)*46194/(-24). Let q be (2/(-5))/(2/28040). Let j = a - q. Is j a prime number?
True
Let g = -12036 + 491. Is -10*1*(-9)/((-90)/g) a composite number?
True
Is ((-356493)/9)/(105/(-315)) prime?
True
Suppose 0 = -4*b + 9 - 1. Suppose -x = -3*u - 3064, 5*x - 6*x - b*u = -3039. Is x a composite number?
False
Let p(k) = k + 3*k - 4*k**3 - 7*k - 7*k**2 - 2*k - 1. Suppose -108*q + 104*q = 16. Is p(q) composite?
False
Suppose -5*i = 2*s - 99705, 49855 = -17*s + 18*s + 2*i. Is s a composite number?
True
Suppose -14*a = -47 - 149. Let n(q) = -q**3 + 12*q**2 + 30*q - 26. Let f be n(a). Is (-4 + 2611/2)/(f/4) a prime number?
False
Let t(q) = -33452*q + 2467. Is t(-2) composite?
False
Let k(w) = 6*w**2 - 32*w - 4. Let p be k(6). Suppose p*d = 33368 + 38052. Is d a composite number?
False
Let t(u) = -14*u**3 - 2. Let j(y) = -y**3 + 5*y**2 + 7*y - 4. Let c be j(6). Let i be t(c). Is (((-16)/(-6))/4)/((-2)/i) a composite number?
True
Suppose -485*z = -482*z - 6, b + 5*z - 82077 = 0. Is b composite?
False
Let j = 17347 - 12252. Is j a composite number?
True
Let v(k) = -139*k**2 - 1. Let x be v(1). Let z = 113 + x. Is 6472/6 + (-9)/z a composite number?
True
Let k = 39 - 37. Suppose k*q + 10 = 6. Is ((-248)/32)/(q/8) prime?
True
Suppose -39*g = -33*g - 66. Let s(k) = 8*k**2 - 11*k - 36. Is s(g) a prime number?
True
Let s = 52 + -48. Let u(m) = 3*m - 5. Let p be u(2). Suppose s*a - 3361 = -5*b, 4*b - 5*b = -p. Is a prime?
True
Let n be ((-1488)/30)/(10/(-325)). Suppose 4*f = -q + n, 4*f - 4*q - 458 = 1154. Is f prime?
False
Suppose 0*j + 2*j + 5*c = 18, 3*j - 18 = -3*c. Is (j/2 - -642) + -3 composite?
False
Suppose 32*a - 33*a - 3*u = -51249, 0 = -7*a - 3*u + 358635. Is a a prime number?
False
Let r(t) = 18*t - 34. Let d be r(2). Suppose 4*a - 32 = -4*s, -s = -5*s + 4*a + 8. Suppose 0 = 2*x - s*m + 4*m - 957, -x + 481 = d*m. Is x a prime number?
True
Suppose 2*x = -2*w + 2052, -2*x - w + 2052 = -5*w. Suppose n - 506 = x. Suppose -4*r + 1240 = -0*h + 4*h, 5*h = r + n. Is h prime?
True
Let p = 11 + 0. Suppose -p*k + 7*k + 116 = 0. Let y = 190 - k. Is y composite?
True
Suppose -5*f - 156508 = 12*i - 13*i, -4*i = -3*f - 625913. Is i prime?
False
Suppose 68*w - 6 = 67*w. Suppose 5*r = -2*u + 7306, w*u - 14584 = 2*u - 3*r. Is u a prime number?
True
Let r(k) = -27788*k**3 + 2*k**2 - 8*k - 7. Is r(-1) composite?
False
Let v = -1457 + 105350. Is v composite?
True
Suppose 677*g + 152*g - 174280626 - 110987393 = 0. Is g composite?
False
Let p = -58 - -89. Let b = p - 55. Is (-4)/(b/(-184)*(-2)/3) a composite number?
True
Let h = 2 + 0. Let s be h/7 + 13167/49. Let y = s + -6. Is y a prime number?
True
Let a = 247 + 4382. Suppose -4*t = -12, -t + a + 4479 = 3*d. Is d composite?
True
Suppose 3*w - 8 = -w. Let a be w - 1/(1/(-2651)*1). Suppose -7*i = -0*i - a. Is i composite?
False
Suppose 5*h + 2*d - 484243 = 0, -h - 26*d = -22*d - 96863. Is h a composite number?
False
Let v = 561178 - -78493. Is v a prime number?
True
Let q = 35149 + 74868. Is q a prime number?
True
Let x(f) = f**2 + 5*f + 2. Suppose 17*j - 36 = 23*j. Let n be x(j). Is 23061/12 - 6/n a prime number?
False
Suppose 46*f + 11514 = 44*f. Let y = -3883 - f. Is y composite?
True
Suppose -f - 5*k = -2*k - 40, 0 = 4*f - k - 108. Suppose -f*z = -35*z + 54649. Is z a prime number?
False
Suppose 1072131 = 13*d + 5*d - 434559. Is d composite?
True
Suppose -54*r + 185505 = 3*w - 51*r, 247328 = 4*w + 2*r. Is w composite?
True
Suppose 3*j = -0*j. Let m(k) = 239 - k + 6*k**2 + 13*k**2 - 16*k**2 - 2*k**2. Is m(j) prime?
True
Suppose 5 = 3*g - 1. Let x be (2 - -16)*(g - (-51)/6). Let n = x - 110. Is n prime?
True
Is -5 + -1 - (0 + -198992 + -11) composite?
False
Let o = 16483 - -10776. Is o a composite number?
False
Let p(u) be the third derivative of u**6/120 + u**5/60 - 3*u**4/8 + 5*u**3/6 + 11*u**2. Suppose -2*b + 7 = -1. Is p(b) a composite number?
True
Suppose 4*q - 4*m - 4 = 4, 5*m = 2*q - 7. Is q + 7395 + 6 + 0 a prime number?
False
Let a(c) = -6*c**3 - 3*c**2 - 15*c + 62. Let p be a(7). Let y = -809 - p. Is y prime?
True
Let t be (-1)/1*9/(54/(-24)). Suppose -w = -v + t*w + 1429, 0 = 5*v - 2*w - 7191. Is v a composite number?
False
Suppose -13*w = -4*w - 117. Let s(m) be the second derivative of 7*m**4/12 - 23*m**3/6 + 11*m**2/2 + 5*m. Is s(w) prime?
False
Let y = 30036 + 8225. Is y a prime number?
True
Let k be (-6)/(-4) + (-590667)/(-14). Let p = k + -23038. Suppose p = 3*m + 3221. Is m a prime number?
False
Suppose 5*k = 4*q - 598 - 178, -4*k - 183 = -q. Suppose -84*g = -20*g + 3584. Let x = g + q. Is x prime?
False
Suppose 3*u + 362580 = 3*m, u + 2*u = 5*m - 604306. Is m prime?
True
Let m(v) = 2*v**2 + 25*v + 41. Let l be m(-11). Suppose 0 = l*y - 13358 - 103530. Is y composite?
True
Suppose 39*h - 57613 = 38*h. Suppose -12*u + 27335 + h = 0. Is u a prime number?
True
Suppose -w = 3*i - 241435, 4*w = -5*i + 2*w + 402393. Is i a prime number?
False
Suppose -3814567 = -334*s + 2712127. Is s prime?
True
Suppose 1174254 = 5*o + s, 4*o - 2*s + 234849 = 5*o. Is o prime?
True
Suppose 2*i = 4*f + 174578, -14*i + 18*i - 349153 = 5*f. Is i composite?
True
Let y = -9 + 11. Let u = -1687 - -6185. Suppose n - 1693 = 5*v, y*n = 5*v - 1112 + u. Is n a composite number?
False
Let n(f) = 8*f + 61. Let a be n(-7). Suppose 3*q - k + 462 = 2011, -a*q - 4*k + 2576 = 0. Is ((q/8)/1)/((-1)/(-2)) a prime number?
False
Let i = -450 + 453. Suppose w - 1896 = -c + 657, -w = i*c - 7667. Is c a composite number?
False
Let r = 91988 + -26821. Is r prime?
True
Is -4 - (0/18 - (-3 - (-111416)/1)) a prime number?
True
Let g(t) = -15500*t**3 - 4*t**2 - 4*t + 1. Is g(-1) a composite number?
True
Let m be (-4)/12 - ((-10)/6)/5. Suppose 5*q - 4*t - 21001 = m, q + 2*t = 3388 + 815. Is q a prime number?
True
Let v be 2*(-7394)/(-12) - (-256)/(-192). Let q = v - -2746. Is q a composite number?
True
Let g = -80 + 78. Let a(s) = -11*s**3 - 4*s**2 - 7*s - 9. Is a(g) composite?
True
Suppose -22 = -2*a - 322. Let t be (-2 - a/9)/(2/243). Suppose t + 2438 = 4*y. Is y a prime number?
False
Let t(u) be the third derivative of -u**6/120 + 4*u**5/15 + u**4/3 + 5*u**3/6 - 2*u**2 - 26*u. Is t(12) prime?
True
Suppose -3*i + 160256 = 3*q - 1447396, 3*i - 15 = 0. Is q a composite number?
False
Suppose 641028 = 2394*