be (((-4)/2)/v)/((-3)/(-6)). Is (752 - (w + -3)) + 15/(-5) a composite number?
False
Is (-1 - 0)/(215/(-30506995)) a composite number?
True
Suppose 0 = -5*a + 4*c + 135831, 0 = -5*a - 13*c + 9*c + 135799. Is a a composite number?
True
Let b = 150290 - -7241. Is b prime?
False
Let d(s) be the second derivative of 12515*s**4/12 + 5*s**3/6 - 3*s**2/2 - 115*s. Is d(1) prime?
True
Suppose 0 = -21*c + 12*c - 288. Is ((-24)/c)/((-6)/(-102248)) prime?
True
Let d = 535 + -532. Suppose 0 = -5*s - j + 71895, -d*s + 0*s = -5*j - 43137. Is s composite?
True
Suppose -l - 5 = -2*a, 3*l = -a - a - 15. Suppose 2*h + 1710 = 5*q - q, q + 5*h - 455 = a. Let v = q - 207. Is v a prime number?
True
Suppose 2 = 3*g - 2*l + 3*l, -3*g = 2*l + 2. Let b(r) = 1389*r**2 + r. Let f be b(g). Suppose 14*h + 1120 = f. Is h prime?
True
Let d(t) = -7*t**2 - 17*t + 29. Let v(m) = 13*m**2 + 35*m - 57. Let j(k) = 7*d(k) + 4*v(k). Is j(-20) prime?
False
Is 16877061/15*(-60)/(-36) prime?
True
Let o(h) = 3*h**2 - 4*h - 5 + 0*h - 1 + h**3 + 3*h. Let a be o(-3). Is (-4)/a - (-11516)/12 composite?
True
Let q(x) = 13140*x**3 - 24*x**2 - 10*x + 11. Is q(4) a prime number?
True
Suppose 194 = -26*r - 170. Is 22212/8 - 7/r a composite number?
False
Let j(h) = -2*h**3 - 7*h**2 + 25*h + 197. Let z be j(-9). Let d(o) = 105*o**2 - 2*o + 4. Let y be d(4). Let g = y - z. Is g a composite number?
True
Let a(j) = j**3 - 5*j**2 - 9*j + 2. Let o be a(7). Suppose 14*p - 12*p = 6. Is (o/1)/(p/15) prime?
False
Suppose -2*g - z - 535 = 0, -5*g = -z + 1241 + 93. Suppose 0 = 38*i + 12*i - 60200. Let k = i - g. Is k composite?
False
Let u(j) = 222*j + 19. Let k(i) = i**2 - 21*i - 91. Let x be k(25). Is u(x) prime?
True
Let a(w) = 3*w**2 - 12. Let h be a(4). Let x be -1416*(h/(-40) + (-9)/15). Suppose -4*b + 2*m + x = 0, 3*b = -2*m + 4*m + 1595. Is b prime?
False
Suppose 65*a + 46*a - 37680837 = 0. Is a prime?
True
Suppose -3*u + 1515 + 1612 = -4*s, -2*s = 4*u + 1536. Let k = -509 - s. Is k a prime number?
True
Suppose 12 = 12*d - 6*d. Let m be -1*(-1)/d*-24. Is m/(-16) - 3346/(-8) a prime number?
True
Suppose -2*u = -4*q - 106, 4*q + 0*q = 4*u - 104. Is (q/3)/(-3) - -1634 prime?
True
Let v(l) = -l**2 + 13*l - 28. Let t be v(10). Suppose -2*z - 5*d + 5842 = 0, -3*z = -t*d - 11132 + 2331. Is z composite?
True
Let n(h) = 15*h + 92. Let s = 244 - 211. Is n(s) composite?
False
Suppose 886*t + 63 = 883*t. Is (5 - -4)*(-8057)/t a prime number?
False
Let k(r) = 579*r - 62. Is k(29) a prime number?
True
Let c(o) = 89*o**2 + 225*o + 411. Is c(50) prime?
True
Suppose -55*d + 17*d + 91266001 = 129*d. Is d composite?
True
Suppose 3*o = o - 40. Let c(r) = r**2 + 19*r - 22. Let i be c(o). Let s(g) = -12*g**3 - 4*g**2 - 3*g - 1. Is s(i) a composite number?
True
Is ((21/14)/(12/600904))/1 composite?
True
Let h(a) = 2*a**3 - 4*a**2 - 9*a - 11. Let t be -1 + (1 - 2) - (2 + -7). Suppose 3*y - t*b = -3 + 30, -4*b = 4. Is h(y) a prime number?
False
Let b = 14129 + 2238. Is b prime?
False
Let q(o) be the first derivative of o**4/2 - 7*o**3/3 + o**2/2 - 25*o - 28. Is q(10) prime?
False
Let w(n) = n**3 - 11*n**2 + 2. Let b be w(11). Suppose -b*g = g. Suppose g = 4*u - 11*u + 4907. Is u a prime number?
True
Let k(t) = -35*t**3 - t**2 - 4*t - 15. Let w(u) = -u**3 + 12*u**2 - 21*u + 2. Let q be w(10). Is k(q) composite?
True
Suppose -5*s - 2*u + 229197 = 0, 3*s = 4*u + 172295 - 34756. Is s a prime number?
True
Suppose -216216 = -k - x, -27 = -3*x - 12. Is k a composite number?
False
Let n(l) = -13*l - 4 + 8 + 9*l. Let h be n(-2). Is (-15 + h)*5870/(-6) prime?
False
Let u be ((0 - -10) + -2)/(4 - 2). Suppose 3 - 12 = -3*c, -u*l + 5*c = -2237. Is l a prime number?
True
Suppose 758343 = 36*g + 103467. Let q = -9610 + g. Is q composite?
False
Let f(x) = 15*x**2 - 7*x + 33. Suppose 0 = -26*g + 22*g + 28. Is f(g) prime?
True
Suppose -4*o - 607276 = 5*j - 9*j, 2*o = -4. Is j composite?
False
Suppose 2*d - 31 = 19. Let k = d - 45. Is 2622/22 + k/110 composite?
True
Suppose -5*r + 9*r = 5*a + 23, -a + r = 4. Let d(o) = 56*o**2 + 14*o - 37. Is d(a) prime?
True
Suppose 2*u - p = 268, -2*p + 3*p + 404 = 3*u. Let d be 0 + 89 - 3*(-5)/15. Let m = d + u. Is m a prime number?
False
Suppose -17*y + 16*y = -4. Let c be 2 + -4 + (y - (-2 + 4)). Suppose c = -3*l + 377 - 8. Is l a prime number?
False
Let p(c) = 17*c**2 - 3*c + 9. Let f be p(16). Suppose 0 = -l - 0*l + f. Is l prime?
False
Suppose 4*r - 3*r - 8383 = -z, 0 = -2*z - 3*r + 16762. Is z/(8/(-28) - 27/(-21)) prime?
True
Suppose 18*b - 17*b = 3*i - 1002067, 0 = 2*i + 2*b - 668034. Is i prime?
True
Let s = 95871 + 43718. Is s a composite number?
False
Let s(g) = 603*g**3 - 23*g**2 + 40*g + 47. Is s(9) prime?
True
Let n(o) = o + 5. Let l be n(-6). Let d be 14 + -17 + 2 + l. Is (d/(-4))/((-4)/(-2344)) composite?
False
Let i(s) = s**3 + 2*s**2 - 1. Suppose -2*r = 2*r + 3*g + 16, 5*g + 20 = 0. Let t be i(r). Suppose 3*w - 2*c - 709 = t, -c + 0 = 2. Is w a composite number?
True
Let n = 49283 + -25548. Suppose 4*b - n = -5*w, -6 = 2*w - 4. Is b composite?
True
Suppose 3*s - 32410 - 123260 = 0. Is (-3)/(-4) + s/8 a prime number?
False
Let y = -55 - -56. Let b be (-15)/10*(8/(-6))/y. Suppose -b*p = -h + 14, -2*h - h = 2*p - 42. Is h a prime number?
False
Let g(y) = -14*y**3 - 12*y**2 - 29*y - 6. Let h be (-5 - 76/(-16))*28. Is g(h) composite?
True
Suppose 86496 = -2*u + 19*u. Suppose 6*k - 2550 = u. Is k composite?
True
Suppose 0 = 48*l - 36*l + 5376. Is (264376/l)/(1/(-8)) composite?
False
Let f be 5005/20 - (-3)/4. Suppose 3*r + 3*k - 5*k = 19, -5*k - 25 = 0. Suppose -4*g + f = -r*g. Is g a prime number?
True
Let g = -33 - -33. Let d be (g - (-5 - 0)) + (-3 - 0). Suppose d*p - 4 = 6, -3*x + 551 = 4*p. Is x a composite number?
True
Let l(x) = x**2 + 5*x - 3. Let h be l(-6). Suppose 8*k - 2 = -2. Is -2 + (1752 - -8) + (h - k) prime?
False
Let r be 2581 - (147/7)/3. Suppose 0 = 4*m + 2*x - r - 2564, -3*m + 3*x + 3840 = 0. Is m composite?
False
Let m = 388193 - 159486. Is m prime?
True
Let d be (-16)/(-10) + -2 - (-219040)/100. Let y = -613 + d. Is y composite?
True
Let y(g) be the first derivative of -7*g**4/4 + g**3/3 - 7*g**2/2 + 8*g - 133. Is y(-11) a composite number?
True
Suppose -9*d + 7*d - 3*v + 441 = 0, -3*d = 2*v - 669. Suppose -14*t + 10009 = -d. Is t a composite number?
True
Let n(o) = -7*o**2 + 913*o - 191. Is n(105) a prime number?
False
Let j = 34 + -19. Suppose 12*r - j*r + 6 = 0. Suppose -8*c = -r*c - 966. Is c a prime number?
False
Suppose -11*m + 452976 = -523043. Is m prime?
True
Let d = 12665 - -48666. Is d prime?
True
Let q(g) = 86*g**3 + 32*g**2 + 3*g. Is q(7) a prime number?
False
Let j = 123 - 91. Suppose 0 = y + 7*y + j. Let a(f) = 48*f**2 + 3*f - 5. Is a(y) composite?
False
Is (-5 - (2 - 8))/(-4 + 54309/13577) prime?
True
Suppose -3*m + 22 = 8*m. Is -36659*(-2)/18 + m/(-9) prime?
True
Let q = -43667 - -79965. Is q a composite number?
True
Let x(z) be the third derivative of 17*z**5/6 + 5*z**4/24 + 19*z**3/3 - 79*z**2 + 2*z. Is x(11) prime?
True
Let k = -45 + 26. Let o be 4*-1 + -5 + (-5 - k). Suppose 5*p = -o*l + 1320, 5*p - 3*l = -l + 1285. Is p a prime number?
False
Let u = -1318003 - -1868366. Is u prime?
False
Let s be 1 + (-7)/(28/(-23328)). Suppose -5*k - 2887 - s = 0. Let n = 3567 + k. Is n prime?
True
Let t be (-10)/(-4)*1606/365. Suppose -13 = -2*d - t, f + 2*d - 2581 = 0. Is f prime?
True
Let n(y) = -1289*y**3 - 8*y**2 - 75*y - 333. Is n(-5) prime?
True
Let z be 3/27 + 3/(135/85). Is z/(-4) - -1*6219/2 a prime number?
True
Let d be 5 - 1 - 7/(7 + 0). Suppose 5*o - n + d = 17, n = 4*o - 12. Is ((-1 - -2)/o)/(1/4666) prime?
True
Let m = 318172 - 204258. Is m a composite number?
True
Suppose -g + 12215 = -4*h, -4*g - 31*h = -35*h - 48848. Is g composite?
False
Suppose 12*m - 32*m = -1864140. Is m a composite number?
True
Let i be ((-29)/4)/((-7)/(-28)). Let b = i - -35. Is 307/(7 - b - 0/1) a composite number?
False
Suppose -4 = -4*h - t, 4*h = 4*t + 37 - 13. Suppose h*y = -2*g + 18364, g - 5*y = 394 + 8782. Is g composite?
False
Suppose 3*a + 4*s - 413729 = 0, 25 = -95*s + 100*s. Is a composite?
True
Suppose 0 = -t - 4*o + 128913, 171*o - 175*o + 515664 = 4*t. Is t composite?
True
Let y(b) = -34*b - 93*b - 221 - 169*b + 204. Is y(-18) a composite number?
True
Let r(c)