
True
Is (-222 - -261002) + (0 - -1) a composite number?
True
Let k = 801284 + -545991. Suppose -284708 = -11*n + k. Is n composite?
True
Suppose -t - 22*t = -4199363. Suppose -16*u - t = -23*u. Is u prime?
True
Let h = -47300 - -96800. Suppose -h + 13130 = -10*g. Is g a composite number?
False
Let g = 175922 + -93001. Is g a prime number?
False
Let m = -830893 - -1443374. Is m a composite number?
False
Suppose -103*l + 769365 + 3028670 = -592752. Is l prime?
False
Suppose -159*d = -157*d - 10. Suppose 1880 + 6362 = d*q + y, -15 = 5*y. Is q prime?
False
Suppose -2*r - 7*m = -2*m + 97, -3*r - 5*m = 148. Is r*4/((-48)/332) composite?
True
Let w = 281788 + -151409. Is w prime?
True
Let i(p) be the second derivative of 359*p**4/6 - 3*p**3 - 11*p**2/2 - 46*p. Is i(-9) composite?
False
Suppose 7*u - 23 - 89 = 0. Let k(o) = -o**2 + 12*o + 20. Let s be k(u). Let x = s - -81. Is x prime?
True
Let r(c) = -1 + 3*c - 11*c**2 - 58*c**3 + 226*c**3 + 0 - 1. Is r(5) composite?
True
Suppose 3*f - 2*h - 3582 = -3*h, 2*f - 2388 = -2*h. Suppose 0 = 2*r - 8*r + f. Is r prime?
True
Let r be (5/15)/(2/12). Suppose -25 = 5*l, -3 = 5*v + 4*l + r. Suppose 0 = 4*f + 4*i - 244, -3*i + 7 = -v*f + 172. Is f composite?
True
Let i(g) = -376 - 363 - 363 + 1067 + 2126*g. Is i(8) composite?
True
Let f(y) = -79*y + 18. Let b be f(-4). Suppose r + 80 = b. Is r a composite number?
True
Let m(k) = 8 + 5*k - 9*k**2 - k - 4*k - k + 2*k**3. Let w be m(4). Is ((-19626)/w)/(-1 + 3/2) a composite number?
False
Let v = 11183 + -5343. Suppose -v = -3*w - a, -3981 + 86 = -2*w - a. Is w a prime number?
False
Let h = 46171 + 24364. Is h a prime number?
False
Suppose -493*o - 510*o = -967*o - 3152988. Is o a prime number?
True
Suppose 12*u - u = -77. Let l(a) = 286*a**2 - 69. Is l(u) a prime number?
False
Suppose 11*y + 45 = 16*y. Let q(c) = c**2 - 8*c - 9. Let x be q(y). Suppose -5*i + 5 + 50 = x. Is i prime?
True
Let z = 2776 - 1331. Let t = z + 210. Is t a prime number?
False
Suppose -3*y = -3*p + 6729, -3*p = y - 8529 + 1800. Suppose p = 3*s + o, 5*o = -7*s + 2*s + 3755. Let t = s - 373. Is t prime?
True
Let c = 34 - 26. Let a(r) = c + 73*r + 33 - 94*r. Is a(-18) prime?
True
Suppose 0 = 210*u - 277*u + 11595623. Is u a prime number?
False
Suppose -86410 = -5*f - 5*w, 28*w = f + 25*w - 17282. Is f prime?
False
Let t(v) = v - 4. Let h be t(8). Suppose 2*l + 4 = 2*g, 3*g + h*l - 6 = -0*l. Suppose -4*q - 4*x + 121 = -391, g*q = -3*x + 257. Is q a composite number?
False
Suppose -2*b - 4*u = -113316 + 15710, 2*b + 5*u - 97606 = 0. Is b composite?
True
Let s be (-72)/16*-1*(2 - 0). Let q be (-49)/21 + (-4)/6 + s. Is 609 + 18/q + 0 + 2 a prime number?
False
Let n be 576/108*(-25191)/(-4). Is n/3 + (-4)/(-4) a prime number?
True
Is (801*(-5)/(-30))/((-21)/(-6986)) composite?
True
Suppose -4*s - 4*y = -5*y + 95, 45 = -2*s + y. Let x(p) = -p**3 - 17*p**2 + 26*p + 41. Is x(s) a composite number?
False
Suppose 23369069 = 135*n - 7875679 + 4283763. Is n prime?
False
Let k = -317029 - -610856. Is k composite?
False
Suppose 0 = -5*d + 3*t + 450, 3*t - 47 = -3*d + 247. Let k(y) = -4 + 3 - 85*y + d*y + 4*y**2. Is k(-8) composite?
False
Let b(y) = -y**2 + 12*y - 12. Let j be b(10). Suppose 3*g - j*g = -5. Is -3 - 52/(-39)*(610 - g) a prime number?
True
Let i be 8108*5/10*10. Suppose 8*m = -12492 + i. Is m a composite number?
True
Let q(l) = 3*l**3 + 52*l**2 - 488*l - 58. Is q(26) prime?
False
Let a = -12934 - -23487. Suppose -12*s + a = -14875. Is s prime?
False
Let h(x) = 13*x + 7305. Let z be h(0). Let u = z - 3852. Is u a composite number?
True
Let z(c) = -14*c + 31. Let s(a) = -34 + 5*a + 4 + 10*a + 0*a. Let o(m) = 6*s(m) + 5*z(m). Is o(4) a composite number?
True
Let o = 15549 + 23338. Is o a composite number?
True
Let i(a) = 3*a**3 + 2*a**2 - 9*a**3 + a**2 + 1 + 5*a**3 + 9*a + 0*a. Suppose -28 = 3*u - 2*v, 0*u - 5*u - 4*v = 10. Is i(u) prime?
True
Let w(q) = q - 1. Let o be w(-4). Is 1/2 + o/(40/(-47764)) a prime number?
False
Suppose -210*h - 15335660 = -286*h. Is h prime?
False
Let b(h) = h**2 - 27. Let i be b(0). Suppose 3*r - 183 = 4*x - 23, -3*x - 119 = -2*r. Let c = i - x. Is c composite?
True
Let j be 146094/(-30) + 4 + (-2)/10. Let f = -1253 - j. Is f a prime number?
True
Let s = 62395 + -17841. Is s composite?
True
Let o be -4*(-1)/(-16) - 61/(-4). Suppose 0*k - 5*k + o = -4*p, -5*k + 40 = p. Is (8/10)/(((-56)/(-18140))/k) a composite number?
True
Let x(l) = -35*l - 2. Let y be 12/21*21/6. Suppose 0 = -2*o - 4*j + 6, -y*o + 2*j - 10 = -2*j. Is x(o) a composite number?
True
Suppose 15*w - 4*w = 55. Suppose m + 4*z = -10, w*z + 5 = -2*m + 2*z. Suppose m*i + 2*i = g + 1770, 0 = 3*i + 2*g - 1333. Is i a prime number?
True
Suppose 2817 = -3*k - 4*c, 2*k = -3*c - c - 1882. Let g = 4099 + k. Suppose -2*f + 384 + 1207 = -x, 4*f - g = -4*x. Is f a composite number?
True
Suppose 3776 - 12167 = -o. Suppose 0 = -3*g + 4*f + 7703, 5*g + 4*f - 4426 = o. Let n = g + -942. Is n composite?
True
Let i = -44 - -36. Is (-2 - -5) + (-5600)/i a composite number?
True
Is ((-1154)/4)/(-24*(-1)/(-9456)) a prime number?
False
Let a(d) = 979*d**2 - 20*d + 713. Is a(36) a composite number?
False
Let o = 4394 - 2265. Is o composite?
False
Let m(l) be the second derivative of 16*l**3/3 - l**2/2 - 61*l. Is m(15) composite?
False
Suppose -3*l = -24, -5*y - 1612 + 88567 = -5*l. Is y a prime number?
False
Is (-146)/949 + 2634339/39 + 2 a prime number?
False
Suppose -3*g + 2*q = -3*q - 1935542, -g + 645176 = 3*q. Is g a composite number?
False
Let p = 360 + -697. Let i = p + 1694. Is i composite?
True
Suppose 5*z + 120174 = -39*r + 41*r, 0 = 3*r + 5*z - 180311. Is r prime?
False
Suppose 484 - 4173 - 15435 = -4*y. Is y composite?
True
Let f be -38*((-129)/(-2))/(-1). Suppose -v + 724 = 173. Suppose -f = -2*x + v. Is x a prime number?
False
Let u = 9133 + -16222. Let m = u + 14160. Suppose -m - 845 = -4*y. Is y prime?
True
Suppose -9*l + 55 = 73. Let p = 1069 + l. Is p a prime number?
False
Suppose 28*i - 4*i - 12747137 = 11*i. Is i a prime number?
True
Suppose 7*x = 10*x + 11280. Let u = x - -5267. Is u prime?
False
Let a = 45719 - -266442. Is a prime?
True
Let p(y) = -51779*y**3 + y**2 + 4*y + 9. Is p(-2) a prime number?
False
Let r(d) = 3*d**3 - 24*d**2 - 3*d + 22. Let k be r(8). Let u(n) = -n + 1. Let a(i) = 78*i - 4. Let s(p) = -a(p) - 5*u(p). Is s(k) a composite number?
True
Let r = 8021 - 15027. Let q = -3065 - r. Is q a prime number?
False
Suppose q + 0*q - 3540 = u, 5*u = 4*q - 14155. Suppose 0 = -h - 4*h - q. Let l = 1120 + h. Is l prime?
False
Let b = 62 + -59. Suppose 0 = b*l + s + 4199 - 28179, -23984 = -3*l - 5*s. Is l composite?
False
Suppose 0 = -486*x + 477*x + 208071. Is x a prime number?
False
Suppose 2*g - 14065 + 3949 = 0. Suppose 14 + 13 = 9*i. Suppose -87 = i*s - g. Is s a prime number?
True
Let w(g) = 5286*g + 647. Is w(6) composite?
False
Suppose -5*o = -2*y - 774805, -2*y = -37*o + 37*o. Is o a composite number?
True
Let x(l) = -2*l**2 - l - 3. Let d be x(2). Let g be d/52 + (-26)/(-8). Suppose -5*f + 2957 = g*v, -2*v + 1966 = f + f. Is v composite?
True
Let p(z) = z**2 + 9*z - 15. Let m(g) be the second derivative of g**5/20 + g**4/2 + 7*g**3/6 - g**2 + 11*g. Let u be m(-5). Is p(u) a composite number?
True
Suppose 50*n - 36 = 32*n. Suppose n*m + 4*f - 6074 = 9*f, -3*f = -m + 3037. Is m a composite number?
False
Let v(d) = -d**2 - 2*d + 18. Let z be v(0). Suppose 15*c - z = 42. Suppose 0 = p - c*p + 17247. Is p a composite number?
False
Let f = -37209 - -79038. Is (-9)/15 + (f/15 - 1) a prime number?
False
Suppose -3*h + a = -4*a + 7, 0 = -h - 3*a + 21. Suppose -h*f + 9*f - 1818 = 0. Suppose -3*w + 4*u = -u - 624, f = 3*w + u. Is w prime?
False
Suppose -71*l - 78*l = -144*l - 3155. Is l a prime number?
True
Is -5 - (2904125/(-40) + (-9)/(-72)) prime?
False
Suppose 175*t - 82423843 + 29706280 = 70008362. Is t prime?
True
Is (31470/300)/((-4)/(-40)) a composite number?
False
Let l(v) = -16*v**2 - 42*v - 43. Let q(x) = 4*x**2 - x. Let i(y) = -l(y) - 3*q(y). Is i(18) a prime number?
False
Let k = -108 + 110. Suppose k*h + 3*h = 10505. Suppose 2*b + 3504 = 7*b - g, -3*b = -2*g - h. Is b a composite number?
False
Let t be 8/(-12)*(300 + -9). Let i = t - -1063. Is i a composite number?
True
Let c be -1 +