s - y. Is s a prime number?
True
Suppose 5*p + 5*k + 9 = 6*k, -3*p + k - 5 = 0. Let s(z) = -38*z + 6. Is s(p) a composite number?
True
Let l be -3 + 8/(4 - (4 + -1)). Let f = 246 - 65. Suppose -2*w = 3*n - f, l*n = 3*w - 0*n - 224. Is w a composite number?
False
Let s(x) = 3*x + x - 17 + 30*x. Is s(12) prime?
False
Let n be (-2)/4 - 85/(-34). Suppose 0 = -2*r - n*r + 9268. Is r a prime number?
False
Let n = -337 + 163. Let c = n + 298. Let p = c + -67. Is p a prime number?
False
Let y be -1*(1 - (3 + 1)). Let h be y/((-44)/(-8) + -4). Is 29/h*(14 - 4) prime?
False
Suppose -6 = -2*a, 3*a = -5*t - 2*a + 1845. Suppose t = -0*o + 2*o + y, -2*y - 354 = -2*o. Is o a prime number?
True
Let q(x) = x**2 + 1. Let g(z) = 6*z**2 - 28*z + 45. Let n(w) = g(w) - 4*q(w). Is n(24) prime?
True
Suppose 37*h - 65445 - 97022 = 0. Is h a composite number?
False
Let g(h) = h**3 - 9*h**2 - 14*h - 61. Is g(30) a prime number?
False
Suppose 0 = -5*s - 3*b - 3038, -2*s = -9*b + 4*b + 1209. Let m = s + 1689. Suppose 2*t = -4*p - 64 + m, 8 = 2*p. Is t composite?
True
Suppose -6*x + 6634 + 80564 = 0. Is x a composite number?
False
Suppose -2*s + 8 = 0, 0 = -3*r - r - 3*s + 4272. Suppose -5*v = 5*m - r, v = -4*v + 3*m + 1081. Is v composite?
True
Suppose 5*n + v - 28862 = 0, 2*n - 33*v + 35*v = 11540. Is n prime?
False
Let c be -5*(-100 + -1) - 3. Suppose n - c = -5*f, n - 3*f - 493 = f. Is n a prime number?
False
Suppose -21*d - 8 = -17*d, -3*v = 5*d - 55775. Is v composite?
True
Suppose 0*o + 4602 = 6*o. Suppose o = b - 4*r, -5*b = -3*r - 1882 - 1885. Is b a prime number?
True
Suppose 0 = 8*v - 183274 - 66958. Is v a composite number?
True
Let p be 4/8*4/(-2). Let z(r) = 2535*r**2 - 2*r - 1. Let i be z(p). Suppose 0 = -3*v - 5*c + 1878, -4*v + 4*c + 0*c = -i. Is v composite?
False
Let o(t) = -29*t + 38. Let s be o(-19). Let q = 1076 - s. Is q a prime number?
True
Suppose 4*v + 340 = -700. Let l = 425 + v. Is l + 6/(-1 - 2) composite?
False
Let d(t) = -59*t - 37. Let j(n) = 60*n + 37. Let i(w) = -2*d(w) - 3*j(w). Is i(-16) composite?
True
Suppose -2*u + 4 = 0, 0*u - u = -3*v - 44. Let d be (-16)/(-56) - 430/v. Suppose -d = -l + 2*o, -2*l - 4*o - 179 = -7*l. Is l a prime number?
False
Let c(p) = 5*p**2 - p + 1. Let d be c(1). Let o = -4 - d. Is (-1617)/o + (-12)/18 composite?
False
Let g = -98 - -203. Let t(b) = -b**3 - 6*b**2 + 12*b - 3. Let w be t(-7). Let p = w + g. Is p a prime number?
True
Let k = 52135 + -21266. Is k composite?
False
Suppose -5*w + 30710 = 5*l, 2587 = w - 4*l - 3540. Is w a prime number?
False
Let v = 9 - 9. Suppose 0 = -v*a - 3*a + 2*t - 88, a + 5*t = -1. Is a/65 - (-607)/5 a composite number?
True
Suppose -12*p - 2331 = -64095. Is p composite?
False
Suppose -k - 5*f = -2*k - 15, -5*k - 3 = -f. Let m be (k + -1)/(9/9). Is (2 + m - -378)/1 prime?
True
Is (-140845)/(-2) - 11/(-22) prime?
True
Let r = -2096 + 5259. Is r a prime number?
True
Let p = 129 - 125. Suppose -2*v + v - 1263 = -p*q, -926 = -3*q + 5*v. Is q composite?
False
Suppose 5*r - 4*y = 23635, -6*r + 9454 = -4*r - 2*y. Is r a prime number?
False
Let c(t) = -300*t**3 + t**2 + t - 1. Let w be c(1). Let d = w + 558. Is d a composite number?
True
Suppose 0 = 4*q - l - 4273, 24*l + 2114 = 2*q + 28*l. Is q a composite number?
True
Let n(h) = -2809*h + 2. Is n(-1) a composite number?
True
Is 88289/(25/75 + 4/6) a prime number?
True
Is ((-266)/(-28) - (9 - 2))*10958 composite?
True
Let i(x) = 9*x**2 - 20*x + 4. Let q be i(-6). Let b = q - -2921. Is b a composite number?
True
Suppose 0 = 2*c + q - 951, 1394 = 4*c - c - 5*q. Suppose 0 = -s - 2*t + c, -4*t = 5*s - 659 - 1688. Is s a composite number?
False
Let v = -60 + 36. Let m = 135 + v. Suppose 4*c - m = c. Is c a composite number?
False
Suppose -5 = -n - 1. Suppose -5*j + 3*k + 24 = 0, -4*j + 20 = -2*j + n*k. Is 463 + -3 + j + -3 prime?
True
Is 2/((-12)/5151)*70/(-35) a prime number?
False
Let n(y) = 20*y - 9. Let b be n(7). Suppose -b + 622 = i. Is i a composite number?
False
Suppose y - 1676 = -z, 0 = -0*y - y - 3*z + 1670. Is y a composite number?
True
Let q(o) = 215*o**3 + 44*o**2 - 276*o - 5. Is q(6) a composite number?
True
Suppose -i - 87763 - 87732 = -5*x, 3*x + 4*i - 105297 = 0. Is x a prime number?
True
Let d(g) = -g**3 - 6*g**2 + 9*g - 3. Let r be d(-7). Let z = -23 - r. Is (z/9)/((-6)/387) composite?
False
Suppose -j - 3*j = -20. Suppose -44 = -5*n + 4*d - 3*d, -j*n - d = -46. Let o(z) = 17*z + 2. Is o(n) a prime number?
False
Is ((-1)/(-3))/((-46)/(-1059702)) a prime number?
False
Let y(c) = 53*c + 4. Let o(v) = v**2 - 8*v - 4. Let d be o(9). Is y(d) a prime number?
True
Suppose -45*l + 684 = -43*l. Suppose -3*t = -5*g + 444, -4*g + 2*t + l = 4*t. Is g a composite number?
True
Suppose -4*n + 5231 = d - 2*n, 5*d - 26145 = -5*n. Is d a composite number?
False
Suppose -q + 4*m + 6900 = 3*q, -3*q - 4*m = -5189. Is q a prime number?
False
Let c(t) = t + 2. Let g be c(5). Let o(p) = -27*p**2 + 4*p - 2. Let d(u) = 13*u**2 - 2*u + 1. Let k(a) = g*d(a) + 3*o(a). Is k(-4) a composite number?
True
Let t be -7*((-36)/(-21))/2. Let h be 26/(-39) + (-598)/t. Suppose -z + 233 = h. Is z composite?
True
Let k be 15 - (3 - (-5)/(-5)). Suppose -4*n - 2*b + 230 = 0, -n + k = 2*b - 52. Is n a prime number?
False
Suppose -8*r + 24 = -24. Suppose 0 = 5*k - r*l + 8*l - 245, 2*l = -k + 41. Is k a prime number?
False
Let n(k) = -311*k + 1. Let l be n(-1). Suppose 41*v - 33*v - 200 = 0. Suppose g - l = -v. Is g prime?
False
Let t(h) = 60*h + 8. Let g(a) = -59*a - 7. Let w(d) = 3*g(d) + 2*t(d). Let u be w(-5). Suppose 175 = 5*o - u. Is o composite?
True
Suppose k + 2*t - 547 = 528, -2*k + 5*t = -2141. Is k prime?
False
Let z be (-2272)/(-10) + ((-38)/(-10) - 4). Let n = 1376 - z. Is n prime?
False
Is (-1)/((-1)/(-9)) + 5 - -6777 a prime number?
False
Suppose 3*j - 7*j = -588. Let z = -119 + 55. Let i = j - z. Is i prime?
True
Suppose -16714 = -4*k + 7122. Is k composite?
True
Suppose q - 170 = -5*d, -4*d + 7*d + 4*q - 85 = 0. Is (-2436)/(-5) + (-7)/d prime?
True
Suppose -3*z - 11 = 10. Let c = z + 6. Is (15 - 8)/(c/(-67)) a prime number?
False
Let c = -4043 - -7086. Is c composite?
True
Let d(o) = 1 - 5*o + 3*o - 4 - 4*o**2 + o - o**3. Let g be d(-3). Is (g/(-6))/(3/614) a composite number?
False
Is 358/(-4)*((-25)/(-5) + -39) a prime number?
False
Is 12/9*2889276/104 composite?
True
Let t(a) = 3669*a**2 + 14*a - 23. Is t(2) prime?
False
Suppose d + 12 = 2*r, -17 - 1 = -3*r - d. Suppose 5*j = 31 - r. Suppose 4*m + 3965 = 3*t, -j*m = -3*t + 534 + 3433. Is t composite?
False
Let y = 2106 + 13. Is y prime?
False
Let t be (-90 - -3)*(-1)/3. Let u be ((-210)/40)/((-26)/16 - -2). Let x = t - u. Is x a prime number?
True
Let a(r) = 15*r**2 - r. Let l be a(-1). Let w = 19 - l. Suppose 0 = -2*i - w*i + 705. Is i composite?
True
Let l be (-56)/(-21) - (-4)/(-6). Suppose 2*h = -b + 313, 4*b - 608 = l*b + 2*h. Is b a prime number?
True
Suppose 2*s + 6 = 3*t + s, -2*s + 2 = t. Suppose -t*g - 2*m + 5930 = 2*g, 3*g = 2*m + 4437. Is g a composite number?
False
Suppose 2*p - 145334 = -2*x, -6*p + 2*p + 290664 = 2*x. Is p a prime number?
False
Is (4036/6)/(-1)*(-2673)/594 a prime number?
False
Let g(n) = -21*n**2 - 4*n. Let c be g(3). Let j be 5*15/25*(-114)/(-1). Let l = c + j. Is l a prime number?
False
Suppose 27 = 4*w + 5*y, 0*w - 18 = -w - 5*y. Let c = w + -6. Is (-4)/6 - 545/c composite?
False
Let z = 62 - 67. Let y(k) = -40*k**3 + 7*k**2 + 2*k + 6. Is y(z) a composite number?
False
Is (-1 - (-7)/35)/((-4)/1310) a prime number?
False
Let d be ((-164)/2)/((-2)/89). Let z = d + -2288. Is z composite?
False
Suppose -3*c + 4*i = 8*i, 0 = 4*c + i + 13. Let f be 8/3*(-186)/c. Suppose 2*p = -4*q + f, 2*q = 4*p - 3*p + 62. Is q a composite number?
False
Suppose 382*l = 371*l + 6303. Is l a prime number?
False
Let k(x) = 3*x**3 - 2*x**2 + 48*x + 37. Is k(10) a composite number?
True
Let y = 128 + -128. Suppose 3*k - 3*f - 3546 = 0, 5902 = 5*k - y*f + 3*f. Is k a composite number?
False
Let q be (-10)/15 - (-70257)/(-9). Is q/(-7) + 3*(-4)/42 a composite number?
True
Suppose 0 = -8*y + 15 - 15. Is -6*7/(-84)*(y - -3482) composite?
False
Is (245633/4 - 3) + 2/(-8) prime?
False
Let a(n) = n**2 + 2*n - 44. Let j(d) = 2*d**2 + 3*d - 88. Let l(o) = -5*a(o) + 3*j(o). Let f be l(0). 