p prime?
True
Is 6/3 + 21971 + (-30 - (-680)/20) a composite number?
False
Let t = -347035 + 577038. Is t a composite number?
False
Let f = 123445 - 79134. Is f prime?
False
Suppose -20927 = 19*u - 67667. Let h = -127 + u. Is h prime?
True
Suppose 117*r = w + 115*r - 870315, -3481266 = -4*w + 5*r. Is w a prime number?
False
Let n = -524 - -527. Suppose n*s + 2*o = 65779, 0*s = -5*s - o + 109641. Is s prime?
True
Let s(o) = o**2 - 13*o + 4. Let x be s(8). Let m = x + 38. Is 2/(m + 72/(-38)) a prime number?
True
Suppose -1180087 = -c - 3*i + 8*i, -3*i - 4720382 = -4*c. Is c a composite number?
True
Suppose 4*z - 163 = 221. Let o = z + -84. Is (7771/(-114))/((-2)/o) a composite number?
False
Suppose -33 - 143 = -2*t. Suppose 6*s + t + 6938 = 0. Let l = 2514 + s. Is l a prime number?
False
Suppose -u - 4*v + 1975 = 0, u + 3*v - 3960 = -u. Suppose -2*d = -3511 - u. Is d a prime number?
False
Let q(s) = 5*s**2 - 3*s + 239. Is q(-41) composite?
True
Let r = 44 - 57. Let x(t) = t**2 + 8*t - 33. Let i be x(3). Is i - -2580 - (r - -14) a prime number?
True
Let b = -5445 - -9038. Is b composite?
False
Let h be (10/5 - -3) + 0 - 45. Is ((-2726)/4)/(h/80) a composite number?
True
Let z be 1705 + 8 + (-84)/7. Suppose -10*s - z = -6751. Is s composite?
True
Let b(y) = y + 4. Let j be b(-2). Let d = 4863 + -398. Suppose j*o + 3*r - d = -1679, 3*r = -3*o + 4185. Is o a prime number?
True
Let h = -560 - -557. Is (h - -1)*(-396972)/72 a composite number?
False
Let b(q) = 2*q - 15. Let m be b(6). Let w(y) = -4877*y - 112. Is w(m) a composite number?
False
Suppose 0 = -r - 5, 2*y - 54 = r - 2657. Let q = y - -2713. Is q composite?
False
Let m(z) = -z**3 + 8*z**2 + 12*z - 11. Let t be m(9). Let g = t - 10. Is (-2214)/(-10) + g/(-15) composite?
True
Let z be (-1)/((-21)/18 + 1). Suppose -4*u - k = -345, 0 = -5*k - 9 - z. Let p = u - 44. Is p a composite number?
False
Let c = 9808 - 8145. Is c a composite number?
False
Suppose 5*d - 55646 = 5*u - 344856, 3*u + 3*d - 173526 = 0. Is u a composite number?
True
Let w be 1*2*(-1 - -2). Suppose -21 = -5*a - 1, 3*a + 38 = w*x. Suppose -x*z = -23*z - 1042. Is z a prime number?
True
Suppose -13*r + 17*r = -3272. Suppose -5*x + 0*z - 3*z = -1, 5*z = -5*x - 5. Is r/((-4)/x + 0) a prime number?
True
Let n(l) = 16*l + 6. Let x be n(0). Suppose x*u - 7*u = -5939. Is u a prime number?
True
Is (-27)/(-6) + 822814/236 a prime number?
True
Let b(n) = 4*n - 4. Let r(o) = -o + 1. Let h(i) = b(i) + 3*r(i). Let g be h(4). Suppose -g*w = 4*x - 1501, 2*w = 2*x - w - 773. Is x a prime number?
True
Suppose 0 = -4*w - 0*u - 3*u - 358, 5*w - 2*u + 459 = 0. Let t(m) = 26*m**2 + 5*m + 1. Let v be t(5). Let z = v - w. Is z composite?
True
Suppose 5*y - 6 + 1 = 0, m - 1713714 = -5*y. Is m a prime number?
True
Suppose -2*b - 5*p + 1 - 5 = 0, -5*p - 16 = -2*b. Let x(z) = 148*z**3 + 3*z + 4. Is x(b) composite?
True
Let o(g) = -31*g**2 - 35*g - 34. Let i(l) = -17*l**2 - 17*l - 17. Let t(k) = -5*i(k) + 2*o(k). Is t(-6) a prime number?
False
Let j = -221 - -211. Is j/10 + 3 + -1 + 1668 composite?
False
Is (98/(-147))/(4/(-353334)) prime?
True
Let y(a) = 19*a**3 - 10*a**2 + 10*a + 4. Let o(l) = 18*l + 41. Let b be o(-2). Is y(b) prime?
True
Let u(g) = 480*g**3 + 3*g - 2. Let t = 9 - 5. Suppose -2*v - 2*c = -5 + 1, t*v - 3*c = 1. Is u(v) composite?
True
Let v(q) = 424*q + 6777. Is v(8) a prime number?
True
Let b(z) = 86*z - 71. Let c be b(4). Suppose -133345 = 268*n - c*n. Is n a composite number?
False
Suppose 6*j - 4*b - 9431 = 3*j, 3*j + 4*b = 9391. Is j a prime number?
True
Let w = 3896 + 61042. Suppose -13*y + w + 37775 = 0. Is y prime?
True
Suppose f - 664643 = -5*w, -67*f + 132937 = w - 71*f. Is w prime?
True
Let i = 6971 - 3990. Suppose -6*c = i + 2257. Let w = 1316 + c. Is w a prime number?
True
Let c(m) = m**2 - 6*m - 4. Suppose 0 = u + 3*p + 2*p + 8, -p = -2*u + 17. Let z be c(u). Suppose 2*x + 3*o = 3570 + 115, -x = -z*o - 1856. Is x composite?
False
Let f = 320045 - -31661. Is f composite?
True
Let p(g) = -16656*g - 793. Is p(-12) a prime number?
False
Let h(j) = -155*j + 1. Let i(f) = 232*f - 1. Let k(s) = 8*h(s) + 5*i(s). Suppose -111*n - 2*n - 452 = 0. Is k(n) composite?
True
Let d(m) = -66167*m + 5501. Is d(-6) composite?
False
Let p = -508322 - -1205581. Is p composite?
False
Let g(q) = 21 + 4*q - 6*q + 15*q**2 - q. Let a be g(8). Suppose 10*n + n = a. Is n composite?
True
Let w = -44 + 38. Let k be -3*(0 - 32/w). Is (((-2052)/k)/(-9))/((-6)/16) a composite number?
True
Suppose -12 = -10*h + 4*h. Suppose 2*w = -0*y + 5*y - 5, 2*y = 2*w + h. Suppose 0 = -2*p - w*p + 818. Is p prime?
True
Let j be 69*(-6 + (-95)/(-15)). Let d(c) = -c**3 + 27*c**2 + 9*c - 56. Is d(j) a composite number?
False
Let q = 137380 + -78957. Is q composite?
True
Let x(j) = -4*j**3 + 2*j**2 + 4*j + 3. Let q be x(3). Is 20186/30 - 10/q a composite number?
False
Suppose 0 = 251*m - 255*m + 4870444. Is m a prime number?
False
Is -10 - (1782410/(-3))/5 - 5/(-3) composite?
False
Let d be 1 + 1842 + (4 - 1) + 0. Let x = 3343 - d. Let i = x + -746. Is i a composite number?
False
Suppose -398 + 406 = p. Suppose 0 = -p*d + 12*d - 80980. Is d composite?
True
Let d = -235824 + 370823. Is d a prime number?
True
Is ((-12)/9)/((-24)/(-36)) + 73545 composite?
True
Let r be (-3*(-50)/(-12))/((-2)/12). Let f = r + -61. Suppose 0 = -f*z + 19*z - 10765. Is z a composite number?
False
Suppose 0 = 10*i - 18*i + 32. Is ((i - 2) + 66)*2648/32 composite?
True
Let j(s) = 4557*s + 1990. Is j(41) a composite number?
False
Let m = 179 + -145. Let y(h) = 16*h**2 - 41*h + 215. Is y(m) a prime number?
True
Suppose 0*x = -15*x + 1958685. Is x a composite number?
False
Suppose -4*y + 68 = -x, 0*x - 70 = -5*y + 5*x. Let b be (-3)/1 + -5 + y + -5. Suppose 3*w + 0*f + b*f = 311, 0 = -w - 2*f + 105. Is w prime?
True
Let q(i) = 50123*i + 7696. Is q(11) composite?
False
Suppose 0 = 4*z - 4, 125491 = 3*x - 38*z + 36*z. Is x prime?
False
Let n(o) = -854*o - 5023. Is n(-81) a prime number?
True
Suppose t + 1174 = -705. Let h = t + 2756. Is h composite?
False
Suppose -40*v + 27*v - 35087 = 0. Let t = 11362 + v. Is t a composite number?
False
Suppose 2*s = -3*q + 716677, 0 = -18*q + 20*q - 2*s - 477808. Is q a composite number?
False
Let p(y) = 4891*y + 116. Suppose 2*s + 2 = 0, -2*s = 60*b - 62*b + 12. Is p(b) prime?
True
Let w be (-1842)/(-4)*((-20)/(-2) + -4). Suppose -24*q + w = -21*q. Is 2*(q/2)/3*5 composite?
True
Let i(o) = 2*o**2 + 73*o - 28 + 34 - 88. Is i(-51) a composite number?
True
Suppose 2*a - 37 + 15 = 0. Suppose 4*y = 2*m - 2, -m + 57 - 55 = -y. Is a + -13 - (-1560 + -2 + y) a composite number?
False
Suppose 0 = -3*l - 3*s + 18, 0 = -11*l + 10*l + 2*s + 3. Suppose 11*y - l = 6*y. Is (y + 524/(-3))/((-2)/6) a prime number?
True
Let c(g) = 5*g**3 - 10*g**2 + 43*g + 1. Let r be 11/(0 - (1 + -2)). Is c(r) a composite number?
True
Is (-2267*(-1414)/(-21))/(2/(-3)) composite?
True
Suppose 5*r = -3*k + 1, 2*k = 3*r - 5*r - 2. Let p = 7 + k. Suppose -2*y - 3*y = 3*f - 1142, 1518 = p*f + 2*y. Is f prime?
True
Suppose -3*s = 3*h, -4*s = 2*h - 3*h - 15. Suppose 700 = 3*o + o - s*t, 0 = 2*o - 3*t - 344. Is o a composite number?
True
Suppose -122*r - 352967 = -138*r + 392553. Is r a composite number?
True
Let k = -65 + 119. Suppose 3*o = -3*g + k, -4*o - 72 = -0*g - 4*g. Is 3/(g/40)*1257/4 prime?
False
Suppose 38 - 5 = -11*x. Let a be -2 - (-3 + -287 + x). Suppose 4*o + 412 - 1042 = -2*f, f - 4*o = a. Is f prime?
True
Suppose 3*f - 17 = 2*y - 7*y, -11 = -4*f + 5*y. Suppose 5*q + 4*t - 16915 = 0, f*q - 13553 = -0*t + t. Is q a prime number?
False
Is (-1437)/(-6)*(-18)/63*-91 a composite number?
True
Let a = 26 + 4. Suppose 0 = 9*l - 3*l - a. Suppose 2294 = l*q + 829. Is q a composite number?
False
Let x(r) = -35*r**3 - 15*r + 25. Let g be x(8). Is g/(-10)*(-8)/(-12) prime?
True
Let o(q) = 139*q**2 - 13*q - 253. Is o(-16) composite?
True
Suppose -110*r - 36 = -113*r. Suppose -18*j = -r*j - 2706. Is j a prime number?
False
Let q = -286 - -301. Suppose -q*a - 33344 + 90239 = 0. Is a a composite number?
False
Suppose 0 = 3*v + 2*g - 2407, -v + g + 4016 = 4*v. Let a = v - 510. Is a a prime number?
True
Let u(n) = 45*n - 20. Suppose 3 = 4*i - 21. Suppose -i*o + 39 = -3. Is u(o) a composite number?
True
Suppo