False
Let x(d) = -260*d - 45 + 10 - 752*d - 74. Is x(-9) prime?
True
Let t(u) = -u**3 + 109*u**2 - 62*u + 289. Is t(88) prime?
True
Let y be -5 - (-146612)/(-32) - (-3)/(-8). Let n = y + 18956. Is n prime?
True
Suppose -3*h = -3*z - 4 - 17, -5*h = -3*z - 29. Suppose 0 = -n - 2*n + 2*l + 16929, -5*n + h*l = -28213. Is n composite?
True
Let r = -282 + 285. Suppose 5*a = -5*j + 21030, 0 = 2*j - r*a - 3053 - 5334. Is j a composite number?
False
Let j be 6/2 - (-44)/11. Suppose -j*t = 17 + 11. Is -4*(t + -122) + -2 a composite number?
True
Let m = 40 - 54. Let b(d) = -d**3 - 9*d**2 + 13*d - 5. Let p be b(m). Suppose -3*a = -2*f + 568 + p, 0 = -2*f - 4*a + 1354. Is f prime?
False
Suppose 0 = -v + 11 - 6, 5*s - v - 1302980 = 0. Is s composite?
True
Is (-2)/(-3)*((-351599892)/(-490) + 6/(-20)) prime?
False
Suppose 54*i = -30*i - 4*i + 977944. Is i composite?
False
Is (-182 + 4)*(-24727)/158 a prime number?
False
Suppose -24 = -4*a + 4*m, a + 2*m + m + 2 = 0. Suppose -180 = -a*c - v + 8, 2*c - 100 = -2*v. Let f = c - -333. Is f composite?
False
Let q(j) = -27*j + 1546. Is q(-19) a composite number?
True
Suppose 135 = 89*f - 74*f. Let m(g) = 7*g**3 + g**2 - 9*g - 4. Is m(f) a composite number?
False
Let z(c) = -2*c**3 - 45*c**2 - 76*c + 40. Suppose -17*j = 477 + 152. Is z(j) composite?
True
Let z = 98432 - 48925. Is z a composite number?
True
Is 164/(-82)*126118/(-4) composite?
False
Let s(n) = -7*n**2 + 24 + 22 - 50 - 3*n - 47*n**3. Let t = -59 - -56. Is s(t) composite?
True
Suppose 2*t + 94 - 11 = -3*r, 2*r + 3*t + 57 = 0. Is (6339 - -1) + r/(-9) a composite number?
False
Suppose -10*u + 12*u - 204 = 0. Let j = u + -99. Suppose -j*f + 79 = -347. Is f composite?
True
Let p = 252 + -250. Suppose -1226 = p*c - 4*c. Is c a prime number?
True
Let k = -237641 + 459714. Is k prime?
True
Suppose 0 = -4*p + 4*c + 93804, -13*c + 23451 = p - 11*c. Is p a composite number?
True
Suppose 0 = 2*r - 7*r - m + 12, r + 5*m = 12. Suppose -5*i - 33437 = -4*v, -r*i = -6*i - 20. Is v a composite number?
False
Suppose 2*w = 2, 4*w - 42 = -3*p + 7*w. Is 1366 + (-5)/(p/(-21)) prime?
True
Let q(m) = -90*m + 32 - 67 + 34. Let p be q(-6). Suppose 5*i - p = -r + 401, 4*i + 2*r = 758. Is i a composite number?
True
Let d(b) = -135*b + 52. Let q be d(-12). Suppose -7*g = -7909 + q. Suppose -n = -g - 166. Is n composite?
True
Let w(v) = 3251*v + 25. Let b be w(2). Suppose 1725 = 4*y - b. Is y composite?
False
Let w be (-5*(-5)/50)/((-1)/336). Let n(s) = s**3 - 3*s**2 + 2*s + 1. Let p be n(-3). Let z = p - w. Is z composite?
False
Suppose 2*y = -703 + 2801. Let g = y - 175. Suppose m = -m + g. Is m a composite number?
True
Suppose 4*q = -28, 32*g - 5*q = 27*g + 5852610. Is g composite?
True
Let r(l) = -l**3 + 7*l**2 - 4*l - 6. Let c be r(6). Let y be ((-4974)/9 - 0)*(c - 3). Let t = -985 - y. Is t prime?
True
Suppose 5*r - 2 = j, -1 = 3*j + 5. Let p(a) = 1869*a + 17 + 17 - 1867*a - 11. Is p(r) a composite number?
False
Suppose -14 = -2*l + 2*i, 0*l - 2*l = -5*i - 26. Is l/(-21) - 169*2368/(-14) composite?
True
Let n be (6/(-21))/(2/(-14)). Suppose h = 2*m + 4149, m - 12454 = -n*h - h. Is h prime?
False
Suppose -2*c + 0*c + 4 = 0. Suppose 3*l = -l + c*s, -3*l - 4*s = 0. Suppose -w - 3*k + 305 = l, -5*w - 3*k + 1477 = -0*w. Is w prime?
True
Let u(v) = -6*v - 48. Let p be u(-11). Is 1/3 - (-5538)/p - -1 composite?
True
Let i(m) = 123*m**2 - 2*m + 6. Let g(l) be the first derivative of l**3/3 + 5*l**2/2 - 10*l - 13. Let z be g(-7). Is i(z) a composite number?
True
Suppose -4*m = -850 - 518. Let u = 203 + m. Let g = u + -388. Is g a composite number?
False
Suppose 9*c = -30*c + 11*c + 3389092. Is c composite?
False
Suppose y - 26 = 3*y + 4*n, 3*n = 5*y + 39. Let a(d) = 375*d - 27. Let w be a(y). Let g = -1695 - w. Is g a composite number?
True
Let y(t) = t**2 - 1. Let l be y(4). Let w be (-2 + (-12)/(-10))/((-6)/l). Suppose 0 = -w*n + 3125 + 8817. Is n prime?
False
Let h be (2/4)/(12/96). Let r be h/1*6/12. Suppose r*x - 149 = x. Is x composite?
False
Let l(q) = q**2 - 9*q + 5. Let p be l(0). Suppose 1753 + 11017 = p*f. Is f a prime number?
False
Let z = -4425 + 7318. Suppose 0 = -3*u + 3*d + 8649, -u + 4*d = d - z. Is u a prime number?
False
Let t = 55 + -35. Let r be (3 + -3 + t)*(-2)/(-8). Suppose r*v = 16*v - 21439. Is v a composite number?
False
Let j = 966720 - 628499. Is j composite?
True
Is 19016985/(-130)*-2*(-1)/(-1) a prime number?
False
Let s(n) = 48389*n**2 - 348*n + 1385. Is s(4) composite?
False
Let u(m) = -m**2 - 14*m - 28. Let g be u(-3). Suppose -14*q + 92709 = -g*q. Is q composite?
False
Suppose 0 = -42*z + 28*z + 150962. Is z a composite number?
True
Let z = 297186 - 74633. Is z prime?
True
Let x(n) = -n**2 + 2*n - 1. Suppose 3*c - 4*o = -0*o - 5, -5*c = -5*o + 5. Let s be x(c). Suppose s = 3*p - 4*l - 1513, 2*p = 3*p - 4*l - 515. Is p prime?
True
Let w be (46/(-92))/((-2)/15968). Is (w - 4)*(-14)/(-8) prime?
False
Suppose 0 = -4*j + 7*j - 12. Suppose -j*l + l = 36. Let z = 107 - l. Is z composite?
True
Let f be 13 + -24 + -1 + -1. Let m = 57 - f. Suppose -4*l + m = -390. Is l a prime number?
False
Suppose -69*a - 16*a - 68*a + 5902893 = 0. Is a composite?
True
Let v be -344*(4 + 27115/(-20)). Suppose 0 = 26*i + 17*i - v. Is i composite?
True
Suppose 0 = 6*v - 83 - 445. Is (13497/132)/(2/v) composite?
True
Suppose -8 = h - 4*k, -2*h + 2*k + 1 - 5 = 0. Suppose 3*t - 8451 = 4*d, h*t - 5*d + 8424 = 3*t. Is t prime?
False
Let h = -49112 - -103305. Is h prime?
True
Let b be (-6 - (-1540)/(-2)) + 5. Let v = 3164 + b. Is v prime?
True
Let h(k) = -8*k**2 + 6*k + 23. Let f be h(-18). Let x = f - -6668. Is x a prime number?
False
Let y = 393422 - -102789. Is y prime?
True
Let q be (-1)/((-39)/12 + 3). Let b = q - 6. Is (-3 + 9)/b + 586 a prime number?
False
Suppose 11925*g - 11934*g = -68751. Is g prime?
True
Let a be 834/8 + (-2)/8. Let t be 29/(319/14223) - (-4 - -2). Let w = a + t. Is w a prime number?
True
Let r be (62373 - 0) + (-15)/(165/(-44)). Suppose -2*k = -w - 3*w + 83166, 3*w - r = 2*k. Is w a prime number?
True
Let w be 2134/(-55) + (-1)/5. Let v = -36 - w. Suppose -2*i - c = -1269, v*c = -3*i + c + 1903. Is i prime?
False
Let a = 559 - 559. Suppose 4*b - v = 31121, -4*v - 15550 = -a*b - 2*b. Is b a prime number?
False
Let m(o) = -4*o - 123. Let z be m(-37). Let u(h) = 18*h**2 - 49*h - 18. Is u(z) composite?
False
Let w be -15*(132/(-18) - -7). Suppose 2*p = w*u + 12123, -u + 6058 = 4*p - 3*p. Is p a composite number?
True
Suppose -5*v - 5 = -5*m, 2*v - 4*v = -3*m + 5. Let x(k) = -k**3 + 3*k**2 + 2*k - 6. Let j be x(m). Suppose j*g + 3*g = 834. Is g prime?
False
Suppose 0 = -5*h - a + 334, 256 = h + 3*h - 2*a. Let d = 88 - -29. Let x = d - h. Is x composite?
True
Suppose -23*a + 6413 + 1174936 = 0. Is a/4 - (7 + (-58)/8) a prime number?
True
Let s be (-476)/(-2) + (-11)/(-15 + 4). Let z = 828 + s. Is z a prime number?
False
Let v(f) = 1103*f**2 - 191*f + 77. Is v(-12) a composite number?
False
Is (-2)/5 + 18 + 7681312/80 prime?
False
Let a = -4801 - -7897. Suppose -4*z = -0*z - a. Is z/22 - (-22)/(-121) a composite number?
True
Suppose -2*f + 90633 = w - 55946, 293122 = 2*w - 2*f. Is w a composite number?
True
Suppose 38301 = 348*k - 345*k. Suppose k = 2*p - 1359. Is p prime?
False
Suppose -2*v + 10114 = -6686. Suppose 21*r - 52 = 32. Suppose r*n = -4*y + v, -8*n + 2*y + 4180 = -6*n. Is n a prime number?
False
Suppose -2*v - 21 = -7. Is (-2807)/(-7) - 0/v a composite number?
False
Let k(t) = -225 - 53*t + 400 - 214. Is k(-16) composite?
False
Is 86315/6 + (-38)/(-228) prime?
False
Suppose 12*h = 2*m + 7*h - 95822, 3*m = h + 143707. Suppose 432*p - m = 411*p. Is p a prime number?
True
Suppose 4*g - 2784879 = -3*r, 18*g = 22*g - 7*r - 2784869. Is g a prime number?
False
Suppose -2*g - 6172 = 2*o, -g + 3094 = 16*o - 17*o. Let u = o - -5423. Is u composite?
False
Suppose 2*i - 1919507 = -3*n, 4*n + 4*i - 1428806 = 1130542. Is n a prime number?
True
Let f(r) = -7*r**3 - 2*r - 3. Let x be f(-1). Let p be 116/(-2)*(399 - (x + -1)). Is (-8)/(-36) + p/(-36) a prime number?
False
Suppose 38*t - 2932675 = 13*t. Is t composite?
False
Is 90447 + (4/6 - ((-15)/(-9) + -5)) composite?
True
Suppose 5 = 4*f + 3*w, -7*f + 5 = -2*f + 5*w. Let b(s) = 1075*s**2 - 10*s - 10. Let z be 