True
Suppose 4*k + 5*b - 45 = 0, -4*k = -k + 2*b - 25. Suppose -36*s + 38*s - 10025 = -k*c, -4*s = -c + 2005. Is c a prime number?
False
Let f = 443986 - 244133. Is f composite?
False
Let z be -14 + 18 + (-2)/((-4)/70). Suppose -216174 = -3*g - z*g. Is g prime?
True
Let m(f) = 2138*f - 3441. Is m(28) a composite number?
True
Is 7/35*-3*-10 - -466315 a prime number?
True
Let t = 143 + -139. Suppose 0*j - 2*j = -3*c - 412, j - t*c - 211 = 0. Is j a prime number?
False
Let z(c) = -79*c + 167. Let l be z(36). Let v = 4431 + l. Is v prime?
False
Let s(l) = -11 - 2*l + 3 - 18*l + 169*l**2 - 6. Is s(5) composite?
False
Let q = 16929 - 11195. Suppose 2*t - 5746 = -4*o + 2*o, 2*t - o - q = 0. Suppose -3*a - 4*v = -0*a - t, 0 = -2*a + 4*v + 1906. Is a prime?
False
Let m(z) = 3*z**2 + 5*z - 6. Let p be m(2). Suppose 4*x - p*x = -92604. Is x a prime number?
True
Let x(f) = -212*f + 10. Let h be x(16). Suppose -29306 = 21*n + 15487. Let v = n - h. Is v a composite number?
False
Suppose 0*d = -2*d - 2*a + 28, 0 = a - 2. Let s be d/15*(-20)/(-8). Suppose 2*h - 2*j - 256 = -0*h, -s*h + 265 = j. Is h a composite number?
False
Suppose -100823 = 39*k - 11427086. Is k composite?
True
Let a(z) be the second derivative of -47*z**3/6 - 19*z**2 - 14*z. Let x = -77 - -62. Is a(x) a prime number?
False
Suppose 35607 = 9*l - 26034. Suppose -2*r + 4556 = 2*b, -r - 2*b = -4*r + l. Is r prime?
True
Suppose -29 = 6*i + 43. Is (-3)/((-36)/10245) - i/(-16) a prime number?
True
Suppose 3*a = 11*x + 5502263, 4*x - 14967 + 9185348 = 5*a. Is a composite?
True
Suppose -3*a - 11*y = -203969 + 29427, -3*a = -5*y - 174526. Is a prime?
False
Suppose 0 = 10*g - 289581 + 75191. Is g a composite number?
True
Let t(v) be the second derivative of -12*v**2 + 3/20*v**5 + 0 - 11/12*v**4 - 1/6*v**3 - 26*v. Is t(9) a prime number?
False
Is (-3423522)/(-66) - (11 - (-1150)/(-110)) prime?
True
Let o(k) be the third derivative of k**6/120 - k**5/20 + k**4/24 + 6257*k**3/6 + 121*k**2. Is o(0) composite?
False
Let x = 283400 + -104415. Is x composite?
True
Let m be ((-2)/(-2))/1*(-3 - 31). Is 4/m + (-291636)/(-153) composite?
True
Let a = -13 - -19. Suppose 2*c - a*c = 5*x - 47, 5*c - 65 = -5*x. Is (1 + (-14)/6)/(c/(-5157)) a prime number?
False
Is 4/18 - (-916150812)/2484 prime?
False
Let a = -2450 + 1008. Let y be a/(-8) + (-30)/(-40). Suppose -y = -5*g + 254. Is g a prime number?
False
Let m(h) = -31*h + 59*h - 45 + 288. Is m(40) composite?
True
Suppose 0 = t - v - 346854 + 85740, t - 261112 = 3*v. Is t prime?
False
Is 202/(-404)*(-1 - 111965) prime?
False
Let x = -36609 - -78646. Is x composite?
True
Suppose 4*t = 4, -2*g + 2*t + 31 = 3*t. Is (12/g + -1)*-435 a composite number?
True
Is -19 + 1022 + -16 + -10 a composite number?
False
Suppose 2*q = -5*l, 22 = l + 7*q - 11*q. Suppose -4*i + l*x = -15190, i + 3*x = 5*i - 15187. Is i prime?
False
Let x(n) = -4128*n + 1647. Is x(-110) composite?
True
Suppose -8*w + 1179 = -7*w. Suppose -4*z + w = l - 795, -3*z - 4*l = -1487. Is z a prime number?
False
Let j = 14781 - -52696. Is j a composite number?
False
Let z be -5*(-7 - -3 - 44/(-10)). Let d(b) = -2259*b - 31. Is d(z) a prime number?
False
Suppose -141 = 6*r - 3*r. Let h = r - -154. Let o = 616 - h. Is o a composite number?
False
Let h(w) be the second derivative of -w**3/6 + 6*w**2 + 11*w. Let x be h(6). Suppose -x*r = -30883 + 5137. Is r prime?
False
Let c(o) = o**3 + 6*o**2 + o + 6. Let d be c(-11). Let n be (d/3)/((-2)/12) + -2. Let z = 243 + n. Is z composite?
True
Let l(f) = -19922*f**3 + 30*f**2 + 60*f - 2. Is l(-2) a prime number?
False
Let i(b) = -7*b - 6. Let f be i(-2). Let o(d) = 12*d - 3. Let g be o(f). Suppose -96*q = -g*q - 4971. Is q prime?
True
Let x = -34798 + 94376. Is x a composite number?
True
Suppose 6733 = 271*d - 258*d - 39976. Is d a composite number?
False
Let m(v) = -4636*v**3 - 7*v**2 + 18*v - 16. Let c be m(4). Is c/(-80) + 1/(-2) a composite number?
False
Let y be (-1407)/(-6) - (-2)/4. Let o = 163 - 163. Suppose o*l + l = y. Is l a prime number?
False
Let z = 19798 + -11448. Suppose 6279 = 3*j - 2*w - 2*w, -4*j - 2*w + z = 0. Suppose 4*f = -s + j, -f + s = 299 - 815. Is f prime?
True
Let a = 73 - 75. Let z be ((-25921)/(-5) - a) + (-2)/10. Suppose 4*w - z = 2610. Is w prime?
True
Let j(n) = 213*n**2 - 147*n + 1079. Is j(-55) a prime number?
False
Suppose -9*p + 7*p = -2564. Let h(f) = -30*f**2 + 5*f - 2. Let n be h(-5). Let q = p + n. Is q composite?
True
Let f(a) = 328*a**3 + 2*a**2 + 6*a + 4. Let d be f(-3). Let t = 13005 + d. Is t a composite number?
False
Is 1/(-1) - -9 - (-49580 + -13) a composite number?
True
Let u be ((-3)/4 + 0)/((-59)/(-236)). Is 3/u*(-28562)/2 composite?
False
Let y(f) = 7*f - 21. Suppose 2*l = 8 - 2. Let q be y(l). Suppose q = -3*n - n + 2044. Is n a prime number?
False
Suppose 18 = -2*g - 4*m, -4*g - m - 1 = -0*g. Suppose 0*u + 4*u + g = a, -u = 2*a + 7. Is (u/(-3))/(3/7587) a prime number?
False
Let g = -15 + 30. Suppose g*n + 2374 = 16*n. Is n a prime number?
False
Let r(h) = 500*h**2 + 6*h - 7. Let i(b) = -2*b + 28. Suppose -7*f + 53 + 38 = 0. Let q be i(f). Is r(q) prime?
False
Suppose 0 = 2*m + l - 14197 - 9643, -3*m + 3*l = -35778. Let s = -2773 + m. Is s prime?
False
Let d = 123911 + 46716. Is d a prime number?
True
Suppose -6*n = -1467708 - 215568. Suppose 36*w - 1623166 = -n. Is w composite?
True
Let h = -87 - -93. Suppose 4100 = h*y - y. Let u = y + -233. Is u a prime number?
True
Let j be (5 + -4)*(4/2)/(-2). Is 75/(-125)*(j + -8284) composite?
True
Let r be 2/(6/(-9))*342/(-54). Suppose -r*m + 9933 = -4070. Is m prime?
False
Suppose 3*h = 3*k + 312, -3*k + 6*h - h = 310. Let u = -105 - k. Let s(r) = 2*r**3 - r**2 + r + 187. Is s(u) composite?
True
Let j(g) = -10*g**3 + 5*g**2 + 3*g - 157. Is j(-12) a composite number?
False
Let h be -3 - 1 - (0 - 7). Let z be -12620*(h + 51/(-15)). Suppose 0 = 10*t - 2*t - z. Is t composite?
False
Suppose v + 786 = -4*q, 10*q = 2*v + 9*q + 1536. Let d = v + 3249. Is d a composite number?
True
Suppose 0 = 2*m + o - 1726, -m + 2*o = o - 863. Let f be 1755*(12/9)/1. Let b = f - m. Is b a prime number?
False
Suppose -f = 3*v + 2, -2*f + 2*v + 5 = f. Let j be ((-48)/60)/(f/(-125)). Suppose j = 2*a + 56. Is a prime?
False
Suppose 0 = -5*z - 5*g + 276003 - 16388, 0 = 2*z + 4*g - 103834. Is z a prime number?
True
Let u = -72 - -2. Let r = 75 + u. Suppose -d = -5*w - 806, 0*w - 4*w = -r*d + 3925. Is d a prime number?
False
Let l = -10 - -76. Let v = 68 - l. Suppose -5*k - 2*d + 1778 + 3803 = 0, v*d = -k + 1121. Is k prime?
False
Let d = 1546 + -917. Let n be 7*32/56 - 29. Is d - (0 + n)/5 prime?
False
Suppose 3*o = -3, -16 = -4*u + 4*o + 12. Suppose 23 = -u*g + 41. Suppose 0 = 2*i + 4*a - 2750, g*i - 4*a - 4081 = a. Is i a prime number?
True
Suppose -132*o - 3324410 = -11321395 - 6151963. Is o composite?
True
Let y(p) = 29*p**2 + 10*p + 32. Suppose 6*l - 14*l - 72 = 0. Is y(l) prime?
False
Suppose 9*k + 2 = 11. Let o be (2/k)/((-22)/(-220)). Suppose 3*x - 2555 = x + 3*f, -o = -4*f. Is x composite?
True
Is (-492)/(-82) + -1 + 12002 a prime number?
True
Suppose -3*s + 10629 = 2*x, -5*x - 2*s = 2*s - 26555. Let m = x + -2036. Is m prime?
True
Suppose -5*n - 5*j + 28935 = 0, -12*j + 16*j + 11598 = 2*n. Is n prime?
True
Let r(f) = 4*f**2 - 10*f - 8. Let q be r(6). Let g = -88 + q. Let j(p) = p**3 + 15*p**2 + 14*p - 7. Is j(g) composite?
False
Let d(p) be the first derivative of 113*p**3/3 + 5*p**2/2 - 5*p + 593. Suppose 7 + 1 = 4*v. Is d(v) a prime number?
True
Suppose -5*v + 3874807 = -3*b, 4 = 4*b - 5*b. Is v prime?
True
Let a(p) = -p - 9. Let c be a(-7). Let o be 21/5 + (c - (-36)/20). Suppose 2*u - 3249 = -3*b, 3*b - 6*b = o*u - 3255. Is b prime?
False
Let n(x) = 43*x**2 + 87*x + 35. Is n(-12) a prime number?
False
Suppose 922 + 2911 = 11*m - 7233. Is m composite?
True
Let u = -2192 + 2443. Is u prime?
True
Suppose -5*p + 5*l = -978320, -5*p = -10*l + 7*l - 978310. Is p prime?
True
Suppose -12 + 4 = -2*s, -5*a = -s - 21. Suppose -3*u + 71154 = 2*y - 19859, 5*u + a*y = 151680. Is u a composite number?
False
Let b(a) = -7*a + 2. Let l be b(1). Let s = 9 + l. Suppose -551 = -4*y - s*g + 473, -3*g = -4*y + 1003. Is y prime?
False
Suppose 3*f = 5*w + 397769, -5*f - 325*w + 323*w + 662969 = 0. Is f prim