= 36*g + 30. Let o be q(f). Let p = -179 - o. Is p prime?
True
Suppose 13*t = -133511 + 366089 + 130655. Is t composite?
False
Suppose 0 = 4*v - 4*o + 28, 0 = -4*v - o - 4*o - 19. Is 93140/15 + (26/v - -4) prime?
False
Let g be ((-6)/3)/(10/(-15)). Suppose -h - g*b + 20 = 0, 4*h - 2*b - 5 = b. Let a(q) = 18*q + 7. Is a(h) composite?
False
Suppose -235*j - 5*i = -232*j - 27710, 0 = -j - 4*i + 9239. Let u(y) = y**2 + 3*y - 2. Let m be u(-4). Suppose -m*v + 7*v = j. Is v composite?
False
Let c(k) = 27*k**2 + 4 + 27*k**2 + k + 6*k**2. Let o be 5/1 + -14 + 12. Is c(o) composite?
False
Let v(a) = 12*a**3 + 8*a**2 - 4*a - 15. Let o(k) = -11*k**3 - 8*k**2 + 4*k + 14. Let d(q) = 4*o(q) + 3*v(q). Is d(-13) composite?
False
Suppose -56*z = -0*z - 1494607 - 3864649. Is z prime?
True
Let s(c) = c**2 - 2*c + 57. Let d(b) be the second derivative of -b**5/20 - 5*b**4/6 - 7*b**3/6 - b**2 - 38*b. Let j be d(-9). Is s(j) a prime number?
False
Suppose 8*a = 60*a - 572. Let x(o) = -15*o**2 - 6*o - 73. Let u(r) = 5*r**2 + 2*r + 24. Let q(n) = 7*u(n) + 2*x(n). Is q(a) prime?
False
Let n(o) = 2*o - 15. Let c be n(13). Suppose 6*d - c*d = -15. Suppose 0*h = d*h - 429. Is h prime?
False
Let a(v) = v**3 - 11*v**2 + 21*v - 11. Let j be a(9). Suppose -4*h + j = -i, -9 - 23 = 5*i + 4*h. Is (i/12)/((-8)/9804) prime?
False
Suppose -4*d + 17 = 9. Suppose d*t - 215 = 459. Is t composite?
False
Let t = -22407 + 35200. Suppose 5*m + t = 6*m. Is m composite?
True
Let f be 4/(-4) + (-70762)/(2 - 4). Suppose 6*m = 26*m - f. Is m a composite number?
True
Let r(j) = 139 - 6*j**2 - j - 12*j - 120. Let b be r(13). Let m = 337 - b. Is m a composite number?
True
Suppose 0 = 9*t - 203011 - 789878. Is t a prime number?
True
Let x be (-15813)/(-49) - 1 - (-2)/7. Let f = x - 99. Is f composite?
False
Let t = -28338 + 84707. Is t a prime number?
True
Let z = 561 + -564. Is z/(-15) + (-387396)/(-45) prime?
True
Let s be 7/(-70)*-155*(-492)/(-2). Suppose -m - 4*n = -s, 2*m + 6*n = 4*n + 7596. Is m a prime number?
True
Suppose 2*c = -5*z + 32521, -10*z + 2*c = -9*z - 6497. Is z composite?
True
Let y = -455 - -471. Suppose -4*h - 14*z + 9918 = -y*z, 3*z = 4*h - 9919. Is h prime?
False
Let s(r) = r**2 + 65*r + 1006. Let c be s(-40). Let l(b) = -2*b - 6. Let j be l(-6). Suppose -4*x = -5*w - j*x + 2219, -3*x = -c. Is w composite?
False
Let o(n) = -5281*n**3 + 4*n**2 + 205*n + 1041. Is o(-5) a prime number?
True
Let w be (-5)/((4 + -6)/2). Suppose w*q - 2*a - 32 = 0, 0 = 3*a + 1 + 2. Let r(x) = x**3 - x**2 - x + 5. Is r(q) a composite number?
False
Let u(c) = -2384*c**3 + 3*c + 1. Let d be u(-2). Let h = d + -2734. Is h composite?
False
Suppose -3*y = -4*a + 35, -3*y = 13*a - 10*a. Suppose -a*g + 5*p = -790, 5*p = -g + 219 - 55. Is g a prime number?
False
Suppose -4*i - 4*r = -8084408, -329*i - 10105516 = -334*i - 3*r. Is i prime?
False
Suppose 10321 - 135381 = 37*z. Let q = 8713 + z. Is q composite?
False
Let f = -253 - -264. Suppose 6*s + f*s - 15487 = 0. Is s a composite number?
False
Let n = 385461 + -223240. Is n prime?
True
Suppose 0 = -23*i + 241668 + 345683. Is i composite?
False
Let f = -27 - -27. Let k(g) = -22*g + 56. Let s be k(-14). Suppose f = -3*p + 1151 + s. Is p composite?
True
Suppose 3*w - 868462 = 14*k - 18*k, 4*k - 5*w = 868414. Is k prime?
True
Let d(n) = -198*n**2 - 10*n - 31. Let c be d(10). Let m = c - -13447. Let w = -905 - m. Is w composite?
True
Let l(s) = -15*s**3 - 8*s**2 + 98*s + 74. Is l(-17) composite?
True
Let m(n) = 24*n + 98. Let b be m(-4). Let f(l) be the first derivative of 74*l**2 - 5*l - 7. Is f(b) prime?
False
Suppose -159*v + 23390752 - 2426761 = 0. Is v a prime number?
True
Let d be 1/(-4) - 18213/12. Let s = d - -2232. Suppose -5*r - s = -2*z, 3*z - 708 = 2*r + 341. Is z prime?
True
Let j(s) = 1690*s**2 + 7*s + 10. Is j(-1) a composite number?
False
Is (-4)/(-18) + (-5127984)/(-1296) composite?
True
Let p(n) = -n**2 - 2*n + 46. Let r be p(6). Is 10/(-15)*1473/r a prime number?
True
Suppose -4*h + 8*h + 4420238 = 62*h. Is h a composite number?
True
Suppose 5 + 0 = -n. Let j(y) = -500*y**2 - 13*y - 2. Let t(u) = 250*u**2 + 7*u + 1. Let r(v) = n*t(v) - 3*j(v). Is r(2) composite?
False
Suppose 5*p - 31 = 4*z, -1 = -3*z + 2. Let a(j) = 4*j**2 - 10*j**3 - 4*j + 2*j - j**3 - 5*j**2 + p. Is a(-3) prime?
False
Let r = 190 + -179. Suppose r*a - 4*a - 8029 = 0. Is a composite?
True
Suppose 0 = -47*z - 146297 - 570547. Let u = -5041 - z. Is u composite?
False
Is (6*(-8)/(-72))/(2/2543586) a composite number?
True
Let u be -1 + 27/(-2) - (-2)/(-4). Let o be u/(-4) + 1/4. Suppose -o*g + 9*g = 4775. Is g a prime number?
False
Suppose 3*l + k + 0*k - 54 = 0, 3*l - 45 = -4*k. Let r(j) be the second derivative of -j**4/12 + 7*j**3/2 - 3*j**2/2 + 10*j. Is r(l) a prime number?
False
Let g = 2644426 + -1617717. Is g composite?
False
Suppose 6*m = 4*m + 12278. Let y = -1556 + m. Is y a prime number?
True
Suppose -1 = 7*o - 22. Suppose -5*d - 4*u + 1010 = -3*d, o*d - 1495 = -2*u. Let c = d + -190. Is c a composite number?
True
Suppose -15 = -f + 32. Let n = 51 - f. Suppose 0*h + 83 = n*h - 3*l, -12 = -4*l. Is h a prime number?
True
Let l(s) = -107327*s - 11039. Is l(-6) a composite number?
False
Suppose 43*w = 202*w - 40402695. Is w prime?
False
Let a = -39 + 39. Suppose -9*k + k + 10264 = a. Is k composite?
False
Let m(f) be the second derivative of 0 - 14*f - 5/2*f**2 + 527/6*f**3. Is m(8) prime?
True
Is (-16)/(88/(-11)) + (-521818)/(-2) a prime number?
False
Let u = -77 + 88. Let o = u - 9. Suppose -2*w = -0*w + 5*z - 888, -5*z = -o*w + 908. Is w composite?
False
Is (476259/6)/((-81)/(-162)) composite?
True
Let y = -163831 - -241968. Is y composite?
False
Let a(v) = 18*v**3 + 12*v**2 + 2*v - 5. Let b be 988/234 + (-4)/18 - -2. Is a(b) composite?
False
Let u(b) = 8899*b - 3570. Is u(19) prime?
True
Let i be -1*(6/(-9))/(2/6). Suppose -z = i*z - z. Suppose 7*f - 2212 = 3*f + 4*v, z = 2*v - 8. Is f composite?
False
Let b be 595/(-10) + 4 + (-14)/4. Let c = b - -62. Is -597*(-5 + (7 - c)) prime?
False
Suppose 359429 = 3*h + q + 37861, -4*q = -4*h + 428720. Is h a prime number?
False
Let t(y) = 917*y + 101. Let u(q) = 611*q + 67. Let s(l) = -5*t(l) + 8*u(l). Let v be (-938)/(-154) + (-2)/22. Is s(v) a prime number?
False
Let f(d) be the second derivative of 4*d**4 + 2*d**3/3 + 7*d**2 + 9*d. Let v be f(8). Suppose 5*r - 3907 = v. Is r a composite number?
True
Let p be (1293/(-6))/(7/14 + -1). Let d = p - 285. Is d a composite number?
True
Suppose -5*c + 33387 = 5*m - 19233, -2*m - 4*c + 21034 = 0. Is m composite?
False
Suppose -209*y = -39*y - 12708588 - 771562. Is y composite?
True
Suppose 3*p = 4*o + 174053, -17*o = 2*p - 20*o - 116035. Is p prime?
False
Let a = 494 + -491. Suppose -2688 = -4*d - i, -2*i = a*d - 2731 + 720. Is d a prime number?
True
Let c = 8631 - -7268. Is c composite?
True
Suppose 13*k - 16*k = -6. Let q be (k - 3)/((-4)/16). Suppose 4626 = q*j + 1514. Is j a prime number?
False
Suppose 14 - 54 = -n. Is (3 - -18018)*(n/(-12))/(-10) a composite number?
False
Suppose 25*q - 30*q = -2*y + 104724, -52363 = -y + 3*q. Is y a prime number?
False
Let y(o) = 2*o**3 - 9*o**3 - 5 + 17*o**2 + 36 + 29*o**2 + 8*o**3 - 7*o. Is y(-35) a prime number?
True
Let v(m) = -549*m**3 + m**2 + 64*m + 323. Is v(-4) composite?
True
Suppose 4*c + 45 = 273. Suppose -c = 7*o + 132. Is (-3*3/o)/(1/4197) composite?
False
Suppose -69873 + 1555651 = 14*k. Is k a composite number?
True
Suppose w + 22 = a + 5*w, 4*w = 20. Let s(j) = 10*j**a + j**2 + 10 + 11*j - 6*j**2 + 11*j**2. Is s(9) prime?
False
Suppose -2*d + 2*h + 43540 = 0, 2*d - 3*h + 9*h - 43516 = 0. Is d a composite number?
False
Is (-47598576)/(-333) - 2/(-6) a composite number?
False
Let g(m) = 4368*m**2 + 5*m - 22. Let i be g(-5). Suppose -i = -29*y + 18*y. Is y a prime number?
True
Let q(h) = 286*h**2 + 289*h + 217. Is q(68) a prime number?
True
Let h be (-2)/(-14) + (-385)/(-49). Suppose -31 - 9 = -h*i. Suppose -4*b - 2*z = -2708, 3*b - 2031 = -i*z + 3*z. Is b composite?
False
Let o be 10*((-2316)/(-8) - 3). Suppose 0 = -5*t + 3*t - 2084. Let h = t + o. Is h a prime number?
True
Let l(f) = f**2 + 5*f + 479. Let a(q) = -q - 239*q**2 - 3*q + 238*q**2 - 479. Let s(t) = -3*a(t) - 2*l(t). Is s(0) composite?
False
Suppose 0 = -4*x