 a composite number?
True
Let a be -19 + (10 + -5 - 1). Is (-3)/a + 9576/20 composite?
False
Suppose 821*h = 844*h - 4987159. Is h prime?
False
Is 188449 + (-12)/4 - -13 prime?
True
Suppose -8*a + 18055 = 775. Let u = 4309 - a. Is u a prime number?
False
Let f = 30 - 30. Suppose -a = f, -a - 3 = -v - 1. Suppose d - 4*t = -0*d + 1699, -d - v*t = -1681. Is d prime?
False
Suppose 0 = q - 140 - 1535. Let y = -24 + q. Suppose 13*f - y = 12*f. Is f composite?
True
Let u be (6/(-9))/((-6)/9). Suppose 0 = 2*i + u + 3, -3*j = -3*i - 3. Is (29/3)/(j/(-21)) prime?
False
Let b(y) = 463*y**2 - 103*y + 11. Is b(7) a composite number?
False
Let h = 39479 - -27440. Is h composite?
False
Let v(f) = 254*f**2 + 11*f - 275. Is v(12) a composite number?
False
Suppose -3*q - 4*j = -43871, 3*q - 812*j = -807*j + 43826. Is q prime?
False
Let l(s) = -8*s**2 - 4*s - 9. Let w be l(-3). Let n = 73 + w. Suppose -n*t = 3*k - 12002, 0 = -4*t + t - 5*k + 9007. Is t a prime number?
True
Is 0 + 0 + 1*4405 + (-460 - -464) a prime number?
True
Let g = 34819 + -1548. Let v = 50978 - g. Is v prime?
True
Let t(g) = -17*g + 164. Let y be t(8). Let p(i) = 219*i - 43. Is p(y) prime?
True
Suppose -14*k + 38 + 32 = 0. Suppose 6*y - k*a = 2*y + 9867, -5*y - 5*a = -12300. Is y prime?
False
Suppose -3*h + 0*h = -2037. Let f = -360 + h. Suppose -3*w + 1118 = -f. Is w a prime number?
True
Is (32/14 + -2)/(198/35139951) a composite number?
False
Suppose 2126*n - 676030 = 2116*n. Is n a prime number?
False
Suppose 0 = 5*p - 822683 - 767057 - 274605. Is p a composite number?
True
Let a = -346097 + 1437160. Is a a prime number?
True
Let t = 59 + -51. Suppose 0 = -4*c + t, c - 5*c = -4*p. Suppose o - 1836 = -2*k, -2*o + 1842 = 2*k + p*o. Is k prime?
False
Let b = -439928 - -737245. Is b a prime number?
True
Let a be (-1)/((-3)/(-36))*(-10)/(-15). Let u be (12*-1)/(a/(-36)). Is (1052/6)/((-12)/u) prime?
False
Is (456065/10 + -2)/((-30)/(-20)) composite?
False
Let u(v) = 17*v**3 - 2*v**2 - 94*v - 21. Is u(10) prime?
False
Suppose 2*s - 441012 + 6181340 = 6*m, 2*m = -s + 1913451. Is m a composite number?
False
Let g = 5260 - -5161. Is g prime?
False
Suppose 2*s = -3*z - 3795 + 12233, 2*z - 5627 = -3*s. Suppose -z = -3*y - y. Is y composite?
True
Let q(c) = c**3 + 97*c**2 + 180*c + 207. Is q(-59) a prime number?
False
Suppose -7*c + 2 = -4*c - 4*b, -4*b = -4. Suppose -8*m + c*m + 76338 = 0. Is m composite?
True
Suppose -43*t + 736357 + 2061696 = 0. Is t composite?
False
Let d(y) = -126*y + 173. Let z be 1 + 0 + (-56)/8. Is d(z) a prime number?
True
Let o = 307 + -311. Is o/2 - (0 + (-12 - 12045)) prime?
False
Let f = -55352 + 97293. Is f a composite number?
False
Let p = -243 - -252. Suppose 2*s + 77 = n, -10*n = -p*n + s - 68. Is n a prime number?
True
Suppose -291*v + 15267521 = 2968978 - 2167358. Is v a composite number?
False
Is (2*(-498398)/4)/(-117 + 116) a composite number?
False
Let d(t) = -t**3 - 11*t**2 + 48*t + 16. Let j be d(-17). Let x = j + -743. Is x prime?
True
Let l(n) = 1414*n + 1335. Is l(32) a prime number?
False
Suppose -7*h + 2292 - 178 = 0. Suppose 0 = -2*l + 68 + h. Is l a composite number?
True
Let q be (0 + 3 - -1) + 0/2. Suppose -q*b + 2234 = -914. Is b composite?
False
Suppose -4*j + 103 + 73 = 0. Suppose 40 - j = -w. Is w/(-6) - (-164574)/54 prime?
False
Let y(f) = 79*f**2 + 2*f + 16. Let q(c) = 3*c + 40. Let t be q(-11). Is y(t) a prime number?
False
Let f = 130829 + -28470. Is f a prime number?
True
Suppose -91*m + 92*m - 3*q = 105251, -526203 = -5*m + 2*q. Is m composite?
False
Let c be 48/5 + 0 - 166/(-415). Let b(d) = -9*d**2 - 7*d + 3*d**2 - 6 + 2*d + d**3 - 13. Is b(c) a composite number?
False
Suppose 302 - 1079 = -3*q - p, 5*q - 4*p - 1278 = 0. Let i = q + 3749. Is i a composite number?
False
Let m be 4/(-10) - (5 + (-98012)/(-20)). Let r = m + 11675. Is r composite?
True
Is (-276)/(-21) + 616/(-539) + 463601 composite?
False
Is 82/(-328) + (-17)/(-4) + 766479 prime?
False
Let r = -48 - -76. Let i = r + -25. Suppose 0 = -4*a + i*w + 138 + 487, w = -5*a + 786. Is a a prime number?
True
Let v = 1009 - 1463. Let x = -1238 + 585. Let l = v - x. Is l composite?
False
Let d = 31882 + -21045. Suppose -9*z = -d - 10502. Is z a composite number?
False
Is -545170*(396/40 - 10) prime?
True
Let i be (-13888)/(-210) - (-2 + (-64)/(-30)). Let b = i - 69. Is 2*2/12 - 4748/b prime?
True
Is 247/(-19) + 16 + (-870230)/(-2) a composite number?
True
Suppose 0 = -5*j - 20, -32*c = -36*c - 4*j + 96232. Suppose -4*g + 414 = 2*h - c, 5*g - 3*h = 30617. Is g composite?
False
Let m = -94946 - -230959. Is m composite?
False
Is (-4)/30*-5*(2652420/24 + -8) composite?
False
Let b(t) = -36 + 67 - 20 + 39*t. Let x be b(-13). Let h = -317 - x. Is h a composite number?
False
Let l = 458 - 453. Suppose 5*d + 4*x - 12815 = 0, -10*x + 11*x = l*d - 12815. Is d a composite number?
True
Let u(m) = 176*m + 778. Is u(21) a prime number?
False
Let t(v) = 9743*v + 1375. Is t(6) prime?
True
Is 2 - -8*1 - (-453066 - -53) a composite number?
False
Let p(f) = f**2 - 2*f - 7. Let r(i) = 3*i**2 - 4*i - 15. Let m(b) = -5*p(b) + 2*r(b). Let q be m(0). Is (q/5 + 120)/1 composite?
True
Let y(f) = 8*f**3 - 60*f**2 + 8*f + 4. Let u(v) = 9*v**3 - 59*v**2 + 8*v + 3. Let x(h) = -3*u(h) + 4*y(h). Is x(18) prime?
False
Let m(c) = 541*c + 310. Let i be m(20). Let y = i - 4919. Is y a prime number?
True
Let o = 258 + -173. Suppose 164130 = -79*t + o*t. Is t composite?
True
Suppose 26*h = 8*h + h + 1176757. Is h composite?
False
Let n = -633 + 183. Let a = n - -1186. Let x = a - 443. Is x prime?
True
Let d(a) = -4769*a - 1834. Is d(-25) composite?
True
Let a(k) = 314*k + 97. Let q be a(3). Suppose 0 = z + s - q - 3822, -z + 4861 = 5*s. Is z composite?
False
Let d(s) = -159*s + 34 - 334*s - 206*s. Is d(-1) a composite number?
False
Let m = 66 + -66. Suppose 3*j - 4*j - 2*k + 3971 = m, 4*j = -5*k + 15878. Is j composite?
False
Is (3/(-27))/((-48)/(-432))*-426487 composite?
False
Let a(z) = -524*z + 102826. Is a(0) prime?
False
Is 8/10 - 13/130*-24305802 composite?
False
Let k be (1/7 - 3/21) + 379214. Suppose 35*n - k = -82029. Is n a composite number?
True
Suppose 4 = -3*c + k + 8, -2*c - 4 = -4*k. Suppose 3*q - 2183 = 3*i - 8*i, -2*q - c*i + 1458 = 0. Is q composite?
True
Let c(l) be the first derivative of -l**3/3 + 5*l**2 - 15*l - 6. Let y be c(7). Is 2*(507/y - 3) prime?
True
Suppose 0 = -3*s + p + 23382, -9*s = -10*s - p + 7790. Is s a composite number?
False
Let o(s) be the first derivative of 43*s**3/3 - 2*s**2 - 29*s - 89. Is o(-6) composite?
False
Let u(m) = -7 + 4*m - 4 + 0*m - m. Let h be u(5). Suppose -5*d + d + 3*z + 3005 = 0, 735 = d - h*z. Is d a composite number?
True
Suppose 0 = -a - 5*n - 2939 + 139817, -2*a - 5*n + 273771 = 0. Is a composite?
True
Let p = -483788 + 705679. Is p prime?
True
Suppose 3*w - 2580 = 4*u, -5*w + 2*u + 4326 = 4*u. Suppose 4*k = 4010 + 930. Let s = k - w. Is s a prime number?
False
Let l(h) = 21*h**3 - 3*h**2 - 20*h + 13. Suppose -2*j - 4*j = -36. Is l(j) a prime number?
False
Let j(f) = -49*f + 126. Let m be j(2). Let n(o) = o**2 - 33*o + 11. Let c(a) = -2*a**2 + 66*a - 22. Let s(b) = 3*c(b) + 5*n(b). Is s(m) a composite number?
True
Let z be 297/55 + 4/(-10)*1. Suppose z*w + a - 4*a = 2461, -5*w + 2*a + 2459 = 0. Is w a prime number?
True
Let y = 115313 - 37720. Is y a composite number?
True
Suppose 3*u + 9 = -n, -4*n - 3*u - u = 28. Is 1 - (-10095)/n*-4 a prime number?
False
Let j(s) = s - 39. Let i be j(19). Let r be i + 32 + 1 + 0 + -5. Suppose -r*g = -4*g - 5*c - 236, -c = -5*g + 295. Is g composite?
False
Let j = 7 - 3. Suppose 16 = o + j. Suppose o*z = 11*z + 53. Is z a composite number?
False
Let u be (2/(-4) + 0)*31992/(-4). Let s = u - 1657. Is s a prime number?
False
Let k(h) = 36*h + 16769. Is k(0) composite?
True
Let m(s) be the second derivative of 337/2*s**2 + 0 + 1/12*s**4 + 0*s**3 + 39*s. Is m(0) composite?
False
Suppose -3*k - 4 + 0 = -4*s, 4*s = -3*k - 20. Let y(a) = -115*a + 54*a + 4 + 0 - 112*a - 5. Is y(k) prime?
True
Suppose 1503889 = 40*k - 730071. Is k prime?
True
Let g(h) = -2411*h - 1624. Is g(-25) a prime number?
False
Let w(c) = 58*c**2 + 62*c + 1029. Is w(-25) a composite number?
False
Suppose -5*y + 5 = -10*y, -5*g + 217 = 3*y. Let r = 48 - g. Su