a be k(1). Suppose 4*y = -a, -4*y = s - 5*y - 422. Is s a prime number?
True
Is (-5384)/(-16) - 1/(-2) a prime number?
True
Let m(j) = 42*j**2 + 2*j - 3. Let q be m(-4). Suppose -q - 896 = -3*w. Is w prime?
False
Let o be (0 + (1 - 0))/(4/(-40628)). Suppose 3*c + 5 = -1. Is c/9 - o/63 a composite number?
True
Let y = -20 - -28. Let j be ((-4)/y)/(2/4). Is 2 + (24 + j - 3) composite?
True
Let a be 6/2 + (10 - 8). Suppose 0*b + 35 = 5*b - 5*l, 0 = a*b - 4*l - 30. Suppose -5*v + 3*n - 1151 = -3330, b*v = 3*n + 868. Is v prime?
False
Let o = 6132 - -3295. Is o a composite number?
True
Let f be (3 + 1093)/(0 + 2). Suppose -f = -2*p + 462. Is p a prime number?
False
Suppose -169 = t + 4*d - 629, 2246 = 5*t + 2*d. Let g = t - 225. Is g a prime number?
True
Let u(m) = -1445*m + 117. Is u(-8) a composite number?
False
Suppose 6*q - 2*q - 8 = 0. Is (-3068)/(-10) + q/10 a composite number?
False
Let w(g) = 127*g**3 - 29*g**2 + 13*g - 21. Let b(n) = -85*n**3 + 19*n**2 - 9*n + 14. Let f(v) = -8*b(v) - 5*w(v). Is f(4) a prime number?
True
Suppose 2*p = -5*k, 2*k = -2*k + 5*p. Suppose k = b - 21 - 14. Is b prime?
False
Let t = -4 - -7. Suppose -3*h + 8*h = -w - 1, t*h = 3*w + 3. Let n(d) = d**2 - d + 15. Is n(h) a prime number?
False
Let f = 5578 + -3747. Is f composite?
False
Suppose 3*z = z - 5200. Let h = z + 3811. Is h a composite number?
True
Suppose 7*u - 11 = -4*s + 4*u, -2*u = -4*s + 26. Is 22/55 + 24173/s prime?
False
Let f = -96 + 52. Is (2 + -78 + 0)*143/f prime?
False
Suppose 5*r = 2*g + 166243, -3*r = -2*g - 50846 - 48903. Is r a prime number?
True
Let c(l) = -2*l + 4. Let n be c(6). Let b be 32/14 + n/28. Suppose -y = -2*i + 33 + 41, b*i + y = 74. Is i a composite number?
False
Let a be 3/21 + (-40)/(-14). Let q be (0 - a) + (419 - -8). Suppose -4*c - q + 2403 = 3*g, 1944 = 3*g - 3*c. Is g prime?
True
Let k = 113169 + -6010. Is k a prime number?
False
Let x = 431 - -1291. Suppose 2*u - x = 2092. Is u composite?
False
Let c be -11 + 3 + 2 + -1. Let h be (1 + c)/(6/(-111)). Suppose 0*t + h = 3*t. Is t composite?
False
Let u = 5215 - 1908. Suppose 6*j - u = 5087. Is j composite?
False
Suppose c - u = 2*u + 256, -u + 1 = 0. Is c a composite number?
True
Suppose -5*y - 251060 = -5*w, 3*w = 2*y - 4*y + 150641. Is w composite?
True
Is 67615/9 - (200/72 + -3) prime?
False
Suppose -16*d + 20*d = 0. Let v = -4 + 7. Suppose -2*o + 2 = d, -v*x = -x - 2*o - 324. Is x a prime number?
True
Let s(m) = 72*m**3 + 6*m**2 - 4*m - 5. Is s(2) a composite number?
False
Let d(z) = 5 - 6*z - 1 - 3 + 6. Suppose -m + 3*s = 3*m + 44, 4*s = -4*m - 16. Is d(m) a composite number?
True
Suppose 3 = 2*l - 1. Suppose 5*c + 0*q - 5490 = -q, 2209 = l*c + 3*q. Is c composite?
False
Suppose -5*p - 60 = -5*m, 0 = 5*p - m - 0*m + 56. Let v = p + 11. Is 3 - v - 2100/(-12) a prime number?
False
Let x(i) = 61*i**2 + 7*i + 31. Is x(8) composite?
True
Let v be 2 - -2 - (-4)/(-2). Suppose v*w - 1458 = -w. Let b = w + -227. Is b a prime number?
False
Suppose 0*p = -10*p - 20. Is p + 3 + 624 + 6 a prime number?
True
Let r(i) = -i + 448. Let p be r(0). Let d be (-3)/24*-6*-100. Let x = p + d. Is x a prime number?
True
Suppose f - 56 = 5*y - 0*y, -2*y - 2*f - 32 = 0. Suppose 5*s - 20 = 5*c - 0*c, -2*c + 5*s - 2 = 0. Is 4/c + (-176)/y a composite number?
True
Let p = 8 - 2. Let r be 1/p - (-195)/18. Suppose -r*u - 333 = -14*u. Is u a prime number?
False
Suppose -5*r + b + 35601 = 0, b + 17326 - 3088 = 2*r. Is r prime?
True
Let o(s) = s**2 - 4*s - 4. Let u be o(-4). Is -6 - (-189)/u - (-2801)/4 a prime number?
True
Suppose 18*p - 21*p = -53589. Is p prime?
True
Let b = 13317 - -7570. Is b composite?
False
Suppose -2*l - 5*u + 18338 = 0, -6*u + 5*u = 0. Is l composite?
True
Let g be 2 + (-3 + (0 - -4) - 3). Suppose t - 2*k - 377 - 124 = 0, g = 2*t - 2*k - 1004. Is t a composite number?
False
Suppose 7 = -2*i + 3*i. Let h(t) = t**2 - t + 11. Is h(i) a composite number?
False
Let p(a) = -4*a**2 - 28*a - 1. Let n be p(-7). Is (1 - 1)*n/(-3) + 1597 a composite number?
False
Let x(v) = 3154*v + 68. Let l be x(7). Suppose -42*j + l = -36*j. Is j prime?
True
Let o be -2 - (1 + 0)*1. Let y be 1668/10 - o/15. Let w = -100 + y. Is w composite?
False
Suppose -22 = -3*h - 7. Suppose 717 = -0*v + 3*v. Suppose 176 + v = h*j. Is j a prime number?
True
Suppose 0*q + q = 76. Suppose 4*b = 20 - 4. Suppose -3*x = -b*f - 502, 2*x - 4*f - q = 260. Is x prime?
False
Let d(b) = 34*b - 5. Let s be d(-1). Let y = 7 - s. Is y a prime number?
False
Suppose 1034 = 3*w - 820. Suppose -1937 - w = -7*d. Is d composite?
True
Let z = -4726 - -8367. Is z a composite number?
True
Let w = 18 + -15. Suppose t - 219 = -w*c, 4*t - 587 = 2*c + 317. Let g = t + -156. Is g a composite number?
True
Let q = 315 - -5066. Is q a prime number?
True
Let r(k) = 5*k + 4391. Suppose 0 = 10*h - 9*h - 14*h. Is r(h) a prime number?
True
Suppose 3*v + 16322 = 1925. Let n = v + 6840. Is n a composite number?
True
Let v = 43 - 30. Let a = -11 + v. Is 24/a + 4/(-2) a prime number?
False
Let p(o) = 148*o**3 + 1. Suppose -94 + 98 = 4*l. Is p(l) prime?
True
Let s(r) = 7*r + 1523 - 17*r + 13*r. Is s(0) prime?
True
Let y(z) = -2*z - 9. Suppose -3*q - 7 = 2*t, -2*q + q = 2*t - 3. Let p be y(t). Let x = 36 - p. Is x a prime number?
True
Suppose -3*s + 1384351 = 40*z - 35*z, s = -5*z + 1384347. Is z a composite number?
False
Suppose -12 - 8 = -4*n. Suppose -166 = -n*w + 1339. Is w prime?
False
Let d = -19149 + 31600. Is d a prime number?
True
Let y(s) = 2*s**3 - 13*s**2 + 14*s - 25. Let k be y(8). Let l = -149 - 15. Let q = k + l. Is q prime?
False
Suppose -2*j + 2584 = -b - 4440, 3*j = -3*b + 10527. Is j composite?
False
Let a be (232/12)/(5*(-8)/(-2340)). Suppose -3*x = 2*h - a, 2*h - 512 = 2*x - 1276. Is x composite?
False
Suppose 4*r - 10874 = -0*q + 2*q, -5*r = 3*q - 13620. Is r prime?
False
Suppose -2*z = -4*c + 654, 0*z - 5*z = 5*c - 780. Suppose 4*v + 174 = 3*s - 498, v + c = -s. Let n = 890 - v. Is n a prime number?
False
Suppose -72*r + 92*r - 1660 = 0. Is r a prime number?
True
Let k be (1 - (-62)/(-5))/((-15)/375). Is (-38)/(-1 + k/291) a composite number?
True
Let l be ((-2)/(-12)*(8 - 2))/(-1). Let x(c) = -213*c - 2. Is x(l) prime?
True
Let h(o) = -53*o + 4. Let k be h(4). Suppose -5811 = -19*q + 6*q. Let t = q + k. Is t a composite number?
False
Let h be ((-1)/(-3))/((-2)/(-24)). Suppose 0 = h*f - 1839 - 509. Is f a prime number?
True
Let c be (-32)/(-14) - (-6)/(-21). Let u be (6/(-1))/c + 1. Is (-14 + -8)*29/u composite?
True
Is ((-44108)/10)/(70/(-175)) composite?
False
Suppose 72 = 5*n - 13. Let h(i) = i**3 - 10*i**2 + 6*i - 5. Let t(q) = 3*q**3 - 30*q**2 + 18*q - 16. Let u(r) = n*h(r) - 6*t(r). Is u(9) a composite number?
True
Suppose 4*j + 10*j = 18998. Is j composite?
True
Suppose 3*x = 2*c - 20401, -3*c = 6*x - 9*x - 30594. Is c prime?
True
Let u = -7826 + 16713. Is u prime?
True
Suppose 0 + 16 = -4*p. Let n(k) = k + 6. Let l be n(p). Suppose 0*v - 3*u - 286 = -l*v, -278 = -2*v + 5*u. Is v a composite number?
False
Suppose 0*i - i = -2. Suppose 12 = r - 4*h, 4*h = 2*r + 3*r - 28. Suppose -r*d - 20 = 0, 2*b - i*d + 7*d - 553 = 0. Is b prime?
False
Suppose -2 = -4*y + 2*l, 0 = 5*y + 2*l - 2 - 14. Suppose a - 4 = y. Is a prime?
False
Let i = 2263 - 258. Is i a prime number?
False
Let q be 15*(4 + -2 + 0 + -3). Is 206/6 + (-10)/q prime?
False
Suppose x - 5 = -3. Is (5 - (-2128)/(-6))/(x/(-6)) composite?
False
Let r = -6 + 7. Let f be -6*((-1)/(-3) - r). Suppose -5*b - 4210 = -f*t - 1680, 2546 = 4*t + 3*b. Is t composite?
True
Let z be 13/3 + (-70)/(-105). Suppose z*f = 2213 + 1182. Is f a composite number?
True
Let f = -585 - -2856. Is f a composite number?
True
Suppose 0 = 7*d - 17*d + 101450. Is d composite?
True
Let v be 7/((-7)/6) + -3. Let l = v - -13. Is (-504)/(-35) - l/10 prime?
False
Let d(u) = 223*u**2 + 10*u + 26. Is d(-3) composite?
False
Let w = -48 + 48. Suppose -4*n - q = -22987, w = 2*q + 3 - 1. Is n prime?
False
Suppose 3*t + 0*s - 7360 = -s, -4*t = -s - 9825. Is t composite?
True
Is 18924 + (-8)/((-72)/63) a prime number?
False
Is -3 - ((-2 - 0) + -686 + -16) prime?
True
Suppose -1313 - 384 = -l - 5*v, v + 5123 = 3*l. Is l a composite number?
True
Suppose -o + 21 + 0 = 2*m, 0 = 5*m - 5. Let s(z) = o + 30*z - 4 - 1 + 3. 