*i + 1872, x - h*i - 1243 = -x. Is x prime?
False
Let w(d) = -d**3 + 130*d**2 - 51*d + 387. Is w(98) a prime number?
False
Let a be ((-9)/(-6) - 4)*38. Let f(s) = -35*s - 11. Let t be f(-5). Let i = t - a. Is i composite?
True
Suppose -1662259 = -20*a - 55439. Is a a prime number?
True
Let z = 253652 + -169293. Is z a composite number?
True
Let x(w) = -w + 2. Let a be x(14). Let j be 3228/16 - (-3 + (-33)/a). Let l = -116 + j. Is l prime?
False
Let t = -30 + 40. Is t/4*255788/130 composite?
False
Suppose -7*q + 21231 + 77350 = 0. Suppose -2*r + 2*y = -5644, 9*r - q = 4*r - 4*y. Is r prime?
True
Let f be 13 + -9 + -4 + 2. Suppose 0 = -m - 3*t + 5786, 0 = -f*m - 4*t + 8*t + 11622. Is m a prime number?
True
Suppose -3*q + 3*c - 54 = 0, -5*q - 95 = -3*c - 9. Let d be (-3)/(-2)*2*q/(-12). Suppose -3*t + 802 = w - 1625, d*w = -5*t + 4045. Is t prime?
True
Suppose -14105 = 3*h + 4*j, 4*h - 4911 + 23686 = j. Let c = h - -9918. Is c a prime number?
False
Suppose 4*f - 141393 = -5*m, 70719 = 2*f - 4*m - m. Suppose 8*h + 16*h = f. Is h a composite number?
True
Let i be 1*4/6*3. Suppose -5*g + 2*b - 9549 = 0, -b - 3822 = i*g - 3*b. Let r = 3308 + g. Is r prime?
True
Let j be 6*(28/12)/7 + 142757. Suppose -547051 + j = -12*w. Is w composite?
True
Let o(v) = 36*v**2 + 69*v + 10012. Is o(-145) prime?
False
Let c be ((-10)/(-14) - 1) + 7344/28. Suppose 5*l - 5*u - 35 = 0, -l + 1 = 5*u - 3*u. Suppose 0 = l*t - c - 573. Is t a prime number?
True
Let b = 692 - 449. Let u = 109 + b. Suppose 0 = g - x - u, 0*x = -5*g + 3*x + 1750. Is g prime?
True
Let t(u) = -3*u - 9. Let x be t(-6). Let o(y) = 3*y**3 + y**2. Let q(k) = -11*k**3 + 6*k**2 + 12*k + 10. Let s(g) = -3*o(g) - q(g). Is s(x) a composite number?
True
Suppose -1 = b + 4*m + 19, -4*b + 2*m + 10 = 0. Suppose -6990 = -2*z + g + g, -5*z + 2*g + 17463 = b. Is z composite?
False
Let s = 166 - 36. Suppose -725 + 3326 + 3417 = 6*j. Let r = s + j. Is r prime?
False
Let i = -236818 - 33882. Is (1/4)/((-25)/i) a composite number?
False
Suppose -2 + 5 = -3*u, 0 = 4*k - 2*u + 18. Let q(l) = 276*l**2 - 11*l + 18. Is q(k) a prime number?
False
Suppose -701*a + 723*a = 3316590 + 6783368. Is a prime?
True
Suppose 0 = -j - 3*n + 10, j + 3*n - 6 = 4*j. Is -1*j*(24 - 23)*-293 a prime number?
True
Let g(t) = 3*t**2 - 11*t + 16053. Is g(0) prime?
False
Let d be (-66)/44 + (-3)/2. Let q(r) = -87*r**3 - 5*r**2 - 4*r + 5. Is q(d) a prime number?
False
Let g(u) = 1020*u + 144. Let s be g(-3). Is (s/135)/((-4)/470) + 5 composite?
False
Suppose 3 = 5*y - 37. Suppose y*r - 19414 = 48258. Is r composite?
True
Let j(f) = -f**3 + 13*f**2 + f - 20. Let d be j(13). Let m be 19/d - (-4 + 180/42). Is (-7902)/(-12)*(-1 - m) prime?
False
Suppose -2*x + 1246 = -4*l, 5*x - 3127 = -4*l + 8*l. Suppose -57416 = -635*f + x*f. Is f a prime number?
True
Suppose 4*r - 183769 = 3*d, d + 264261 - 80490 = 4*r. Is r a composite number?
False
Is (-11)/(44/(-12)) + -5 + 809540/5 prime?
False
Suppose -110*a - 213718 = -6030408. Is a composite?
False
Suppose -x - 5*s = -68127, -2*x + 21*s + 136282 = 17*s. Is x a prime number?
False
Let l(b) = 4*b**2 - 42*b + 26*b + 30*b - 1 - 3 - 3. Suppose -2*w + 4 = -8. Is l(w) a prime number?
False
Suppose -15 + 8 = -o. Suppose -5*j + o*j + 30 = 0. Is (-1)/((j/2785)/3) prime?
True
Suppose -111*f + 106*f + 5141945 = 5*z, -f = -2*z + 2056778. Is z prime?
True
Suppose -6*p - 11 = -83. Suppose -p*d + 32 = -4*d. Suppose -d*q - 3*i = i - 3236, 0 = q + 5*i - 809. Is q a composite number?
False
Let s be -355 - -2 - 12/3. Let b be 2/(-17) + 4242/s. Let x(v) = -48*v + 5. Is x(b) prime?
False
Suppose 2912 + 128 = 10*t. Suppose -t - 65 = -s + 2*n, -6 = 3*n. Is s a composite number?
True
Is (-26551690)/(-36) + (-95)/(-1710) + (-20)/5 composite?
True
Is (-2 - (-6430)/50)/((-6)/(-50)) composite?
True
Let z(d) = -1. Let t(p) = 1535*p + 2. Let h(w) = 3*t(w) - 3*z(w). Let f be h(1). Suppose -15*s + 12*s + f = 0. Is s prime?
False
Let b be 2/(-8) - (-147)/12. Let i be (-13)/7*-3 - b/(-28). Suppose i*f - 2648 + 302 = 0. Is f composite?
True
Suppose -3*l + 3*o + 438453 = 0, 5*l + 246683 - 977422 = -3*o. Is l a prime number?
False
Let f(k) = -34*k - 301*k + 223 - 192*k + 32*k. Is f(-26) composite?
False
Let p(q) = 937*q**2 - 17*q + 25. Suppose -24*r = -39*r + 75. Is p(r) prime?
False
Suppose 2039 = 4*x - 5*d, -x + d + 1027 = x. Suppose 0 = 2*u - 2*k - 348, u + 61 = -5*k + 205. Let s = x - u. Is s prime?
True
Let b(s) = -2*s**2 - 12*s. Let m be -8*-1*(-12)/16. Let q be b(m). Suppose -4*r - 527 + 1883 = q. Is r a prime number?
False
Suppose 3*i - h = 17, -2*h - 18 = 5*i - 7*i. Suppose i*x + 2640 - 17876 = 0. Is x a composite number?
True
Suppose -7*z + 5*z = -4. Suppose -z*y = y - 9, 4*a - 25 = 5*y. Suppose 3*b - a*b = -3787. Is b a composite number?
False
Suppose -29*f = -4*x - 34*f + 10819, 0 = 4*f - 12. Is x a prime number?
False
Let h(l) = 32*l**2 + 5*l + 50. Let p(b) = -31*b**2 - 6*b - 48. Let q(d) = -4*h(d) - 5*p(d). Is q(-7) a composite number?
True
Let p = -178 - -182. Suppose -c - 2*c + 2502 = -5*n, 5*n - 3371 = -p*c. Is c prime?
True
Is 9 - ((-5)/(-45) - 5257805/45) prime?
True
Let v(z) = 469*z - 1982. Is v(39) a prime number?
False
Let a(f) = 225*f + 67. Let v be a(27). Suppose 2*w - v = 3*h - 2289, 2*w - 3888 = -4*h. Is w prime?
False
Let i(d) = 707*d**2 - 97*d + 1213. Is i(12) composite?
True
Let g(i) = -i**3 + 10*i**2 + 14*i - 34. Let q = 39 + -28. Let b be g(q). Is (-165)/(-30)*(b - -47) composite?
True
Let m(k) = -624*k - 189. Let d(y) = -628*y - 190. Let z(h) = 4*d(h) - 3*m(h). Is z(-14) composite?
True
Suppose -10*a + 480 = 6*a. Suppose a*s + 11279 = 300689. Is s prime?
False
Let d(m) = -2267*m - 122. Is d(-3) prime?
True
Suppose -79087132 = -148*r - 2659784. Is r composite?
True
Suppose 19*z - 7708 = 6872 + 24427. Is z composite?
False
Let x(i) = 2*i + 5. Let f be x(6). Suppose 9*s = f*s - 16. Let t(h) = 3571*h - 21. Is t(s) prime?
True
Let x be (-3)/6*13*2. Let r = 17 + x. Is -1*((-117)/3 - r) a prime number?
True
Let r be (8/(-10))/(-1*(-2)/(-5)). Let m be -6 + 5076 + r/1. Suppose -4*v - 5*f + 3814 = -m, -4*f = 3*v - 6665. Is v composite?
True
Let g(k) = k**2 - 12*k - 28. Let y be g(12). Let c = -17 - y. Suppose 5*l + 8274 = c*l. Is l composite?
True
Suppose 85 - 50 = 7*n. Suppose n*q = 15, q - 9361 = -2*m - 0*m. Is m a prime number?
True
Let d be (480/56)/(6/28) - 2. Suppose 0 = -d*p + 54*p - 106192. Is p prime?
True
Suppose 3*w = -2*c + 377092, -3*w + 221857 + 720864 = 5*c. Is c prime?
False
Suppose 0*k = -k - 2*n - 8265, -4*n = 5*k + 41295. Let f(h) = 513*h**2 - 37*h - 188. Let u be f(-5). Let a = k + u. Is a a prime number?
True
Let j = 52 - 48. Suppose w - 6 = 5*s, 0 = 5*s + 6 + j. Is (2175/30)/((-2)/w) prime?
False
Let o(d) = -10*d - 19. Let n be o(-3). Suppose 0 = -n*k - 6*k - 578. Is -3*(9455/(-6) + 17/k) prime?
True
Let y be -112*993/(-6) + 3. Let j = -12982 + y. Is j a prime number?
True
Let b = 3463 - -124458. Is b composite?
False
Suppose -5*d - 180 = -4*u, -4*d - 39 + 103 = 2*u. Suppose u*p - 43*p = -10797. Is p prime?
False
Let b(a) = 3*a + 5*a + 1 - 10*a + 3*a. Let k be b(-8). Let f(c) = -9*c**3 - 3*c**2 + 7*c + 8. Is f(k) prime?
False
Let v be ((-8838)/(-3))/((-6)/(-8)). Let k = -1991 + v. Is k prime?
False
Suppose 7*w - 21421 + 148387 = 0. Let b be w/15*(-5)/2. Suppose 6022 = 2*z + 2*k, 5*z + 5*k = 6*z - b. Is z a composite number?
True
Suppose -1705261 = -10*a + 2642318 - 1397849. Is a prime?
False
Is (2809340/16 - -6) + (-6)/8 prime?
False
Suppose -2*s + 4*z + 76 = 0, -s - 2*s = 2*z - 154. Let r be (64/s)/(2/18). Is -9 + r + 732*3 composite?
True
Let b(f) be the first derivative of -f**3/3 + 7*f**2/2 - 8*f - 17. Let a be b(5). Let s(t) = 46*t**3 + 5. Is s(a) a composite number?
False
Suppose -5*j + 60 = -10*j. Is (504 - (2 + -4))*(-6)/j a prime number?
False
Let g be 0/6 - (3 + -1)/2. Let m be g/(-4)*-1 - (-24)/(-32). Is 1735 + -1 + (m - 0) prime?
True
Let c(d) = 1525*d**3 - d**2 + 14*d - 15. Is c(2) a composite number?
True
Let y be ((-2)/2 + -1 + 2)/1. Suppose 4*f + j - 29972 = 3*j, y = -j. Is f a composite number?
True
Suppose -3*k + 65600 = 5*i, k - 2*i + 8107 = 29992. Suppose t - k + 5123 = -4*f, -20 = 5*t. Is f prime?
False
Let n be (1 - 18/12)/((-2)/(-28)). Let i be (-3628)/n + (-16)/56. Suppose 