0*f. Is d(1) a prime number?
True
Suppose 31*b - 27*b - 32 = 0. Is 2 + (1141 - (-4 + b)) prime?
False
Is (1578/21)/(663/91 - 7) composite?
False
Suppose -4*f + 5 = -k + 3, f - 4*k - 8 = 0. Suppose 6*p - 3*p - 30 = f. Is p composite?
True
Suppose 4*p - 574 = 414. Suppose -m - 5*j = -238, -j + p = m + 13. Is m a prime number?
True
Let f = -14 + 14. Is 32 - (-4)/2 - f a composite number?
True
Let g(r) = r**2 + 7*r - 6. Let b be g(-8). Suppose 5 = x + b*k, 16 = 2*x + k - 3*k. Suppose -x*h + 262 = -5*h. Is h a prime number?
True
Suppose -7*n = -11*n. Suppose n*x - 33 = -x. Is x composite?
True
Let h(b) = b - 1. Let v(k) = -k**2 - 12*k + 13. Let i(f) = -6*h(f) - v(f). Is i(4) composite?
True
Suppose -4*n + 3*w = 8, 2*n - 1 = -4*w + 17. Let g be n + -3 + (8 - 2). Suppose 3*k + 2*j = 805, -g*k - 5*j + 0*j + 1085 = 0. Is k a composite number?
True
Suppose -4*x - 5*y = -x - 5428, y = -4*x + 7209. Is x prime?
True
Let u = 7459 - -6064. Is u a prime number?
True
Let j = 8145 + -3466. Is j a prime number?
True
Let r = -157 + 157. Let h(g) = g**3 + 11*g**2 + 7. Let c be h(-11). Suppose 3*d - 100 + c = r. Is d a composite number?
False
Suppose 5*j - 6315 = 4*s, 0 = 2*j - 3*s - 830 - 1696. Suppose 143 = 2*i - j. Is i prime?
False
Let g = 1292 - -838. Suppose -g = -0*c - 10*c. Is c a composite number?
True
Suppose -3*a + 34 - 19 = 0, 0 = 3*d - 3*a - 5712. Is d composite?
True
Suppose -3*l + 8 + 4 = 0. Suppose u - 28 = -l. Is 3916/u - 1/6 a prime number?
True
Let p(l) = 7*l**2 - 4*l - 18. Let m be p(9). Suppose -5*r - m = -4708. Is r composite?
False
Let f(a) = -a**3 - 2*a**2 - 6. Let y be f(-6). Suppose -7*i - 173 = -3*i + 5*h, -2*h + y = -4*i. Is 32/(-16)*i/2 composite?
False
Suppose 2*f + 14 = 4*y, -2*y - 3 = -2*f - 11. Is 63/14*y/(-9)*-2734 a prime number?
False
Let t(d) = 13*d**3 - 3*d**2 - d - 4. Let g be (-1)/(-3)*(-18 - -24). Suppose 0*z - 11 = -2*z + 5*u, 2*z + g*u = 4. Is t(z) a composite number?
False
Let j be (-30 + 5)*(12/(-10))/(-3). Is (-6)/j - 19684/(-10) a composite number?
True
Let k = 44 + -22. Is (-6)/(-33) + 2790/k composite?
False
Suppose 0 = 4*c + 21 - 1. Let i(a) = 125 - 121 + 0*a**2 + 5*a - 4*a**2 - 3*a**3. Is i(c) a prime number?
False
Let i = 7336 - -3679. Is i prime?
False
Is (((-540078)/(-15))/7 - 3)*35 composite?
True
Let j(o) be the third derivative of -o**6/120 - o**5/60 + o**4/24 + o**3/3 - 5*o**2. Let m be j(0). Suppose 3*y = m*y + 251. Is y a composite number?
False
Let c = 76 + -58. Is 4/c - (-174)/(-54) - -90 a composite number?
True
Let x(w) = -7*w - 12. Let z be x(-3). Is 1 - -9871 - (z + -6 + -2) a prime number?
True
Let h(k) = 3*k - 14. Let u be h(7). Let j = -7 + u. Suppose j*q = 3*q - 777. Is q a composite number?
True
Let a(n) = n**3 + 5*n**2 + 7*n - 22. Let j be a(7). Suppose j = 10*f - 775. Is f prime?
True
Let a(i) = -41*i + 15*i + 6 + i**2 + 19*i. Let y be a(5). Let f = 7 - y. Is f prime?
True
Suppose -2*j = -2*t - 5*j + 55181, 2*j - 110374 = -4*t. Is t a composite number?
True
Suppose -3*i + 7748 = 5*y, -5*y - 1856 - 740 = -i. Suppose i = 4*q - 2*q. Is q prime?
False
Let r(d) = 122*d + 8. Let l be r(-3). Is (9/9)/((-2)/l) a composite number?
False
Let q(m) = m**3 + 38*m**2 + 4*m - 37. Is q(-12) prime?
True
Let d(s) = 86*s**2 + s - 1. Let x be d(-1). Suppose 4*m = -f + 3*m + x, -345 = -4*f + 5*m. Is f prime?
False
Suppose 7645 = x + 106*j - 102*j, 3*j = -4*x + 30541. Is x composite?
True
Let a = -6423 + 13100. Is a a composite number?
True
Let p = 0 - -3. Suppose p*k - a - 42 = -4*a, -72 = -5*k - 4*a. Is (-4)/k - (-442)/8 a composite number?
True
Suppose -10 = 2*q, -5*q + 20 = 2*o + 45. Let d = 2 - o. Suppose -2*k - 2534 = -4*a, -d*a = -7*a + 2*k + 3169. Is a prime?
False
Suppose 5*z + 10 = 0, -z = 66*j - 62*j - 27282. Is j prime?
False
Suppose 0*o - 1449 = -3*o. Let s be (-2 - -6) + -229 + 1. Let r = s + o. Is r a prime number?
False
Suppose 25*j - 1133242 = 202633. Is j a composite number?
True
Let h be (-6720)/(-55) + (-4)/22. Suppose d + p - 1477 - h = 0, 0 = -5*p + 10. Is d a prime number?
True
Let r = 18 + -13. Suppose r*x - x - 1170 = -2*i, -297 = -x + 4*i. Is x a prime number?
True
Suppose 5*y - c - 2501 = 0, 0 = 2*c + 2 - 10. Suppose -2*j + 17 + y = 0. Is j prime?
False
Let k = -97 - -99. Suppose 4*p + g + 3*g - 5368 = 0, -2*g = -k*p + 2664. Is p a prime number?
False
Let b(c) = -c - 12. Let o be b(-18). Let f(d) = 10*d - 8. Let n be f(o). Suppose -5*a + 843 + n = 0. Is a a composite number?
False
Suppose 2*a - 3*d - 115259 = 0, 3*d - 13 - 2 = 0. Is a composite?
False
Let s(d) = 8*d**2 - 4*d + 3. Let y be s(-5). Let q = y - 128. Is q composite?
True
Let d = 1121 + -317. Let v = d - 412. Is (-2)/(-6) + v/12 prime?
False
Let w be ((-16)/3)/(-4)*-681. Let f = 5 - 614. Let p = f - w. Is p prime?
False
Let a be (-291)/15 + 5 + (-6)/10. Is (5 + 80/a)/(2/(-1302)) prime?
False
Suppose -4*c - k = -2880, -3*k = -16 + 4. Is c a composite number?
False
Let i = 387 - -1202. Is i a composite number?
True
Let s be (297/15)/(15/650). Suppose 5*b + b - s = 0. Is b composite?
True
Let b(f) be the first derivative of 1/3*f**3 - 1/2*f**2 + 9*f - 5. Is b(-13) a prime number?
True
Is 8/(-14) + 62465/7 a composite number?
False
Is ((-22917)/(-6))/(7/14) a composite number?
False
Suppose -33*t = -32*t + 2*u - 3753, -5*t - 2*u + 18805 = 0. Is t a composite number?
True
Let y(u) = 12*u - 8 + 7 + u**3 - 12 - 8*u**2. Let s be (-120)/96 - (-90)/8. Is y(s) a prime number?
True
Let x = 456 + -271. Suppose c - 43 = 5*q + x, 5*c - 1035 = 4*q. Suppose f = c + 108. Is f composite?
False
Let r = -27085 + 40244. Is r prime?
True
Let i(c) = -7*c + 2 + c**2 + 0 - 14. Let k be i(9). Let r(u) = 6*u**2 - 5. Is r(k) prime?
True
Let f(c) = c**2 + 9*c - 21. Let h be f(-11). Let x be ((-4)/8)/(h/(-382)). Is x/(4 + -1 - 2) prime?
True
Let m = -20646 - -28967. Is m a composite number?
True
Let k = 192 + -96. Let a = k - -161. Is a a prime number?
True
Suppose -3*r + q = -0*r - 1834, 4*r - 2444 = 2*q. Let s = r + 65. Is s prime?
True
Suppose -457555 - 411423 = -22*z. Is z composite?
False
Let l = 15831 - 5270. Is l a prime number?
False
Let i(z) = 229*z**2 + 3*z + 2. Let j be i(-3). Let f be j/12 + 3/(-18). Suppose 2*b = 5*b + 3*x - 501, -b - 2*x = -f. Is b prime?
True
Let j be 0 - 2*21/3. Let m = 0 - j. Is 15/3*(m + -1) composite?
True
Let i be (-3)/2 + 210/(-20). Let s = i + 99. Is s prime?
False
Let b(s) = 104*s + 141743. Is b(0) composite?
True
Is 18/81 - (-16027)/9 composite?
True
Suppose 6*z - 30 + 0 = 0. Suppose -m = -2*r - 77, -m - 2*r = -z*m + 326. Is m prime?
True
Is (18244/4)/(1 - 0) a prime number?
True
Let p be (-9)/5*(-6 - -1). Let m(g) = 0 - 2 + 9*g + 1 - g. Is m(p) composite?
False
Suppose -21*q + 96229 = -38612. Is q prime?
True
Suppose 0 = t - 33 + 39. Is 382*(-1 + (-9)/t) a prime number?
True
Suppose -7*x + 56471 = 534. Suppose x = 2*j + w, -5*w + 4*w = 5*j - 19982. Is j a prime number?
False
Let r be (-6)/(-4)*(-8)/(-6). Let p = -261 + 263. Suppose r*s - 375 = 5*z, p*s - 2*z + 183 = 3*s. Is s a composite number?
True
Suppose -43455 - 23500 = -7*y. Is y composite?
True
Suppose 122*a = 120*a - 4*b + 23150, 2*a - 2*b = 23162. Is a a prime number?
True
Let r(m) = -288*m - 11. Let j(k) = 4*k + 12. Let t be j(-4). Is r(t) prime?
False
Suppose -18857 = -3*b - 4*g, -3*b - 5*g = -0*b - 18856. Is b a composite number?
False
Suppose 3*g = 7*g - 32. Suppose -380 + 7492 = g*y. Is y composite?
True
Suppose 12*k + 778 = -206. Let w = k - -209. Is w a composite number?
False
Let b(r) = -r**3 + 10. Let x be 28/6*(-3 - (-9)/6). Is b(x) composite?
False
Let m(o) = o**3 - 5*o**2 + 34*o + 43. Let f be m(19). Let a = 18 - 13. Suppose 0*i = -a*i - 4*p + f, 0 = 5*i - 2*p - 5761. Is i a prime number?
True
Let n(c) = -752*c + 15. Let r be n(5). Let q = r - -7712. Is q prime?
True
Let r be 1/(-3)*1*-15. Let h = r + 1. Suppose 190 = 5*b - 3*d - 16, 2*d - h = 0. Is b prime?
True
Let p be ((-5)/20)/((-1)/12). Suppose -p*t - r = -5672, 2427 + 5154 = 4*t + 5*r. Is t a prime number?
True
Suppose 0 = 18*l - 1244 - 33478. Is l composite?
True
Suppose 0 = 10*n - 4005 - 3485. Is n a composite number?
True
Suppose 15*h + 211 = 1366. Is h composite?
True
Suppose -3*j - 433 = -3*w - 3532, -2*w = -j + 1038. Suppose -2*c + j = 3*b - b, 4*c - 2011 = 5*b. Is c composite?
