a - 16*a - 1137. Is a composite?
False
Suppose -2*c - 4*l = 1688, -6 = -5*l + 14. Let m = c - -1969. Is m prime?
True
Let g(y) = 1425*y + 1. Let u be g(1). Let z = u + -459. Is z composite?
False
Let p(z) = z + 6. Let b be p(4). Is 2996/b + 9/(-15) a prime number?
False
Suppose 5*r + 12916 = 7*r. Let s = 10065 - r. Is s a prime number?
True
Let d(g) be the first derivative of -17*g**4/24 + 2*g**3/3 - 3*g**2 + 1. Let n(l) be the second derivative of d(l). Is n(-5) composite?
False
Is ((-3493)/4)/((-48)/192) a composite number?
True
Suppose -4*k + 30 = k. Let u(r) = 2*r**2 + 2*r - 5. Is u(k) a composite number?
False
Let q = -76 + 85. Suppose 5*y + 9322 = 7*y - 4*t, -q = -3*t. Is y a composite number?
True
Suppose -r - 1 - 45 = 0. Is (r/(-8) + -4)*62*2 a composite number?
True
Is 13*20/130 - (-1161 + 0) composite?
False
Let o = -8 - -11. Let i(u) = u**3 - 17*u**2 + 2*u - 28. Let b be i(17). Is (97/o)/(b/18) a composite number?
False
Suppose 5*w - 155051 = 98304. Is w a prime number?
True
Let x(c) be the third derivative of 11*c**5/12 + 7*c**4/24 + 3*c**3/2 + 15*c**2. Is x(4) composite?
True
Let b(f) = 8*f**2 + 44*f + 55. Is b(-17) composite?
False
Let g = 67 - 67. Let v(m) = -4*m. Let p be v(-1). Suppose g*j + p*j = 40. Is j a prime number?
False
Is 81020/16*4/(-6 - -7) composite?
True
Suppose -4 + 0 = -a. Suppose -a*s + 1274 = 238. Let h = s + 184. Is h prime?
True
Let u(t) = -248*t + 41. Let m(b) = -83*b + 14. Suppose 0 = -4*g - 44. Let f(s) = g*m(s) + 4*u(s). Is f(-7) prime?
True
Let w(b) = -548*b + 187. Is w(-26) a composite number?
True
Let y(m) = m**2 - 9*m + 6. Let n be y(-10). Suppose x - n = -5*c, 0 = -x + 4*x - 3. Suppose q = -4, 0*q + 4*q = w - c. Is w a composite number?
False
Let a(p) = -1 - 722*p**3 - 3*p - 378*p**3 - p**2 + 2*p**2 + 2*p. Let g be a(-1). Is 2*(g/6 + 3) composite?
False
Let j = -1027 + 2424. Is j a prime number?
False
Let a = -142 - -9269. Is a a composite number?
False
Let g be 1 + (-3 - (-28)/4). Suppose -p = -i + p, -g*p = -5. Suppose -q = -i*v + 273, 91 = 2*v - 4*q - 167. Is v a prime number?
True
Suppose -2*y + 4*y - 596 = 2*l, l = 2*y - 593. Let w = y - 118. Is w composite?
True
Suppose x - 11 - 9 = -n, 2*x - 46 = -4*n. Let w(h) = h**2 - 6*h - 5. Let a be w(7). Suppose -a*j + 117 = -x. Is j a composite number?
False
Suppose 0*k + 5*q - 9 = -2*k, -2*q = -2. Suppose 5*v - 20 = -k*s, -2*s - v + 16 = 3*v. Suppose -4*l + 84 = 3*x, s = 4*l + 3*x - 4*x - 84. Is l composite?
True
Suppose 5*h = 2*k - 16319, 79*k - 81*k + 3*h = -16309. Is k a composite number?
False
Suppose 3*a - 5*l - 57 = -0*l, 6 = -2*l. Let n(v) = 161*v + 3. Is n(a) a composite number?
True
Let j(s) = 12*s + 13. Let p be j(-4). Is 14715/21 + (-10)/p a prime number?
True
Suppose 2*p - 4*h = -2 + 22, 3*p - h = 5. Suppose -m - 2*m + 4011 = p. Is m prime?
False
Let y = 23 - 34. Let h(u) = -2 + 5 - 5*u + 1. Is h(y) a composite number?
False
Let w be -5*(2 + 24/(-15)). Let i(h) = 132*h**2 + 5*h + 1. Is i(w) a composite number?
True
Let z = -2 + 4. Let u be (0 + 18)*1/z. Suppose -3*l + 30 + u = 0. Is l prime?
True
Let b be ((2 - -2184)/(-2))/(2 + -3). Let h = b + -620. Is h a composite number?
True
Let n(w) = -4*w**3 + 11*w**2 + 31*w - 13. Is n(-10) a prime number?
False
Let m(s) = s**2 + 3*s - 4. Let k be m(-4). Suppose k = -h + 5 + 5. Suppose -30 = -3*b - 3*l, 3*l - h = -b - 0*b. Is b prime?
False
Let r(d) = -3*d**2 - 3*d + 4. Let t be r(2). Let o = 12 + t. Is o/(2*(-1)/1337) composite?
True
Suppose -12*r + 15*r - 2361 = 0. Is r composite?
False
Suppose 101756 = 7*j - 3*j. Is j composite?
False
Let r(a) = a**3 + 5*a**2 + 7*a + 9. Let v be r(-4). Is v/24 - (-32811)/24 prime?
True
Let t(j) be the first derivative of j**3/3 - j**2 + 14*j - 12. Is t(15) composite?
True
Suppose -4*l = -4*y + 4, y - 2*y + 10 = 2*l. Suppose l*x + 4*g = -27 + 1050, -2*g + 1017 = 3*x. Is x a composite number?
False
Let c(g) = g**2 - 13*g + 18. Let t be c(11). Is -4 - (-1)/(t/(-140)) a composite number?
False
Let l(n) = -1005*n**2 + n - 1. Let z be l(-1). Is (1 - -1)/(2012/z - -2) a prime number?
False
Suppose -9*m + 23555 = -2374. Is m composite?
True
Let n = 21 - -19. Let o = n - 35. Suppose -o*v + a + 1616 = -2319, -2*a = 0. Is v composite?
False
Let a(i) = 3*i**3 + i**2 + 3*i + 2. Let o = -6 - -4. Let k be a(o). Is 1*12*(-6)/k prime?
True
Suppose 2676 + 4314 = 5*x. Suppose 673 = o + 4*r, 2*o - 3*r - x = 2*r. Is o prime?
False
Suppose 4*h - 227 - 1117 = 0. Let a = h - 45. Is a composite?
True
Let k = -839 + 1236. Is k a prime number?
True
Suppose 0 = -10*m - 0 - 0. Let r(w) = -3*w + 103. Is r(m) composite?
False
Let x(v) = 5338*v**2 + 75*v + 151. Is x(-2) composite?
True
Let a be (42 + (3 - 1 - 4))*-1. Let j = a - -125. Is j a prime number?
False
Suppose 1 = -z - 3, -27774 = -2*f + z. Is f a prime number?
False
Let h(n) = -24*n**3 + n**2 - 18*n + 21. Is h(-8) a prime number?
True
Let g be (-6 - -15) + (-2 - -1). Let i be (1426/g)/((-5)/(-20)). Let v = -378 + i. Is v prime?
False
Let l be (-2 - (0 - 3)) + 2. Let y be (1 - -7)/1 - l. Suppose 27 = -y*f + 472. Is f composite?
False
Suppose -4*v - 15 = 5*n - 4*n, 4*n - 5*v = 24. Is (-3753)/45*(2*-2 - n) a composite number?
True
Suppose -733755 = -45*u - 10*u. Is u prime?
False
Let i(w) = -w**3 + 3*w**2 + w - 3. Let k be i(3). Let f = 2408 - 1421. Suppose -f = -3*q - k*q. Is q prime?
False
Let u = -31 + 34. Let y be ((-4388)/12)/((-1)/u). Let b = y + -514. Is b a composite number?
True
Suppose -3*x + 515 = 5*l, l - 3*l + 5*x = -237. Is l a composite number?
True
Let q(f) = f**3 - 3*f + 10. Let r be q(0). Is (((-2008)/(-5))/(-2))/((-4)/r) a composite number?
True
Suppose -2*g = -5*x - 2277, 0*x - 5*x = -25. Is (6 - 7 - -3)*g/2 prime?
True
Suppose -h - 30 = -5*u, -3*h + 7*h = 5*u - 75. Is 35/(-2 + h/(-5)) prime?
False
Is 26/338 + 711216/13 prime?
True
Let t(j) be the second derivative of -43*j**3/6 + 3*j**2/2 + 6*j. Let m be t(2). Let p = 166 + m. Is p a prime number?
True
Suppose 3*f - 9 = -d, -5*f - 6*d + 15 = -d. Suppose 3163 = 4*t + 5*y, -2*t + f*t = -3*y + 796. Is t a composite number?
False
Suppose 3*y = -2*y - 5. Let f be 1477 - (-2 + y/(-1)). Is 3/(((-24)/f)/(-4)) a prime number?
True
Let i be (-2 - (-4544)/(-12))/(12/(-414)). Suppose -5*k - 5278 = -2*j, 5*j - i = -0*j - 3*k. Is j a prime number?
False
Let x be (5/(-15))/((-2)/42). Suppose -j + 3 = 4*r - x, -j + r = 0. Suppose -b + j*b = 19. Is b prime?
True
Suppose 0 = 11*c - 571 - 507. Suppose -c = 2*k - 352. Is k composite?
False
Suppose 53 = 14*j - 3. Suppose 864 - 4157 = -c - 2*w, -j*c = 2*w - 13178. Is c a prime number?
False
Let r = 111 + -73. Suppose -5*k - g = -179 + 9, k = -g + r. Is k a prime number?
False
Let w be ((-126)/14)/(2/(-12)). Let q be 208/(-39)*w/(-8). Suppose 0 = 3*g - 99 + q. Is g a prime number?
False
Suppose -618 = 5*x + 347. Let j = 552 - x. Is j prime?
False
Let u = -2027 - -4129. Let k = 3253 - u. Is k a prime number?
True
Suppose -54930 = 22*k - 28*k. Is k a prime number?
False
Suppose -2*d - 1120 = -4*d. Let y = d - 337. Is y prime?
True
Suppose -2*z + 11292 = 2*q, -2*q - 3*z + 5640 = -q. Let s = q - 3164. Suppose -s = -4*n - n. Is n prime?
False
Let z(q) = 17*q**2 - 127*q - 15. Is z(-17) a prime number?
True
Is (-6 + 19972)*(12/8)/3 a composite number?
True
Let d(a) = a**3 + 21*a**2 - 8*a - 13. Is d(-8) a prime number?
True
Suppose 0 = -5*t - 2*g + 24, 2*g = -t - 0*g + 8. Let h = t - 0. Suppose -h*v + 2199 = 203. Is v composite?
False
Suppose -2*c = 12 - 8. Is ((-3)/c)/(39/24830) a composite number?
True
Suppose -5*g - 28 = -5*j - 3, -g - 2 = 2*j. Is 4/(-10) + (2514/10)/j a composite number?
False
Let m be (-9)/2*80/(-15). Suppose -2*q + 4*q + m = 4*r, 3*q = -6. Suppose -r*j + 8*j - 2913 = 0. Is j a prime number?
True
Suppose -4*u = -3*a + 48375, 2*a - 8047 = 3*u + 24202. Is a a composite number?
True
Let a(x) = 9*x**2 - 7*x + 1. Let q(c) = 1. Let m(n) = -n**2 + 1. Let i(u) = m(u) - 2*q(u). Let g(t) = a(t) + 3*i(t). Is g(5) a prime number?
True
Let q be (-3)/9*3*-283. Suppose 2*t + l - 116 = 0, -3*l + 2*l - q = -5*t. Is t prime?
False
Let h = 924 + -205. Is h a composite number?
False
Suppose -228 = -3*y + 60. Suppose 7*v = 275 + y. Is v prime?
True
Let w = 111603 + -70996. Is w a prime number?
False
Let p = -3534 - -10435. Is p prime?
False