1. Is h a composite number?
False
Let y(k) = -k**3 - 10*k**2 - 10*k - 12. Let t be y(-9). Is 178*t/(-6)*5 a prime number?
False
Let s = -12 + 10. Let r = 9 + s. Suppose r*v - 1255 = 2*v. Is v prime?
True
Suppose 3*i + 9 = 30. Suppose 366 = 9*k - i*k. Suppose -3*z - 4*c + k = -2*z, 896 = 5*z + c. Is z composite?
False
Suppose 0 = 7*o - 173 - 9. Is o prime?
False
Suppose 5 = -10*k + 5*k. Is (-5)/k + (10 - -236) composite?
False
Suppose -7807 = 10*s - 47*s. Is s composite?
False
Is ((-7)/(-3) - 2)*21453 a prime number?
True
Suppose 3*t = 2*x + 53, 2*x + 2*t + 15 = -33. Is x/(-75) + (-1516)/(-6) a composite number?
True
Let k be (-2)/4 - 1/(-2). Suppose 5*h + 2*i = -2 + 1, 5*i - 10 = k. Is (-103)/((-2 + h)/6) composite?
True
Suppose 3 = -3*p, -5*h + 10*h = 5*p + 67950. Is h composite?
True
Let p(q) = 22135*q - 77. Is p(4) prime?
True
Suppose 0 = -4*r - 2*m + 253658, -4*r + 2*m - 78820 = -332498. Is r a composite number?
True
Is (-16475)/(-10) - 7/(-2) a composite number?
True
Let y(u) = 532*u + 227. Is y(18) prime?
True
Let t(k) = -73*k**3 + k. Let y be t(-1). Suppose -9*j + 1071 = -y. Is j a prime number?
True
Suppose -46533 + 5550 = -19*p. Is p prime?
False
Let v(g) = g**3 + 4*g**2 + 3*g + 4. Let q be v(-3). Suppose 2*d - 940 = 2*k, 2*d + q*k - 877 = 57. Is ((-1)/(-1))/(7/d) prime?
True
Let s be (3 + 0)*524/3. Let j be (-2)/(-7) - (-19)/(665/60). Suppose -4*m = -4*q + 964, -5*m = -j*q + s - 30. Is q a composite number?
True
Let j = -12465 - -20682. Suppose 5*a + j - 34712 = -2*k, 0 = k - 5*a - 13210. Is k prime?
False
Let j(q) = -q**3 + 6*q**2 - 6*q + 4. Let p be j(5). Let k be -1*(-15 + 1) + 4. Is 2565/k + p/(-2) a composite number?
True
Let r be 27/(-3) + (-3 - 0). Let o = 21 + r. Is 201 - 0*(-3)/o a composite number?
True
Let t be 4/(-14) + (-106173)/(-63). Let z = t + -698. Suppose -5*u = -2*u - z. Is u a prime number?
False
Let z = 7 - 14. Let b(j) = 2*j**2 - 5*j - 4. Let c be b(z). Suppose 5*x - v - 655 = 4*v, -x + 2*v + c = 0. Is x composite?
True
Let d = -570 + 2029. Is d prime?
True
Suppose -6*j = 11*j - 102646. Is j a prime number?
False
Let b(l) = 129*l**2 - 2*l. Suppose 5 = n - 3*z, -3*z + 0*z - 2 = -4*n. Is b(n) a prime number?
True
Is (-4)/6 - ((-128492)/12)/7 a composite number?
True
Let s(j) = 218*j + 2. Let h be s(2). Let l be (-235)/(3*1/(-3)). Let z = h - l. Is z a prime number?
False
Let k be (-110)/(-77) + 8/14. Suppose k*p = -p + 63. Suppose p*u - 1761 = 18*u. Is u composite?
False
Let r be (-252)/(123/(-24) + 5). Suppose 4*p = 4*c - r, -35 = 5*p - 10. Is c a prime number?
True
Let t(a) = 172*a + 6. Let j be t(2). Suppose 3*n - p - 546 = 0, 4*n - 2*n + 4*p = j. Is n a prime number?
True
Let y(l) = l - 5. Let g be y(5). Suppose -a + 2*o + g = 13, -89 = 5*a - 2*o. Let w = 34 - a. Is w composite?
False
Let d(s) = s**3 + 5*s**2 + 4*s - 5. Let g be d(-3). Is (-5)/g + 1 - (6 - 2189) prime?
True
Let x(j) = j**3 + 5*j**2 + 3. Let g be x(-5). Suppose g*l = -3*l + 1524. Is l prime?
False
Let v = 14301 + -7012. Is v a composite number?
True
Suppose -2*o + 2*v = -6, -2*o - 7*v + 6*v + 3 = 0. Suppose o*q + 3*g = 2207, 4*q = 5*g - 7*g + 4402. Is q composite?
True
Let h(d) = 68*d**3 + 6*d + 1. Let b be h(3). Suppose 5*v = 10*v - b. Is v a prime number?
False
Let k(l) = 3*l**3 + 4*l + 12. Let s be k(5). Suppose -5*z - 926 + 2903 = 4*q, z - s = 5*q. Is z prime?
True
Suppose 0 = -2*q + 2, p = 2*q - 4 + 5. Suppose -5*n + 19 = -3*v + 67, 3*v + p*n = 24. Suppose -118 = v*w - 13*w. Is w composite?
False
Let c = 13193 + -5479. Suppose 6*m = 572 + c. Is m a composite number?
False
Let w be 1*9 - (4 + 0). Suppose 4*s + 753 = 5*v, -2*v - v = -5*s - 444. Suppose -5*b = 4*q - 165, -5*b + w*q - v + 363 = 0. Is b a prime number?
True
Let m = -3 - -5. Suppose -608 = -3*c - 2*j, -2*c + m*j + 820 = 2*c. Let k = -85 + c. Is k composite?
True
Let f = 585 - 320. Suppose q = -0*q + f. Is q a prime number?
False
Suppose -5*o - 5*m + 10 = 0, o + 0*m + 7 = -4*m. Suppose 3*d = -o + 11. Suppose y - 9 = -u + 3*y, -d*y + 67 = 3*u. Is u composite?
False
Let c(u) = 440*u**2 - 8*u + 31. Is c(4) composite?
False
Let z(r) = -r**3 + 24*r**2 - 2*r + 52. Let w be z(24). Suppose -27 + 7 = -5*h. Suppose -1 = -h*g + 3*g, -w*g = -m + 817. Is m prime?
True
Let o be 34870/33 + 1/3. Suppose -o - 838 = -5*x. Is x prime?
True
Let z(b) = -4*b**3 - 6*b**2 - 3*b - 5. Let m be z(-3). Let c = -11 + m. Is c a prime number?
True
Let q(b) be the first derivative of -2*b**3/3 + 4*b**2 - 4*b + 4. Let y be q(9). Let v = -17 - y. Is v prime?
False
Suppose 7*o - 3*o = 156. Let k = o + -56. Let v = k + 21. Is v a composite number?
True
Suppose -3*h = 5*r - 14158, -8*h + 5*h = 2*r - 14143. Is h a composite number?
True
Let a(h) = h**3 + 7*h**2 - 9*h - 9. Let v be a(-8). Let x = 52 - v. Let n = x - 38. Is n prime?
False
Suppose -3*s + 34421 + 84130 = 0. Is s a prime number?
False
Is (-188)/(-235)*(-16255)/(-2) a composite number?
True
Suppose -5*d = -x - 7024, 0 = -2*d + 2*x - 3*x + 2811. Let u be -666 + (-60)/33 + 2/(-11). Let b = u + d. Is b prime?
False
Suppose -2*b + 15 = 5*q - b, 2*b + 2 = -2*q. Let k(w) = 21*w**2 - w - 1. Is k(q) a composite number?
False
Suppose 4*n = 3 - 7. Is (-5234)/(-1 + 0 + n) prime?
True
Let q(c) = -6*c**2 - 2*c + 7. Let j be q(13). Let s = -660 - j. Is s prime?
True
Suppose -6*g + 117 = -3*g. Let b = g + -38. Is 839 + b + (-5 - -4) a prime number?
True
Let q = 125 - -18. Let d = 287 - q. Let n = d + -70. Is n a prime number?
False
Is ((-13236)/(-4))/(27/99) composite?
True
Let x(k) = k**3 + 19*k**2 + 22*k - 2. Let w be x(-17). Let o = 259 + -394. Let z = o + w. Is z composite?
False
Let z = -40655 - -65592. Is z a prime number?
False
Let b(p) = -956*p + 213. Is b(-9) composite?
True
Let v(x) = 408*x + 2. Let h(a) = -136*a - 1. Let k(l) = 11*h(l) + 4*v(l). Is k(1) composite?
True
Let p be 2043/(-6)*(-3 - 1). Let u = 1417 + -2094. Let l = p + u. Is l a composite number?
True
Let j(a) = a**2 - 12*a + 10. Let r(f) = 2*f**2 - 13*f + 11. Let h(y) = -3*j(y) + 2*r(y). Is h(11) composite?
False
Let c = -79158 + 127199. Is c a prime number?
False
Let y = -383 + 645. Let u = 3 + y. Is u composite?
True
Let o(q) = -q**2 + 8*q. Let k(t) = t**2 - 7*t + 1. Let p(h) = 4*k(h) + 3*o(h). Let f be p(2). Suppose 35 = 5*b - f. Is b a composite number?
False
Let c(w) = 1. Let j(m) = 40*m - 39. Let x(n) = -6*c(n) - j(n). Is x(-16) prime?
True
Let r(c) = 24*c**3 + 12*c**2 - 23*c + 17. Is r(8) a composite number?
False
Suppose 5*o - 61493 = 17*q - 20*q, -12 = 3*q. Is o a composite number?
False
Is (-11 + 13)*(-21506)/(-4) a composite number?
False
Let o(r) = 30*r - 10. Let h be o(9). Let y be h/25*(-125)/(-2). Let v = y - 51. Is v a prime number?
True
Let a(d) = 2*d**3 + 12*d**2 - 8*d + 7. Is a(10) composite?
True
Let w = -1852 + 1831. Let a(y) = -8*y + 7. Let z(u) = 9*u - 6. Let r(x) = 4*a(x) + 3*z(x). Is r(w) composite?
True
Let g(v) = -59*v**3 - 2*v**2 - 4*v - 5. Let u(l) = -l**3 + 5*l**2 - 4*l - 2. Let d be -4 + (2 - 0) - -6. Let m be u(d). Is g(m) composite?
False
Suppose 0 = -6*z + 40387 + 6347. Is z a prime number?
True
Suppose -3*a = 17 - 23. Suppose -12 = 3*h, 4*h = -a*o - h + 46. Is o a prime number?
False
Let x = 2636 - 1409. Is x prime?
False
Let o be 5/15*-2*(-1 - 2). Suppose -4*s + 17304 = -r, 3*s - s - 8662 = -o*r. Is s a prime number?
True
Let i be (-6)/(-9) - (-13)/3. Let a(g) = 6*g**2 + 4*g**2 - 5*g**2 + 3*g + i. Is a(7) a prime number?
True
Let q be -4*(-453)/12*2. Suppose 434 = z - 13. Let b = z - q. Is b a composite number?
True
Let z(y) = y + 13. Let p be z(-13). Is (-2448)/(-15) + p - 4/20 a prime number?
True
Let n = -7409 + 10510. Is n prime?
False
Let j be 7363 - (2/(-2) + 1). Suppose 0 = 5*s + 2*q - j, -2958 = -2*s - 3*q - q. Is s prime?
True
Suppose 3*u - 98 = -4*s, -10*s + 12*s - 168 = -5*u. Is u prime?
False
Let t = -69638 + 112105. Is t prime?
True
Let f(a) = -a**2 + 7*a - 6. Let l be f(5). Suppose -k - l*v + 147 = 0, 5*k - v = 4*v + 785. Is k prime?
False
Let q(p) = -1087*p - 1. Suppose 4*j = -2*x - 20, 4*j - 8 = -5*x - 34. Is q(x) composite?
True
Let s be -1 - 1 - (-2 - 1). Suppose 0 = 2*z + 378 + 250. Is z/((2 + -4)*s) a composite number?
False
Let s(y) = -10*y - 6. Let g be s(-2). Let j = g + -10. Is 3 - 1*j*-4 a composite number?
False
Let w(t) = 2 + 2*t