= -1135 + 5108. Is l a prime number?
False
Suppose -2*s = -2*w + 7204, 0*w - 5*w - s = -18040. Is w composite?
False
Let h = 23941 + -158. Is h composite?
True
Let u = 49 + -39. Let m = u - -29. Is m prime?
False
Suppose 0 = 3*j + j - 7*j. Suppose j*n + 2*n = -4*r + 3902, 0 = 5*n - 2*r - 9803. Is n prime?
False
Let h = -12785 - -21408. Is h a prime number?
True
Let p(g) be the third derivative of 1/40*g**6 + 0*g + 1/3*g**3 - 1/12*g**4 - 5*g**2 + 0 + 1/30*g**5. Is p(7) a composite number?
True
Suppose 435 + 475 = 5*j. Suppose -3*m = d - 8*m - 32, -5*d = -3*m - j. Is d a composite number?
False
Let g be 14/(1*10/5). Suppose -8396 = -g*l + 3735. Is l a prime number?
True
Let r(d) = -d**2 - 16*d - 10. Let n be r(-14). Is (n/27)/(4/966) a composite number?
True
Let b(d) = 4 + 103*d**3 - d**2 - 6 + 3 - 2 + d. Let g be b(-2). Is 4/(-10) + g/(-15) prime?
False
Suppose -4*v + y = -9945 + 661, -4*v + 9284 = y. Is v a composite number?
True
Suppose 0*r - 2*r = 18. Let s(m) = -5*m**3 - 10*m - 7. Let v be s(r). Is 6/14 + v/7 composite?
True
Let p be (28/35)/(1/5). Let v(i) = -i**3 + 3*i**2 + 5*i. Let a be v(p). Suppose a*r = -r + 265. Is r composite?
False
Let h be (2 + -3079)/((-2)/10). Suppose -3*a + 2*t + 9238 = 0, 2*t - t = 5*a - h. Is a/(-10)*(-15)/6 a prime number?
True
Let l(o) = 176*o**2 + 2*o + 3. Let p be l(-3). Suppose 0*a - 3*a + p = -z, 0 = z. Is a a composite number?
True
Suppose 2*m - 4 + 8 = 0. Let o be 0/((-4)/(4/m)). Suppose 0 = -5*q - 25, -2*q + 9 = x - o*x. Is x a composite number?
False
Let s(m) = -50341*m**3 + m**2 + 7*m + 6. Is s(-1) a composite number?
False
Suppose 0 = f - 484 - 507. Suppose 2*m + 99 = f. Suppose -3*u = -u - m. Is u prime?
True
Suppose 5*f + 2 = 2*h, 3*h - 9 - 3 = 3*f. Suppose 0 = -i, -i + h + 2 = r. Let s(x) = x**3 - 6*x**2 - 3*x - 7. Is s(r) prime?
True
Suppose -33142 = -2*q - 2*z, z - 94709 + 11870 = -5*q. Is q a composite number?
False
Let q(j) = -3*j - j**3 + 17 - 8*j - 3*j**3. Is q(-7) composite?
True
Suppose 140 = -5*l + 5*x, 52 = -3*l - 2*x - 3*x. Is ((l/(-15))/4)/(1/1735) a prime number?
False
Suppose 0 = 3*y - 5*y - 8. Is (-2)/y*(-3 + 761) composite?
False
Let z(c) = -c**2. Let v be z(-6). Let j be (-24)/v*-1*3. Is ((-42)/5)/(j/5) a composite number?
True
Let u(t) = -611*t + 236. Is u(-25) prime?
True
Let p(n) = -21*n**3 + 5*n**2 - 7*n + 2. Is p(-5) composite?
True
Let n = 283 - 140. Is n composite?
True
Suppose -13*y + 995 = -12*y. Is (y/4 - (-2)/8) + 2 prime?
True
Suppose 3*j + 2*o = 4915, -13*j + 11*j - 3*o + 3275 = 0. Is j a composite number?
True
Let o = 3 - 4. Let z be ((-44)/33)/(o/3). Suppose -7*p = -z*p - 153. Is p prime?
False
Suppose -306*m + 1028 = -307*m. Let u(d) = -610*d**3 + 1. Let t be u(1). Let f = t - m. Is f composite?
False
Suppose o - 115561 = -3*n - n, -n = -5*o - 28864. Is n composite?
True
Suppose -2*g + 15 = 3*g. Suppose -3560 + 1333 = -g*m + 2*q, -4*m + 5*q = -2981. Is m a composite number?
False
Let n be 536/(-4) + (-2)/(-2). Let b = 2125 - n. Is b prime?
False
Let i = -25 - -30. Suppose 526 = i*p + 111. Is p composite?
False
Suppose -y - 505 = -29. Suppose 42*r - 12359 = 25*r. Let z = r + y. Is z prime?
True
Suppose -2624 = -6*l + 15664. Suppose -3344 - l = -8*s. Is s composite?
True
Let a(v) be the second derivative of v**5/20 + v**4/2 - 5*v**3/3 - 4*v**2 + 2*v. Let f be a(-7). Let p = f - -9. Is p a prime number?
False
Let v = 1534 + -7231. Let i(y) = 20*y**2 - 2. Let b be i(-1). Is ((-2)/3)/(b/v) a composite number?
False
Let w = -1 + 7. Suppose -w*t = -3*t + 5*d - 221, 3*d = -4*t + 302. Let h = t + -46. Is h a composite number?
False
Is 30/(-10) - 8 - -4200 prime?
False
Let m = -428 + 930. Is m a composite number?
True
Let g be (1 + -2)/((-16)/656). Suppose 2*f - 3 = 7. Suppose f*d + 197 = 4*w, -4*w + 4*d + g = -3*w. Is w prime?
True
Suppose 2*a = 7*a + 2*w - 45, 5*a + w - 50 = 0. Let u = 6 - a. Is (-79)/(-2)*(9 - u) prime?
False
Suppose 0*m = 3*m - 9. Suppose w - 546 = k, m*w - 1909 = 5*k - 265. Suppose -5*x - w = -8*x. Is x a prime number?
True
Let r(g) = 3*g**3 - 51*g**2 + 37*g - 52. Is r(23) prime?
True
Let u = 2366 + 111. Let v = u - 1122. Is v a prime number?
False
Let h = -6585 - -15676. Is h prime?
True
Let t(o) be the third derivative of -2207*o**4/24 - 2*o**3/3 - 18*o**2. Is t(-1) a composite number?
False
Let k(h) = -h - 9. Suppose 2*f + 21 = -5*b - 49, 0 = -4*b + f - 43. Let j be k(b). Is j - (3 + (-10732)/4) composite?
False
Let l be -2*3/(-6)*3. Suppose 4*r = -l*x + 674 + 1275, -4*x + 12 = 0. Suppose r = -4*o + 9*o. Is o a composite number?
False
Suppose 5*r = 2*g - 4*g + 215, 4*r + 12 = 0. Let k = 756 + g. Is k a prime number?
False
Let f be (2 - -10)*(-147)/(-2). Let s = 454 - f. Let o = s - -691. Is o a prime number?
True
Is (0 - -2577) + (-6 - 72/(-9)) composite?
False
Is (-2)/22 - 964656/(-484) a composite number?
False
Is ((-5021)/(-2))/(-4 - (-210)/52) a composite number?
True
Suppose f - 120 = -3*g, -2*f + 237 = -0*f + 5*g. Suppose 2*q + f = d, -239 - 376 = -5*d - 5*q. Is d prime?
False
Let z = -349 + 1124. Let i = -525 + z. Let u = -95 + i. Is u a prime number?
False
Let l(p) = 388*p**2 + 108*p - 11. Is l(-5) composite?
True
Suppose -21*q + 123851 = -14*q. Is q a prime number?
False
Let m = -30 - -25. Let t be (-24)/m + (-8)/10. Suppose t*h - 17 - 627 = 0. Is h prime?
False
Let x(h) = 32*h**3 + 4. Let t be x(-2). Let g = t - -1003. Is g a composite number?
False
Suppose 0 = -4*p + 3*p - 1, -p - 7 = -2*u. Suppose 5*c + 2*j = -u*j + 10035, j = -3*c + 6017. Is c prime?
False
Let h(j) be the second derivative of 2*j**4/3 + j**3/3 + 4*j**2 + 17*j. Is h(-3) composite?
True
Let c(l) = l + 10. Let j be c(-7). Suppose -j*a + 6 = -3*b, a - 16 = -4*b - a. Suppose 0 = -4*h + b*h + 186. Is h a composite number?
True
Let s = -49 - -53. Suppose 3*i = 5*l - 2657, -l + 5*l = -s*i + 2100. Is l prime?
False
Suppose -17*p + 4664 = -9*p. Is p composite?
True
Suppose -582*n = -578*n - 8076. Is n a composite number?
True
Let i(z) = -203*z - 4. Let x be i(-5). Suppose d + 5*h = 2*d - x, -4*d + 4136 = 3*h. Is d a prime number?
True
Let z be -2 - (-32)/14 - 96/(-56). Suppose 2017 = 5*f + 6*u - 2*u, -z*u = -2*f + 796. Is f a composite number?
False
Let p(h) = -8*h**3 - 5*h**2 - 5*h + 17. Let j(r) = 8*r**3 + 6*r**2 + 6*r - 17. Let t(k) = -3*j(k) - 4*p(k). Is t(5) prime?
False
Suppose 0 = k + 5*m - 1409, -366*m + 371*m = 2*k - 2788. Is k a prime number?
True
Let p(b) = -37*b + 6. Suppose g + 2*g = 0. Suppose 20 = -v - 4*v - n, g = 4*v - n + 25. Is p(v) prime?
True
Is (-28)/(-8)*(-130488)/(-84) a prime number?
True
Let d(l) = -l**3 - 2*l**2 + 3*l + 4. Let p be d(-3). Suppose -2957 = -p*a - 369. Is a a prime number?
True
Let p be (-3)/15 + (-21)/(-5). Suppose -5*v - 3*k = -333, 0*k + 3*k = -p*v + 264. Is v composite?
True
Let j = 320 + -1601. Let c = j - -2932. Is c a prime number?
False
Suppose -6*v = -v - 135. Suppose -2 = 5*i - v. Suppose 0 = -t + i, -6*x + 3*x + 4*t + 55 = 0. Is x a prime number?
False
Suppose 1099*h + 347735 = 1116*h. Is h composite?
True
Suppose -2*n + 3 = -5, 0 = -4*l - 5*n + 20. Suppose -2*b = -l*b + 3*g + 26055, -b - 13020 = 3*g. Is b/10*2/(-3) composite?
True
Suppose -61 = -2*d - 369. Let c = -274 + 611. Let h = c + d. Is h a prime number?
False
Let t(s) = 2*s**2 + s + 4. Let h(z) = -z**2 + 14*z - 1. Let y be h(13). Suppose -5*a = -a + y. Is t(a) composite?
False
Let s(o) = -5*o**2 - 4*o - 3. Let g be s(-2). Suppose 15*u = 658 + 1352. Let v = u - g. Is v a prime number?
True
Suppose 2*y - 368 = -2*d, d - 2*d + 920 = 5*y. Suppose -22 = -2*n + y. Is n a prime number?
True
Suppose 22*j - 244758 = -13472. Is j a prime number?
True
Suppose 19*l - 597 + 8 = 0. Suppose l*z - 6556 = 27*z. Is z prime?
False
Let s be (-3 - 0)*6/9. Is s/(-1)*(2575/10 + 1) a composite number?
True
Let q = 1 + 0. Suppose b = -q, 0*i + 4*b + 4 = i. Suppose 4*o + i*w - 1652 = -5*w, -4*w = o - 413. Is o prime?
False
Let b(t) = -t - t + 188*t**2 + 1 + 4*t + 3. Let f be b(-3). Let v = f - 1001. Is v a composite number?
True
Suppose 2*d - 8 = -3*f, 2*f = 5*d + 6 + 12. Suppose h - 23 = -179. Is (-3 + h)*d/6 prime?
True
Suppose 0 = -13*k + 10*k + 9. Is 691/(-3 + (k + 0 - -1)) a prime number?
True
Let k(z) = 72*z - 9. Let o be k(-8). Let n = o - -3655. Suppose -3*r - n = -5*c, 524 + 723 