e number?
True
Let q(y) = 9*y - 2. Suppose -3*r - 16 = -13. Let i be q(r). Let f(b) = -2*b + 31. Is f(i) prime?
True
Suppose 0 = 183*q - 17696956 - 15840173. Is q composite?
False
Let g = 77 - 46. Let t = g + -27. Suppose -q + t*q = -s + 2473, -3*s = 4*q - 7409. Is s a prime number?
True
Suppose 0 = -22*q + 32126 + 153620. Is q a prime number?
True
Suppose 0 = -23*i + 2*i + 20639829. Is i prime?
False
Is (-2 + (-2)/2)/((-711)/6246609) a prime number?
True
Let v be (59/1)/(1348415/(-192630) - -7). Is ((-2)/4)/(59/v) a composite number?
True
Suppose 3096 = 3*z - 5*m, -258 - 3870 = -4*z + 2*m. Let i = z + 157. Suppose -177 = 4*h - i. Is h composite?
True
Let w = -1250205 + 1969306. Is w a composite number?
False
Let j(m) = -15*m - 36. Let b be j(-3). Let q be (1/(-2))/(2/16). Is ((-3678)/b)/(q/6) a composite number?
False
Let g(j) = -j**3 + 11*j**2 + 14*j - 19. Let s be g(12). Suppose 0*v - v = -4*n - 7, v - s = 2*n. Suppose -6*m + v*m = -861. Is m a prime number?
False
Is ((-3174760)/(-110))/2 + (-9)/(-33) a prime number?
True
Suppose 0*s + 2*s + 3*i - 34 = 0, i - 4 = 0. Suppose 14*v - 12711 = s*v. Is v composite?
True
Suppose 6*r + r + 14 = 0. Let y be (0 + r)*(4 + -14). Let t = 51 - y. Is t composite?
False
Let m be (-5)/(-5)*-226 + -4. Let v = m + 2665. Is v a composite number?
True
Suppose 57 - 91 = -17*i. Suppose 94286 = 5*s + 3*x, -4*s - 14829 = -i*x - 90271. Is s a composite number?
False
Let t = 20 - 20. Suppose -6*k + 8*k - 820 = t. Suppose -2*n + 100 = 2*m - k, 5*m + 231 = n. Is n prime?
True
Let a = 7 + 17. Let h = -8 + a. Let g = 15 + h. Is g composite?
False
Let j be (-162 + -63)*(10/15 - 12/9). Let h be 4/((-8)/15)*-2. Suppose -5*a + j + h = 0. Is a composite?
True
Let a(j) = 22 - 91*j + 36*j - 83*j**2 + 123*j**2. Is a(13) a prime number?
True
Is ((-6)/(-8))/(30/(-120)) - -6220 prime?
True
Let h(d) = 26*d**2 + 254*d + 27. Is h(-44) a composite number?
True
Let s = -16647 - -29872. Let a = -9171 + s. Is a composite?
True
Is (-351)/3510*(-5206490)/1 a composite number?
False
Let q(x) = x**2 + 3*x + 3. Let w be q(-3). Suppose 46 = 5*g - 4*s, 0*g - 6 = -w*g - 3*s. Let p(l) = 140*l - 2. Is p(g) prime?
False
Let k(i) = -35*i + 9. Suppose 4*z - 12*z - 24 = 0. Let o be ((-48)/(-9) - 4)*z/1. Is k(o) prime?
True
Let z(i) = -i**3 - 9*i**2 + 11*i + 8. Let f be z(-10). Let o be 0 + 108 + f + (-1 - -1). Is (3/(24/o))/((-6)/(-24)) a prime number?
True
Let m(q) = -94*q**2 - 19*q - 13. Let s be m(-6). Let z = -1620 - s. Is z prime?
True
Let l be (-16)/(-28) + 409/7. Suppose 3*u + 98450 = 5*s, 0 = 3*u + 74 - l. Is s prime?
True
Let n(h) = 470858*h - 1141. Is n(1) prime?
True
Suppose -3*k + 3*b - 6 = 6, b = -4*k - 6. Let n be 0 + k + 4 + -4. Is (-89*3)/(1/n*2) prime?
False
Suppose -14*y + 487674 = -834653 + 282393. Is y composite?
True
Suppose -g - 2*g = -4*x + 1121, 4*x + g = 1141. Let y = x - -407. Is y a prime number?
True
Let x = 95941 - 33558. Is x prime?
True
Let l = 281903 - -326834. Is l prime?
True
Let p(c) = -c**2 + 4*c + 1. Let a be p(5). Let k(r) = 565*r**3 + 3*r**2 + 2*r + 1. Let v be k(-1). Is -3 - v - (a + 1) a prime number?
True
Suppose 3951 = -6*u - 5097. Let a = u - -5619. Is a prime?
True
Let u = 17827 - 12106. Let x = u + -3272. Is x prime?
False
Let l(r) = 5 - 41*r**2 + r + 4*r**2 + 3*r**2. Let w be l(-3). Let c = w - -723. Is c prime?
True
Suppose 23*j = 24*j - 4. Suppose -3*k + 0*b + j*b = 0, -31 = -4*k - 5*b. Suppose -2*w = -k*w + 1146. Is w a prime number?
False
Let i = 158957 + -60018. Is i a composite number?
False
Suppose 155*z - 189802173 = -208*z. Is z prime?
True
Let d = 37 - 35. Suppose d*f - 6*f = -5*p + 21, 0 = -4*f + 4. Suppose 0 = -5*a + 5*y + 18205, 18199 = p*a + y - 3*y. Is a prime?
False
Suppose 0 = b + 1843 + 4785. Let p = 9525 + b. Is p prime?
True
Suppose -4*r - 813629 = -3*o, 20*o = 17*o + r + 813632. Is o composite?
False
Suppose -3*d = -3246 + 477. Suppose 565 = 6*s - d. Suppose m + s = 1035. Is m prime?
True
Suppose 15*y = 42*y - 81. Suppose 7*c - 10*c = -4*i + 770, -6 = y*c. Is i prime?
True
Let n be (-50)/30*(-12)/10. Suppose -i = 7 - n. Is 17968/40 - (-1)/i composite?
False
Let u(j) = -89*j**2 + 33*j - 6. Let d be u(-8). Let a = 11145 + d. Is a a prime number?
True
Let v be 20/80 - (-62)/8. Let n(f) = -20*f + 12*f**2 + 19*f + v*f + 9. Is n(-5) a composite number?
True
Suppose 3*r = 3*p - 15036, 0 = 3*r - 5*r - 2*p - 10024. Let c = 7371 + r. Is c a composite number?
True
Let a(d) = 7*d**2 - 15*d - 11. Let h be a(3). Is ((-8609)/h)/(1/(-7)) a composite number?
False
Let f(s) = -29*s**2 - 6*s - 1. Let p be f(-4). Let l(o) = 26*o + 150. Let b be l(-6). Is (-1)/(-2) + p/b a composite number?
True
Let p(n) = 21*n + 352. Let m be p(-16). Let t(z) = 78*z**2 - 15*z - 11. Is t(m) composite?
False
Let x = -2043 + 13535. Suppose 39148 - x = 8*s. Is s a composite number?
False
Suppose 6 = 2*n + 2. Suppose f + 3*f = -2*x + 16, 5*f = -n*x + 19. Suppose -5*d - 1000 = 4*g - 4483, -5*g = f*d - 4370. Is g a composite number?
False
Let a = 504 + -333. Let r = 494 - a. Suppose -1063 = -4*n - r. Is n prime?
False
Suppose 5*s - 3482563 - 1559568 = -i, -4*s + 4*i + 4033724 = 0. Is s a composite number?
True
Let s(w) be the second derivative of 6005*w**4/12 - w**3 - 2*w**2 + w - 5. Is s(-1) a prime number?
True
Let s be 1 + 1386 + (-4 - -9) + -1. Let q = -982 + s. Is q prime?
True
Let k(h) = -5*h + 3041. Let b be (5 - 3)*3/2. Let f(s) = s**2 + 2*s - 15. Let d be f(b). Is k(d) composite?
False
Suppose -2*x + 2*n = -133798, 4*x + 42*n - 267614 = 37*n. Is x a prime number?
False
Let l(t) = -5*t**3 - 242*t**2 + 100*t + 186. Is l(-49) a composite number?
True
Let z = 13636 - -7558. Is z a composite number?
True
Let a(d) be the third derivative of d**6/120 + 3*d**5/20 - 19*d**3/6 - 52*d**2. Is a(15) a composite number?
False
Let x(q) = 3*q**2 - 5*q + 10. Let p be -14 + 49/14*-2. Is x(p) a prime number?
False
Suppose c - 3*t + 225231 = 4*c, -150164 = -2*c + 3*t. Is c a prime number?
True
Let h = 91351 - 39210. Is h prime?
False
Suppose 10597 = 5*r - 4*z, 5*r - 3*z - 3405 = 7189. Suppose 0 = -6*l - 5 + r. Suppose 10 = -2*u, -5*c - 5*u - l = -4232. Is c prime?
False
Let h(p) = 3*p**3 - 12*p**2 + 23*p + 531. Is h(29) a composite number?
True
Let b = 1054268 + -153271. Is b a composite number?
False
Let l be -6 + (-8 - -7) - -8. Is (42010/50)/(l*1/5) a prime number?
True
Let u be 4 + (-6)/(-1)*(-113476)/33. Let l = -11725 - u. Is l prime?
False
Let y(i) = 5048*i**3 - 12*i**2 + 3*i + 27. Is y(4) a composite number?
False
Let b(f) = f**3 + 10*f**2 + 9*f. Let m be b(-9). Let k be (-279 + -4)*(-2 + (1 - m)). Let v = 1790 - k. Is v a prime number?
False
Let b(o) = 352303*o + 14. Let a be b(-4). Is (-1)/(7 - a/(-201313)) prime?
True
Let a(p) = -p**2 + 5*p + 8. Let l be a(6). Suppose -2*x + 16 = 3*n - 7*n, -5*x = 4*n + l. Is (-91)/n*(-39)/(-13) composite?
True
Let b = 446 - 496. Is (13828/(-10))/(-2 + (-80)/b) prime?
True
Suppose 0 = 6*x - 3*x. Suppose x = 12*r - 34 - 14. Suppose -r*g + 13340 - 3160 = 0. Is g prime?
False
Let c be (2*4/(-8))/((-5)/10). Suppose 9887 = 3*i - c*w, 8*w - 16520 = -5*i + 3*w. Is (5 - 6)/(((-2)/i)/2) prime?
True
Let m(t) = -128211*t**3 - t**2 - 8*t - 7. Is m(-1) a composite number?
True
Let t be (-8)/(-28) + -1*6/21. Suppose 4*c - 24 = 2*o, -8 = c - t*o + 3*o. Suppose -2*i + 518 = c*p, 5*i + 0*p - 1323 = 4*p. Is i a prime number?
True
Let h = 9 + 15. Suppose -5*c + c + 24 = n, 4*c - 5*n - h = 0. Suppose -5213 = -c*y + 613. Is y prime?
True
Let h = -32 - -34. Suppose -t + 5*t - h*c - 10 = 0, 2*t = -4*c. Let j(i) = 53*i**3 - 2*i**2 + 3*i - 3. Is j(t) composite?
False
Let r(m) = m**2 - 9*m + 24. Let x be r(4). Suppose 11885 = 5*g - 4*g + 4*j, -j - x = 0. Is g prime?
False
Let o(z) = -6*z**2 + 10*z + 290. Let h be o(-11). Let c(r) = -35*r**3 - 3*r**2 + 1. Let j be c(-3). Let k = j + h. Is k composite?
False
Let u(w) = -w**3 - 19*w**2 - 18*w - 12. Let r be u(-18). Let f be (1/r + (-11)/44)*-6. Suppose 3*k + 3*d = f*k + 245, d = -4. Is k prime?
True
Let q be 6/(70/68 - 1). Suppose 64580 = 16*x - q. Is x a composite number?
False
Let h(o) = -6301*o**2 - 4. Let m(n) = 2*n**2 + 1. Let b(j) = -h(j) - 2*m(j). Is b(-1) a composite number?
False
Suppose 0 = -4*y + s - 281896 + 1431126, 574630 = 2*y + 2*s. Is y a prime number?