osite number?
True
Let d(l) = -l**2 - 13*l + 3. Let o be d(-13). Let h(q) = 182*q**2 - 3*q + 2. Is h(o) prime?
False
Let k(a) = 5*a**3 - 25*a**2 + 17*a + 16. Is k(11) prime?
True
Suppose -2*u - 42 = 2*u + 2*c, -u = 2*c + 18. Let q = u - -10. Suppose 0 = -2*r - 0*f - q*f + 104, 0 = -3*r + 4*f + 177. Is r a composite number?
True
Is 2*(763 + -2)*(-6)/(-12) prime?
True
Suppose t + 4*z - 3*z = 5, -t - 2*z = -8. Suppose 5*s - 21482 = -3*p, t*s - 7164 = -p + s. Suppose -1030 = 7*x - p. Is x a composite number?
False
Let u be -4*(-110 - 0) + (-8)/8. Suppose -4*l + 565 + u = 0. Is l prime?
True
Let b be (-1 + 1)/(6 - 3). Suppose -5*g + 18*g - 91 = 0. Is (b - 1)/(g/(-14)) a prime number?
True
Let y = 3 + -6. Let f be y*(-88 - 1/(-1)). Suppose 3*u + f = 6*u. Is u composite?
True
Let f(p) = p**2 + 13 + 17*p - p**2 + 2*p**2 + 0*p**2. Is f(-14) composite?
False
Suppose -5*r - 24 = 3*u - 92, 5*r + u = 76. Is (1528/6)/(r/24) composite?
True
Let f = -10332 - -18583. Is f composite?
True
Let q(h) = h**3 - 40*h**2 - 39*h - 88. Is q(58) composite?
True
Let x(l) = -3*l - 1. Let v be x(-1). Suppose 2*u + 0*u - 16 = -4*n, -3*n = -v*u - 19. Suppose -s + 5*p + 384 = 0, -n*s = -2*s - 3*p - 1212. Is s composite?
False
Let j = 1638 - 905. Let m = -482 + j. Is m a composite number?
False
Suppose k + 0*j + j = 2, 20 = 5*k - 5*j. Suppose 0 = -z - c + 408, 3*z - z - k*c = 791. Suppose -2*x + z = s, 2*x + 4*s - 255 = 163. Is x a composite number?
False
Is -1 - (361000/(-35) + (-6)/(-21)) prime?
True
Let r be 3/7 + 60/(-140). Suppose r = 24*n - 25*n + 55. Is n prime?
False
Suppose 10*h - 309477 = -11*h. Is h prime?
True
Let n(v) = -v**2 + 10*v - 1. Let u(b) = -b**2 + 9*b - 1. Let g(w) = -4*n(w) + 5*u(w). Let f be g(5). Is ((-265)/15)/(f/21) a prime number?
False
Let t = -55 - -66. Suppose 8*v + 1353 = t*v. Is v prime?
False
Let l be ((-17336 - 4)/6)/(1 - 2). Suppose l = 3*j - 671. Is j a prime number?
True
Suppose -3*p + h = -6*p - 4, -3*p - 20 = 5*h. Let j be p + (-9)/((-36)/(-40)). Is (578/3)/(j/(-15)) composite?
True
Let j(b) = 2*b - 4. Let u be j(8). Suppose r - u = f + 44, -r = -2*f - 110. Let z = f - -231. Is z a prime number?
False
Is (-20143)/(10/(-20)*2) a prime number?
True
Suppose 6*w + 1 = 91. Suppose -2*a + w = 3*a. Suppose -292 = -2*q - 5*d + 90, a*d = 0. Is q prime?
True
Let v(d) = -2*d**2 - 13*d - 19. Let x be v(-5). Let u(s) = 22*s**2 - s - 9. Is u(x) composite?
False
Let m be (-4)/(-14) + 24/28*-12. Let u(f) = f**3 - 7*f - 9 + 10*f**2 + 5*f - 13*f. Is u(m) prime?
False
Let r be (-21440)/(-9) - 4/18. Suppose 11*l - r = 8*l. Is 3/6*1*l composite?
False
Suppose -3*b = n - 69301, b - 23103 = 8*n - 9*n. Is b prime?
True
Suppose 4*q - 4*w = -w + 6151, 0 = 5*q - w - 7686. Is q composite?
True
Suppose 0 = -2*h + 49 + 255. Let o = -129 + h. Is o a prime number?
True
Suppose 2*x + 20 = r, -50 = 3*x + 2*x + 3*r. Is 4 + (x - -3) - -556 a composite number?
True
Let m be 0 + 3 + (2 - 3). Suppose -4*c + 150 = 3*a + m*a, 2*a + 3*c - 67 = 0. Suppose 0 = t - 5 - a. Is t prime?
True
Let j be (14/21)/(3/315). Suppose j + 303 = b. Is b composite?
False
Let t = -560 - -1082. Suppose -5*x = -2*y + t, -y - x = -6*x - 271. Is y prime?
True
Suppose 0 = -4*v + 4*m + 12, -2*m = -5*v + 8 + 10. Suppose -5*y = -v*u + 925, -482 = -5*u + 3*u - 4*y. Is u a composite number?
True
Let n be ((-12)/(-4) + 537)/(3/3). Suppose 2910 = 6*j + n. Is j prime?
False
Suppose -z = -265 - 157. Let f = z - 243. Is f a composite number?
False
Suppose -4*x + 1384 = -4*c, 4*x - 998 = x - 5*c. Is x a composite number?
True
Suppose 3*l = l + 10. Suppose 0 = j - 2, -l*b + 385 = -5*j. Is b composite?
False
Suppose 5*w + 0*x = 4*x + 91, 4*x = 2*w - 46. Let m be 9/w + (-6)/10. Let j(q) = -q**3 + q**2 - q + 14. Is j(m) prime?
False
Is (15/3)/(6/85326) a composite number?
True
Suppose -25*a = -20*a - 10. Suppose 0 = -3*w + 49 + a. Let h(t) = -t**3 + 18*t**2 + 11*t + 23. Is h(w) a prime number?
True
Let y = -2334 - -7433. Is y composite?
False
Let r(z) = -33*z**3 + 7*z**2 + 4*z - 5. Is r(-4) prime?
True
Suppose -340*w + 64 = -348*w. Suppose 2*z = -3*g + 3*z - 10, g = 3*z + 10. Let d = g - w. Is d composite?
False
Let u = 44901 - 31436. Is u composite?
True
Suppose -g + 4157 - 250 = 0. Is g prime?
True
Let c = -478 + 4149. Is c composite?
False
Let y(i) = 5*i + 3. Let l(p) = 9 - 8 + p + 0. Let h be l(9). Is y(h) prime?
True
Let p = 8210 - 4699. Is p a composite number?
False
Suppose 5*h = -y + 4*y + 1936, -2*h - 1922 = 3*y. Let a = y + 949. Is a composite?
False
Let n = 213 - 105. Let u be (-4 + 2 - -4) + -77. Let r = n + u. Is r a prime number?
False
Let k be 4/6 + 3/9. Let u be -24 + 1/k*3. Let y = u - -58. Is y composite?
False
Is 295255*(-84)/56*(-2)/15 a composite number?
False
Suppose -12*f = -14*f + 6. Suppose 5*w + v + 0*v - 34 = 0, 30 = f*w + 3*v. Suppose 2*c + 28 = w*c. Is c prime?
True
Suppose -a + 2122 = s, 0*a + s = 5*a - 10616. Suppose 3*t - 528 = 2*t - 2*f, 3*f + a = 4*t. Let j = t + -237. Is j prime?
True
Let p = 2217 + -1264. Is p a composite number?
False
Suppose 6*j + 502 = -302. Let b be 3*1 - (5 + -4). Is b*-10*j/8 a composite number?
True
Let c = 7462 + -14363. Let w = c + 11978. Is w a composite number?
False
Suppose 2*z - z + 392 = 5*x, 3*x = 4*z + 225. Is x a composite number?
False
Suppose 4 - 8 = -2*v. Suppose v*u - 409 = 505. Is u prime?
True
Let b be (1784/20)/(11/10 + -1). Suppose 18*r = 22*r - b. Is r composite?
False
Suppose 7 = -6*s + 37. Suppose -i - z = -6*z - 507, s*i = 2*z + 2512. Suppose -i = l - 3*l. Is l a prime number?
True
Suppose 4*o - 140552 = -4*g, 84006 + 21411 = 3*g + 2*o. Is g a prime number?
True
Let d(q) be the third derivative of 0 + q**3 - 1/8*q**4 + 1/40*q**6 + 3*q**2 + 0*q - 1/20*q**5. Is d(5) a composite number?
True
Let f = 25 - 25. Suppose f = -35*i + 30*i + 3205. Is i + 1 + 1 + -2 a prime number?
True
Is ((-20)/(-1) + -1)/(3/309) prime?
False
Let b(m) = m + 1. Let z(o) = -315*o - 2. Let g(v) = -b(v) - z(v). Is g(2) prime?
False
Let y = 8848 - -4765. Is y a prime number?
True
Suppose 4*z = -9*b + 6*b + 32, 5*z - 25 = 0. Let s be 2520/b + (1 - 2). Suppose -1357 - s = -6*t. Is t prime?
True
Let d(l) be the third derivative of -87*l**4/8 - l**3/6 - 11*l**2. Is d(-4) composite?
True
Suppose 209955 = 18*s - 3*s. Is s a composite number?
False
Suppose -28*a - 287553 = -1053941. Is a prime?
False
Suppose -8*g - 5 = -13*g, 0 = -a - 5*g + 16500. Is a composite?
True
Suppose 3*x + 3*x - 390 = 0. Let y = 69 + x. Is y prime?
False
Let r = 8066 - 4113. Is r prime?
False
Let c be (-4)/((-2)/24*(-3)/(-2)). Let a = 15 + c. Is a a prime number?
True
Suppose 8*g - 21*g = -2447705. Is g a prime number?
False
Let f be ((-16)/(-10) - 2)*-10. Suppose 5*u = -d + f*d + 2210, -4*d = -20. Is u a composite number?
True
Let k(d) = d - 1. Let t(l) = -l + 14. Suppose 3*b - 12 + 9 = 0. Let u(p) = b*t(p) - 2*k(p). Is u(-5) a composite number?
False
Let z(o) = 18 + 130*o + 17 - 16. Is z(7) prime?
True
Let u be 164/10 - 16/40. Let s = 16 - u. Suppose z = -m - 4*z + 231, -m + 4*z + 195 = s. Is m a prime number?
True
Let n(d) = -764*d - 3. Suppose 6*c + 2 = 4*c. Is n(c) a composite number?
False
Let j(i) = 6*i**2 + 4*i + 2. Let x be j(-1). Suppose -3*y + 904 = x*r + y, -2*r + 455 = 3*y. Is r a prime number?
True
Suppose 3*l = -4*p + 8*l + 67469, 15 = 5*l. Is p composite?
False
Let g be (-5)/(-1*(-3 + 4)). Let p(t) = -t**2 + 14*t - 7. Let n be p(g). Suppose -3*v + 4*v - 64 = -4*y, -2*y - 2*v = -n. Is y composite?
True
Let v be (1 + -1)/3*(-8 - -7). Suppose v = 7*j - 1329 + 160. Is j composite?
False
Let h(s) = -5*s**3 - s**2 - 47*s + 31. Is h(-15) composite?
True
Suppose 0 = -5*h - 0 + 15. Suppose 3*w = -h, 3*n + 2*w = w + 284. Is n composite?
True
Let j(y) = y**2 - 6. Let s be j(-3). Suppose -2*w + 764 = 4*i + w, s*i - 5*w = 573. Is i composite?
False
Let b(h) = -5*h + 419. Is b(0) a prime number?
True
Suppose l + 4*l + 25 = 0, x = -l - 1. Suppose x*k - 379 = -15. Is k prime?
False
Let a(t) = 3*t**2 - 20*t - 6. Let b be a(7). Is b*(8/(-4) + 1485/3) prime?
False
Suppose 5*d = -2*v + 15831 - 3972, 0 = 4*d - 5*v - 9474. Is d prime?
True
Let t(w) = -11*w**3 - 2*w**2 - 5*w - 19. Is t(-10) prime?
True
Is -1*(0 + 6/12)*-8354 a composite number?
False
Suppose -229776 = -23*o + 7*o. Is o a prime number?