 number?
True
Suppose -2758 = -t + 712. Let x = -2296 + t. Suppose 0 = -7*p + 9*p - x. Is p a prime number?
True
Let c(h) = -h**2 - 8*h - 6. Let x be c(-7). Let m(s) = s**2 - 8*s + 1. Let t be m(8). Is x/(t/(-2 - -81)) a composite number?
False
Let s(m) = m**3 + 4*m**2 + 4*m + 3. Let x be s(-2). Suppose 0 = -2*r - 2*r + a + 582, -x*a = 5*r - 719. Is r a composite number?
True
Let h = -24 + 26. Suppose i - 355 = -h*a, a = -4*i - 0*a + 1385. Suppose 3*r + i = 6*r. Is r composite?
True
Suppose -5*a + 2638 = -4*w - 52, -3*w = 3*a + 2004. Let y = w - -418. Let f = y - -446. Is f prime?
False
Let u be (-5)/4 - (-6)/24. Is (0 - u)/((-1)/907*-1) composite?
False
Let l(p) = -212*p - 1. Suppose -10 = 4*a + 14. Let g(k) = -k - 7. Let d be g(a). Is l(d) a prime number?
True
Let g be ((-6)/4)/(1/(-2)). Suppose g*t = -2*t - 5. Is (t/2)/((-1)/322) prime?
False
Suppose o = -5*q + 27, 2*q + 5*o = 24 - 4. Let j = q - -1. Suppose -2*z = -j*z + 56. Is z a composite number?
True
Let i = 198759 - 126740. Is i composite?
False
Let v = 797 + -168. Is v composite?
True
Let w(v) = 11*v**3 - 21*v**2 - 62*v - 29. Is w(17) prime?
False
Let z = 2502 - -2359. Is z a composite number?
False
Let l be (12/18)/(4/6). Let a(p) = 2 - l + 94*p + 0*p. Is a(4) composite?
True
Let d = 10 + -10. Suppose d = -20*a + 19*a + 237. Is a composite?
True
Let c be 6/(-10) - 99/(-15). Let n be c/(-4)*2*-29. Suppose 0 = 3*z - 3*w - 279, z - 22 = 5*w + n. Is z prime?
True
Let a be (-12)/42*(-1 + -6). Suppose m - 60 = -4*r - a*m, 2*r = 4*m + 52. Is (-4)/r + 2614/18 prime?
False
Let o = -1358 - -2563. Is o prime?
False
Suppose -10 = -4*p - 2. Suppose -53 = -p*d - 5*v, 91 = 3*d - 0*v - 4*v. Suppose d + 408 = h. Is h a composite number?
True
Suppose -q - 5*b + 2*b + 10544 = 0, -3*q + 31702 = -5*b. Is q a prime number?
True
Let i(p) = 5*p**2 + 17*p - 47. Is i(20) a prime number?
True
Suppose -4*o = 4*b - 2204, 530 - 3275 = -5*o - 3*b. Let z = 1519 - o. Is z composite?
True
Is (1798530/(-120))/((-5)/20) prime?
True
Let a be 90 + (-3)/(3/(-4)). Suppose -4 = -2*t, 4*t - 63 = -c + a. Is c a prime number?
True
Let f be (-27)/(-36) - 11682/(-8). Suppose -3*j - c - 50 = -f, 5*j - 2357 = -3*c. Is j a prime number?
False
Suppose -b - 12 = 5*d, b = -b - d + 21. Suppose -z + 2030 = b*z. Is z a composite number?
True
Let v be (-32)/(-12)*9/2. Let g be (-8)/v + 42/9. Suppose -48 = -2*i - g*w, 3*w = -6*i + 4*i + 47. Is i prime?
False
Let q be 6/(-3) - (-425)/1. Let n be (-1)/((8/1124)/(-2)). Let c = q - n. Is c a prime number?
False
Let l(p) = -51*p**3 + 13*p + 31. Is l(-2) a composite number?
True
Let m(a) = a - 5. Let x be m(0). Let d be 1/5 + (-59)/x. Is 349/3 + d/(-9) a composite number?
True
Let h(g) = 25*g - 1 - 41*g - 44*g. Is h(-7) composite?
False
Let f = 36 + -36. Suppose -11*c - 2*c + 11921 = f. Is c a prime number?
False
Let f(y) = 2*y**3 - 2*y**2 - 2*y - 1. Let c be f(-1). Let n be 85*3*(-4)/c. Suppose -7*a + n = -3*a. Is a composite?
True
Let q = -15 + 27. Let d be (-1)/(1/q - 0). Is 17/(-2*3/d) a composite number?
True
Let l = 1523 - -16212. Is l prime?
False
Suppose -113*c + 1656856 = 284245. Is c prime?
False
Suppose 54*i - 625336 - 144434 = 0. Is i a prime number?
False
Suppose 32*m - 27*m = 13235. Is m prime?
True
Let i = -1186 - -20307. Is i composite?
False
Let l = -62 - -60. Is (1002 - 2) + (-2 - (-2 - l)) composite?
True
Suppose 0 = -5*j - 4*a + 53, -3*a = -4*j + 43 - 13. Suppose 10*d - j*d - 467 = 0. Is d composite?
False
Let b(a) = 54*a + 12. Let s(c) = -c**3 - 6*c**2 + 5*c - 3. Let k be s(-7). Let r be b(k). Suppose 4*u = -3*x + 3295, -x + 5*u + r = -486. Is x prime?
True
Let u = -23480 + 13958. Let a = -6427 - u. Is a prime?
False
Let n be (-69)/6*(-216)/1. Suppose 9*b = n + 5607. Is b prime?
False
Suppose -2*w - 2*w = -2*g - 68, -3*w - 82 = 2*g. Let a = -53 - g. Is (-5211)/a - (-6)/(-15) a composite number?
False
Suppose 0 = m - 3*i + 194, -m - 248 = 3*i - 78. Let c = -304 - m. Is 3 - (-2 + c)*1 prime?
True
Suppose 3*z - 4 = -19. Is (-3067)/z + 22/(-55) a prime number?
True
Let b(z) = -3 + 6 + 0 + 23*z. Let i be b(-2). Let t = 8 - i. Is t prime?
False
Suppose 3*y = 2*m + 10 + 34, -31 = -2*y + 3*m. Let c = y - 11. Suppose c*o - 99 - 282 = 0. Is o prime?
True
Let f = 1072 - 410. Is f composite?
True
Suppose 0 = 3*h + 3, 6*h - 21089 = -4*o + 3*h. Is o prime?
True
Suppose 4*o + 7 = -1. Is o/(-16) + 565360/128 a prime number?
False
Let t(i) = i**3 - 13*i**2 - 12*i - 15. Let r be t(14). Suppose -2*o + 45 = -r. Suppose -o = -v + 5*k, -4*v - k + 78 = -2*k. Is v composite?
False
Suppose -3 - 6 = -3*z. Suppose 0 = -z*a + 258 + 189. Is a composite?
False
Let b = 760 + -330. Suppose -b = -7*j + 2*j. Suppose -w - 17 + j = 0. Is w composite?
True
Let k(g) = -5*g + 23. Let x be k(4). Let l be (0 + -7)/((-1)/89). Suppose 550 + l = x*b. Is b composite?
True
Suppose -4*k - 86232 = -28*k. Is k prime?
True
Suppose -6*f + 14 + 10 = 0. Suppose -s + f*s - 3*i = 1149, -3*i = -5*s + 1913. Is s composite?
True
Let k(u) = u + 5. Let f be k(-9). Let w(d) = -347*d + 3. Is w(f) composite?
True
Suppose 4*f - 21528 = -4*t, -4 = -0*t + 4*t. Is f a composite number?
True
Let k(m) = -9*m**3 - 7*m**2 - 17*m + 3. Is k(-8) composite?
True
Let w(n) = -4*n. Let z be w(-1). Suppose -1313 = -6*d + 3*d + 4*c, 4*d = z*c + 1756. Is d a composite number?
False
Is ((-14)/(-42))/((-2)/(-355362)) a composite number?
True
Let a be ((-26)/(-39))/(2/18). Let p(v) = v**3 - v**2 - 6*v - 7. Let r be p(a). Suppose -391 = -3*x + 2*d, x - 2*x = d - r. Is x prime?
False
Let y be 3/3*1697 + 2. Let r = y - 584. Is r prime?
False
Suppose -4*r + 12 = -0*r. Suppose 4*m + 2*s = -0*s + 36, r*s + 12 = 0. Is m prime?
True
Suppose 0 = 23*l + 8*l - 98053. Is l a composite number?
False
Let m(k) = -24*k**2 + 38*k**2 - 22*k**2 + 0 + 1. Let u be m(-1). Let w(r) = r**2 + 4*r - 2. Is w(u) composite?
False
Suppose -4*m - 5*j = -13 - 13, 10 = 3*m - j. Suppose -m*h + 4*r = -344, 23 + 67 = h + r. Suppose 0 = 2*b + 2*b - h. Is b a composite number?
True
Let s = -636 - -639. Suppose -5*r = -4*r. Suppose 4*x - 1064 = -4*f, -5*x - s*f + 1422 - 94 = r. Is x a composite number?
True
Suppose -3 = 5*j - 33. Let b be j - (3 - 3)/4. Is b/9*(50 - -1) a composite number?
True
Let z = 2575 + -715. Let w = z + -1147. Is w a composite number?
True
Let v(y) = 2*y**2 - 3*y - 3. Let j be v(-1). Let s = j + 2. Suppose -s*t = -3*z + 466, -7*z + 2*z - 2*t + 794 = 0. Is z a composite number?
True
Suppose -14*u - 40 = -13*u. Let r = 445 - u. Is r composite?
True
Let v be (-205)/(-20) + 2/(-8). Let g = 38 + v. Suppose 0 = -2*m + 6, -m - 265 = -4*w + g. Is w a prime number?
True
Let h be 12*-127*5/(-4). Suppose m + h = 6*m. Is m a composite number?
True
Let u(l) = -l**3 + 31*l**2 + 31*l + 49. Is u(28) prime?
False
Let z = 2982 - 1496. Is (-6)/9*-6*z/8 a composite number?
False
Let x(t) = -5*t + 817. Is x(0) prime?
False
Is 3310/25*(-140)/(-8) a prime number?
False
Let m(q) = 504*q**2 - 9*q - 100. Is m(-7) prime?
True
Let z(k) = 2*k**2 + 6*k - 187. Is z(20) prime?
True
Let o(v) = -2*v + 647. Let g be o(0). Suppose -16*s = -17*s + g. Is s prime?
True
Suppose d = f - 16448, -7*d = 5*f - 0*d - 82228. Is f prime?
True
Suppose -2222 + 70016 = 6*k. Is k a composite number?
False
Let c(x) = -x - 1. Let u(n) = 43*n + 8. Let i(k) = c(k) + u(k). Is i(3) composite?
True
Suppose -4*u = 2*g - 14, 3 = -g + 4*u - 2. Suppose g*l - 280 = -4*c + 7*l, 2*l = 5*c - 347. Is c a prime number?
False
Let k(c) = -c**2 - 6*c - 8. Let u be k(-7). Let a = u + 18. Suppose -3155 = -5*f + 4*w, -2403 = -a*f + 5*w - 523. Is f a prime number?
False
Let s(y) = 6*y**2 - 21*y + 31. Let b(i) = -i**2 + 4*i - 6. Let l(u) = -11*b(u) - 2*s(u). Let h be l(0). Suppose 0 = h*f - 9*f + 55. Is f prime?
True
Suppose -37*c + 288246 = 5*c. Is c prime?
True
Suppose 0 = -2*m - 2*k + 68, -k = -2*k - 1. Suppose -a - 4*a + m = 0. Suppose 4*j - a*j + 1017 = 0. Is j composite?
True
Let g be (8/(-6))/(7/21). Let y be g/10 - 8451/(-15). Suppose -242 = -2*p + 5*b, 5*p - 6*b = -4*b + y. Is p a prime number?
False
Suppose -154598 = -29*h - 5*h. Is h prime?
True
Suppose 2*k - 34 = -4*c, -2*c - 3*c + 38 = 2*k. Is -25*(-111 - -2) + k/(-3) prime?
False
Let k = 134 + -39. Suppose z = 6*z - k. Is z a composite number?
False
Suppose -2*t + 302 = -2*g, 4