r a prime number?
False
Suppose d = 2*p - 37458, 3*p + 530*d - 529*d = 56177. Is p composite?
True
Suppose -405 - 30 = 3*v. Let y be (-1)/(-5) - v/25. Suppose u - 1491 = -y*u. Is u prime?
False
Let s = -68 + 78. Suppose 3*n - s = 5*n. Is 44114/70 - 4/n prime?
True
Let p(n) be the second derivative of 0 + 19/2*n**2 + 1/3*n**4 + 34*n + 0*n**3. Is p(10) a prime number?
True
Suppose -2214290 = -81*y - 18*y + 697399. Is y prime?
True
Suppose -128022 - 1887473 - 280965 = -20*m. Is m a composite number?
True
Let x(w) = -w**2 + 6*w - 4. Let n be x(5). Let b be 0 + (-42)/49 - n/7. Is 24861/9 + b/3 prime?
False
Let l(o) = 445*o**2 + 109*o + 1921. Is l(-18) a composite number?
False
Suppose 577 = 3*y + 7747. Let g(n) = -234*n - 37. Let h be g(-16). Let x = y + h. Is x a prime number?
False
Let k be 36952/56 - (-3)/21. Let c = 1331 - k. Let s = -150 + c. Is s prime?
True
Suppose -40 = -b + 28. Suppose 0 = 5*y - 20, -2*d + b = 2*d + 5*y. Is (2/(8/(-769)))/((-3)/d) prime?
True
Suppose -35*q = -30*q - 25, 0 = -g + 5*q + 168024. Is g prime?
False
Suppose -6*c + 3*l + 22781 = -5*c, 6*c + 2*l - 136606 = 0. Is c prime?
True
Let g = -144 + 147. Suppose g = -w, -9*q + 6*q - 4*w + 7173 = 0. Is q a composite number?
True
Suppose 37*z - 15968 = -4*p + 41*z, -p = 4*z - 3977. Is p a composite number?
False
Suppose -s = -3 + 1. Is 85*s/40*(525 + -1) prime?
False
Let p be 0 + 114/(-5) + (-12)/(-15). Let m(i) = 6*i**2 - 20*i + 21. Is m(p) prime?
False
Let k(p) = -p**3 - 4*p**2 - 3*p - 7. Let x be k(-4). Suppose -v + 6*u = 3*u - 325, x*v + 4*u = 1663. Is v prime?
True
Suppose 3*u = 250 + 227. Let f = 997 - u. Is (f + 1)/((-2)/(-2)) a prime number?
True
Suppose 196*j = 233*j - 186665. Is j composite?
True
Let i = -19676 - -9082. Is 2/(4/i)*(1 - 2) prime?
True
Let o = 13992 + -8484. Suppose -x + o = -5*c - 1105, 3*c = -12. Is x a composite number?
True
Suppose o + 5*w + 38 = 123, 3*o - 2*w = 306. Let c be (-355)/2 + 1 + 150/o. Let r = -122 - c. Is r composite?
False
Let r(s) = s**3 + 19*s**2 - s - 16. Let h be r(-19). Let b be 58*(5/(-10))/(h/(-6)). Suppose -b*a = -52*a - 6234. Is a a prime number?
True
Let v = -22699 + 117992. Is v a composite number?
True
Suppose 0 = -7*p + 7134 + 6901. Let o = -4965 + p. Let q = o - -5463. Is q a composite number?
False
Suppose -25*o - 30*o + 4339820 = -35*o. Is o prime?
True
Suppose 1 = 5*i + 3*w, -i + 0*i - w - 1 = 0. Suppose -3*m - 21 = -i*d, 4*d - 2*m = d + 29. Suppose -10*z = -d*z - 2965. Is z a composite number?
True
Suppose 58 - 38 = 20*x. Let v(c) = 6109*c**3 + c**2 - 10*c + 9. Is v(x) a prime number?
False
Suppose 19*k - 139 = -6. Suppose 0 = -2*f - k*f + 2943. Is f a prime number?
False
Let v(k) = 132*k**3 - 63*k**2 - k + 77. Is v(10) a composite number?
True
Let b = -132 - -140. Let j = -1 + b. Let d(t) = 9*t**3 + 6*t**2 - 25*t - 1. Is d(j) composite?
True
Let g = 6957 + 16252. Is g a prime number?
True
Let l be 20 - 1 - (3 + -1). Suppose -60 = l*q - 13*q. Is 36/(-45) - 14397/q a composite number?
True
Let h be (4 + (7 - 13))*-3. Is (2 - 15243/(-39)) + h/39 composite?
True
Let d = 78807 + 159458. Is d composite?
True
Suppose 7*i - 4*i + 30 = 0. Let z be 1/(-3 - i/4) + 4. Suppose z*r = 8, -3*h - 2*h = 4*r - 2771. Is h prime?
False
Let w(p) = -3*p**3 - 7*p**2 + 9*p - 10. Let f be w(-7). Let v be 0/((-1)/((-5)/(-10))) + -72. Let d = v + f. Is d prime?
True
Suppose 4*k = -f + 330173, 77*f - 3*k = 82*f - 1650763. Is f prime?
True
Let w be (-4)/(-3)*(-12)/(-8) - 2. Suppose w = 9*n - 7*n + 6. Is 37*94/(-6)*n a composite number?
True
Suppose 0 = -5*g + g + 4*f + 12, 5*g - 2*f = 9. Let i(u) = 1362*u - 5. Is i(g) a composite number?
True
Suppose -4*b + 8 = 16. Let y be (224/(-21))/(b/72). Suppose -4*v + y + 244 = 0. Is v composite?
False
Is (2474/8)/(60/6960) prime?
False
Suppose -3*c - 5*c + 24 = 0. Suppose c*a - 150 = -6021. Let i = -1050 - a. Is i a composite number?
False
Let a(y) be the third derivative of -2*y**4 - y**3/2 - 34*y**2 + 1. Suppose l + 10 = -s, 4*l - 16 = 5*l - 2*s. Is a(l) prime?
False
Suppose 10*d = -33099 - 73961. Let i = 15528 + d. Is i prime?
False
Suppose -3*i + 3622663 = n, -2*i = -781*n + 779*n - 2415114. Is i composite?
True
Suppose -15 = -2*q - 6*o + o, 0 = -q - 5*o + 15. Suppose -t + 4*w - 2 = 14, t = w - 1. Is 147 - q - 5/((-10)/t) prime?
True
Let x(l) be the first derivative of 499*l**4/2 - l**2/2 - l - 182. Is x(2) composite?
True
Suppose -13*v + 1960 = -3*v. Let i = 569 - v. Suppose -3*a + i = -278. Is a prime?
False
Suppose -s = -4*i - 3, -7*i - 3 = -s - 9*i. Suppose 0 = -w - 5*q + 308, -5*w - s*q + 888 = -2*w. Is w a prime number?
True
Suppose 669600 = 56*f - 2*f. Suppose -18*p + f + 31844 = 0. Is p composite?
True
Let q(a) = 4163*a**3 - 2*a**2 + 3*a + 37. Is q(3) composite?
False
Suppose -175 - 15 = -10*a. Let r = 24 - a. Suppose r*q - 5990 = 5*v, -q - 5*v = -0*q - 1198. Is q prime?
False
Suppose -3*l + 403509 = m, -m + 83243 = l - 51260. Is l prime?
True
Suppose 14*d - 46434 = 8*d. Is d a prime number?
False
Suppose 0 = 2*r + 4*l - 8702, 4*r + 5*l - 24986 + 7582 = 0. Suppose -p + 6 = -2. Suppose 4*g + 2*t + 27 = r, 4*t = -p. Is g a composite number?
True
Suppose -5*a + 1427 = n, -a = -6*a + 2*n + 1436. Let w(l) = 6*l + 225. Let c be w(-26). Let g = a + c. Is g a prime number?
False
Let u(v) = 1532*v**2 - 272*v + 8783. Is u(30) composite?
False
Let j(h) be the third derivative of -h**5/15 + h**4/8 + 7*h**3/6 - 16*h**2. Let q be j(-4). Is 9 + -9 + q*(0 + -1) a composite number?
True
Let w be ((-7)/3 - -3)*(-40434)/(-23). Let t(g) = g - 2. Let a be t(7). Suppose -a*l + w = -l. Is l a composite number?
False
Let h(s) = 14*s**3 + 24*s**2 + 99*s + 78. Is h(23) prime?
False
Suppose 2*v - 3*l - 1340 = -0*l, 2*l - 670 = -v. Let u = 457 - v. Let z = u - -1028. Is z prime?
False
Suppose -14 = -5*a + 5*s + 21, -4*a + 18 = s. Suppose -m + 4*m - 15225 = 4*c, a*m + 2*c = 25401. Is m prime?
False
Let n(f) = -2*f**3 - 96*f**2 - 114*f + 483. Is n(-55) prime?
True
Suppose 0 = -4*g - 4 + 12. Let b be 1142/(2 + g + -2). Suppose n = b + 84. Is n prime?
False
Let i(q) = 120 + 304*q - 57*q - 121. Is i(20) prime?
False
Let m(t) = 89*t + 984. Is m(45) a composite number?
True
Let n(y) = -3 + 0*y - y - y - 1. Let r be n(-4). Is (-2)/2 + 684 - r prime?
False
Suppose -31*k + 30*k + g = -296912, -12 = 4*g. Is k a prime number?
True
Suppose -u - 419 = -4*t, 2*t = -3*u - 11 + 210. Let z = t - 102. Suppose -4791 = -z*w - w. Is w prime?
True
Suppose -6*j - 1315 = -5*a - 11*j, 1052 = 4*a + 5*j. Suppose -20 = -0*o - 4*o. Suppose -h = s + h - a, o*h = -3*s + 784. Is s a prime number?
False
Let s be 18690/(-1155) - 2/(-11). Is (73938/(-16))/((-12)/s)*-2 composite?
False
Let j = 19260 - -16469. Is j prime?
True
Let f = -140129 + 279016. Is f a prime number?
False
Let y(m) = -m**3 + 6*m**2 + 4*m + 18. Let s be y(-6). Suppose 0 = -2*r, 3*t - 5*r - 525 = s. Is t a prime number?
True
Let i(u) = -u**2 + 7*u + 8. Let n(k) = k. Let s(q) = i(q) + n(q). Let y be s(6). Is (36470/y)/(2/4 + 0) a composite number?
True
Suppose -2*j - 3*w + 3608 = -2876, 5*j - 2*w - 16191 = 0. Let y = j - 420. Is y prime?
True
Let o(r) = -33*r - 36. Let f be o(-1). Let t(a) = 33*a**2 + 11*a + 29. Is t(f) a prime number?
True
Suppose 0 = -2*t - 0*t - 2*f + 3708, -t = -f - 1840. Is t a prime number?
True
Let n be (6 - (5 - -3)) + 0. Is 5249 + (-798)/209 + n/11 a prime number?
False
Let n(o) = -2827*o**3 - 5*o**2 - 23*o - 14. Is n(-3) prime?
False
Let p(y) = 4*y**2 + 661*y - 99. Is p(124) composite?
True
Let l = -253781 - -647254. Is l a prime number?
True
Suppose -2*v = -4*w + 117304, 6*w + 3*v + 58648 = 8*w. Is w composite?
False
Let k(i) = -94*i**2 + 2*i + 4. Let g be k(8). Let o = -3639 - g. Is o composite?
False
Suppose 39 = -8*q + 21*q. Suppose -13*p + 15*p + 3*r - 1276 = 0, -641 = -p - q*r. Is p composite?
True
Let x be (-1 + 18/2)/2. Suppose x*y = -4*n + n + 16, -20 = -5*y + 2*n. Suppose y*o + 5*v = 3*v + 514, -o = 5*v - 106. Is o a prime number?
True
Let n(k) = 379*k**3 - 5*k**2 + k - 16. Is n(5) prime?
False
Let s(d) = -249*d + 3. Let o be s(-3). Let g = 1787 - o. Is g a prime number?
False
Let h = -2257 + 10598. Is h composite?
True
Suppose -2*q + 4048 = -28138. Let y = 94 + -94. Suppose -3221 = -j - y*j - 2*m, -5*j - 4*m = -q. Is j a composite number?
Fal