o + 5*n = -2128990, -230404 - 621204 = -2*o - 2*n. Is o prime?
True
Let l(q) = 72*q - 19. Let c = 199 + -79. Let n = c - 112. Is l(n) composite?
False
Let y(c) = -7*c + 80. Let f be y(10). Suppose -14*v + f*v = -4*g - 3548, -3*v = 5*g - 2629. Is v prime?
True
Suppose -3*y + 0*g + 352 = -5*g, 5*y - 4*g = 578. Is 6/27 + y/(-27) - -1083 a composite number?
True
Suppose 0 = -8*p + 5*p + 690. Let i = p - 164. Let s = 153 - i. Is s a prime number?
False
Let h(r) = 1133*r**2 + 10*r + 81*r**2 + 998*r**2 - 9. Is h(1) a prime number?
True
Suppose -40*p = -374*p + 17117834. Is p a composite number?
True
Suppose 3*r + 4*r = 68*r + 61. Suppose -4*l = -l + 12. Is (r - l) + -3 - -2427 composite?
True
Let u = -33 - -35. Let t be -353*(3 - u)/(3/3). Let a = t - -670. Is a a composite number?
False
Let n = -1295 - -1836. Let r = n - 78. Let j = 1136 - r. Is j composite?
False
Is 127622/(-1*(-8)/(-24)*(-2 + -4)) prime?
False
Suppose 3*z - 24336 = 4*w, -z - z = 0. Let v = -1819 - w. Is v a prime number?
False
Suppose -63*r + 80*r = 204. Is (r - -1645)*(1 - -4) a composite number?
True
Let b = 2397 + -804. Suppose 0 = 4*s - 0*s - 16. Suppose l = -3*k + 1578, b = s*k - k - 4*l. Is k prime?
False
Suppose 27*i = 30*i - 5073. Let q = 2035 + i. Suppose -2*r - 2*c = -3*c - q, -3*r = 5*c - 5615. Is r prime?
False
Suppose -5*j + 100878 = l + 32337, -2*j = l - 27414. Is j composite?
False
Let v = -28 - -24. Let t be 790/v - (5/2 + -3). Let c = 476 - t. Is c a prime number?
True
Let g(i) = -i**3 + 72*i**2 - 10*i + 182. Is g(-25) composite?
False
Let d be ((-3632)/12)/(-4) - 4/6. Let l = d + -72. Suppose -4*a = p - 13082, -a + l*a - 3*p = 6548. Is a composite?
False
Suppose -260*d + 422931 = -255*d - 2*i, 5*i = 5*d - 422910. Is d a composite number?
False
Suppose -11*g + 4*g - 105 = 0. Let u be g/(-7) + (-1)/(7 + 0). Is 5/((-5)/u)*398/(-4) composite?
False
Is ((-4)/2*16139)/((-6)/39) prime?
False
Let j = 141 + -137. Is (j/14 - (-21208)/56)/1 a prime number?
True
Let r = 127 + 171. Suppose -1955 = -t - r. Is t prime?
True
Let i be (6/2)/((-10)/8 - -2). Suppose -3*p + 8474 = t, -i*t + 5*t - 5*p - 8434 = 0. Is t prime?
False
Suppose 4*i + 1517 = 3*b + 17280, -3931 = -i + 4*b. Is i a prime number?
True
Suppose 5*d = 2*n + 2276, 19*n - 21*n = -2*d + 2264. Let g = n - -2035. Is g a prime number?
True
Let b be 3/(-6)*-2 + 3. Suppose 0 = 2*d + y - 1826, 43*d + y - 2741 = 40*d. Suppose -b*l - 915 = -5*z, -5*z + d = 2*l + l. Is z a prime number?
False
Suppose -2*p - x = -0*p - 6, 3*p + 3*x - 3 = 0. Suppose 0 = p*h - 2*h - 312. Suppose 4*m = -0 + h. Is m composite?
True
Let w = -13 + 21. Let r = w + -1. Let a(x) = 34*x**2 - 35. Is a(r) composite?
True
Suppose 0 = -5*y + 3*q + 681252 + 192125, 5*y - 873425 = -5*q. Is y composite?
False
Let z = 82834 - 45591. Is z composite?
False
Suppose 2*y - 2 = -5*c + 6, 3*y + 3*c - 12 = 0. Suppose y*j + 5013 - 27521 = 0. Is j prime?
False
Let c = -42 + 44. Let p(k) = 4236*k - 11. Is p(c) a composite number?
False
Let t = 149 + -145. Suppose 0 = -t*v + 4*y + 14580, 2*v - 4306 = 5*y + 2996. Is v a composite number?
True
Let n(h) = 2*h**2 - 4*h - 14. Let q be n(4). Is q/6 + 262560/72 a composite number?
True
Suppose 0 = j + k - 5, -j = 5*k - 13 + 4. Suppose 0 = 4*c - 16, c + 1140 = 4*l - j*c. Suppose 4*q - l = 306. Is q prime?
True
Suppose 2*v + 4*l - 1148 = 0, -3*v + 1270 = l - 477. Suppose 3*x - 5*b = 163 + v, 0 = -2*b + 6. Is x a composite number?
True
Let u be (-1616888)/(-60) + 2*2/(-30). Suppose -4*t - 9*h + 13*h + u = 0, 4*h = -2*t + 13486. Is t a composite number?
True
Suppose 5*t + 58 = -32. Is ((120/t)/(-10))/(4/51978) a prime number?
True
Let n = 437 - 445. Let h(w) be the third derivative of -w**6/120 - w**5/10 + w**4/8 - 7*w**3/6 - w**2. Is h(n) composite?
False
Let h = 970 - -134. Let m = -121 + h. Is m a prime number?
True
Let h(v) be the third derivative of v**5/60 - 5*v**4/12 - 25*v**3/6 + 25*v**2. Let d be h(15). Is 121860/d - 3/15 a prime number?
True
Suppose -3206 - 922 = 6*p. Let c = -395 - p. Is c a composite number?
False
Let h = -15827 - -22926. Suppose 3*x = 4*w - 9446, -w + 4*w = -5*x + h. Is w a prime number?
False
Let l(z) = 494*z**2 + 96*z + 129. Is l(-37) prime?
True
Let o be (-2)/(-12) + 6201034/84. Suppose 0 = l + 13*l - o. Is l composite?
False
Let q(u) be the third derivative of u**6/12 + 11*u**5/60 - 5*u**4/8 - 17*u**3/6 + 5*u**2. Is q(7) composite?
False
Let i(d) = d**3 + 8*d**2 + 6*d + 15. Let w be i(-7). Is -7 - w/(-4) - 71751/(-6) a composite number?
True
Let q(o) = -7*o**3 - 34*o**2 - 42*o - 118. Let h(i) = 3*i**3 + 18*i**2 + 21*i + 59. Let b(u) = 9*h(u) + 4*q(u). Is b(23) prime?
True
Let g(a) = a**2 - 19*a - 18. Let v be g(21). Let c be (946/(-6))/(-2 - (-5)/3). Let i = c - v. Is i a composite number?
False
Let w(y) = 2*y**3 + y**2 + 2*y + 2. Let s be w(-7). Let c = s - -954. Suppose 5*k - c = -v + 357, -v = -4*k - 689. Is v prime?
True
Let r be (-10)/8 + 1 + 150/(-40). Is (3/(-27)*3)/(r/33204) a prime number?
True
Suppose 0 = 3*k, -12*k = -i - 15*k + 23243. Let p = 47874 - i. Is p prime?
True
Suppose 12622 - 4406 = 5*i - 3*n, 2*i - 3278 = 4*n. Suppose 0 = -8*b + 10853 - i. Is b a composite number?
False
Let h(r) = -112*r - 36. Let p be h(-5). Suppose 5*q - p = 1211. Is q composite?
False
Suppose -5*v = x - 331111, -3*v + 198693 = -38*x + 43*x. Is v a composite number?
False
Let u = -270 + 273. Let v = -9 + 11. Suppose -y + 1045 = -v*g, y - 6*y = -u*g - 5197. Is y a composite number?
True
Suppose -15183542 = -66*r - 3427820. Is r composite?
False
Let w be 2/(-4) - (27/(-18) + -2). Suppose -3*k = -13*i + 17*i - 163469, -3*k + 122598 = w*i. Is i composite?
True
Let c be 2/((-25)/(-9) - 3). Let w(i) be the third derivative of -23*i**4/24 + 2*i**3/3 + 37*i**2. Is w(c) a prime number?
True
Suppose -5*m - 643 = -4*b, -3*b - 3*m + 465 = -m. Let w = -46 + b. Is w composite?
True
Suppose 0 = 2*r + 4*b + 8, 2*b + 12 = 2*r - r. Suppose 0 = -2*g, -2*c + r*g = -7*c + 4495. Is c a prime number?
False
Suppose -4*k + 2*y + 43680 = 6*y, 3*y = -2*k + 21841. Is k prime?
False
Suppose 0 = -19*n + 80524 + 75846. Let m = 4 + 1. Suppose 4*q - 10915 = -m*o, -3*q + 0*q = -5*o - n. Is q a composite number?
True
Let o(y) be the second derivative of 7*y**4/12 - 4*y**3/3 - 31*y**2/2 + 11*y. Is o(-4) prime?
True
Suppose 4*z = -16, 3*x + 0*z + 89 = 4*z. Let d = 528 - x. Is d prime?
True
Suppose -51*s - 209*s - 26*s = -221795002. Is s composite?
False
Suppose 108450 + 18880 = 5*q - 4*y, 5*q + 2*y = 127360. Suppose -5*p - 5*v = -10, 4*p + 34*v - 20 = 36*v. Is p/26 - q/(-234) a prime number?
True
Is 38843 + (-20)/((-880)/(-319)) + 5/4 prime?
False
Let m(w) = -w + 116. Let p be m(0). Let i be 1*(-1473)/24 + (-111)/(-296). Let g = i + p. Is g a prime number?
False
Suppose 0 = -4*v - f + 67, -26 - 15 = -2*v - 3*f. Suppose 3*s = 2 + v. Suppose -d = -s*d + 13285. Is d a prime number?
True
Let y(k) = -k**3 + k - 3. Let x(o) = -7*o**3 + 21*o**2 + 24*o - 5. Let i(s) = x(s) - 8*y(s). Let t(n) = -3*n + 5. Let m be t(6). Is i(m) a prime number?
True
Suppose 0 = 5*p + 3*h - 971771, 40*h - 43*h = -6. Is p a prime number?
True
Suppose -415*k - 252899 = -3*c - 417*k, -252892 = -3*c + 5*k. Is c composite?
False
Suppose 0*p + 4*p + 356 = -4*k, 0 = 4*k - 3*p + 363. Let s = k - -136. Is s a prime number?
False
Let j = 139 - 2123. Is j/(-6) - (-11 - -6)/15 prime?
True
Suppose -37813461 = -157*r + 80119130. Is r composite?
True
Suppose 0 = 4*i - 106 - 302. Suppose -111 = -2*o - w, 4*w - 6 - i = -2*o. Suppose 0 = 54*t - o*t + 974. Is t prime?
True
Let l = 188037 + 315428. Is l prime?
False
Let m(p) = p**2 + 15*p - 24. Let o be m(-15). Let t = o + 45. Is 3*521*t/63 a prime number?
True
Suppose -y - 148743 = -2*n + 184168, -3*y + 9 = 0. Is n a composite number?
False
Suppose 47*d - 21038949 = -3637241 + 42691411. Is d a composite number?
True
Suppose 2*s = 3*n - 387608, -2*n - 4*s + 371284 - 112884 = 0. Is n a prime number?
False
Let z(g) be the first derivative of -g**4 + 16*g**3/3 + 3*g**2/2 - 11*g - 32. Let m(y) = -3*y + 28. Let k be m(12). Is z(k) a composite number?
False
Suppose -5473 - 13927 = -20*y. Let f(d) = d**2 - 9*d. Let x be f(9). Suppose p - 3329 + y = x. Is p prime?
False
Let h = -1510131 - -2718944. Is h composite?
False
Let z(i) = i**3 - 5*i**2 +