5*w + 10, -10953 + 151247 = 5*q + 2*w. Is q a composite number?
True
Let i = -417 - -667. Let n = -153 + i. Is n prime?
True
Let n(d) = 2*d - 37. Let p be n(21). Let u(y) = 17*y**2 + 14*y - 16. Is u(p) composite?
False
Suppose 0 = 83*z - 86*z + 150. Suppose -z*o + 3454 = -48*o. Is o composite?
True
Suppose -85*y + 12268254 = 3028159. Is y a composite number?
False
Suppose 0 = -q + 189 - 61. Let m = q + 825. Is m composite?
False
Let b(i) = 788*i**3 + i**2 - 3*i + 2. Let u be b(1). Suppose -76 = -3*j + u. Let p = 1075 - j. Is p a composite number?
False
Suppose -36908 = -s + 83205. Is s a prime number?
False
Let b = 35 + -30. Suppose -2*t = -b*s - 6874, -4*s + 6838 = 5*t - 3*t. Is t a composite number?
True
Let w = 746 + -384. Is w*1 - (-30)/(-10) prime?
True
Suppose 4*p - 2433 = p + 2*l, 0 = -3*p - l + 2424. Suppose -4*v - p = n - 5464, -5*n - 4637 = -4*v. Is v prime?
True
Let x be -2 - (2 + 0) - 22. Let g = x + 16. Is (2985/g)/((-6)/8) prime?
False
Let i = 20 + -21. Is i/((-1)/62) + -3 a composite number?
False
Suppose -3*o + 0 + 9 = 0. Suppose -o*s = 5*i - 7*s - 1601, 0 = -5*i + s + 1604. Is i composite?
True
Let i = 1727 - 468. Is i a prime number?
True
Let m(u) be the third derivative of -3*u**2 + 0*u**3 + 0 + 0*u + 79/24*u**4. Is m(3) composite?
True
Let f = 168 - 162. Let j(c) = -1 + 0 + c**2 + 6 + 8*c. Is j(f) a prime number?
True
Let o = -6 + 8. Suppose -b + 40 = 9*b. Suppose -b*a + 5*c = a - 930, 5*a = -o*c + 923. Is a a composite number?
True
Let m = -2102 - -3913. Is m composite?
False
Let u(z) = 833*z**2 - 8*z + 3. Let m(k) = k**2 + k - 1. Let p(w) = 5*m(w) + u(w). Suppose -n - 4 + 3 = 0. Is p(n) a composite number?
False
Let o(l) = 5*l**2 + 6*l - 6. Let n(i) = -19*i**2 - i + 2. Let g be n(1). Let k = 13 + g. Is o(k) a prime number?
True
Let w be 6*(-4 - -6 - 3). Let o be ((-1)/(-6))/((-1)/w). Is -1*(o*-266 - -3) composite?
False
Let v = -19 + 4. Let z be 33*(65/v + 4). Is ((3 - 94) + 2)*z a composite number?
True
Let a(o) = -204*o + 15. Let t be a(-5). Suppose -5*h - 4*j + t = 0, 4*j = 5*h + 5*j - 1050. Is h a composite number?
False
Suppose 34*s + 581 = 41*s. Is s composite?
False
Let w(a) = 6*a**2 + 43*a + 98. Is w(-21) composite?
True
Is 1691 + 4 + -3 + -3 + 4 composite?
False
Let g = 95 - 92. Suppose -t + 2788 = 3*a, t + 1344 = g*a - 1442. Is a a composite number?
False
Let m = 57 - 26. Suppose -4*f - 4*y - m = 21, 2 = 2*f - 5*y. Is f/6*(-154)/3 prime?
False
Let h = -6 + 9. Suppose -m = -h*m - 522. Is (3 + -1)*m/(-6) prime?
False
Let t = -742 - -1121. Is t composite?
False
Suppose -5*u + 5*q + 2355 = 0, 3*u - q + 2*q - 1397 = 0. Suppose 5*l = -3*z + 308 + 75, -4*l - 564 = -4*z. Let v = u - z. Is v a composite number?
False
Let p(o) = 5*o**2 + 3*o + 2. Let v be p(-1). Suppose -3*g + 509 + 1430 = -2*w, -v*w = -3*g + 1937. Is g a composite number?
False
Let w(b) = 2097*b**2 - 6*b - 32. Is w(-5) prime?
False
Suppose 0*y = -2*y + 14. Suppose 4*s + y*p - 2*p - 1450 = 0, s - 5*p = 375. Is s composite?
True
Let f(j) = -2*j - 2. Let t be f(-2). Suppose 6 = -t*l - l. Is 1689/9 - l/(-3) composite?
True
Suppose 5*u - 9 = r, 1 = 3*u - r - 4. Suppose -12 = -u*z - 4*z. Suppose 5*t - 48 = -2*b, -5*b = z*t - 1 - 14. Is t a composite number?
True
Let g(p) = 6*p - 11. Let b(x) = 5*x - 10. Let u(c) = -7*b(c) + 6*g(c). Let h be u(3). Let l(v) = v**3 - 6*v**2 + 4*v + 8. Is l(h) composite?
True
Let s(x) be the first derivative of 25*x**3/3 + 3*x**2/2 + x + 5. Let v = -1 - -5. Is s(v) prime?
False
Suppose -s - 2*y = 2*y, 0 = -3*s - 4*y. Suppose 0 = 4*f - s*f + 4916. Let a = f - -1794. Is a composite?
True
Let b = -24601 - -36464. Is b a prime number?
True
Let j = 160453 - 109188. Is j composite?
True
Suppose -10*s = g - 11*s - 3548, 0 = -3*g + s + 10638. Is g prime?
False
Let j(f) = 2*f - 6. Let q be j(4). Let v = q - -2. Suppose 5*k = -3*u - u + 285, 0 = k + v*u - 73. Is k composite?
False
Let t be ((-8)/(0 - 1))/((-2)/(-25)). Suppose -t*b + 1948 = -96*b. Is b composite?
False
Let i(z) = z**2 + 5*z - 2. Let d be i(-6). Suppose 2*c - d*c = -1814. Is c a composite number?
False
Let i(b) = 3*b**3 - 4*b**2 - 10*b + 11. Let x be i(5). Suppose j - x = -4*w + 265, -2580 = -5*j - 5*w. Is j a composite number?
False
Let o = -25 + 32. Suppose -o*r = -3*r - 20. Suppose 2*f = r*w + 406, -2*w + 406 = 2*f - 4*w. Is f a composite number?
True
Let j = -54 - -17. Let t = 102 - j. Is t a composite number?
False
Let y be 6/((-1 - 0) + 2). Let f be (-59008)/(-144) - 10/(-45). Suppose y*p = p + f. Is p a composite number?
True
Let t be (-113342)/(-8) - (-2)/8. Suppose -t = -6*s + 3586. Is s a composite number?
True
Let l = -8 + -5. Let s = -11 - l. Suppose 13 = 5*c - 3*f - 817, -5*c - s*f + 855 = 0. Is c a composite number?
True
Let b(o) = 115*o - 4. Let n = -20 + 45. Let v = n - 22. Is b(v) composite?
True
Is 2932 + (0 - (8 + (4 - 7))) a composite number?
False
Let r(q) = q**3 - 3*q**2 + 3*q - 7. Let g be r(3). Suppose 0 = -d, -5*b = -b - g*d - 988. Is b composite?
True
Suppose 2*r - 4*d + 5*d + 45 = 0, d + 66 = -3*r. Is ((-154)/r - 7)/(2/4146) composite?
False
Suppose 5*h - 86665 = 17*s - 13*s, -s = 4*h - 69353. Is h composite?
True
Let f(o) = -42*o**2 + 3*o + 3. Let n(l) = 14*l**2 - l - 1. Suppose -3*d + 7 = -h, 0*h + 11 = -2*h + 3*d. Let v(z) = h*f(z) - 11*n(z). Is v(2) a prime number?
True
Let x(b) = 332*b**2 - b. Let l(a) = a - 4. Suppose -11*g = -7*g - 20. Let v be l(g). Is x(v) a composite number?
False
Let n = -12 - -20. Let m = 11 - n. Suppose -t = -m*t + 5*c + 378, 163 = t + 4*c. Is t a composite number?
False
Suppose 2*n + 3*n = 0. Suppose 0 = -5*j - 1648 + 4393. Suppose 5*d - 20 = 0, 0 = 3*v - n*v + 3*d - j. Is v a composite number?
False
Suppose 0 = 13*s + 114404 - 894157. Is s a composite number?
False
Let n(u) = 0*u + 15*u**2 - 11*u + 50 - 69. Is n(-7) a prime number?
False
Let t(k) = 11*k**2 - 67*k + 40. Is t(-17) prime?
False
Is (1277/(-4))/(15/(-1620)*9) a composite number?
True
Let g be 1 + 0 - (-2 + 1). Suppose -1847 = -d + g*v + v, -3*v + 1823 = d. Let w = -1156 + d. Is w a composite number?
True
Suppose 2*w = 1077 + 1061. Is w a composite number?
False
Suppose -1220 = 17*l - 13*l. Is (-3 - l) + -2 - -1 prime?
False
Is 1*(0 + 1)*(13993 - -4) composite?
False
Let q = -1672 + 2689. Let j = q + -460. Is j a prime number?
True
Suppose -669 = 5*q + 586. Let v = -136 - q. Is v composite?
True
Suppose l = p - 9 - 1, 3*p = -4*l - 5. Suppose 70 = p*k - 1245. Is k prime?
True
Let t = 7 - -9. Suppose 4*q - 5*k = 158, -3*q - 2*k = t - 123. Is q a composite number?
False
Suppose 5*f - 22851 = -2*u, 2*u - 3*f - 11408 = 11403. Is u a prime number?
False
Let a be (-455 + -2)*(4 + 1 + -4). Let g = 675 + a. Is g prime?
False
Suppose -2198 = -4*b + 2*b. Is b prime?
False
Let h = -13632 - -29393. Is h prime?
True
Let r = 1481 - 945. Let u = 1005 - r. Is u a composite number?
True
Suppose g + 3*v - 13 = 0, 6 = 2*g + v - 0. Let o(a) = 7*a**2 - a. Let w be o(g). Is ((-1014)/(-18))/(2/w) a composite number?
True
Let p(m) = -m**3 + 3*m**2 + 5*m. Let g(q) = q. Let y(t) = -4*g(t) + p(t). Let v be y(2). Is 13*v + -1 - -2 prime?
True
Let o(q) = q**3 - 3*q**2 - 4*q + 4. Let y be o(4). Suppose 0 = y*i - 3*i + 172. Let l = 335 + i. Is l a prime number?
True
Is 3770 + (-45)/(7 - 2) a composite number?
False
Is (68/(-6))/((690/(-13995))/23) a prime number?
False
Let c be 0 + 2/10 + (-3)/15. Suppose 5*p - 661 = -4*t, 5*t - 2*p = -c*p + 785. Is t composite?
True
Let j be (-1132)/20 - 8/20. Suppose 4*y = -5*v - 107, 0 = -5*y - 5*v - 112 - 23. Is y/12*j*1 a composite number?
True
Suppose 0 = -q + 5*s + 18 + 7, -4*q + 12 = 2*s. Let z(y) = 2*y**2 - 8*y - 10. Let i be z(q). Suppose 2*r = -i*r + 238. Is r a prime number?
False
Let z be -2*(-3)/(-18)*(-5 + -1). Let h(f) = 14*f**2 + 4*f - 5. Is h(z) a prime number?
True
Suppose 2*s + 5*l - 2*l = 196871, 4*s - 393762 = -2*l. Is s a composite number?
False
Suppose 5*q = -0*q + 15. Suppose q*f - 4 - 2 = 0. Is f/4*0 - -23 a prime number?
True
Let r be (9 - 7)*(-2)/(-1). Suppose -i - r*i = -10. Suppose 2*m = -p + 419, i*p = m - 2*p - 223. Is m a prime number?
True
Let c(k) be the third derivative of 7*k**4/2 + 17*k**3/6 - 12*k**2. Is c(6) a prime number?
True
Suppose 3*d + 420 = 3*j - 6*j, 5*j - 4*d + 727 = 0. Suppose 5*w + 252 = -28. Let t 