= 3*i + 8, -5*i - 16 = -x. Let z(q) = 47*q + 1. Let m(k) = k. Let f(a) = x*z(a) - 5*m(a). Is f(3) prime?
True
Let l(x) be the first derivative of 243*x**2/2 - 8*x - 4. Is l(7) composite?
False
Let q(x) = -x - 32. Let y be q(0). Let f = y - -147. Is f composite?
True
Let w = 235675 - 359515. Is (w/14)/(-5) + (-1)/7 a prime number?
False
Let w = 3 + 1. Suppose 8*l = w*l - 576. Let q = 347 + l. Is q a composite number?
True
Suppose 19*q + 6 = 22*q. Let w(t) = 96*t**2 - 2*t + 9. Is w(q) prime?
True
Suppose -1052 = -3*w + 1228. Suppose -2*c = -p - w, 2*c + 3*p = 1032 - 256. Is c composite?
True
Suppose -48*w - 5*w = -363421. Is w composite?
False
Let u = -2640 - -5767. Is u composite?
True
Let d(l) = -l + 14. Let z be d(10). Suppose 4*r + 125 - 49 = z*s, -r = -5. Is -2*332/s*-9 a prime number?
False
Suppose 2*j - 900 = -j. Suppose 0*w + 6 = -z + 2*w, 0 = -5*z - 5*w + 45. Suppose -5*f + 58 + j = 3*b, -z*f + 20 = 0. Is b a composite number?
True
Suppose -5*k + 3 = -3*i, 4*k - 5*k = -4*i - 4. Let j(c) = -323*c + 2. Let w be j(i). Let x = -6 + w. Is x composite?
True
Let v(f) = f**2 + 2*f - 4. Suppose 0 = 3*x - 24 - 21. Is v(x) a composite number?
False
Let c be (1*4)/((-7)/(-70)). Let s = 59 - c. Is s a composite number?
False
Let u be -3 + (-3)/(9/(-3129)). Let x = u - 669. Is x a prime number?
False
Suppose 2*p - 11562 = -5*u, 2*u = 5 + 3. Is p a composite number?
True
Suppose -3*d + 3*n + 55308 = 0, -n + 69107 = 5*d - 23091. Is d a prime number?
True
Let l(k) = -3457*k + 132. Is l(-5) a prime number?
True
Is (-44 + 43)*(1 + -2104) composite?
True
Let m(s) = 1571*s**2 + 14. Is m(-5) prime?
False
Let p be 2/6*-2341*3. Let t = 4658 + p. Is t prime?
False
Suppose 4*n - 42 = -l + 10, -3*n = 5*l - 56. Suppose -16*f + 2012 = -n*f. Is f composite?
False
Let r(o) = -o**3 - 2*o - 1. Let c be r(-1). Is 1*(-3 + 1041)/c a composite number?
True
Suppose -9*j + 612 = -5*j. Suppose n = j + 166. Is n prime?
False
Suppose -342 - 567 = -3*x. Let d(m) = -2*m**3 + 8*m**2 + 6*m - 12. Let g be d(6). Let y = g + x. Is y a composite number?
True
Suppose 4*c = 0, -5*c = -2*l + 2116 + 5202. Is l a prime number?
True
Suppose -p + 1508 = -0*p. Let t be p + 2/(5/(-5)). Suppose 0 = -2*k + 5*n + t, -5*n + 3695 = 4*k + k. Is k a composite number?
False
Let h be (-3)/(-39) + 342/117. Let f be (-10)/15 - 2/(-3). Suppose f*u + h*u - 2*w - 2015 = 0, -w + 2694 = 4*u. Is u prime?
True
Suppose l - 1 = -3*z - 20, 0 = -l + 5*z - 43. Is l/(-8) + 4/(-8) prime?
True
Let v(l) = 14*l**2 - 15*l - 2. Suppose 9*d + 11 = 8*d. Is v(d) a composite number?
True
Suppose -653*u + 3639 = -650*u. Is u prime?
True
Let f(k) = 48*k**2 - 15*k + 5. Let j be f(8). Let y = j - 1198. Is y a prime number?
True
Let p = 13683 - -5348. Is p a composite number?
False
Suppose 0 = 5*s - 2*u - 43620, -u = 2*s - 0*u - 17439. Suppose 4*l + 1734 - s = 0. Is l a composite number?
False
Suppose 4*u = 4*g - 12324, -4*g + 2260 + 10094 = 2*u. Suppose 0 = -2*p + 5*m + g, 3*m + 3286 = 2*p + 200. Is p prime?
True
Suppose 11119 = 5*f + 2249. Is f a prime number?
False
Let t be (98/35)/((-1)/(-10)). Let p = 51 + t. Is p composite?
False
Let g(u) be the third derivative of -u**6/120 + 7*u**5/30 + 13*u**4/24 + u**3/2 - 7*u**2. Is g(13) prime?
False
Suppose 7349 = 7*w + 881. Suppose -2*a + 927 = 3*o, -3*o - 2*a + w = a. Is o composite?
False
Let w(v) = v**2 - 12*v + 4. Let y be w(12). Suppose 3*g = 5*x + 13 + 8, 2*g = y*x + 18. Let i(u) = -u**3 - 5*u**2 + 5*u + 4. Is i(x) prime?
False
Let i(g) = 6*g**2 - 13*g + 17. Let l(c) = -25*c**2 + 53*c - 70. Let x(a) = 9*i(a) + 2*l(a). Is x(-6) prime?
True
Let c be (-681)/(-4) + 4/(-16). Let f(k) = k + c*k**2 + 57*k**2 - 23*k**2 - 1 - 2*k. Is f(1) a prime number?
False
Is 14700 + (15 - 14) - (-2)/(-1) a prime number?
True
Let d(r) = 107*r**2 - r + 8. Let t be d(5). Suppose 2*a = -0*a + 5*o + t, 4*o + 4031 = 3*a. Is a a prime number?
False
Let y(g) = -112*g - 559. Is y(-54) a composite number?
True
Let f(j) = -23*j - 4. Let u be f(-6). Let q be (-50)/4*-2 + 2. Suppose -g = -q - u. Is g a prime number?
False
Let d = -5 + 5. Let w be 162 - (-2 + 2) - d. Suppose -5*s + b + 97 + w = 0, -s = -4*b - 67. Is s a composite number?
True
Let z = -105 + 108. Suppose -3*n = 4*k - 10021, -2*k + z*n = -7205 + 2208. Is k prime?
True
Let t = 7572 + -4099. Is t composite?
True
Suppose s + 4*m - 331 = 0, -4*s + 422 + 978 = -3*m. Is s prime?
True
Suppose j - 27*q - 15575 = -24*q, 2*j - 31168 = -3*q. Is j prime?
True
Let m(a) = 3305*a + 218. Is m(5) a composite number?
True
Suppose 4*a + g - 99 = 0, 7 = -a - 3*g + 40. Let d = a + -21. Suppose 0 = 3*c + d*c - 786. Is c a composite number?
False
Suppose 0 = -4*n - 9*w + 5*w + 23000, -3*n - 4*w = -17251. Is n composite?
False
Is (7/1 - -80) + -3 + 1 prime?
False
Let d(x) = -x**3 + 15*x**2 + 17*x + 19. Let k be d(15). Suppose -i + 4*i - 207 = -3*o, -4*o = 3*i - k. Is o prime?
True
Let a = -279 + 1132. Is a prime?
True
Let k be ((-6)/4)/((-4)/(-8)). Let t be ((996/(-4))/k)/1. Suppose -36 = -n - 4*q - 14, -5*q = -3*n + t. Is n prime?
False
Let t be (0 - -13) + -5 + 2. Suppose t*d + 3148 = 14*d. Is d composite?
False
Let g = 11632 - 4517. Is g a prime number?
False
Is (16 + (-585)/36)/((-1)/19484) prime?
True
Let j = -3 + -3. Is j/(-12)*1*826 a prime number?
False
Let y = -16 + 36. Suppose -15 = -5*w + 3*h - h, -h - y = -5*w. Suppose w*p - 200 - 55 = 0. Is p prime?
False
Suppose 20633 = 24*i + 4193. Is i prime?
False
Suppose -2*s + 17 + 1 = 0. Suppose -5*y - 264 = -s*y. Suppose 3*l + y = 6*l. Is l prime?
False
Suppose 0 = -j + 2*j - 3. Suppose -16 = g - j*g. Let k(d) = 42*d + 17. Is k(g) a prime number?
True
Let p = -1594 + 3312. Suppose -4*h + 238 = -p. Is h prime?
False
Suppose 18731 = 2*r + r + 2*f, -4*f - 18743 = -3*r. Is r a composite number?
True
Suppose 1827 = b + 4*k, -657 = -b + 5*k + 1161. Is b a composite number?
False
Let n = -15296 - -69235. Is n composite?
False
Suppose 492*z - 499*z + 2765 = 0. Is z a prime number?
False
Let a = -295 + 330. Is a prime?
False
Let b be (-6)/(-10) + (-9)/15. Suppose b = 4*z + m - 60, 3*z - 2*z = -5*m - 4. Is (-3)/12 + 3380/z prime?
True
Is (-1)/8 + (0 - 295467/(-24)) a composite number?
True
Let n be 2/(-2) + (-3072)/(-6) + 2. Is ((-8)/(-3) + -2)*n/18 prime?
True
Suppose 0 = 2*a + 192 + 904. Let f = -382 - a. Is f a composite number?
True
Suppose -l - 5*f + 38 = 0, 7*l - 4*f = 4*l + 38. Let d(c) = -c**3 + 7*c**2 + 21*c - 9. Let a be d(8). Let v = l + a. Is v composite?
False
Let n(t) = 4*t**3 - 3*t**2 - 3*t + 3. Suppose -4*i + 9 = 1. Suppose -1 = s + i*c - 6, 2*s = c + 10. Is n(s) a prime number?
False
Let x(c) = 14*c - 19 + 17*c**2 - 6*c**2 + 6 - 20. Is x(10) a prime number?
False
Suppose -7*h + 16 = h. Is h composite?
False
Let r be 3 - 31/(-3) - 2/6. Let i(c) = c**2 + 9*c + 1. Is i(r) composite?
True
Suppose 134629 = 5*u + 6*u. Is u a composite number?
False
Let p = 22 - 17. Suppose p*r - 52 = 5*c + 13, r - 2 = 0. Is (-2 - 1) + (c - -561) a composite number?
False
Suppose 4*t - 3*y - 8284 = 0, -10*y + 8*y = 4*t - 8284. Is t a prime number?
False
Suppose -3*n + 4633 + 2786 = 0. Is n prime?
True
Let k(y) = -4*y**3 + 2*y**2 - 7. Let n be k(-5). Is 1/(-3 - (-1632)/n) prime?
True
Let o(r) be the third derivative of r**4/3 - 7*r**3/3 - r**2. Is o(6) composite?
True
Let h(o) = -6*o - 20. Let i be h(-5). Let n(x) = 2*x**3 - 6*x**2 - 6*x + 6. Let y be n(5). Let j = y + i. Is j a composite number?
True
Suppose 4*i - 18912 = 4*t, -3*i + 23650 = 2*i + 5*t. Is i prime?
True
Suppose 0 = -2*o + 5*k + 20817, -3*o = -k - k - 31231. Is o a prime number?
False
Let c(u) = -34*u**3 + u**2 + u - 5. Let h be (-35)/15 + (-2)/3. Is c(h) a prime number?
True
Let g = 0 + 4. Let i be (-88)/g*1 - -3. Is (i + (1 - -1))*-5 a composite number?
True
Let r be (42/35)/((-2)/(-5)). Let p(i) = 16*i**2 + 2*i - 1. Let n be p(2). Suppose 2*j = r + n. Is j composite?
True
Let a be 42/8 + (-3)/(-4). Let d be 96/15 + a/(-15). Is d/51 - 5062/(-34) composite?
False
Is (-2965)/(-15)*(-9 - -132) composite?
True
Suppose 47992 = 25*o - 17783. Is o a composite number?
True
Let p = 38 + -33. Suppose -5*d + p*x + 6320 = 0, -d = 3*x - 540 - 704. Is d composite?
False
Let m(a) = -2*a**3 - 2*a**2 + 3602. Is m(0) composite?
True
Let s(t) = -27*t + 3. Suppose g - 1 = 0, r + 5 = 