, p = -4*h + 575. Suppose -h = -7*x + 185. Is x a composite number?
False
Suppose 0 = 5*g - 84296 - 7609. Suppose -2*q + g = -5*s, -10*q + 12*q = -4*s + 18426. Is q prime?
True
Let a(x) = 76*x**3 + 3*x**2 - 2*x - 7. Let l be a(4). Suppose 1697 - l = -4*z. Suppose 7*k = z + 2343. Is k prime?
True
Let b = -1248894 - -2010091. Is b a prime number?
False
Let t = 23 - 23. Suppose 3*n = 2*n + 5. Suppose t = 11*j - n*j - 2868. Is j composite?
True
Suppose 38 = -2*h - 3*x, 2*x = -5*h - 39 - 45. Is 2397/5 - h/(-40) prime?
True
Let o(q) = 580*q - 257. Is o(16) composite?
True
Suppose -24 = 5*d + 4*f + 40, 0 = 2*f + 2. Let b = -15 - -21. Is (b/d)/(3/(-1338)) composite?
False
Let i(t) be the third derivative of -t**6/10 + t**5/15 + 7*t**4/24 + 11*t**3/6 + 6*t**2 + t. Is i(-6) a composite number?
True
Suppose -7*z = -19 + 5. Suppose -b + z*b = -3*b. Suppose f + 2*s - 32 = 0, b = -f + 2*s + 3*s + 53. Is f a prime number?
False
Let g(w) = -67*w**2 - w + 1. Let x be g(2). Let o = x - -402. Suppose 200 + o = 3*d. Is d a prime number?
False
Let i(c) = 161*c + 15. Let g = -29 + 34. Let o be i(g). Suppose 22*j - 18*j - o = 0. Is j a prime number?
False
Suppose -t - 317852 = -3*f, -t + 28897 + 288969 = 3*f. Is f prime?
True
Suppose 0*z - 2*v + 8 = -z, 0 = -3*z - 5*v - 35. Let t(g) = 6*g + 60. Let f be t(z). Suppose -10*k + 16*k - 11010 = f. Is k composite?
True
Suppose 316*u + 774777 = 357*u. Is u prime?
False
Let y be (6 - -381) + 2/(-8)*-4. Suppose -5*u + 9*u = y. Is u prime?
True
Suppose -2*g - 3*r = -36, -2*r + 32 = 4*g - 2*g. Let l be (-2)/g + 85/(-30). Let a(v) = -482*v - 7. Is a(l) a prime number?
True
Suppose 0 = -4*q + 2*t + 736, -2*q + 4*t + 207 + 143 = 0. Is q composite?
True
Let b(a) = a**3 - 5*a**2 - 12*a - 3. Let c be b(7). Let i = 33 - c. Suppose -q = -149 + i. Is q composite?
False
Let v = -42 + 44. Suppose -4*a + 52 = 3*h, -h - 2*a + v = -16. Is (-40)/h*(-1 + -57) a prime number?
False
Let q(s) = 7912*s**2 - 3*s + 66. Is q(5) a composite number?
True
Is (220/(-198))/((-28)/7032438) prime?
False
Suppose -2*p + 5703 = -829. Suppose 2*w - p = -3*f + 3*w, 0 = -5*f - 2*w + 5425. Suppose -f - 5819 = -6*y. Is y a composite number?
False
Let i(a) = -102 + 3*a + 23*a - 205*a + 182. Is i(-21) a composite number?
True
Let k(o) = -70*o**3 + 8*o**2 - 3*o - 7. Let l be 3/((-6)/(0 + 12)). Is k(l) prime?
False
Suppose -109 = 27*c - 28*c. Let n = -71 + c. Suppose -u + n = 7. Is u prime?
True
Let x(c) = -62*c - 1 - 5 + 190*c**2 + 127*c**2 - 113*c**2 + 3. Is x(-7) a composite number?
False
Let t(m) = 10595*m + 5032. Is t(27) a composite number?
True
Suppose 9436959 + 13007148 = 21*w. Is w a prime number?
False
Suppose -38*z - 142*z + 3753180 = 0. Is z composite?
True
Let j(h) = h + 5. Let t be j(-5). Let x be -5 + 3*(-25)/(-15). Suppose x*y + y - 146 = t. Is y a composite number?
True
Suppose -189832 = -6*n - 52894. Is n composite?
True
Suppose 7*s + 10 = 52. Let g(x) = x + s*x**2 + 0*x**2 + 1 - 4*x**2 + 11*x**2. Is g(-7) composite?
False
Suppose 4*p = 29 - 5, 4*l + 3*p = 1006054. Is l a prime number?
False
Suppose -4*u + 159664 = -p, 4*u = -2*p - 6330 + 166006. Is u prime?
False
Suppose -l - 5*l = -2*l. Suppose -4*s + 39 = r - 0*r, l = 3*s + 3*r - 36. Let n(k) = 10*k**2 - 4*k - 5. Is n(s) a composite number?
False
Is ((-82)/(-328))/(2/131592) prime?
False
Let v = 45 + -42. Suppose 57134 = v*c + 4*c. Let w = c + -3007. Is w a composite number?
True
Let r = 137 - -28. Let z = r + -70. Is z a composite number?
True
Let c = 509020 + -239351. Is c a composite number?
True
Suppose 38*f = 33*f + 20. Suppose f*r = 11*r - 13489. Is r a prime number?
False
Suppose 86*t - 193997 = 2858229. Is t prime?
True
Let p = 11869 + 5398. Is p composite?
True
Suppose 14415621 = 9*p + 120*p. Is p a prime number?
False
Let h = 68366 - -18533. Is h a composite number?
True
Suppose 5*b - 97790 = -17*b + 100188. Is b a composite number?
False
Let a be 80334/8 - ((-30)/(-40))/(-3). Suppose -11600 = -6*g + a. Is g prime?
True
Suppose 5*v + 18*k = 22*k - 132, 4*v = -4*k - 84. Is (-254)/(-3)*(-612)/v composite?
True
Suppose 0 = 4*j + 4*i - 290204, 4*j - 5*i + 57541 = 347763. Is j a composite number?
True
Let w(t) = -2*t**3 - 131*t**2 + 13*t - 245. Is w(-89) a composite number?
True
Let b(k) = -42952*k - 18. Let v be b(-2). Suppose 13*i = v - 27763. Is i a prime number?
False
Is 0 - 4/(-10) - (12756733/(-55) - 6) composite?
False
Suppose 0 = 18*k - 19*k + 2*y - 4, 3*y + 38 = -4*k. Is (-107)/(k - 1635/(-205)) a prime number?
False
Suppose 27 = -o + 31. Suppose -2*k - 7524 + 19513 = -3*b, -o*k + 4*b + 23984 = 0. Is k composite?
True
Is (6/(-3)*15/(-60))/((-2)/(-1293476)) a prime number?
True
Suppose -3*b = -o - 7 - 31, 5*o = -25. Let p = 13 - b. Suppose -p*z = 2*y - 314, 3*z + 5*y - 131 - 344 = 0. Is z composite?
True
Let r(y) = 37*y**2 + 109*y - 85. Is r(-39) a composite number?
False
Suppose 0 = 3*x - 2*u + 4, 5*x + 10 = 4*u + 2. Suppose x = -3*b + z + 3113, -12 = 2*z - 5*z. Is b prime?
True
Let r(x) = -58 - 294*x - 60 + 221 - 54 - 53. Suppose -5*l = 11 + 4. Is r(l) a composite number?
True
Let c = -156889 + 241944. Is c composite?
True
Suppose 2*r - r = 4*z - 6, 0 = r + z + 21. Suppose 2*q - 69845 = 32339. Is q/14 - r/(-42) composite?
True
Let u(k) = -555*k + 3. Let b be u(-15). Let d = b - 935. Is d a prime number?
True
Let j be (-2)/((-42)/(-18) + 10/(-4)). Let z(i) = 8 + 11 + 3*i + 0*i + 9*i. Is z(j) prime?
True
Let n be 2/26 - (-2609455)/(-559). Let j = n + 7967. Is j a composite number?
False
Let i(j) = 131*j**2 + 15*j - 17. Let u be i(5). Let c = -2346 + 668. Let b = u + c. Is b a composite number?
True
Let s = -23546 - -88945. Is s a prime number?
False
Let n = 41 - 16. Let l be (12/10 + 2)/(5/n). Suppose -117 = -7*m + l. Is m a prime number?
True
Let i(g) = 23*g**2 - 61*g - 89. Is i(41) a prime number?
True
Let t = -3589 - -1472. Let q be 4*1/(2/2453). Let k = q + t. Is k composite?
False
Suppose o + 785 = -28*j + 29*j, 0 = 5*o + 25. Suppose -j - 12562 = -2*s. Is s prime?
False
Suppose -5*z = -3*h - 299389, -49395 = -3*z + 4*h + 130234. Is z prime?
True
Suppose 4*j - 48 = -12. Let s(x) = -x**2 + 19*x - 10. Let v be s(j). Let u = v - -171. Is u prime?
True
Let h(c) = 3*c**2 - c - 105. Let w be h(0). Let m = -102 - w. Suppose m*g - 2979 = -3*i, -7*g = -2*g. Is i composite?
True
Let f(t) = t**3 - 6*t**2 + 7*t + 2. Let u be f(5). Let h be -7*u/(-7)*(-7)/(-28). Suppose -3*r - 1682 = -5*p, -p = -0*r - h*r - 334. Is p a prime number?
True
Let j = 77 + -77. Suppose 0 = -c - 3*c + 4. Is 5151 + (-3 - (c - j)) composite?
False
Let k be ((-819)/(-18))/13*11426. Is (-2)/((42/k)/(-3)) composite?
True
Is (-2795842)/(-188) - 18/4 composite?
False
Let l be (-9)/12 - (-15)/(-80)*-4. Suppose l = 2*g + 543 - 3613. Is g prime?
False
Let r(v) = v**3 - v**2 - 6*v + 6. Let a be r(-3). Is (3466/(-2))/(((-18)/a)/(-3)) composite?
True
Suppose 21*x - 481644 = 531123. Is x prime?
False
Is ((-594)/(-144) - 4)*826456 a prime number?
True
Let u = -154 - -213357. Is u a composite number?
False
Let j(p) = 56*p**2 + 229*p + 444. Is j(71) prime?
True
Let m(r) be the first derivative of 107*r**3/3 - 3*r**2/2 - 31*r + 56. Is m(7) a prime number?
False
Let k(l) = 7999*l + 327. Is k(38) prime?
False
Let d = -142255 + 273444. Is d a composite number?
True
Suppose -j - 865 = 4*j. Suppose -4*t + 1752 = 4*b, -8*t + 7*t - 3*b = -434. Let s = j + t. Is s a composite number?
True
Let p = 46994 + 79701. Is p a prime number?
False
Let p = 21 - 31. Is p/12 + 12/144*25846 composite?
False
Suppose -2*r - 828 = 3*p, 1182 = -4*p + 5*r + 55. Let k(m) = -2*m**2 + 6*m + 79. Let f be k(-19). Let h = p - f. Is h a composite number?
False
Suppose -8*y + 0*y + 976 = 0. Suppose -2*p = -0*l + 3*l - 178, 3*p = -2*l + y. Suppose 1960 = 3*k + l. Is k composite?
True
Suppose -3*m + 0*m + 6870 = 0. Let u = -1334 + 2831. Let p = u + m. Is p composite?
True
Let l(x) be the second derivative of -789*x**3 + 2*x**2 + 111*x + 1. Is l(-3) a prime number?
False
Suppose 0 = -k + 3*x + 208, 5*x + 218 = 3*k - 410. Let f = -318 - -668. Let u = f - k. Is u a composite number?
False
Suppose 6*g - 1383 = 1827. Let q be ((-4)/(-30)*g)/((-4)/(-6)). Suppose -2*f + 83 = -2*c - q, 0 = 4*f + 5*c - 398. Is f a composite number?
False
Is (-724)/(-3258) + 3663259/9 prime?
