 1326816/748 composite?
True
Let x be (-1)/(3 - 56/20). Let a = x + 8. Suppose -2*g - a*d + 27 = g, -11 = g + 5*d. Is g prime?
False
Let m(u) = -u**2 - u - 2. Let t be 1*(-1 + -1 - -2). Let a be m(t). Let k(w) = -41*w**3 + 2*w**2 - w + 1. Is k(a) composite?
True
Suppose 0 = 49*s - 47*s - 28. Let b(n) = 3*n + 1. Is b(s) a prime number?
True
Let n(w) = w**3 - 7*w**2 + 11*w - 1. Let f be n(17). Suppose -6*v - f = -10*v. Is v prime?
True
Let o be (18/(-45))/((-1)/5). Let u be (-16)/10*(-5)/o. Suppose -u*l - 35 = -5*l. Is l composite?
True
Let v(m) = m**2 + 13*m + 7. Let a be v(-11). Let z be ((-4)/(-6))/((-5)/a). Is (z - 1)*7026/6 prime?
True
Suppose 0 = -2*y + 2, 3*g - g - 5*y - 6249 = 0. Is g a composite number?
True
Let k(i) = 38*i**3 - 6*i**2 + 5*i - 5. Suppose 3*p - 2*p = -5*w + 14, 0 = -p - 3*w + 10. Is k(p) a prime number?
True
Is (84/(-56))/(3/(-2914)) a composite number?
True
Let w(u) = 5*u - 28. Let f be w(7). Let a(o) = 9*o**2 + 25*o - 5. Is a(f) a prime number?
False
Let o(s) be the third derivative of 1/6*s**3 - 65/2*s**4 + 0*s + 0 - 7*s**2. Is o(-2) composite?
True
Let d(i) = i**2 + 18*i + 16127. Is d(0) a prime number?
True
Suppose 7 = -9*a - 2. Let s(c) = -178*c**3 + c**2 + c - 1. Is s(a) composite?
True
Suppose 4*d = 5*s + 23807, 5*s - 8*s + 3 = 0. Is d composite?
False
Let j be 5*(-9)/(-60)*-100. Is (-4)/(-30) + (-7715)/j composite?
False
Suppose 16 = 4*o, 0 = -5*g + 4*g - 3*o + 1339. Is g a composite number?
False
Let v = 27491 - 8034. Is v a prime number?
True
Suppose 4*g + 6 = -m + 27, m + 5*g - 24 = 0. Let l(c) = -1894*c**2 + 3. Let x be l(3). Is (-2)/m + x/(-27) composite?
False
Let s(x) = 89*x**2 + 9*x + 12. Let j be s(-6). Suppose -7*m + 1549 = -j. Is m composite?
False
Suppose -42 = -5*y + 93. Suppose 4*b - 4*j - 5 = y, 0 = -3*j + 6. Is (-4)/b + (-12144)/(-60) a prime number?
False
Let q(f) = -2*f - 13. Let v be q(-9). Suppose 1144 = v*h - 346. Is h composite?
True
Suppose 0 = 3*r - 2*r + 70. Is (-9)/2*r/15 a composite number?
True
Suppose 2*k - 5*b = -2358 + 6460, 8172 = 4*k - 2*b. Is k a prime number?
False
Let p = -25 + 30. Suppose p*a + 1504 = 2*h + 2*h, 3*h - 1117 = a. Is h prime?
False
Let g be (-9750)/(-91) + (-2)/14. Let x = g - -182. Is x a prime number?
False
Let z be 6/(-42) + 18930/14. Let a = 5401 - z. Is a a prime number?
True
Let a = 403 + -183. Suppose -5*k + a = -k. Is k a prime number?
False
Let y be ((-18)/8)/((18/16)/3). Let v(f) = -4*f**3 - 5*f**2 + 8*f - 5. Is v(y) a composite number?
False
Let c be 4/(-20) - 4488/(-15). Suppose 2*g - 4*j - 355 = -87, 5*g - 682 = 4*j. Let o = c - g. Is o composite?
True
Suppose -21322 = -4*u - 2*q, -4*u + 11*q + 21328 = 7*q. Is u composite?
True
Suppose 5*d + 25*q - 6413 = 24*q, 6425 = 5*d - 5*q. Is d prime?
True
Let k(i) = i**3 + 21*i**2 - 22*i - 12. Let s be k(-22). Let l(t) = -40*t + 7. Is l(s) a composite number?
False
Suppose 11*x = -2*x + 234. Is 4/x - 73482/(-54) a composite number?
False
Let q be (-2)/(-2) + 3 - 0. Suppose 20*h + 1272 = 3532. Is h/q*2*2 prime?
True
Suppose 5*y - 6312 = d, 4*d + 5 = -3. Suppose 0*c + 5*g + 3155 = 5*c, -2*g = 2*c - y. Is c prime?
True
Let w(g) = -g**3 + 4*g**2 - 2*g - 1. Let l be w(2). Suppose l*k + 5*h - 427 = 560, -k - 2*h + 328 = 0. Suppose -1251 = -5*m + k. Is m composite?
False
Let v be (1 + (-972)/8)*(0 + 6). Let y = v + 1136. Is y prime?
False
Suppose 23*l - 19545 = 18*l. Is l composite?
True
Let a = 3897 - 2074. Is a a composite number?
False
Suppose -b + 5*l = 74, -l - 3*l = 2*b + 176. Suppose -2*g - 5*d = 108, d = 5*g - d + 241. Let r = g - b. Is r a composite number?
True
Let l be -1 - -1 - (-47 - -12). Suppose -9 = -2*p + l. Suppose p - 330 = -4*t. Is t composite?
True
Suppose 10*x - 2072 = 6*x. Suppose t - x = -t. Is t prime?
False
Let o = -9658 - -16419. Is o a composite number?
False
Suppose -5*c = -31565 - 65865. Is c a composite number?
True
Suppose -5*y + 5121 + 6314 = 0. Is y a composite number?
False
Let x(w) = -2*w**2 + w + 298. Suppose -21*t = -25*t. Is x(t) composite?
True
Let m(o) = 6*o**2 - o + 5. Let n be 2/(-7) - (-162)/(-21). Is m(n) a prime number?
True
Let b(n) be the first derivative of 65*n**2/2 + 4*n - 1. Suppose -10*a - 105 = -31*a. Is b(a) a composite number?
True
Let r = 0 - -23. Let q = 23 - r. Suppose 1585 = 5*b - q*b - 5*s, 0 = s - 4. Is b composite?
True
Suppose -36*k = -33*k - 5601. Is k prime?
True
Let i = -4445 + 2577. Let u = -825 - i. Is u prime?
False
Let g(i) be the second derivative of i**5/20 + 7*i**4/12 + i**2 + 3*i. Let n be g(-7). Suppose n*w - 140 = 102. Is w composite?
True
Let j = -9118 - -19251. Is j prime?
True
Suppose 3*w + 6656 - 18623 = 0. Is w a composite number?
False
Is (-8)/((-8)/134009) - 28/7 prime?
False
Let y be -1 + (6 - 3) + 1. Suppose 2*b - 278 = -4*x, 0*x + 4*x - 293 = y*b. Is x a composite number?
False
Suppose 5*z + 25 = -0*z, -2*w - 2*z = -8434. Suppose -u + w = -0*l + 3*l, -4*u = l - 1389. Is l a prime number?
True
Is (-52)/(-39) - (-103858)/6 a prime number?
False
Let r = 850 - -231. Is r a prime number?
False
Suppose -9*p + 427524 = 40191. Is p composite?
False
Let n = -2129 + 6766. Is n a prime number?
True
Let y be (7 - 663/(-12))/(2/(-8)). Let g = 8038 - y. Is g composite?
False
Suppose 0 = c - 3 - 2. Let s(f) = -3*f**3 - 11*f + 0*f + 8*f - 7*f**2 - c. Is s(-6) a composite number?
False
Suppose b - 855 = -0*b. Let a = -548 + b. Is a prime?
True
Suppose 27*u + 15 = 32*u. Suppose z + 0*z - 916 = -u*s, -2*z = 3*s - 911. Is s a composite number?
False
Let i be 4/36 + 314545/45. Suppose -5*l - 2*u = -6*u - i, -5*l + 5*u + 6985 = 0. Is l prime?
False
Let r = -11 - -14. Suppose -3*n = -c - 5, -4*n - 2*c = -r - 7. Suppose -2*d + d - 52 = -5*k, 0 = -k - 4*d + n. Is k prime?
False
Let z(r) = 11*r**2 - 11*r - 14. Let u be z(7). Suppose 94 - u = -k - 5*b, -4*k + 1368 = 4*b. Is k a composite number?
True
Suppose 2*w + 625 = -0*w - j, 2*j - 10 = 0. Let f = 706 + w. Is f prime?
False
Let q be -5*(2 + (-12)/10). Let k(i) be the second derivative of 2*i**4/3 - 5*i**3/6 - 3*i**2/2 - 3*i. Is k(q) a composite number?
True
Suppose -4 - 6 = 2*u. Let y = u + 9. Suppose 10 = -y*t + 2, -2*i + 92 = 3*t. Is i a prime number?
False
Suppose -11*g + 21*g = 33510. Is g a prime number?
False
Let u be 28/84 + 1/(-3). Suppose 3*y - 770 - 433 = u. Is y prime?
True
Let t(u) = -u**3 + 25*u**2 + 34*u - 206. Let a be t(26). Let n(h) = -498*h + 3. Let c be n(2). Is a*(-4)/24*c a prime number?
True
Suppose -3*x - 74 = -q, -3*x - 2*x - q - 126 = 0. Let y be (-1)/(-2)*(-5 + x). Let o = 34 + y. Is o a prime number?
True
Let d = -24 - -27. Is 89/(-2)*(1 - d) a prime number?
True
Let y be (2/3)/((-6)/(-27)). Suppose -y*x + 45 = 4*c + 2*x, c - 15 = -2*x. Suppose -1642 = -5*l - 2*n + 170, -l + c*n = -357. Is l a prime number?
False
Suppose -25709 = 8*j - 88933. Is j a composite number?
True
Let b(w) = w**3 + 6*w**2 - 7*w - 7. Let x be b(-5). Suppose 6*r - x = 5*r. Is r composite?
False
Let x(f) = 256*f + 1. Let m be x(-2). Let p = -300 - m. Is p composite?
False
Let o be 3/6 + 6/4. Suppose 2*l - o = 20. Suppose -98 - l = -t. Is t a composite number?
False
Let z(t) = 37*t**2 - 6*t - 8. Let b be z(-5). Suppose 0 = -6*y + 4031 - b. Is y prime?
False
Suppose 322 - 63 = 5*b + 3*h, 2*h = -4*b + 208. Suppose -b + 806 = 3*t. Is t a prime number?
True
Suppose -4*h + 27 = -0*h - 5*q, -q = -4*h + 31. Suppose h*b = 591 - 39. Is b a prime number?
False
Let n(z) = -z**2 + 6*z - 3. Let v be n(5). Let f be (-1)/v*(-3 - 15). Is (4 - 13)*(-33)/f composite?
True
Let f(l) = -l**3 - 2*l**2 + 10*l + 19. Let p be f(-13). Suppose 0 = -2*y - y + n + p, 0 = -5*y - 4*n + 2919. Is y a composite number?
True
Suppose 1793 = x - 5*x + 3*r, -5*x = -5*r + 2240. Let j = x + 634. Is j a composite number?
True
Let n(b) = 40*b**3 - 6*b + 15. Is n(2) composite?
True
Suppose 0 = -z - 2*z. Suppose z = 4*i - 2*i - 430. Suppose 0 = c - 0 - 4, -i = -n - 3*c. Is n composite?
True
Let w = -49 + 88. Is (-2899)/w*3*-1 prime?
True
Let g(q) = 47*q. Let m be g(2). Suppose -m*b - 9485 = -99*b. Is b prime?
False
Suppose 0 = -5*f + 7352 - 7. Is f a composite number?
True
Let h be (3/(-9)*-3)/((-3)/(-1005)). Is h*(-1 + -1)*(-2)/4 a composite number?
True
Let j(p) = -3018*p**3 + p**2 + p + 1. Let g be j(-1). Is 4/(-32)*-12 - g/(-2) composite?
F