 -4490. Is l prime?
True
Let m = 1436 - 3431. Let p = -1276 - m. Is p prime?
True
Suppose -13*o + 8*o + 38 = -4*c, 3*o = 3*c + 21. Is (-7)/(-35) - (-27468)/o prime?
False
Let m be (2*3/4)/(3/18). Suppose m*u - 7*u = 4. Suppose -2577 = -5*j + u*c, 3*j - 994 - 541 = 4*c. Is j a composite number?
True
Let k = 968947 + -469881. Is k a composite number?
True
Suppose 109*p - 1092445 - 2050897 = 0. Is p a prime number?
False
Suppose 1584 = 4*x + z, -x + 3*x - 5*z - 792 = 0. Let v = 1089 - x. Suppose -v = -l - 2*u, -3*u = -4*u - 4. Is l composite?
False
Let c be (-36)/24*2/3. Let z be (c + 0)*(-3)/9*3. Suppose 3*p = 4*a + 431, 6*a - z = 5*a. Is p composite?
True
Suppose -2*a = 2*v + 12, -3*v + 4*a - 30 = a. Is (((-4628)/v)/1)/((-2)/(-4)) a prime number?
False
Let k be (-3)/(-15)*5*8. Is 4696/3 - 2/(k + -2) a prime number?
False
Suppose 0 = 2*z + 2 + 4. Let i(f) = 20*f**3 - 8*f**2 + 5*f - 1. Let g(j) = 21*j**3 - 6*j**2 + 2*j - 2. Let k(w) = -3*g(w) + 2*i(w). Is k(z) composite?
False
Let c = 21 + -8. Suppose c*x - 6*x = 70. Is (x + -8)/(4/174) a prime number?
False
Let s(h) = 1363*h**2 - 84*h + 790. Is s(11) a composite number?
False
Suppose 0 = 3*u - 130 - 77. Let x = -26 + u. Suppose x*b = 39*b + 5876. Is b composite?
True
Is (-62 + 12 + 49)*(0 + -123934)/2 composite?
False
Suppose 3*g - 7*g = 3*p - 33, 0 = -4*p - 2*g + 34. Let y be 3261*5/((-60)/28). Is (-1 + 0)/(p/y) composite?
False
Let p(q) = 18 - 152*q + 2 + 5. Let f be p(-5). Is (-1 - -5 - 2)*1 + f a composite number?
False
Is ((-1321855)/(-4))/((-969)/(-68) + -13) prime?
True
Suppose -5*m - 10 = 0, 2*m - 3 + 13 = 2*g. Suppose 5*i + 15 = 8*r - 3*r, g = 3*r + 3*i. Suppose r*o = p + 886, -3*p = -o - 283 + 726. Is o a composite number?
False
Suppose 2366*z - 2380*z = -278782. Is z a prime number?
True
Let y(u) be the third derivative of u**4/24 - 5*u**3/6 - 23*u**2. Let z be y(-13). Let q(b) = b**2 - 14*b + 7. Is q(z) a composite number?
True
Let n(q) = -42659*q + 537. Is n(-14) a prime number?
False
Let q(k) = 1238*k - 91. Suppose -6 = -3*r + 6. Is q(r) composite?
False
Suppose 2541 = 5*v - 514. Let f(r) = -6*r**3 + 3*r**2 - 5*r - 4. Let d be f(4). Let j = v + d. Is j prime?
True
Let r be 639/(-6)*(-1090)/(-15). Let y = -5006 - r. Is y a composite number?
True
Suppose t + 106 = 145. Is (t/(-26) + (-17918)/4)/(-1) composite?
False
Let l(x) = 51*x + 102. Let j be l(-2). Suppose 5*d - 9193 = 2*v, j = -3*v + 8 - 5. Is d composite?
True
Suppose -48*a + 44*a = -8. Suppose -3*n - 23*p = -26*p - 10065, -6696 = -a*n - 5*p. Is n a composite number?
True
Suppose 0 = 4*n + 4*n - 720. Suppose t - 4*z - n = 132, 5*z - 846 = -4*t. Is t a composite number?
True
Let c(k) = 23043*k - 1009. Is c(2) prime?
True
Let t(f) = f**3 + 12*f**2 - f - 7. Let p be t(-12). Is (290*31)/p - 5 composite?
True
Let u(f) = 2*f**3 - 13*f**2 - 4*f + 6. Let j be u(7). Let z(i) = 66*i + 167. Is z(j) a composite number?
False
Let y be ((-12)/(-12))/(0 + 1/432). Let g be 0 + 3 - (y + 3). Is 26/(-10)*g - 7/35 a composite number?
False
Suppose h - 4*r = -3*r - 2, -5*h + 2*r = 13. Let l be -1*h/3 + 161. Let f = 383 - l. Is f composite?
True
Let p(r) = -228*r**3 - 7*r**2 - 29*r - 83. Is p(-5) a composite number?
False
Let n be (184/(-16) + 9)*(-108586)/(-5). Let u = -38620 - n. Is u prime?
False
Let b be 2/(2/(-3))*(-120148)/42. Suppose 8*w = 15*w - b. Is w a prime number?
False
Suppose v - m = 23, 5*v - 2*m + 25 - 140 = 0. Suppose 0 = -19*o + v*o - 26452. Is o a composite number?
True
Let r = 984853 + -490172. Is r composite?
True
Suppose 2*m + 5 = 3*k, -5*m - 2 = -0*k + 3*k. Is (-4 - (-181464)/(-16))/(k/(-2)) a prime number?
True
Let n(a) = a**2 - 6*a - 3. Let k be n(7). Suppose -17458 = -h + 2*d + d, 0 = -h - k*d + 17451. Is h a composite number?
True
Suppose 4*o - 2*g - 3234 = 0, -3*o + 2*g + 2408 = -3*g. Suppose 6*k = 1018 - 190. Let i = o - k. Is i composite?
False
Let f(n) = -n + 15. Let b be f(-13). Is 5*8351/b*4 composite?
True
Let f be (0 + 14)*(-25)/(-50). Is 50701/28*f/(14/8) prime?
True
Let t(c) = -33276*c + 1153. Is t(-6) a prime number?
False
Suppose 0 = -56*c + 151*c + 255*c - 123266150. Is c composite?
True
Suppose -11*z - 11836828 = -9*z - 70*z. Is z a composite number?
False
Let h = -174644 - -245661. Is h composite?
True
Let v(a) = a**2 + 8*a - 6. Let y be v(-9). Let f(u) = 2*u**2 + 4*u**2 + 2*u**3 + 5 - 8*u**2 - y*u. Is f(4) composite?
False
Is 1082/((10/(-35))/(3/(-21))) a composite number?
False
Suppose 20*o - 1953701 = 11790999. Is o a prime number?
False
Is -3*9/9 + 355190 prime?
False
Let c(b) = 85*b**3 + 2*b**2 - 4*b - 7. Suppose -128*l = -120*l - 32. Is c(l) prime?
True
Suppose 136 = -0*y + 4*y - 17*n, -3*y + 4*n = -102. Let k(i) = i**2 - 3*i + 2. Let a be k(2). Suppose a = -y*h + 31*h + 1167. Is h a prime number?
True
Suppose 59*x - 5*p = 55*x + 295291, -5*p + 147623 = 2*x. Is x a prime number?
True
Suppose 0 = -5*h - 3*c + 37, -3*h - 12 = -7*h + 2*c. Suppose 1358 = h*s - 35837. Is s a prime number?
False
Let n(w) = 345*w + 1178. Is n(107) prime?
False
Let r be (-12)/66 + (3 - 448/(-44)). Suppose 0 = -r*k + 14*k - 1279. Is k a composite number?
False
Let a be (-3261)/(-3) - (5 - (3 - 0)). Suppose 3*y + 5929 = -4*z, -2*y = 2*z + a + 1881. Let l = 2687 + z. Is l prime?
False
Let p = 479863 - 324737. Is p a prime number?
False
Is (-8339624)/(-201) + (-1)/(-3) composite?
False
Suppose -3*q - 6 = -0*o - 3*o, -20 = -4*o + q. Let c be 247/39 + 4/o. Suppose 0*j = -c*j + 1659. Is j a composite number?
True
Suppose -3 = 9*g - 10*g. Suppose -33 = -g*k - 8*k. Suppose -k*v = l - 996, 3*v - v - 677 = -5*l. Is v composite?
False
Let g(s) = s**2 + 32*s + 34. Let h be g(-31). Let p = 205 - -339. Suppose -a + 0*a = 4*y - 539, -a + p = h*y. Is a a composite number?
True
Suppose -3*i = 4*d - i - 632450, 2*i = 4*d - 632454. Is d a composite number?
False
Let x(w) = 10*w - 35. Let s be x(1). Is (-23755)/s*(0/5 + 5) prime?
True
Suppose -12*f = 24 - 84. Is -1*f + (2*12145)/5 a prime number?
False
Let g(x) = 12*x**2 - 56*x - 5. Let c(a) = -14*a + 89. Let z be c(8). Is g(z) prime?
False
Suppose 3232*l - 3234*l + 2*p = -65064, 0 = 4*l + 2*p - 130158. Is l prime?
True
Let f = 3174 - 769. Let b be ((-4)/(-14))/(2/(-6 + 20)). Suppose -b*g = 3*g, 5*g + f = 5*m. Is m a composite number?
True
Let c(k) = 3*k + 1. Let n be c(5). Let x = n + -14. Suppose l + s = -x*l + 100, l - 5*s = 60. Is l a composite number?
True
Suppose 193*d - 196*d + 3*i + 375864 = 0, -d - 4*i = -125283. Is d prime?
True
Let w be (-34851)/12 + 4 - 5/(-20). Let d = w - -5809. Is d composite?
False
Let v be (-6)/10 - 186/(-10). Let p = 17 - v. Is ((-267)/(-5) - 2)*(-5)/p prime?
True
Let f = -3013 - -4347. Suppose -3*k = f - 4001. Is k prime?
False
Suppose -2*b - 5 + 0 = a, -a = -b - 1. Is (2916 - -33)*a/(-3) a composite number?
False
Suppose 0 = -s + 9 - 12. Let y be (10*s)/(1 + (-108)/106). Suppose -g - g + 1591 = 3*h, 2*g + 4*h - y = 0. Is g composite?
False
Let n(v) = 38*v**2 - v + 50*v**2 + 0*v - 17 - 2*v. Is n(6) a prime number?
False
Let d = 356 + 368. Let j = -342 + d. Is j prime?
False
Let x = 84 - 76. Suppose -t = -x*t + 4949. Is t a composite number?
True
Let r(g) = 7239*g + 400. Is r(11) prime?
False
Is (-208)/(-13) + 122215 + 20 a prime number?
True
Let b(t) = 1053*t - 3707. Is b(50) prime?
False
Let x = -188690 + 283153. Is x composite?
False
Suppose -3*b + 12 = -4*b - 3*x, -3*b + 5*x + 20 = 0. Suppose j + 0*j - 3454 = -a, b = -2*j - 2. Is a a composite number?
True
Suppose 44*n = -20*n + 7952576. Is n composite?
True
Is (-4)/(-9) - 2024824/(-72)*1 a composite number?
False
Let c = 56657 + -34836. Is c a composite number?
False
Is 1 - (-48186 - (0 - -10)) composite?
False
Let s be -8*3/(-12)*709. Let t = -3009 - -5380. Let m = t - s. Is m a composite number?
False
Suppose 3*y - 98 = -f + 6*y, 0 = -2*f - 4*y + 206. Suppose -98*w + 3*o - 24993 = -f*w, -3*o = 4*w - 33326. Is w composite?
True
Let a = -4120 - -4233. Is a a composite number?
False
Suppose -31*y + 35*y = 8. Suppose -30 = -y*p - 12. Suppose p*u = 14*u - 2395. Is u a prime number?
True
Let d(n) = -n**3 - 3*n**2 + 6*n + 6. Let i(k) = k - 10. Let w(q) = -3. Let p(v) = 2*i(v) - 7*w(v). Let f be p(-3). Is d(f) a composite number?
True
Let i be 4/(-5) + (-2871)/55. Let k = i + 45. Let p(y) = -359*y + 81. Is