+ 5492. Suppose q = -2*t + 6*t. Suppose 2*y - s = s + 900, -5*s = y - t. Is y composite?
True
Let o(p) = 6*p - 3617. Let j(c) = -12*c + 7233. Let i(z) = 4*j(z) + 7*o(z). Is i(0) composite?
False
Suppose 0 = 3*i + 6, -4*b - 46*i + 205164 = -42*i. Is b a composite number?
True
Suppose 40022 - 17575 = 4*k - 54277. Is k a prime number?
True
Let g(v) = v**3 - 3*v**2 - 3*v + 2. Let p be g(4). Let u be ((-212)/p + 2)*-33. Suppose -130 = 5*m - u. Is m composite?
True
Suppose 671629 - 5177515 = -166*i + 1172476. Is i prime?
False
Let j(b) = 45*b**3 - 2*b + 3. Let i = -571 - -573. Is j(i) prime?
True
Let s(j) = -2*j**2 - 4*j - 3. Let b(d) = d**2 + 12*d - 16. Let c be b(-13). Let a be s(c). Is (4458/a)/(6/(-9)) composite?
False
Is 58*3299 + 23/(-92)*12 a composite number?
False
Let b(i) = 1817*i + 104. Let q be b(8). Let l = q - 8003. Is l a composite number?
False
Let a be (48/(-32))/((-3)/(-8)) + 7. Suppose 9 = 2*m + 13, -a*y = -3*m - 4527. Is y prime?
False
Let d(r) = -8*r + 18. Let x be d(2). Is (6 - x) + (-4 - -1991 - 0) a prime number?
False
Suppose 43*n - 23*n - 6302978 - 6156162 = 0. Is n composite?
False
Let n(u) = u**2 + 6*u. Let t be n(-6). Suppose t = -6*v + 2*v + p + 2376, 3*p = -5*v + 2987. Suppose v + 1346 = 3*c. Is c composite?
False
Let g = -26 - -14. Let l be 131 - g/(-7 - -4). Let i = -38 + l. Is i prime?
True
Let k be ((-14)/(-5))/(12/(-10) - -1). Let x = 29 + k. Is ((-381)/9*-17)/(5/x) prime?
False
Let a(l) = -l**2 - 12*l - 20. Let m be a(-2). Suppose m = -23*j + 25*j - 4202. Is j composite?
True
Let k = 742153 + -408202. Is k a prime number?
False
Suppose 4*t - 28 = 4*a, -t - 2*a - 3*a - 5 = 0. Suppose 9*g = t*g - 48. Let v(n) = 2*n**2 + 7*n + 1. Is v(g) a prime number?
False
Let o be 1/((-4 - -9)/705). Let v be (1 + 2 - o)*-3. Suppose 0 = 3*u - 717 - v. Is u a prime number?
False
Let c(s) = 2*s**3. Let r = -14 + 15. Let u be c(r). Suppose 2*x - u*h - 2132 = 0, -x + 0*h + 4*h + 1057 = 0. Is x a prime number?
True
Suppose 7*z - 24 = 4. Suppose t - 43468 = -z*t + 4*s, t - 2*s - 8696 = 0. Suppose 0 = 4*c - 0*c - t. Is c prime?
False
Let o = 45741 + -28508. Is o a prime number?
False
Let o(n) = -344*n + 31. Let i be o(26). Let h = -5096 - i. Is h a composite number?
True
Let p(g) = g**3 - 24*g**2 + 148*g - 54. Is p(47) prime?
True
Let y(i) = -i**2 + 12*i + 33. Suppose -4*z + 46 = -2*d, 0 = -3*d - 6 + 21. Let w be y(z). Suppose -k - 57 = -8*l + 7*l, 5*l + w*k = 265. Is l a prime number?
False
Let q be ((-9)/(-3))/(-3)*-158. Let m = -566 + q. Let g = 859 + m. Is g composite?
True
Suppose 0 = o + 5*q - 19, -4*o - 4*q + 5*q + 13 = 0. Is (-8 + 4)/(-8) - (-2674)/o prime?
False
Let m(t) = 2*t**2 - 9*t - 3. Let a be m(5). Suppose a*o + 666 = 5*l - 1722, 1194 = -o + 3*l. Let s = 1691 + o. Is s prime?
False
Suppose 0 = 32*u + 290805 - 743381. Is u prime?
True
Let u(a) be the second derivative of 213*a**5/40 + 25*a**4/24 - 23*a**3/6 - 31*a. Let b(t) be the second derivative of u(t). Is b(6) a prime number?
False
Suppose 28*c + 3*c = -651. Let m(y) = -3*y**2 + 51*y - 22. Let q(o) = -2*o**2 + 25*o - 11. Let d(u) = 4*m(u) - 7*q(u). Is d(c) composite?
True
Suppose -19170 = -14*h + 5*h. Suppose 6*n = 228 + h. Suppose 0 = -6*x + n + 2769. Is x prime?
False
Let u(q) be the third derivative of 1/5*q**5 - 1/3*q**4 + 3*q**2 + 0*q + 0 + 7/2*q**3. Is u(9) a composite number?
True
Suppose 5*x = -s + 24714, 4*s - 5*x = -24384 + 123415. Is s composite?
False
Let o be 1 + 30 + (-3)/(-1). Let m = o - 26. Is m/(-24) + -2 + 776/6 a prime number?
True
Suppose 0 = r - 2*w - 59, -r - 3*w + 2*w + 71 = 0. Let q be (r - 2)*(-22)/(-5). Let y = 1079 - q. Is y prime?
False
Let n be ((-8)/6 - -1)*-33. Suppose -y + 2*u + 2*u = n, 4*y + 4*u - 16 = 0. Is y/((-3832)/(-11460) + (-2)/6) a composite number?
True
Is 337058/8 + 95/(-76) composite?
False
Let h = -27410 + 66171. Is h a prime number?
False
Let n be 2 - ((-3 - (-20)/(-2)) + 0). Let v be (-12 - 0) + 0/(n/(-3)). Let f(z) = -4*z + 7. Is f(v) prime?
False
Suppose 32 - 82 = 5*q. Let n(v) = -2*v**2 + 71*v - 37. Let c be n(35). Is (1 + 5315/q)*c a prime number?
True
Let h = 0 + -5. Let v(g) = g**2 + 30*g + 4. Let a(t) = 18*t + 3. Let k(r) = -8*a(r) + 5*v(r). Is k(h) a prime number?
False
Let u = -190673 - -405522. Is u a composite number?
False
Suppose 2*c + x + 0*x = 6, 3*x = -6. Suppose 0 = -c*b - 4, -4*b + 36 = -k - 3*k. Is (4 - 1716/(-20))/((-2)/k) a composite number?
False
Let i be 6/(-7 + 4)*-2. Suppose k = 3*o - 9, 4 - 11 = 3*k - i*o. Suppose -573 = k*l - 6*l. Is l prime?
True
Let y(k) = -150*k - 1639. Is y(-69) prime?
False
Let d(u) be the third derivative of 29*u**5/30 + 5*u**4/6 + 17*u**3/6 - 2*u**2 - 2. Is d(-8) a composite number?
True
Let a(l) = 7012*l + 4923. Is a(13) a prime number?
True
Let h = 3721 - 6070. Let j = -1628 - h. Suppose o - 3*x = j, -4*o + 3*x = o - 3653. Is o a composite number?
False
Is 108349 - 19 - (-4 - 9) a composite number?
False
Let v(d) = -d**3 - 5*d**2 + 5*d - 6. Let b be v(-6). Suppose q + 5 = 0, -2*h + 4*h + 5*q + 29 = b. Is h/(-1 + -3)*(-25 + 4747) a prime number?
False
Let v = -43849 + 381902. Is v a composite number?
True
Suppose 541886 + 1991092 = 60*x - 10186122. Is x prime?
False
Let n(p) = -72*p**3 - 26*p**2 - 76*p - 17. Is n(-18) prime?
True
Suppose -b + 8 = 48. Let w be ((-32)/b)/((-2)/(-12405)). Suppose -5*l + w = 217. Is l a composite number?
True
Let y(q) = -117*q - 19. Let s be 18/(-6) - (1 + -6). Suppose -3*t - 2*p = 10, 13*p = s*t + 10*p + 24. Is y(t) a prime number?
True
Let w(o) = 2*o - 1. Let f = -28 - -31. Let s be w(f). Suppose s*p + 3*h = 1840, 2*p - h - 4*h = 767. Is p a prime number?
False
Let p(k) = 4*k**2 + 5*k + 8. Let g be p(5). Suppose -8*d + g + 115 = 0. Suppose 26*i = d*i - 265. Is i composite?
False
Is 114367 + (-12 + -5 - 3) a prime number?
False
Let c = -22 - -25. Suppose -3*n - 5*k + 2228 = 0, -8*k + c*k - 736 = -n. Let j = n + -386. Is j prime?
False
Let r(t) = 232*t - 37. Let q be r(-20). Is (q/(-9))/((-20)/(-12))*5 composite?
False
Is 8/1*12231315/360 a prime number?
True
Let r be (-603)/(-134)*2/6*430. Let s(m) = m**3 - m**2 - m + 262. Let l be s(0). Suppose l + r = n. Is n a composite number?
False
Let a(x) = -2420*x - 2439. Is a(-28) a composite number?
True
Let j = 58988 - -14013. Is j composite?
True
Suppose 3658625 = 5*x - 12*x + 32*x. Is x a composite number?
True
Let i = 312 + -946. Let c be 2 - (-5)/(20/(-28)) - 412. Let a = c - i. Is a composite?
True
Suppose 1122922 - 169265 = 3*n - v, -4*n + v + 1271544 = 0. Is n composite?
False
Suppose 0*p = 2*j - 2*p + 2, -3*p = -4*j - 2. Suppose 11 = 5*s + j. Suppose -6*b = -s*b - 4772. Is b composite?
False
Let y be (-8)/(-44) - 32034/11. Let z = 4990 + y. Is z a composite number?
True
Suppose -614*p + 611*p + 1030449 = 0. Is p prime?
False
Suppose 2*y = -8, -m = -0*m + 4*y - 8935. Let w = m - 4288. Is w prime?
True
Let t(l) = 32*l**2 + 4*l + 1. Let b = -5 + -2. Is t(b) a prime number?
False
Is (-129 - -121) + (-1866)/(-1) a prime number?
False
Let m = 99679 - 31682. Is m prime?
False
Suppose -2*p + 5*p = -2*h + 20, 5*p = 3*h + 27. Let t be 3/p - (-2)/4*717. Suppose 5*c - 4*k = 1915, 6*k = -c + 2*k + t. Is c a prime number?
True
Let c(f) = -2*f**2 - 5*f + 5. Let p be ((-104)/(-20) + -4)/((-2)/5). Let z be c(p). Suppose -4*v - 279 = -3*x, z*x - 236 = 2*v - 52. Is x a prime number?
True
Let x be 9/(((-60)/(-25))/4). Suppose x = -9*r + 14*r. Suppose -r*b + 1022 = 4*b. Is b a composite number?
True
Let g(z) = 20206*z**2 - 6*z + 1. Is g(2) a prime number?
False
Suppose 2*t + 248 + 130 = 0. Suppose 6*y = 3*y + 1812. Let f = t + y. Is f a composite number?
True
Suppose 0 = -k - x + 22, 2*k - 3*x - x = 38. Let t = -22 + k. Is ((417 + 5)*t/2)/(-1) composite?
False
Let a be 464 - (2/(-2))/(11/33). Suppose -462*y + a*y = 2390. Is y composite?
True
Let u(l) = -22*l**3 - 47*l**2 + 42*l + 511. Is u(-24) a composite number?
True
Suppose -4*a - 116741 = -3*g, 194531 = 5*g - 122*a + 120*a. Is g composite?
False
Let i be (-4)/(-10) + 70632/(-30). Let j be i*(-4)/8 - (4 - 2). Suppose 5*d = -45 + j. Is d composite?
True
Let w = 1 - -12. Let x = -1261 - -3193. Suppose -w*h = -x - 4399. Is h a composite number?
False
Let y(h) be the third derivative of h**6/60 - 7*h**5/60 - h**4/12 - h**3 + h**2 + 189. Suppose -5*x - 