Is (g/(-15))/((-6)/15) prime?
True
Let x = 140466 - 62269. Is x composite?
True
Suppose 0 = l - 1, 4*y + 80640 = 8*y - 4*l. Is y prime?
True
Is ((-567)/1134)/(1/(-1104938)) composite?
False
Let o(b) = -114*b**2 - 22*b - 71. Let y be o(-3). Let f = y + 1882. Is f a composite number?
True
Let i(r) = 47*r + 119. Suppose -5*b + 45 = -35. Is i(b) a prime number?
False
Let o(a) = -30*a**3 - 8*a**2 - 25*a - 3. Is o(-16) a prime number?
True
Let z be ((-22)/55)/((-1)/5). Let r be -3 + (-18)/(-2 - -1). Suppose 3*i + r = 0, -z*s - 3*i + 6049 = 2*i. Is s prime?
True
Let w(s) be the first derivative of s**4/4 + 2*s**3/3 + s**2 - 14*s + 7. Let y be w(-9). Is (-15)/20 + 3*y/(-12) composite?
False
Let d be (178/(-4) - 6)*50. Suppose -4*i = 3293 + 1363. Let s = i - d. Is s a composite number?
False
Suppose -2*i - 4*s = 2*i - 4, 5*i - 2*s = -9. Let f(t) = t**3 - 8*t**2 - 10*t + 12. Let b be f(9). Is i + 11535/35 - b/(-7) a composite number?
True
Let h(b) = 795*b + 27. Let p be h(8). Suppose -a + p = 2*a. Suppose 8*i - 7*i - a = 0. Is i prime?
True
Suppose -3*n + 759 = -2*f + 84, 2*f + 673 = 5*n. Let q = f + 226. Let j = q - -178. Is j composite?
True
Suppose 9 + 7 = -4*m, -4*m = -5*s - 74. Let q be (-1 - s/42) + (-4)/(-7). Suppose -6*u - 3*u + 12141 = q. Is u composite?
True
Let z = -153498 + 219719. Is z composite?
False
Let u(k) = 346*k - 73. Suppose 0 = -2*b + 4*b - 10. Is u(b) a composite number?
False
Let y(f) = 1213*f**2 - 15*f - 59. Is y(-7) prime?
False
Let u(r) = -r**2 - 2*r + 2. Let w be u(-2). Let p be (0 + w + -2)*4/8. Suppose 0 = 3*x + 3*v - 8324 + 275, -5*x - 4*v + 13413 = p. Is x composite?
True
Let d(c) = 295*c**2 + 2*c + 19. Is d(-8) a prime number?
False
Let y(m) be the third derivative of 13*m**6/40 + m**5/20 + 5*m**4/12 - 11*m**3/6 - 3*m**2 - 6*m. Is y(6) a prime number?
True
Is ((-33513719)/(-303))/(-1 - 4/(-3)) composite?
False
Let s be 7104 + (-4 - (-12 - -3)). Let d = s + -1600. Is d composite?
True
Let d(i) = 7*i - 15. Let q be d(11). Suppose -63*b + q*b = -21. Is b + (0*2/8 - -2) composite?
False
Suppose 95*o - 8641977 + 1637405 = 1927233. Is o composite?
True
Let r be (-36)/(-27)*12/(-8). Let f(w) = 211*w**2 - 11*w - 15. Is f(r) composite?
True
Suppose -3*j = 3*p - j + 3390, 4*j + 5648 = -5*p. Suppose 3*s = -4*n - 1164, 773 = -4*n - 4*s - 387. Let b = n - p. Is b composite?
True
Suppose 0 = j + 2 - 7. Suppose -2*g + 2*u + 10 = 0, j*g - 4 = -5*u + 1. Suppose g*q - 185 = 2*q. Is q a prime number?
False
Suppose 5*j + l + 15 = 0, -l + 1 = -2*j - 5. Let y be (-146 - 1) + 4/12*j. Let v = y + 327. Is v composite?
False
Suppose -8*p + 59 = -53. Suppose 0 = p*d - 10*d - 11324. Is d composite?
True
Suppose 12 = -39*h + 45*h. Let u(k) = 199*k**2 + 3*k + 1 - k - k. Is u(h) prime?
False
Suppose -176 = -68*k + 72*k. Suppose 4*i - 147 = -471. Let j = k - i. Is j a composite number?
False
Let n be (-3 - -2)*(-40)/(-5) + 3. Let k be (609 - 2)/(-2 - n/2). Suppose k = 12*u - 12478. Is u a composite number?
True
Let s(h) = -15*h - 12. Let z be s(-2). Suppose -16*g - 4906 = -z*g. Is g prime?
False
Suppose -2*h + 1376 = 8472. Let u = h - -8259. Is u composite?
True
Let a(o) = o**3 - 26*o**2 + o - 20. Let d be a(26). Suppose -d*t + 42 = -0*t. Suppose t*p - 13*p = -16788. Is p a prime number?
False
Suppose -55*m + 297388 = -42*m. Let h = 33114 - m. Is h a prime number?
False
Suppose 47 = 10*n + 17. Let b be (4 + 0)/(-2) + 232. Suppose -4*u + 2*x + b = -614, -4*x - 633 = -n*u. Is u a composite number?
False
Suppose -141*c + 168*c = 884223. Is c a composite number?
False
Let n = -1500 - -1520. Let f(h) = h + 24. Let y be f(0). Suppose 0 = y*s - n*s - 2524. Is s prime?
True
Let p = 1040 - -2693. Suppose -842 - p = -3*c. Let a = 2518 - c. Is a composite?
True
Let z = -1000 - -703. Suppose 3*y - 1756 = -4*k, 4*k = y - 474 - 106. Let r = y + z. Is r composite?
True
Is (-8)/112*-7*177986 composite?
False
Let z(v) = 8549*v - 244. Let u be z(4). Suppose -u = -5*f + 45843. Is f prime?
True
Suppose -71*j + 74*j = 4*a + 999350, 0 = -4*j + 5*a + 1332468. Is j prime?
False
Let t = 225 - 222. Suppose -t*l = 1017 - 3531. Is l a prime number?
False
Let h = -41 + 56. Let d be (12/3 - h)/(-1). Suppose 15*m - 748 = d*m. Is m a prime number?
False
Let x(n) = n**3 - 22*n**2 + 23*n - 44. Let v be x(21). Let w be -3 + (-3)/(v/(82/1)). Suppose -2*f + 306 = w. Is f a composite number?
True
Suppose -3*k - 5 = -4*h - 7, 0 = -3*h + 3. Suppose 0 = 3*b - k*x - x - 1272, 0 = 5*b + 3*x - 2080. Is b composite?
False
Suppose -59*d + 1504348 = -3550713. Is d prime?
False
Let f(i) = -2*i**3 + 35*i**2 + 65*i + 1969. Is f(-54) a composite number?
False
Let g(v) = 419*v**2 - 4*v - 52. Is g(5) prime?
False
Let u(l) = -557081*l**3 - 2*l**2 + 4*l + 2. Is u(-1) a prime number?
False
Let a be (-20)/8 - 6/4. Is 3107 + 2*(a + 5 + 0) a prime number?
True
Let w(d) = 244*d + 35. Let y be 25/(-10)*4/5. Let v(i) = -976*i - 140. Let k(j) = y*v(j) - 9*w(j). Is k(-9) prime?
True
Let h(y) be the third derivative of 19*y**6/120 + y**4/8 + 23*y**3/6 - 19*y**2 - 5. Is h(5) a composite number?
True
Let u(b) = 5*b**3 - 26*b**2 + 114*b - 1007. Is u(22) a composite number?
False
Let g(l) = 5*l + 1. Let m be g(-1). Let d be -1 + (8/m - -5). Suppose -544 = -d*a - 20. Is a composite?
True
Let y(l) = 280*l**2 - 13*l - 148. Is y(13) composite?
True
Let h be 4 + (-10 - -5 - 4). Is (-2 + 91)/(h/(-65)) a prime number?
False
Is 11878490/10 + 124/20 + 2/(-10) a prime number?
False
Suppose -4*q = -5*z - 15, -q = -4*z - 5 + 4. Suppose 0*d - q*d = -2*n + 14518, 0 = -3*d + 12. Is n composite?
True
Let v be -1 + ((-14)/(-21))/(1/(-351)). Let b = v - -242. Is b a prime number?
True
Let n(u) = 4*u - 3. Let l be (-15)/9 - 2/(-3). Let q be n(l). Let v(g) = -6*g**3 - g**2 - 11*g + 13. Is v(q) composite?
False
Let y = 285113 + 437916. Is y prime?
True
Let w(m) = -m**3 - 4*m**2 + 12*m + 16. Let d be ((-2)/2 - 1)*(-6)/4. Suppose -d = k + 4. Is w(k) prime?
True
Let w be (-4)/6*(3089 - 40/8). Is (-1 + 3)/(10264/w + 5) a composite number?
False
Let f be 1 + 3 + -3 - -2. Suppose -19 = -f*g + 578. Is g composite?
False
Let k = 109 - 85. Let v(o) = -15*o + 4. Let i be v(-11). Let j = i - k. Is j prime?
False
Suppose 120*p = 125*p + 3*h - 561104, p = -3*h + 112228. Is p prime?
False
Suppose 0*t - 7*t + 1193489 = 4*t. Is t a prime number?
True
Suppose -4*q - 5*h + 7799 = 0, h - 2677 = 5*q - 12404. Suppose 3*z - 5 = 10, 3*t = -z + q. Suppose 941 = 2*w - t. Is w prime?
False
Let m(c) = -30*c**2 - 3*c - 31. Let k be m(-4). Let b = k + 1490. Is b composite?
False
Let b(g) = -45*g**3 - 6*g**2 - 3*g + 15. Let q be b(6). Let x = q + 14716. Is x prime?
False
Let g(t) = 955*t**3 - 16*t + 1 + 16*t + 6*t - 5*t**2 - 160*t**3. Is g(2) a composite number?
False
Suppose -757*l + 746*l + 310211 = 0. Is l a composite number?
False
Let h be 6/(-15) - 9928/(-20). Let s = 200 - h. Let v = s + 565. Is v composite?
False
Let a(u) = -u - 4. Suppose -5*l = 5*y + 24 + 16, 8 = -5*l + 3*y. Let n be a(l). Suppose 13404 = -n*f + 12*f. Is f prime?
True
Suppose 179 = 4*x - 3*g, -g + 238 = 5*x - 0*g. Let d = -44 + x. Is d + -6 + (-3)/2*-6 a composite number?
True
Let z(x) = 13*x**2 - 6*x - 13. Let k be (-2)/(-3) - ((-336)/(-18) - -1). Let g = 25 + k. Is z(g) a composite number?
False
Let u = 734 - 224. Suppose q = -5*o + 2*q + 2566, 3*q - u = -o. Suppose 15 - o = -6*t. Is t a composite number?
False
Suppose -101*q = -85*q - 428144. Is q a composite number?
False
Let r(u) = u**3 + 10*u**2 - 7*u + 53. Let b be r(10). Let x = -1216 + b. Is x composite?
True
Let y = 12600 - -71083. Is y a prime number?
False
Suppose -5*b = -2*r - b + 8, 0 = 5*r - b - 11. Let x be -3 - -15 - (r + -6 + 2). Let o(p) = 31*p + 11. Is o(x) a prime number?
False
Let q(h) be the second derivative of -999*h**3 - 13*h**2/2 - 8*h - 1. Is q(-1) a composite number?
False
Let l(u) = 377*u + 17. Let f = 46 - 8. Suppose 31*b = f*b - 42. Is l(b) a prime number?
False
Let c = -17324 + 30253. Is c a prime number?
False
Suppose 6 = -13*w + 227. Suppose 16*h + 1387 = w*h. Is h composite?
True
Let r(x) be the third derivative of -59*x**4/24 - 4*x**3/3 + 334*x**2. Let h(u) = -u**3 - u**2 + u - 15. Let b be h(0). Is r(b) a prime number?
True
Let n(i) = -i**3 - 3*i**2 - i - 1. Let s be n(-3). Suppose 6*c - 2*c - 337 = 3*