3. Suppose -j*r = 6*f - 2*f - 4763, r + 3558 = 3*f. Is f a prime number?
True
Let f = -179963 - -255466. Is f prime?
True
Let x = -30 + 28. Is (x + 4)/(4/194) a prime number?
True
Suppose -5*a + 6315 = 1145. Suppose -12*o - a = 1366. Let p = o + 669. Is p a composite number?
True
Suppose 0 = 65*p + 29384 - 286914. Suppose -31*x + 27*x = 2*r - p, -2*r = 5*x - 4955. Is x composite?
True
Suppose 2 = j, 302*j = u + 307*j - 49373. Is u prime?
True
Suppose -11 = 5*y + 4, -2*b - 4*y = 16. Let r(t) = -105*t**3 - 10*t - 19. Is r(b) a prime number?
False
Suppose 50*s = 43*s + f + 4437998, 5*s - 3169969 = 4*f. Is s a prime number?
False
Let q(p) = -30148*p + 53. Let i be q(-5). Suppose 17*u = 898 + i. Is u a prime number?
True
Let m = 89998 + -45269. Is m a prime number?
True
Let y be 23023 - 30/(-25)*10/(-4). Suppose 0 = 48*r - 44*r - y. Is r a composite number?
True
Suppose 0*y - 5*y = 2*b - 110427, -y = -2*b - 22083. Suppose 0 = 4*s + 6*f - 11*f - y, 0 = -3*s - 5*f + 16520. Is s a composite number?
True
Let j(n) = -n**2 + 10*n - 27. Let v be j(10). Is 6/v - 833063/(-63) a composite number?
True
Suppose -9*v = -5*v - 12. Suppose 3*q - 2041 = 5*w, 5*q - 1411 = v*w - 180. Let n = 646 + w. Is n a prime number?
True
Let q be (-135)/90 - 21103/(-2). Suppose -5*s + 2*j + 31145 = 0, -2*s + 1879 = 5*j - q. Is s composite?
True
Let i = 274 + -278. Is ((-108)/i)/9 - -7570 prime?
True
Let r(z) = 172*z**3 - 10*z**2 - 12*z - 21. Is r(5) a prime number?
True
Let f = -838 - -816. Suppose -3*q - 2*q = 5*g - 6095, 3*g - 4*q - 3671 = 0. Is ((-10)/3)/(f/g) prime?
False
Let r = -4287 + 1063. Let w = r - -5353. Is w a prime number?
True
Let a(g) = -g**3 + 53*g**2 - 112*g - 363. Let q be a(51). Suppose -3*y + 4*w + 5246 = 0, y + 682 = 3*w + 2429. Let r = y + q. Is r a prime number?
True
Let y(t) = t**2 + t - 7. Let g be y(3). Suppose u - g*o = 37, u - o - 11 = 6. Suppose -897 = -3*i - u. Is i a prime number?
False
Suppose -698535 - 4286117 = -379*x + 5212343. Is x composite?
True
Let q(n) = 4002*n**3 - 6*n**2 + 34*n - 149. Is q(4) a prime number?
True
Suppose -44*q - 102258 = -5*q. Let c = q - -7888. Is c a composite number?
True
Suppose -14*f - 30*f + 9*f = -1780205. Is f a prime number?
False
Let y be (28/6 + -4)*-3 + -850. Let r = -373 - y. Is r a prime number?
True
Let u be 3/((-24)/(-16) + (-1)/2). Suppose -4933 = -u*v + 518. Let p = v - 232. Is p a prime number?
False
Let k = -223 + 214. Let n(s) be the second derivative of -s**5/20 + s**4/4 - 3*s**3/2 + 4*s**2 - s. Is n(k) composite?
False
Let l = -837 - -1522. Let v = 11 - -3. Let u = v + l. Is u a prime number?
False
Let t(d) = -d**2 - 2*d. Let y be t(1). Is y + (-3 + 3 - -2320) a prime number?
False
Suppose -54 = -4*y - 5*y. Is (-15)/y*(-161476)/70 a composite number?
True
Suppose 2*h - 5*y - 2086 - 10473 = 0, 2*h + 4*y = 12586. Is h a composite number?
False
Let n(f) = 68*f**2 + 5*f + 6. Let u be n(-7). Let s = 5612 - u. Is s composite?
False
Let r(a) = -2*a**3 + a**2. Let n be r(-1). Suppose g = n - 7. Is (g/6)/((-20)/4890) composite?
False
Suppose -2603655 = -5*v - 6079*c + 6074*c, 3*c = -5*v + 2603663. Is v a prime number?
False
Suppose -2*c = 3*p - 11203 - 3653, 3*p = 4*c - 29712. Suppose -o - 5*z + c = 0, -2*z - 7434 = -o - z. Is o a prime number?
True
Let p(o) = o**2 + 5*o - 29. Let c be (-1 - 5)*60/40. Let g be p(c). Suppose -g*u - 491 = -2528. Is u prime?
False
Suppose 12015183 - 6041179 + 15623796 = 200*y. Is y prime?
False
Suppose 134*j = 122*j + 5676. Is j composite?
True
Suppose 8*q + 5*o + 1162 = 4*q, -3*q - 862 = -o. Is 3/24 + (-833436)/q a composite number?
True
Let i(v) = 72*v - 87. Let b be i(12). Let a = b + -236. Is a composite?
False
Suppose -3*a - 5805 - 8904 = -6*a. Is a a composite number?
False
Is (-6)/99 - (10 + (-10622215)/165) a prime number?
False
Suppose -60*g = -63*g - 27. Is (4 - (-5 - (g - -1)))*1101 prime?
False
Suppose -113312 - 10288 = -20*j. Let q = j - 1466. Is q a prime number?
False
Let k = -8 - -12. Suppose 7 = -k*y + 19. Suppose 8*h - y*h = 125. Is h a composite number?
True
Let r(p) = p**2 - 9*p + 11. Let n be r(10). Let i = -21 + n. Suppose j + j - 6310 = i. Is j prime?
False
Let v be (-204)/(-54) + -4 + (-19588)/(-18). Suppose z - 2051 - v = 0. Is z composite?
True
Let s = 28920 + 30371. Is s a composite number?
True
Let q(t) = -23*t**3 - 3*t**2 - 15*t - 3. Suppose -4*m = 2*f - 9*m - 12, f - 2*m = 4. Is q(f) composite?
False
Suppose 36 = 14*g - 10*g. Let m be (75 - 0)/(g/6). Suppose -3*u = m - 1613. Is u prime?
True
Let q be (64 - -478)*(-2 - -1 - -5). Suppose 3*b - 4495 = -2*n - 180, -n - 5*b + q = 0. Is n composite?
False
Suppose 29230 = -2*q - 41*u + 42*u, 0 = q - u + 14613. Let m = q - -22424. Is m prime?
False
Let i = 999551 + -197272. Is i a composite number?
False
Let a(m) = -3*m - 15. Let p be a(-7). Suppose -p*w + 29 = -7. Is (-9)/(-6)*20*2/w a composite number?
True
Suppose -22*h + 18*h - 56 = 0. Let g(j) = 46*j**2 - 9*j - 21. Is g(h) prime?
False
Suppose -7*z = z - 48. Suppose 0 = -z*n + n + 65. Let c(h) = 2*h**2 + 10*h - 25. Is c(n) prime?
True
Let u(d) = d**3 - 24*d + 0*d**3 - 18*d**2 + 5*d. Let s be u(19). Suppose s = -14*k + 10*k + 1324. Is k a prime number?
True
Suppose 2*h + 6 = h. Let u(a) = -83*a + 23. Is u(h) a prime number?
True
Let n = 168 + -155. Suppose 26553 = -10*c + n*c. Is c prime?
False
Suppose 2*w - 49187 = 3*j + 214497, 3*w - 395577 = -4*j. Is w composite?
True
Suppose 18*m + 4*m + 8712572 = 66*m. Is m prime?
True
Suppose i - 188 + 21 = 0. Let f = i + -305. Let z = 1811 - f. Is z a prime number?
True
Suppose 439 = 6*z - 797. Suppose -198*m - 3880 = -z*m. Is m a composite number?
True
Suppose 0 = g - 3, -u - 20*g + 17*g = -168306. Is u prime?
False
Let a(s) = -s**3 + 18*s**2 + 16*s + 3. Let r be a(18). Suppose -4*x - r = -1763. Suppose 5*w - 3387 = x. Is w a prime number?
True
Let h = -60604 + 86445. Is h prime?
True
Let r be (-4)/6 + (53000/15)/5. Let k = r + -413. Is k prime?
True
Suppose 42*y = 39*y + 6246. Suppose -52*m + 46*m = -y. Is m prime?
True
Let a(j) = -j**3 - 2*j**2 + 4*j + 6. Let f be a(-3). Suppose f*d - 21 = 6. Suppose d*n - 993 = 6*n. Is n a prime number?
True
Let m = 6 + -3. Let x(a) = a**2 - 32*a**3 - 8*a - 5*a**2 - 13*a**m - 5. Is x(-4) a composite number?
False
Let c(j) = -j**3 + 5*j**2 - j + 5. Let q be c(5). Suppose -2*b = -q*b + s - 1251, -2*b + 1256 = 2*s. Is b a composite number?
True
Let k(f) = -3670*f - 5194. Is k(-80) a composite number?
True
Let l(x) = 357430*x + 1387. Is l(1) prime?
False
Let p = -1198 - -4669. Let z = 2510 + p. Is z prime?
True
Let f = -371084 + 619635. Is f a prime number?
False
Let q(y) = 3*y - 17. Let t be q(7). Suppose -t*z - 24 - 1657 = -b, 0 = -4*b + 2*z + 6766. Is b a prime number?
True
Suppose 9321 = 2*s - 7495. Suppose 5*y + s = 9*y. Is y composite?
True
Suppose -21*m + 280 = -11*m. Is 126/m*(-8886)/(-9) a composite number?
True
Let s(b) = 565*b**2 + 57*b + 63. Is s(-13) a composite number?
True
Let g be (224/(-35) + 6)/(2/(-40)). Suppose g*j - 18*j + 32910 = 0. Is j a composite number?
True
Let x = -34 - -39. Suppose -3*q + 2509 = h + 2*q, -2*q = x*h - 12453. Is h prime?
False
Let s(k) = k**2 + 6*k - 22. Let y(p) = 2*p**3 - 9*p**2 + 7. Let i be y(4). Let m be s(i). Suppose -4*q + 83 = -z - 14, -3*z = -m*q + 130. Is q prime?
True
Suppose -4*t + 3*k + 655004 = -1853786, 0 = 4*k - 8. Is t prime?
False
Let a(f) = f**2 + 11*f + 38. Let n be a(-9). Suppose l + 32091 = n*l. Is l prime?
False
Let k = 228 - 224. Suppose -3*g - 2*a + 1127 = -7996, 0 = k*g + 4*a - 12160. Is g composite?
True
Is (2683/2 + 12)*22 a composite number?
True
Suppose -74*o + 28*o + 17*o = -1748149. Is o a prime number?
False
Let u(c) = 625797*c + 1295. Is u(2) composite?
True
Let t(y) be the second derivative of 389*y**4/12 + 8*y**3/3 + 37*y**2/2 - 36*y - 2. Is t(-4) composite?
False
Let k be (1*2/(-4))/((-2)/(-12)). Let j(v) = v**3 + 5*v**2 + 5*v. Let b be j(k). Suppose b*g + 0*g = 471. Is g composite?
False
Let w(o) = 2*o - 6. Let p be w(1). Is ((-12918)/p)/(7/84*6) a composite number?
True
Let h = 653343 - 427976. Is h composite?
True
Let f(a) = -4*a**2 + 9*a + 21 + 11*a + 6*a**2. Let y be f(15). Suppose 2*q - y = -q. Is q a composite number?
False
Let q(y) be the second derivative of 0 + 13/6*y**3 + 1/12*y**