r?
True
Let m = -6598 - -10419. Let a(x) = 437*x**2 + 3*x - 8. Let d be a(6). Suppose 13*b = d - m. Is b composite?
True
Let t(x) = 21794*x - 2574. Is t(8) composite?
True
Suppose i - 37225 = -2*i + 2*m, -3*m = -3*i + 37230. Suppose -30*b - i = -35*b. Is b prime?
False
Let y = -39 + 26. Let v = y + 11. Is v/3*(-3291)/2 a prime number?
True
Let u be (10*-1)/(3/(-6)). Suppose -u = -5*r, -5 = -3*h - r + 2. Is h/(-3) + (-9200)/(-15) a prime number?
True
Let p = 60985 + 36474. Is p a composite number?
False
Suppose -2*i + 5*r = -147432, 13 - 21 = 4*r. Is i prime?
False
Let g = -8510 - -24811. Is g a composite number?
False
Let k = 10640 - -4731. Is k a prime number?
False
Suppose -16 + 28 = 2*x. Suppose -4*o + 1650 = x*o. Suppose -33*u + 30*u = -o. Is u prime?
False
Let c(b) be the second derivative of 9*b**5/20 + b**4/4 - b**3/3 - b**2/2 - 3*b. Suppose 3*x - 12 = 3*q, 3*q + 1 + 2 = 0. Is c(x) a prime number?
True
Suppose w = 4*l + 3, 96 = l + 2*w + 108. Let z = -26 + 16. Is (3 + l)*(-9550)/z a prime number?
False
Suppose 1656359 = 14*a - 2296359. Is a a composite number?
True
Let f(x) = x**3 + 13*x**2 - x + 17. Let g be f(-13). Let o be (12/g)/(8/110)*2. Suppose -4535 = o*w - 16*w. Is w a composite number?
False
Let j(f) be the second derivative of -3*f**5/20 - 4*f**4/3 + f**3/6 + 9*f**2/2 + 11*f - 2. Is j(-16) a prime number?
False
Let c(l) = -365730*l - 571. Is c(-4) composite?
True
Suppose -25*q = -238120 + 9845. Is q a prime number?
False
Let u(o) = -3*o**2 + 22*o - 4. Let g be u(7). Suppose 0 = g*t - 2*n + 5, -3*t + t = -2*n + 2. Let q(m) = 48*m**2 - 3*m - 2. Is q(t) a prime number?
True
Let s(x) = 7 - 13 + 6 + 9*x. Let m be s(-1). Is (33*102/m)/(-2) composite?
True
Let a be (922 - -3)/5 - 3. Suppose 4*t = -a - 234. Is (-2)/(-13) + (-27960)/t prime?
True
Suppose 4*y = -3973 - 2627. Let q = y - -6557. Is q a prime number?
False
Suppose -4*g - 3*g = -343. Suppose 0 = -3*c + 5 + g. Is 170 - (c/14 + 4/(-14)) composite?
True
Let b be 818*2/(-12)*-36. Let r = b + 403. Is r prime?
False
Let l = -476 - -961. Let o = l - 178. Is o a composite number?
False
Suppose -23*d + 74 = -64. Let m(a) = -2*a**2 + 26*a - 7. Is m(d) prime?
False
Suppose -3*p - 27*p = -3*p - 3726351. Is p a prime number?
False
Let f(i) = -5*i**2 + 14 + 55*i - 20 + 8*i**2 + 15. Is f(-40) composite?
False
Is 82678 + 105*(-22)/(-110) a composite number?
False
Suppose -149*y + 8743640 = -7605683. Is y prime?
False
Suppose 0 = 11*r - 44. Suppose h - 39061 = d - 6*d, -2*d = r*h - 15610. Is d a prime number?
False
Let r be (1797/12 - 2/(-8)) + -3. Suppose 134*q + 208689 = r*q. Is q a composite number?
True
Let t = 265 - 238. Is (-2)/(-6) - -13172*9/t prime?
True
Let x(f) = -1035*f - 143. Let s be x(-25). Suppose -7*v - s = -83727. Is v composite?
True
Let i(l) = l - 1. Let w(y) = -426*y - 11. Let j(u) = 4*i(u) + w(u). Is j(-7) a composite number?
False
Let x = -12902 - -6914. Let j = x + 8617. Is j prime?
False
Is (4 - (-11 + 3 - -10))/((-10)/(-307715)) a prime number?
True
Let l be 7*((-5)/(-15) - (-11)/21). Suppose -16039 = -l*h + 11819. Is h a prime number?
True
Let i(n) = -2*n**3 - 21*n**2 - 17*n + 3. Suppose 28 - 1 = -3*k. Let m = -26 - k. Is i(m) a composite number?
False
Is (-119)/(-357) - 3946684/(-6) composite?
True
Is ((-662)/10)/((-408)/95880) composite?
True
Let d(v) be the second derivative of v**5/20 - v**4 + 11*v**3/6 + 11*v**2 + 2*v. Suppose 6*l + 7 - 73 = 0. Is d(l) prime?
False
Let b be ((-738)/(-2) - 0) + (-64 - -60). Let h = b - 118. Is h a composite number?
True
Let a be (3/(-9))/((-4)/36). Let q(l) = -348*l - 8. Let v(b) = 347*b + 9. Let m(g) = a*q(g) + 2*v(g). Is m(-2) composite?
True
Let m(k) = 3954*k + 17. Is m(3) prime?
False
Let d(w) be the first derivative of -w**3/3 - 3*w**2 + 2*w - 36. Let u be d(-6). Suppose -u*s - 53 = -211. Is s a composite number?
False
Suppose -k = -0*k - 20. Let q be 4/k - (-12)/(-10). Is 148/(-8)*q*2 composite?
False
Suppose -2 = q - 4. Suppose q*w - 10547 = -3*k, w - 3*k - 26336 = -4*w. Is w a composite number?
True
Let f be 3 - (-149 - -8)*89. Suppose f = 7*t - 111187. Is t prime?
False
Let g = 60406 - 32129. Is g composite?
False
Is 27227835/60 - (1/5)/((-32)/(-40)) a composite number?
False
Let b(o) = 703*o**2 - 78*o + 32. Is b(15) prime?
True
Let p(n) = 2*n - n**3 - 12*n**2 + 1316 + 8*n**2 + 5*n**2 - n. Let z be p(0). Suppose -c + z = -1839. Is c a composite number?
True
Let w(n) = 215*n**3 - 28*n**2 + 182*n + 102. Is w(11) prime?
True
Let i = 45 + -41. Suppose 5*k - 630 = -i*k. Suppose 3*p - k = 197. Is p a composite number?
False
Let q(z) = -208*z + 5. Let r be q(-4). Suppose -x = -3*u + x + 22, 3*u + 13 = -5*x. Suppose -851 - r = -u*p. Is p composite?
True
Suppose 2850 = 20*i - 18*i. Let h = 2164 + i. Is h prime?
False
Let c be (0 - -3)/((-4)/88*2). Let y = -9 - c. Is 20 - y - -27*11 a prime number?
True
Suppose 0 = -k + 3*k - 3238. Suppose 0 = -3*y - 4*c + 4832, 2*y - y + 3*c = k. Suppose j + y = 5*j - 4*t, 0 = -3*j + 5*t + 1211. Is j a prime number?
True
Let v be (-29767)/(-51) - 4/6. Suppose f = 0, v = o - 3*f - 0*f. Is o prime?
False
Let j(n) = 409*n**3 - 7*n + 7. Let f(y) = -17*y + 18. Let a be f(1). Is j(a) a prime number?
True
Suppose 0 = 5*h - 2*r - 3382, -4*r = -3*r - 4. Let q = h + 11725. Is q composite?
True
Suppose 10*c - 20982 + 4612 = 0. Let v = 3577 - c. Suppose 0 = -6*b + 2*b + v. Is b prime?
False
Let p be 60/12 + 16/4. Is 0 - (-10916 + (4 - p)) prime?
False
Suppose 0 = 10*y + 22 + 18. Let s be 16/9 - y/18. Suppose 2*m - 609 = -3*g, 609 = s*g + g + m. Is g a composite number?
True
Let k(n) = 1514*n**2 + 49*n + 221. Is k(-5) a prime number?
False
Suppose 0 = 5*m - 25, m = -3*b - b + 11589. Suppose 4*x + 1725 = n, -x + b = 5*n - 5645. Is n composite?
False
Let f be (2/4 + -4)*-2. Let q be (6 - (-10)/(-4))*4/f. Suppose 0*l = -q*n - 2*l + 848, 0 = -5*n + 3*l + 2080. Is n a composite number?
False
Let l(u) be the second derivative of 61*u**4/6 - u**3 - 17*u**2/2 + 10*u. Is l(-6) composite?
True
Suppose 0 = 5*b - 10 - 0. Suppose g - 6*g + 25 = 0, b*l = -4*g + 28. Suppose -2*f - 3*d + 145 = -115, 2*d - l = 0. Is f a composite number?
False
Let d = -4303 + -8098. Let n = -1846 - d. Is n composite?
True
Let k(v) = v**2 + 4*v - 8. Let b be k(-5). Let c = -14 - -12. Is c + 199 + b/1 composite?
True
Is (6/2 - (-5286436)/83) + 2 composite?
False
Let u(f) = 87*f**2 - 47*f + 114. Is u(13) prime?
False
Let r(w) = -2*w**2 - 18*w - 13. Let m be r(-8). Suppose 136 = m*v - 299. Is v composite?
True
Let n be -33*(-7469)/42*(3 + 1). Let b be -5 + (-26)/(-6) + n/(-6). Let v = -2274 - b. Is v a prime number?
False
Suppose 12*p - 8*p + 22 = b, 3*b - 4*p - 82 = 0. Is 21703 + 6/(-10) + 18/b prime?
False
Let c be (10/(-8))/((-71)/284). Suppose q - 2*h = 6387, -4*q + 9*q - c*h = 31940. Is q a prime number?
True
Let s = 3704722 + -1942989. Is s a composite number?
False
Let k(c) = 4621*c + 3678. Is k(13) composite?
True
Let x = -399762 - -1164011. Is x prime?
True
Suppose 11 = 2*i - n, -4*i - 3*n = 2*n - 1. Let t be (7/i + -2)/((-2)/16). Suppose -4*k + 23194 = -t*k. Is k prime?
True
Let i = 728 - 365. Suppose g - 2*h + 1200 = 0, -2*h - 3590 = 3*g + 2*h. Let k = i - g. Is k prime?
False
Let u = 218 + 6065. Let d = -1784 + u. Is d prime?
False
Suppose 4*v + 3*v = 14. Let r be v/23 - 213792/(-184). Suppose x = 0, 0*o - 2*x + r = 2*o. Is o a prime number?
False
Let b = 5825 + -839. Let l = 2383 + b. Is l a composite number?
False
Let j(x) = 2 - 2 - 2769*x - 17 - 2. Is j(-4) composite?
False
Let y = 332 - -166. Suppose -17*l = -7416 + 24977. Let o = y - l. Is o prime?
True
Let m(w) be the second derivative of 100*w**3/3 + 12*w. Let q be m(-4). Let r = q + 1141. Is r prime?
False
Suppose 0 = 5*n - 0*n - 5*j - 9985, -5*n + 4*j + 9985 = 0. Suppose 2*k - 207 - 1493 = 0. Let s = n - k. Is s composite?
True
Suppose 0 = -z - 97 + 115. Suppose 15*n + 29607 = z*n. Is n prime?
False
Suppose -58845201 - 24460277 - 2571508 = -78*h. Is h prime?
False
Suppose -18 - 2 = -4*s. Suppose -s*v = v - 144. Let u = v - -357. Is u a composite number?
True
Let m be 78948/(-8)*(-336)/18. Suppose -10*b = -m - 100658. Is b composite?
True
Let m(o) = -4*o**3 + 23*o**2 + 93. Is m(-22) composite?
True
Let i = 221 + -143. Suppose -66*j = -i*j + 16332. Is j composite?
Fals