ite?
True
Let l(m) = -m**3 + 5*m**2 - 4*m + 4. Let p be l(4). Suppose -95*h - 936 = -104*h. Suppose -p*k + 3*i - h = -411, k - 85 = -2*i. Is k a prime number?
True
Suppose -4*x - y = -23118, x - 3*y = 6677 - 904. Is x a prime number?
True
Suppose 2*d = -q + 2, 4*d - 5*q = 5*d - 19. Is d/(1/(-291)*3) a prime number?
True
Suppose -2*u + 2 = 0, -3*n + 2*u - 6685 = -386. Is -2 - -3 - (3 + (n - 2)) a prime number?
True
Let p = -4 + -1. Let q = -21 + p. Is 5/1*(5 - q) composite?
True
Let f(t) = -269*t + 3. Let h be f(-1). Let o = h - 175. Is o a prime number?
True
Suppose -i - 4*i = -25. Suppose 3*d + 2*d + f = 171, -i*f - 55 = -d. Is d prime?
False
Let j(x) = 15*x**3 - 8*x**2 + 2*x + 8. Is j(5) prime?
True
Let t(w) = w**3 + 2*w**2 + 2*w + 3. Let q be t(-2). Is 4 + 79*8 + q composite?
True
Let y = 11 + -7. Let r be 5 - y - (-1183 + 2). Suppose 5*x - 1603 = r. Is x prime?
True
Let x = 81358 + -55217. Is x prime?
True
Let v = -74 + 77. Suppose 0 = -u + q + 58, 4*u - 207 = -v*q + 18. Is u a prime number?
False
Let s(u) = u**2 - 53*u + 55. Is s(-27) a composite number?
True
Let a(x) = -14 + 3*x**2 - 8*x**2 + 2*x**3 - 4*x**2 + 10 + 3*x. Let t be a(7). Suppose -u + t = -147. Is u a prime number?
True
Suppose 4*z - 5*h - 20 = 0, -5*z + 2*h = -22 - 3. Let q(g) = g**2 - 4*g - 11. Let m be q(6). Is (m - -86) + -3 + z composite?
False
Suppose -8218 = 7*m - 21*m. Is m a prime number?
True
Is (-12 - -14)/(((-6)/60459)/(-1)) composite?
True
Suppose -5*t - 7 = 3. Let h(y) = -2*y. Let q be h(t). Let j(g) = g**2 + 3*g + 3. Is j(q) a composite number?
False
Suppose -7*f + 12*f - 12770 = 0. Is f a prime number?
False
Suppose -4*x + 85187 = 5*l, -5*l + x = -4*l - 17041. Is l a prime number?
False
Suppose 4 = -o - o, -4*o + 22 = 5*s. Let h(b) = -3*b - 20. Let y be h(s). Is (-14193)/y + (-1)/2 a prime number?
True
Let q = -134 - -144. Is 2125/q - (-3)/(-2) a composite number?
False
Let l be 10/7 - (-44)/77. Let z(p) = 8*p - 2*p**2 - 5 + 0*p + 4*p**l + 0*p. Is z(-6) prime?
True
Let t = -72 + 72. Suppose 2*j - 2716 = -2*s - t*j, -6808 = -5*s + j. Is s a composite number?
False
Suppose 55*w - 414 = 52*w. Suppose 4*f - 976 = 36. Suppose -c + w = -f. Is c prime?
False
Let n(c) = 7*c**2 - c + 3. Let k = 40 - 34. Is n(k) composite?
True
Suppose -4*l + 12 = 0, 0 = -3*g + 2*l - 17 - 1. Let s(m) = 3 + 5*m + 5*m**3 - m + m - 21*m**3 - 3*m**2. Is s(g) composite?
True
Let r(p) = 10*p**2 + 46*p - 223. Is r(29) prime?
True
Let v(k) = -3*k + 161. Is v(-26) a prime number?
True
Let o(x) = x**3 - 3*x**2 + 3. Let d be o(3). Suppose 4*r + 5049 = d*z, 4629 + 440 = -4*r - z. Is (0 + 2)*r/(-12) composite?
False
Let m = 55471 + -28460. Is m a prime number?
True
Let a(o) = -o**2 - 5*o. Let f be a(-4). Let g be -5*((-8)/(-18) - 2415/27). Suppose -f*h + 9*h = g. Is h prime?
True
Suppose 0*y - 5*y = -1330. Let d = 6 - 33. Let u = y + d. Is u prime?
True
Let p(j) be the second derivative of 5*j**5/4 - j**4/3 + 2*j**3 - j**2 + 24*j. Is p(5) composite?
False
Let u(c) = c - 1. Let b(s) = -14*s + 5. Let f(t) = -b(t) - 3*u(t). Let o be 64/(-12)*3/(-2). Is f(o) a prime number?
False
Let j = 27159 + -11478. Is j prime?
False
Suppose 5*v - v = -8. Let p be 1/((4/v)/(-4)). Suppose -l - 4*l = 5*c - 45, 0 = p*l - 2*c - 38. Is l composite?
True
Let w = -57 - -57. Suppose -11*z + 8*z + 1923 = w. Is z prime?
True
Let j(c) = c**2 + c. Let y(w) = 2*w**2 + 5*w + 1. Let u(t) = 6*j(t) - y(t). Let o be (20/(-2) + 0)*6/(-60). Is u(o) prime?
False
Suppose -6*c - 4 = -22. Suppose 4*a - 36 = -5*d, 16 = 5*a + 2*d - 12. Suppose a*g - 174 - 235 = c*h, -2*g - 2*h = -208. Is g composite?
False
Suppose 2*s = -10, 0*j + 10833 = 4*j + 3*s. Suppose -4885 = -4*y - 5*t + j, 9445 = 5*y - 4*t. Is y composite?
True
Let j(c) = 29*c**2 - 14*c - 44. Is j(-13) a prime number?
True
Let w = 12608 + 4269. Is w prime?
False
Let d = 19449 - -3404. Is d a composite number?
False
Let b = 4728 + -2590. Is b a composite number?
True
Suppose -5*r - 3*x = -133810, r - 5*x - 14653 = 12081. Is r a prime number?
True
Let j = 2 - 0. Suppose 2*w - 2*k + 4 = -j*w, -5*w = 4*k - 21. Is w/(-3 + (-1528)/(-508)) prime?
True
Let r(g) = -2*g - 9. Let u be r(-6). Let i(b) = b + 0 + 29*b**2 - 2*b**2 + 12 - u*b. Is i(5) a composite number?
False
Suppose -3*k + d + 4*d = -16, 0 = -k - 3*d - 18. Is 1 - (-142 - (k + 5)) prime?
False
Suppose 13 - 3 = z. Let i(j) = 32*j - 27. Is i(z) composite?
False
Let s(q) = -3*q**2 + 2*q - 43. Let y(g) = 13*g**2 - 9*g + 173. Let w(t) = -18*s(t) - 4*y(t). Let k = 16 + -16. Is w(k) a composite number?
True
Let m(i) = 5*i**3 - 2*i**2 - 6*i + 2. Is m(11) a composite number?
True
Suppose x = 4*z - 8, 0*x + 4 = 2*z - 4*x. Is z/(-9) - (148560/(-27) + -4) a composite number?
True
Suppose 3*l - 10 = -10. Suppose -4*z - 102 + 1274 = l. Is z a composite number?
False
Suppose -2*j = 66 - 54. Is 0 + (j - -499) - (3 - 1) composite?
False
Suppose 3*z - 95 + 92 = 0, -2*z = 2*m - 84264. Is m a composite number?
False
Suppose 2*y - 3*i = 130, 0*y - 5*i - 262 = -4*y. Let j = 12 - 3. Suppose -j - y = -m. Is m a composite number?
True
Let x be (-4)/(-24) - 17/(-6) - 3. Suppose 3*w - 6*c = -10*c + 4631, x = 2*w + c - 3079. Is w a prime number?
False
Suppose 3*w - 106 + 34 = 0. Suppose -2*v = v + 2*y + 32, 0 = 4*v - 2*y + w. Is (254 - v) + (-3 - 0) composite?
True
Suppose 4*w = -w + g + 15626, 3*w = 4*g + 9362. Is w/(-12)*4/(-2) composite?
False
Suppose -10 + 2 = 2*h. Let y be 4/12 - h/6. Is ((-82)/(-4))/(y/14) a composite number?
True
Let l(q) = -143*q - 12. Let t be l(-5). Let b = -338 + t. Is b a composite number?
True
Let g(o) = o**3 - 11*o**2 + 13*o - 9. Is g(10) a composite number?
True
Let z = -563 - -1000. Let m = -294 + z. Is m prime?
False
Let m(q) = 33*q**2 - 46. Is m(9) prime?
False
Suppose -9*g + 27201 = -223368. Is g prime?
False
Suppose n + 12 - 3 = 0. Let g = n + 9. Suppose g = -5*o + 2*i + 477, -o + 178 = o - 4*i. Is o a composite number?
False
Suppose 16 - 38 = -2*z. Let j(a) = a**3 - 5*a + 9. Is j(z) prime?
False
Suppose -5*t - 5*c = -4*t - 333, 2*c = -5*t + 1665. Let g = -170 + t. Is g prime?
True
Is (-13882)/(-14) + (-59)/(-7) + -9 a prime number?
True
Suppose 14*x - 10*x = -968. Let l = 459 + x. Is l a prime number?
False
Let s = -1024 + 8596. Is (-4)/((-32)/s)*14/3 a composite number?
True
Suppose -18*k - 7383 + 259905 = 0. Is k a composite number?
False
Suppose -2*k - 28517 = 925. Is 8/6*(k/(-28) + 0) a prime number?
True
Suppose -r = -4*o - 21953, 0*o - 3*o + 6 = 0. Is r a composite number?
False
Let w(y) = -y**2 - 5*y - 2. Let i be w(-4). Suppose 3*l - 6629 = -2*l - i*h, -3*l - 4*h = -3969. Is l a prime number?
True
Suppose 3*g - 2*g - 45 = 0. Let u(a) = -4 + 0*a**2 - g*a - 5*a**2 - a**3 + 36*a. Is u(-7) a composite number?
False
Suppose 5*h + 430 = -5*u, 5*u - 224 = -h - 666. Let q = 25 + u. Let s = q + 101. Is s composite?
False
Let y(w) = 18397*w + 53. Is y(2) composite?
False
Let x(v) = 5*v**3 + 10*v**2 + 41*v + 33. Is x(23) composite?
True
Let j = 9 - 6. Let a(b) = 2*b**2 - 13*b - 5. Let q be a(7). Suppose -447 = -j*i + q*i. Is i prime?
False
Let b(h) = -h**3 + h**2 - 4*h - 5. Suppose 4*g + 14 = -2*o, -10 = -0*o + 3*o - 5*g. Let u be b(o). Let w = u - 38. Is w a composite number?
False
Let d(z) = -2*z + 7*z + 0*z**2 - 9 + 12*z**2 + z**3 - 2*z. Is d(-11) a composite number?
False
Suppose 5*x - 12 + 2 = 0. Suppose 2*i - 7*i = -4*g - 5, 5 = -x*g + 3*i. Suppose 3*t - g*t + 890 = -2*p, 2*t + 5*p = 904. Is t a composite number?
True
Let g = 2524 + 517. Is g composite?
False
Let v(d) = -d**3 + 3*d**2 + 10*d + 2657. Is v(0) a prime number?
True
Suppose 20*x + 18*x = 189430. Is x composite?
True
Let t = 792 + -21. Is t a prime number?
False
Let z be (-3)/(-2)*((-3760)/(-24) - 2). Let s = 1479 - z. Is s a prime number?
False
Let n(o) = -o**2 + 6*o + 3. Let m be n(5). Let v = m - 6. Suppose -v*l + 5*c = -70, -2*c + 17 = l - 0*l. Is l a composite number?
True
Let x = 2199 + 3260. Is x composite?
True
Let x(p) = -486*p**3 - 2*p**2 + p - 2. Let n be x(-2). Suppose 4*s = 8, -12884 + n = -4*j - 2*s. Is j prime?
True
Suppose 0 = 67*x - 69*x + 5*a + 4318, -10761 = -5*x + 4*a. Is x a composite number?
True
Let b be (-10)/(-8) + 11/(-44). Is b*3 + (772 - -12) composite?
False
Suppose -9555 = -p + 2*c, -11189 = 2*p + 3*c - 30334. Suppose 0 = 