mber?
True
Let b = 54 - 90. Is 4*4218/b*3/(-2) composite?
True
Is -3*16/(-24)*6628/8 a composite number?
False
Let s = -2 - -8. Suppose -s*f = -1814 - 640. Is f prime?
True
Let r be 4/6*-1 - 13692/(-18). Suppose 0 = -0*c + 5*c - 5*d - r, 3*d = 4*c - 605. Is c prime?
True
Is 6 - (-7)/((-14)/(-9550)) a composite number?
True
Let u be 0/(6/(-2) + 1). Let h be (0 - 3/3)*u. Suppose 5*n + 63 = 3*x, h = -4*x - x + n + 127. Is x a composite number?
True
Suppose 0 = -8*x - 17854 + 98118. Is x a prime number?
False
Suppose -4752 = 6*y - 12*y. Suppose -2371 = -3*a - 0*a + 2*i, -i - y = -a. Is a prime?
True
Let d be (3/5)/((-3)/(-15)). Suppose -3*o + 2*n - 12 = -41, -d*o + 44 = n. Let a = 23 - o. Is a prime?
False
Let i(y) = -41*y**2 - 2*y + 5. Let u be i(2). Let h = 470 + u. Is h composite?
False
Let m(u) = -183*u**2 + u + 7. Let c(b) = 182*b**2 - b - 8. Let k(w) = -4*c(w) - 5*m(w). Is k(2) a prime number?
True
Let m be (-6436)/(-14) + (-6)/(-21). Suppose -2*w + 1114 = -y, -y - m = -w + 99. Suppose -4*q = -q - w. Is q a prime number?
False
Suppose 0 = -4*q - 2*p + 195 - 27, 0 = -5*q + p + 217. Let t = q - -22. Is t composite?
True
Let q(j) = -j**2 + 4*j + 7. Let a be q(5). Suppose 2*k + 0*g = a*g + 466, 4 = g. Suppose 0 = 3*x - 6*x + k. Is x a prime number?
True
Suppose -11 = -5*b + 19. Let n(d) = 51*d + b*d + 14 - 13. Is n(1) a composite number?
True
Let w(o) = 7187*o - 5. Is w(2) a composite number?
False
Let s be 0/(-4) + -3 - -2. Let i be s/((-3)/9*1). Is 340/i - (-2)/(-6) a composite number?
False
Let y(d) = 17*d**2 + 80*d + 58. Is y(-43) a composite number?
False
Let p be 15/(-3)*(-3)/5. Suppose -p*t - 10*t + 4121 = 0. Is t a prime number?
True
Suppose -x - 3*t + 7*t + 13589 = 0, -t = 5*x - 67882. Is x composite?
False
Let f be 2/(-1) + (67 - -2). Let g(w) = 2*w - 32. Let n be g(17). Suppose 5 - f = -n*j. Is j prime?
True
Let q = -5470 - -10088. Is q composite?
True
Let m(u) = u + 1. Let h be m(8). Suppose h*a - 3*a = 15798. Is a a composite number?
False
Suppose t + n = -0*t - 1069, 2150 = -2*t + 4*n. Let x = -505 - t. Let w = x + -235. Is w prime?
True
Let h(f) = 8*f**3 + 7*f**2 - 5. Let p(m) = -23*m**3 - 20*m**2 + 14. Let g(x) = 17*h(x) + 6*p(x). Let j be (6/5)/(6/(-30)). Is g(j) prime?
False
Let p(m) = -8*m**2 - 3*m + 6. Let a(c) = 0 + 15*c**2 + 3*c - 13 + 3*c + 2*c**2. Let q(f) = -3*a(f) - 7*p(f). Is q(3) composite?
True
Let c(i) = -3*i**3 - 4*i**2 - 3*i - 4. Let p be c(-3). Suppose -13*g + p = -11*g. Suppose 5*l - 135 + g = 0. Is l a prime number?
False
Suppose 3*t - 9 = 0, 2*s - t = 3*s - 15338. Is s composite?
True
Suppose -y + 271 + 1486 = -s, 0 = -2*y - s + 3514. Is y a prime number?
False
Let g(s) = -s**3 + 51*s**2 + 5*s + 51. Is g(16) composite?
False
Suppose 4 = 4*m - 0. Let f = m - -3. Suppose 0 = 3*a + 1 - 7, f*n - 652 = -4*a. Is n composite?
True
Let a(j) = 14*j**2 - 8*j**2 + 0*j**2 + j - 5*j**2. Let t be a(-3). Suppose 0 = -4*h + l + 1423, -t = 4*l + 6. Is h prime?
False
Let m(c) = c**3 + 10*c**2 + 5*c - 13. Let r(u) = u**3 + 4*u**2 + u - 5. Let f = 19 + -23. Let v be r(f). Is m(v) a composite number?
False
Let z be 151/2*(3 - 5). Let u = z + -87. Let p = u + 357. Is p a prime number?
False
Let b = -53 + 57. Suppose 4*u = 3*c - 2615, u = -u - b. Is c a prime number?
False
Let p = 14 + -17. Is (-1 + p)/4 - -180 prime?
True
Suppose -2*n + 3*p + 409 = 0, -608 = -3*n - 4*p + 3*p. Is n prime?
False
Let b be 27/(((-1)/(-15))/(6/(-18))). Is b/45 - (0 + 1 + -271) a composite number?
True
Let m = 484 + -1214. Let t = m + 1287. Is t a prime number?
True
Suppose 4*z = 3*j - 13187, -1222 = 4*j - 5*z - 18804. Is j composite?
True
Let t(o) = 5 + 12*o + 3*o**2 + 0*o - o + o**3 - 4*o**2. Is t(8) a composite number?
False
Suppose -28 = -8*y + 4. Suppose -4*q + 28 = 4*f, -y*f - 23 = -5*q - 3*f. Suppose 33 + 557 = j - m, 0 = 4*j + q*m - 2333. Is j composite?
False
Suppose -4*i + 10899 = i - 2*c, 3*i = 4*c + 6545. Is i a composite number?
False
Let i be 6/15*(-7 + 2). Let m = 4 + i. Suppose -3*k + 239 = 2*f - 156, 657 = 5*k + m*f. Is k a composite number?
False
Suppose 3741 = 5*c - 3*h, -h = -0*c - 4*c + 2997. Suppose -c = -15*w + 10*w. Suppose -229 = -u + w. Is u a composite number?
False
Suppose 1 - 3 = -2*n - 4*d, -3*d - 3 = 0. Suppose -4*j - 33 = -5*t, j - 30 = -2*t - n*j. Is (-1)/(t/(-15))*177 a prime number?
False
Suppose -v = -j - 3, -3*j + 0*v = -4*v + 14. Suppose 6*h = j*h + 12. Is 139 - (3 - h)/(-3) prime?
True
Let s = -1591 + 2336. Let u = s + 1414. Is u composite?
True
Let d(v) = -2*v**2 + 4*v + 6. Let j be d(-5). Let n = j - -543. Is n composite?
False
Suppose 15*q = 25*q - 330350. Is q prime?
False
Let i(r) = -1 - 35*r**2 - 16 - 2 + 39*r**2. Is i(-10) a composite number?
True
Let j(s) = 2 - 1 + 0 + 41*s + 7. Is j(3) prime?
True
Let n = -39 - -43. Let m = -4 - 4. Is ((-263)/n)/(2/m) composite?
False
Let q be (-1)/(-2) + 86/4. Let t be (-330)/(-9) + (-16)/24. Let a = t + q. Is a prime?
False
Suppose 6*k + 4*k = 0. Suppose 6*c - 366 - 144 = k. Is c a prime number?
False
Suppose 4*f + 4*p = 285532, 3*f + 4005 - 218174 = 2*p. Is f a prime number?
True
Suppose 0 = -4*x - 2*d + 1061 + 5243, 0 = 3*d + 12. Suppose 4*l = -f + 643, 3*l + 937 + x = 4*f. Is f composite?
False
Suppose -22 + 209 = 17*g. Let p(o) = 17*o - 24. Is p(g) composite?
False
Suppose 3*n + 55 = -p, 5*n + 23 = 4*n + 2*p. Let d = n + 23. Suppose -f - 24 = -d*r, 13 + 11 = 4*r + 3*f. Is r prime?
False
Is 4/18 - ((-417412)/36 + -2) composite?
False
Let h be 41*((1 - -2) + -2). Let a = -95 + h. Is 4/(-18) - 822/a a composite number?
True
Suppose 4*i + 27*z = 31*z + 5408, 2*i = -5*z + 2739. Is i a composite number?
True
Let w(a) = 195*a**2 + 6*a + 4. Let j be w(3). Suppose -5*u = 2*f - j, -u = -4*f + 32 - 383. Is u a prime number?
False
Let h = -794 + 1429. Is h composite?
True
Suppose -45756 - 200464 = -20*i. Is i a prime number?
False
Let m(u) = -u**3 - 3*u**2 - 6*u - 16. Let l be m(-5). Let s be -10 - -2*(-1)/2. Let x = l + s. Is x prime?
True
Let m be 6 + 0 + 4/(-2). Let j = m + -4. Suppose -2*w + 0*o = -3*o - 440, 5*w - 4*o - 1107 = j. Is w a prime number?
True
Suppose 5*f + 0*f - z = -4, 4*f + 4 = z. Suppose -3*l + 0*l = -558. Suppose 2*c - 976 + l = f. Is c a prime number?
False
Let p = 18 + -15. Suppose -4 = 3*u - u + p*q, 5*q = -3*u - 8. Suppose -5*v - 1355 = -u*o, 2*o + 0*v = 3*v + 679. Is o a prime number?
False
Let d(k) = k**3 + k**2 - 2*k - 296. Let f be d(0). Let l be f/6*21/(-14). Suppose -y + 253 = l. Is y prime?
True
Let t(u) = 519*u + 107. Is t(6) composite?
False
Suppose -11783 + 2509 = -2*l. Is l prime?
True
Let a = 11286 - 4543. Is a prime?
False
Let l = -24547 + 44348. Is l a prime number?
True
Suppose 5*b - 7*b = 4. Let x(h) = -120*h**3 + 3*h**2 + 3*h + 1. Is x(b) a prime number?
True
Let m be (-5043)/(-9) - 4/(-6). Let l = -398 + m. Suppose -5*y = v - 105, 50 = -v - y + l. Is v composite?
True
Suppose -4235 = 7*j - 28378. Is j prime?
True
Let v = -18 + 21. Suppose v*x - 6*x - 1638 = 0. Let i = x - -795. Is i prime?
False
Suppose 1128 = 7*d + 337. Is d composite?
False
Suppose -132 - 1563 = -5*s. Is s prime?
False
Let l = -372949 + 186294. Is l/(-14)*(-2)/(-5) a prime number?
True
Let u(v) = v**3 + 5*v**2 - 3*v - 9. Let o be u(-5). Let d(q) = -q + 10. Let a be d(o). Is (14/a + -3)*226 prime?
True
Suppose 0*k = 13*k - 88439. Is k a prime number?
True
Suppose -99*m + d = -95*m - 220809, 220789 = 4*m + 3*d. Is m composite?
False
Suppose 7*r + 2*r - 66087 = 0. Is r a prime number?
False
Suppose 4*p - 14 = 18. Let x(a) = -4*a**2 + 6*a - 13. Let j(l) = 5*l**2 - 7*l + 12. Let v(u) = 6*j(u) + 5*x(u). Is v(p) composite?
True
Suppose 5*n + 4*l - 10840 = -l, 2*n = l + 4330. Let y = 3137 - n. Is y a prime number?
True
Suppose -3*n + 367 + 107 = 0. Let u be (-8)/6*(-12)/(-8). Is (n/4)/((-1)/u) prime?
True
Let c(l) = -2*l + 1. Let b be c(-1). Suppose b*m + m = 0. Suppose m = -2*j + 2, 0 = 4*y - 4*j - 720. Is y a composite number?
False
Let p = 10232 + -3453. Is p composite?
False
Suppose 3*d - 950 = 475. Let y = -72 + d. Suppose -4*i - 38 = -s + 119, 0 = 3*s + 5*i - y. Is s a composite number?
True
Let a(y) = 352*y - 223. Is a(12) a prime number?
True
Let u(b) = 1217*b - 7. Is u(4) a prime number?
True
Suppose 2*c - 107367 = y, 4596 = -c + 5*y + 58284. Is c composite?
Tru