 -4*v = 3*o - 99181. Is o composite?
True
Suppose 40 = 4*m + 2*t, 0*t = 5*m + 5*t - 60. Suppose x - m = -5. Suppose 29 - 386 = -x*y. Is y a prime number?
False
Let b = -162 + 334. Let o = 93 + b. Is o prime?
False
Let y = 128860 - 86295. Is y a prime number?
False
Suppose 2*p - 15 = -3*p. Let q = -4 + p. Let a(i) = -66*i + 1. Is a(q) prime?
True
Suppose 27 = 5*y + u + u, -2*u = -2. Suppose 2*n = -2*c - 4, 21 = -n - y*c - 1. Suppose -2555 = -n*o - 2*o. Is o a prime number?
False
Suppose 0 = -d - 5, -4*o - 3637 = 5*d + 40. Suppose 5*t + 3*z + 1407 = 0, -t - t + 3*z = 546. Let k = t - o. Is k prime?
False
Let z(l) = 2*l**3 - 27*l**2 + 21*l + 47. Is z(23) a composite number?
True
Suppose -587*p = -559*p - 136108. Is p a composite number?
False
Suppose l = 2*z + 23, 83 = 2*l + 3*l - 2*z. Suppose -22474 - 23441 = -l*m. Is m prime?
True
Let k(o) = -739*o + 418. Is k(-31) a prime number?
True
Is ((-12)/(-10))/((-16)/(-40)) - -9788 prime?
True
Suppose 13*g = 16*g + 24. Let w(s) = -s**3 + 4*s**2 - 3*s + 17. Is w(g) composite?
False
Suppose 0 = -z + 63 + 15. Let x = 109 - z. Is x a prime number?
True
Is 177246/22 + 132/363 composite?
True
Let y(g) = g**2 + g + 2. Let n be y(0). Suppose -n*f - 5*c + 0*c + 8200 = 0, 0 = -2*f + 5*c + 8220. Suppose 0 = 2*l - 7*l + f. Is l a prime number?
True
Let w(t) = -t**2 + 5*t + 6. Let s = 20 - 15. Let x be w(s). Let k = x - -461. Is k prime?
True
Suppose -32*b = -34*b. Let r(x) = x**3 - x**2 + 2*x + 91. Is r(b) a composite number?
True
Let r(u) = -3*u**3 + u**2 + u - 1. Let i be r(1). Let s = i + 6. Suppose s*a + 662 = 6*a. Is a prime?
True
Let f(l) = -l**2 + 14*l + 6. Let j = -15 - -20. Suppose 3*g = 2*u - 13, 3*u + g - 21 = j*g. Is f(u) prime?
False
Let j be (-4583)/7 + (-10)/35. Suppose -18630 = -14*f - f. Let y = j + f. Is y composite?
False
Let x(k) = 18*k + 19. Let b(h) = -9*h - 9. Let g(s) = -5*b(s) - 3*x(s). Let d = 4 - 9. Is g(d) a composite number?
True
Let x be (-19)/(-7) - (-2)/(-35)*-5. Suppose 3*l + f = 376, -x*f = -5*l + 2*f + 660. Is l a composite number?
False
Let l = -143 - -127. Is -13342*4/l*(3 + -1) a prime number?
False
Let w(s) = 5115*s - 149. Is w(8) composite?
False
Let j(o) = -o**2 + 9*o - 12. Let n be j(7). Suppose 2*a + 3*a = -v + 28, -n*a - 2 = -4*v. Suppose -8*f + 3093 = -a*f. Is f a prime number?
True
Let t(o) = 10*o**2 + 3*o - 2. Suppose 9*s = 4*s - 4*a + 11, s + a = 2. Suppose 2*y + 2*w + 20 = -s*w, -3*y = 3*w + 21. Is t(y) a prime number?
True
Let v be -18 + 0 - (-4 - -8). Let f = v + 27. Suppose -4*q + 2*q + 4 = 2*o, -f*q + 4 = 3*o. Is o a prime number?
True
Let x be (-4 - -182) + -5 + (-1)/(-1). Let n = 251 - x. Is n a prime number?
False
Suppose 0*u = 3*x + u - 9, 9 = -3*u. Suppose -1622 = -x*v + 1542. Is v prime?
False
Let w(f) = -f**2 - 8*f - 6. Let l be w(-5). Suppose -7 - l = -4*s. Suppose -4*b = -5*h + 411, 0 = -h - 0*h + s*b + 95. Is h a prime number?
True
Let a be ((-2)/3)/(12/(-36)). Suppose -110 = 3*x + a*x. Is x/(-3)*3 + 3 composite?
True
Suppose -3293 - 25609 = -6*o. Is o a composite number?
False
Let z(m) = -906*m**3 + 2*m + 3. Is z(-1) composite?
False
Suppose 9 = 4*w - 4*z - 11, 4*w + 2*z - 14 = 0. Suppose 0 - w = -4*i. Is 2*i/(-2) + 179 a prime number?
False
Let a be 14/16*-2*-1212 + -3. Let j = a + -1419. Is j prime?
False
Suppose -3*r + 5*r + 3*u = 14798, -29628 = -4*r + 2*u. Is r composite?
True
Is 255/(-306) - 1876425/(-18) prime?
False
Let u be (-13 - -4) + -1 + 2. Let g be (-5)/((-20)/u) + -469. Let k = g + 674. Is k a prime number?
False
Let d(n) = -129*n - 4 - 6 + 5 - 7. Is d(-5) a prime number?
False
Is (138179/(-14))/((-23)/322) prime?
True
Let k(g) = -89*g - g**2 + 0*g**2 - 23 - 24 + 13*g. Is k(-32) prime?
True
Is ((-93364)/(-119))/((-2)/(-7)) a composite number?
True
Let f(g) = -5*g - 19. Let r be f(-5). Suppose 0 = -2*x + r*x - 732. Let c = 814 - x. Is c composite?
False
Let s = -3 + 6. Suppose -s*n + 5*n = -4*t + 330, 5*t - 4*n - 445 = 0. Is t a prime number?
False
Suppose -3*j + 7*j + 4*k - 80720 = 0, 5*j - 100870 = 5*k. Is j a prime number?
True
Let n = 14805 - 1373. Suppose 14*z - 6*z - n = 0. Is z a composite number?
True
Suppose y = 6*y + 2*i - 31636, 0 = 4*y + 4*i - 25316. Is y a composite number?
True
Let m = 4261 - 1224. Is m a composite number?
False
Let b(z) = -4*z**2 + 2*z - 142. Let l(n) = -7*n**2 + 3*n - 284. Let q(v) = 5*b(v) - 3*l(v). Let w be q(0). Let s = w + 265. Is s composite?
True
Suppose 4 - 2 = 2*i. Let j(g) = 310*g - 3. Is j(i) prime?
True
Let c(x) = x - 252. Let p be c(0). Let b = -1334 - -631. Let n = p - b. Is n composite?
True
Let x(a) = -a**3 + 7*a**2 + 6*a + 3. Let i = -6 - -10. Suppose -i = 3*h - 0*h - 2*m, 4 = h - 2*m. Is x(h) prime?
False
Is (-78357)/(-9) + 1/((-12)/(-8)) a composite number?
False
Let u(h) = 17810*h**2 - 3*h + 8. Is u(-3) a composite number?
True
Suppose 0 = -3*j - 2*j, 1008 = 3*o - 2*j. Suppose -q + 5*b + o = 3*q, -q - 3*b + 67 = 0. Is q prime?
True
Suppose -144*g = -189*g + 2304675. Is g a prime number?
False
Let d(j) = -j. Let k(f) = -23*f + 7. Let c(g) = -d(g) + k(g). Let l be (-28)/(-2)*(-1)/2. Is c(l) composite?
True
Let m be 698/(-5) - (3 + (-18)/5). Let i = 281 + m. Is i prime?
False
Let l(z) = z**2 + 1. Let o(b) = -557*b**2 - 8. Let s(x) = -6*l(x) - o(x). Is s(1) composite?
True
Let d(s) be the second derivative of -1973*s**5/20 + s**4/12 - s**3/6 - s**2 - s. Is d(-1) composite?
False
Let j(m) = -m**3 - m**2 - m + 467. Let q = -12 + 12. Suppose q = 6*b - 4*b. Is j(b) composite?
False
Let t = -57 - -115. Suppose 2245 = 7*q - t. Is q prime?
False
Let n be ((-5)/(-10))/(2/8). Let l = -1 - n. Is l/(-1)*115/3 prime?
False
Suppose 3*i = 5*x + 10654, 3*i = -2*x - 0*x + 10619. Is i a prime number?
False
Is ((-1)/(-2))/((-3)/(-4674)) a composite number?
True
Suppose 8*q - 16 = 12*q, 0 = 3*u + 5*q - 2191. Is u prime?
False
Let t be (15 - 90)*((-816)/10 - -2). Suppose 0 = 4*v - 4714 - t. Is v prime?
True
Is 451 - (-3 - (-5 + (-1 - -1))) composite?
False
Suppose s + 1815 = 5*l - 3*s, -4*s + 1416 = 4*l. Is l prime?
True
Suppose 4*l - 3 - 1 = 0, 4*c - 1225 = 3*l. Let y = 438 - c. Is y a prime number?
True
Let l = 3511 - -760. Is l a composite number?
False
Let a(w) = 2 - 4 + 24*w + 4. Let h be a(1). Suppose 2*c - 24 = h. Is c a prime number?
False
Let n be 3376/10 + (-12)/20. Suppose 5*t + 4*p - n = -0*t, -186 = -3*t + 3*p. Is t a composite number?
True
Suppose 5*w + 36790 = -0*z + 2*z, -2*w = -z + 18397. Suppose 6*x + 9*x - z = 0. Is x a prime number?
False
Suppose -102 - 28 = -5*x. Suppose -1910 = -x*n + 21*n. Is n prime?
False
Is ((-11474)/(-6))/((-8)/(-24)) a composite number?
False
Let v = 3392 - -12177. Is v a prime number?
True
Let b(l) = 28*l**2 + 6*l + 1. Let u be b(6). Let a = 1632 - u. Is a composite?
False
Let j(q) = -q**2 - 6*q - 5. Let o be j(-5). Let i(d) = 4*d + o - 62*d - 2 - 1. Is i(-5) a composite number?
True
Let l be 2258/(-4) - (-1)/2. Let i be (l/30)/((-1)/15). Suppose 0*f + i = 3*f. Is f a prime number?
False
Let q = 98 + -83. Suppose -3*r - 2*r + 640 = 0. Suppose q = -p + r. Is p prime?
True
Let z(o) = -o**2 + 6*o - 2. Let c be z(5). Suppose -371 = 2*b - 0*b + c*u, 2*b - 3*u = -377. Let j = b - -330. Is j composite?
True
Suppose 6170 = 6*o + 1376. Let q = 390 + o. Suppose 5*j = 3*c - q, -4*c = -0*c + 3*j - 1566. Is c a prime number?
False
Let a = 5206 - 1773. Is a prime?
True
Let c(j) = -23509*j + 47. Is c(-2) a prime number?
False
Is ((-9)/(-6)*1861)/((-9)/(-12)) a composite number?
True
Let q(x) = 50*x**2 - 1. Is q(2) prime?
True
Let i be 5 - (4 - (-3 + 4)). Suppose -4*b = i*l - 2548, 2*l = 2*b - 2*l - 1254. Suppose -4*f - f = -b. Is f composite?
False
Suppose 2*w - 6 = 3*w. Let j(z) = -73*z - 15 - 34 + 30. Is j(w) prime?
True
Suppose 2*j + 2*i - 43499 = -j, 5*i + 25 = 0. Is j composite?
False
Suppose 0 = -63*n + 55*n + 41752. Is n a composite number?
True
Suppose 7*b + 6*b = 22724. Suppose 3545 + 1732 = 3*d - 2*k, -d = 3*k - b. Is d prime?
False
Is 45169 + (-5 - (2 + 1)) a composite number?
False
Let m be ((2/5)/(-1))/((-10)/57450). Suppose 3*c = -5*l - c + 5771, c = 2*l - m. Is l a prime number?
True
Suppose 265*v - 263*v = 46454. Is v a prime number?
True
Let t(x) = -471*x - 61. Is t(-22) composite?
False
Suppose -13925 = -3*t + h, -6*h + h = -5*t + 23195. Is t a prime number