r?
True
Let z = -92 - -90. Is (-582)/(-6) - 0/z a prime number?
True
Suppose 5*s + 1850 = 3*n - 9212, -3710 = -n - 4*s. Is n a composite number?
True
Suppose -28*p = -p - 20439. Is p a composite number?
False
Suppose -12 = -k - 21. Is (k + -14)/((-1)/13) a composite number?
True
Let u(f) = 3*f**2 + 146*f - 201. Is u(-56) prime?
True
Let s(d) = 56*d**2 + d. Let h be s(1). Let p = h + 245. Suppose 2*y - 2*k = -2*y + 636, -3*k + p = 2*y. Is y composite?
False
Let l be 2/(-12) - 23107/(-42). Let c = l - 348. Is c a composite number?
True
Let t(o) be the third derivative of -9*o**6/20 + o**5/30 - o**4/24 + 5*o**3/6 + 32*o**2. Is t(-4) prime?
False
Suppose 0 = -d - 2*a + 4 - 2, -d = 4*a - 6. Is 1/(d + 635/317) composite?
False
Let r(b) = 3*b**3 + 2*b**2 - 33*b - 1. Is r(14) composite?
False
Suppose 6 + 342 = -12*f. Let z(o) = -10*o - 67. Is z(f) prime?
True
Suppose -37717 = -5*z - h, 43*h - 45*h = -4. Is z prime?
False
Let t be (-27237)/(-12) + (-1)/(-4). Suppose -5*f + p + t = -153, 3*f + 5*p - 1465 = 0. Is f composite?
True
Let i be (-3 + 1)*9/(-6). Suppose -28 = 4*c - l + 147, i*c + 3*l + 150 = 0. Is (-299)/(-5) - (-36)/c a composite number?
False
Let s be 4/8*32/4. Let n(x) = 3*x - 10. Let t be n(s). Suppose 4*j - 1177 = -5*v, t*j + 4*v = 74 + 510. Is j prime?
False
Suppose -4*y - 12 = t, 3*y + 32 = 3*t - 2*y. Suppose 5*k - 3*j - 3512 = 3*k, 2*k - t*j = 3510. Is k a prime number?
True
Suppose 5*j + 2*j = 56. Let q be 1072/(-6) + 1/(-3). Let l = j - q. Is l a prime number?
False
Let f(o) = 116*o**3 + 2*o**2 + 16*o + 3. Is f(4) prime?
True
Let n(l) = -l**2 + 9*l - 16. Let k be n(5). Suppose 3*t + 4*b + 19 = 210, -t + 53 = k*b. Is t composite?
True
Let d(q) = 54*q**2 - 8*q - 5. Let s(a) = -a - 18. Let k be s(-13). Is d(k) a composite number?
True
Let u be 6 + (-1 - 4/(-2)). Suppose u*n - 16 = -2*w + 3*n, 4*w - 5*n = -7. Suppose 0 = -3*r - 4*o + 995, -4*r + w*r + 690 = -4*o. Is r a composite number?
False
Let x be (-3)/6 + (-20)/(-8). Suppose -5*d + 255 = 2*l, 3*d - 7*d + 222 = -x*l. Is d a composite number?
False
Suppose 0 = 2*k + 4*x - 28, -7*k + 4*k + 22 = 2*x. Suppose -5 = k*v - 5*v. Suppose 2*i - 1089 = -v*z, -4*i = -2*z + 537 - 2727. Is i composite?
False
Let n(y) = -289*y**3 - 2*y**2 - 57*y - 193. Is n(-4) composite?
True
Let p = 7 + -1. Let c(m) = -26*m + 9. Let a be c(p). Let s = 234 + a. Is s a composite number?
True
Suppose 4*z - 4*j = 11564, -5*z + 4990 = 4*j - 9483. Is z composite?
True
Let h(s) = s**3 + 4*s**2 - 4*s + 6. Suppose -2*m + 11 = 2*u + 3*m, -3*u + 2*m - 12 = 0. Let n = u + 7. Is h(n) a prime number?
True
Suppose 4*v = -4*d - 508, 0*d - 4*d = 5*v + 512. Let w = 188 + d. Is w a composite number?
True
Suppose 3*v + 6 = 15. Suppose v*h - h = -3*p + 217, 5*h - 2*p = 571. Let r = 260 + h. Is r composite?
False
Let a(q) = 660*q - 421. Is a(10) prime?
False
Suppose 2*f = 3*a - 19, -5*f + 3*a - 12 = 13. Is (-1835)/f - (44/8 + -5) prime?
False
Is ((-324683)/5)/(-1) + (-12)/(-30) a composite number?
False
Suppose 4*m = -3*r + 9775, -7495 = -3*r - m + 2277. Suppose -3*y + z + r = 0, -3*y + 3245 = -2*z - 2*z. Is y prime?
True
Let i = -47398 + 82379. Is i a composite number?
False
Let o = 12893 + -7216. Is o a composite number?
True
Suppose -6 = -3*r - 0. Suppose 3*h - r*w + 2121 = -1324, -w - 4575 = 4*h. Is h/(-35) + 2/7 prime?
False
Suppose -4*q - 5*t + 4306 + 14762 = 0, 9520 = 2*q - t. Is q a composite number?
True
Let i be (-15)/2*(-52)/(-5). Let m = -43 - i. Is m a prime number?
False
Suppose -4 = -5*p + 3*k, -2 = -5*p - 0*k + 4*k. Is -3 + p + (-3 - -53) a composite number?
True
Let z = 342 - -1849. Let o = 874 + z. Is o a composite number?
True
Let b = -1960 + 3495. Is b a composite number?
True
Suppose -5*b = -10, 2*b = -c + 10 + 2. Let q(o) = 0*o - 2*o**2 - 7 + 3*o + 4*o**2. Is q(c) composite?
True
Suppose -4 = b + 5*t, t = -2*b + 5*t + 20. Suppose -g + 2*h = -b, 0 = 5*g - g + 2*h - 14. Suppose -l - 511 = -g*q - 2*l, -4*l = -12. Is q composite?
False
Let v = -12 - -15. Suppose 6*t - t - 4072 = -v*p, 0 = -4*t - 3*p + 3260. Suppose 4*f = -4*u + t, 5*f - 2*f - 2*u = 609. Is f a composite number?
True
Let s(o) be the second derivative of 2*o + 0 - o**2 - 5/6*o**3. Is s(-7) a composite number?
True
Let g = 45446 - 27739. Is g composite?
False
Let v(w) = -5 - 33*w - 1 - 3. Is v(-10) a prime number?
False
Let i be (-2 - -1466)/4 - 1. Suppose 0 = -5*t + f + i, -2*t - 4*f - 380 = -7*t. Let j = t + -13. Is j prime?
True
Suppose 16*j = 27*j - 641333. Is j composite?
True
Suppose -3*r = 2*y - 23, r = -r - 3*y + 7. Suppose -5 = -r*m + 10*m. Suppose 3*i - n - 1835 = 0, m*i + n - 3053 = -0*n. Is i prime?
False
Let t be 114/27 - (-2)/(-9). Let j(x) = -x - 1. Let b be j(2). Is t/(-30)*b*115 composite?
True
Suppose 0 = -2*h - 10*o + 7*o + 62728, 156811 = 5*h + 3*o. Is h a prime number?
False
Is 9/(-3)*(4 + (-20679)/9) composite?
True
Suppose 3*t - 4 = 5. Suppose 5*a = -5*b + 2880, 2*a + b - 4*b - 1162 = 0. Suppose u + 3*g - 195 = 7*g, 0 = -t*u + 5*g + a. Is u a prime number?
True
Let p be (18/15)/(3/20). Let d(r) = -3 - 2 + 12*r - 32*r + p. Is d(-11) a prime number?
True
Let j(o) = 3*o - 10. Let b be j(5). Suppose 0 = b*n - 5 - 45. Is n composite?
True
Suppose -1585430 = -52*w - 586926. Is w a composite number?
True
Let w be (27/(-18))/(6/(-8)). Let f(n) be the first derivative of 207*n**2/2 - 3*n - 1. Is f(w) composite?
True
Suppose 0 = -3*i + 7*s - 2*s + 2747, -3*i - s = -2759. Let l = -561 + i. Suppose u = 4*h - l, 188 = 2*h + 3*u + 16. Is h composite?
False
Suppose 3 = 4*z - 21. Suppose -10 = -z*t + 7*t. Let s(x) = -2*x - 6. Is s(t) composite?
True
Suppose 6*g - 3*g = -4*t + 6134, -4*t + 2058 = g. Is g a prime number?
False
Let w(o) = o**3 + 5*o**2 + 3*o + 4. Let n = -7 + 13. Let g = -1 + n. Is w(g) prime?
True
Suppose y + s - 521 = 376, s - 3597 = -4*y. Let q = -491 + y. Is q prime?
True
Let m(l) = -l**3 + l**2 + 3*l + 2. Let f be m(2). Suppose -f*d + 4*y = -9324, 4*y - 2*y = 4. Is d a prime number?
True
Let p(o) = o + 2. Let n be p(4). Let q be n/((-3)/((-9)/6)). Let v(l) = 3*l**3 + l**2 - l + 2. Is v(q) a prime number?
True
Let i(u) = 24*u - 119. Is i(11) prime?
False
Let b(m) = 63*m**2 - 37*m - 5. Is b(9) composite?
True
Let d = 302 + -179. Let v = d - -88. Is v a composite number?
False
Let c(b) = 115*b - 44. Is c(25) a composite number?
True
Let h(l) = -90*l + 307*l + 120*l + 3. Is h(2) composite?
False
Is 11/33*112011 - 0 prime?
True
Suppose 0 = 2*d, 7*l - 3*l - 4*d + 1360 = 0. Let o be 515/(-2)*60/(-25). Let n = l + o. Is n a prime number?
False
Suppose -3*m - g + 27867 = 0, -46445 = -3*m - 2*m - 2*g. Is m a prime number?
False
Let a(i) = 169*i**2 + 26*i - 110. Is a(7) composite?
False
Is (-1)/(6/30) + 4116 a prime number?
True
Suppose 4*r - 32 - 76 = 0. Suppose -r = -9*i + 6*i. Suppose -i*j + 11*j = 1438. Is j prime?
True
Let j = -11283 + 19592. Is j prime?
False
Suppose -t = -2*s + 2*t + 23, -3*t - 15 = 0. Suppose x = 5*c + 337 + 98, -s*c - 5*x = 348. Let r = c + 144. Is r prime?
False
Let t = 3378 - 1781. Let i = 2523 - t. Let d = i - 441. Is d composite?
True
Let a be ((-3)/6)/(1/(-380)). Let l be 1 - 2 - (3 - a). Suppose 3*j - l = -t + 20, 3*t - 566 = 4*j. Is t composite?
True
Let d be 4 - (-2)/(-3)*3. Suppose -r - 14 = -3*b, 0*r + d = r + b. Is (r/4)/(2/(-172)) a composite number?
False
Suppose -4*l + 7*l = 12. Suppose 0 = u - l*f - 1309, -3*f = u - 893 - 388. Is u a prime number?
False
Suppose 0*y - 850 = -5*y. Let z = 521 - y. Suppose 0 = -2*p + j + 259, -5*j = 4*p - z - 132. Is p a composite number?
False
Let f(n) = -n**3 - 9*n**2 - 9*n - 9. Let p be f(-8). Let h(l) = -782*l**3 - 2*l**2 + 1. Is h(p) a composite number?
True
Is ((-11349)/2 + 6)*(-4)/6 prime?
True
Let w(z) = 2*z - 1. Let c be w(5). Suppose 8*l - c*l = 26. Let q = 21 - l. Is q a composite number?
False
Suppose -2*w + 64714 = 4*o - 6*o, -w - 2*o + 32345 = 0. Is w a composite number?
False
Let g(i) be the second derivative of 2*i**3/3 + 11*i**2/2 + 5*i. Let q be g(-15). Let r = 10 - q. Is r composite?
False
Suppose -13855 = -36*g + 33*g - 4*a, -4*g + 18478 = 3*a. Is g a prime number?
True
Let d = 23 - -1. Suppose 2*y = q + 5*y - 23, d = q + 4*y. Suppose 4*g = -q, 5*v - 2*g - 1265 = -0*g. Is v prime?
True
Let i = -16 - -19. Suppose 5*c = -i - 2. Is 351 - (-16)/(