 + 57*s + 1 + 2. Is u(b) prime?
False
Let y be ((-43)/(-2))/(((-36)/80)/9). Let v = y + 629. Is v prime?
True
Let o(v) = -10006*v**3 + 3*v**2 - 5*v - 7. Is o(-1) composite?
False
Let p be -1*1 - (-10 - -4). Suppose -p*r - 3082 = -2*q - 4*r, 0 = -q - 2*r + 1551. Is q composite?
False
Let c(f) = 124*f**3 - f**2 - 6. Is c(2) composite?
True
Let x(k) = k**2 + 8*k + 5. Let t be x(-8). Suppose 3*h = -t*m + 679, h - 133 - 110 = -5*m. Suppose -4*c + h + 234 = 0. Is c composite?
False
Suppose -3*t + 4*b + 13 = 4, 3 = t + b. Suppose 4*r - 3*d - 464 = -d, t*r - 337 = -4*d. Is r a composite number?
True
Let t = -47 - -34. Let a be t/(-15) - 4/(-30). Suppose -a = -3*g + 32. Is g a prime number?
True
Let w(d) = 176*d**2 - 7*d - 8. Let r be w(-7). Suppose -5*v + r = -540. Is v a composite number?
True
Let a = 69 + -62. Suppose 3*v - a*t = -3*t + 925, 0 = 3*v + t - 920. Is v a composite number?
False
Let l(r) = 494*r**3 + 2*r - 3. Suppose 2*q + 4*f = -18, 3*q + 2*f + 14 = 7*q. Is l(q) composite?
True
Suppose w + 2*m - 441 = 0, m + 1722 = 5*w - 538. Is w a prime number?
False
Let d = -41942 - -64363. Is d prime?
False
Let i = -1027 + -3. Let t be i/(-4)*28/(-35). Let a = 101 - t. Is a a prime number?
True
Let b = -12738 + 20053. Suppose 4*k = 1089 + b. Is k a composite number?
True
Let n(d) = -1432*d**3 - 2*d**2 - 4*d - 7. Is n(-3) a composite number?
False
Let j = -2117 + 315. Let g = j - -3139. Is g a prime number?
False
Suppose -4*h = -2*m - 418, 5*m + 4*h + 529 + 516 = 0. Let d be (-192)/33 + (-6)/33. Let s = d - m. Is s prime?
False
Let f = 6537 - 3458. Is f composite?
False
Let v(n) = -n**2 + 3*n + 9. Let g be v(-6). Is (-1956)/(-10)*g/(-18) prime?
False
Let o(g) be the first derivative of -443*g**2/2 - 14*g + 21. Is o(-5) prime?
False
Let j = 62 - -1209. Is j prime?
False
Let y(a) = -a**2 - 6*a + 1. Let f be y(9). Is f/(-6) + 12/(-36) prime?
False
Suppose 5*t + 28329 = n, -2*n = -231*t + 233*t - 56706. Is n a prime number?
True
Suppose 11*x + 35971 = 131022. Is x composite?
False
Let q be (-8)/3 - -3 - (-14)/3. Suppose -2*y - 2 = 0, 2*m = -0*m - q*y + 13. Is m prime?
False
Let d = 16 + -9. Suppose d*j = 10*j. Suppose -4*m + 883 + 297 = j. Is m a prime number?
False
Is (-18 - -856)*(-3 - 21/(-6)) a prime number?
True
Suppose -3*i = -i + 3806. Let t = -1352 - i. Is t a prime number?
False
Let b be 27 + 2 + 4/(-4) - 0. Is ((-7294)/b)/(1/(-6)) composite?
True
Suppose -3*l + o + 56 = 0, l = -2*l + 4*o + 44. Is 71920/l + (-2 - 1) a prime number?
True
Is (-3)/7 + ((-115323)/(-21))/13 prime?
False
Is (2 + -1)/((-9)/1407690*-10) prime?
True
Suppose -4*t = -5*a + t, 0 = -a - 4*t + 25. Suppose a*g = 9*g - 1652. Is g prime?
False
Let a(p) = -2*p + 2. Suppose -4*t + 0*t + 20 = 3*f, 0 = 4*f. Let q be a(t). Let g = -1 - q. Is g a composite number?
False
Suppose -33*g = -32*g + 4. Let i(n) be the first derivative of -53*n**2/2 + 3*n - 1. Is i(g) a prime number?
False
Suppose -3*c = -4*a - 84, -5*c - 35 - 17 = 4*a. Let q be (27/(-12))/(a/48). Suppose 0 = -2*k + 2*m + 244, q*k - 247 = 4*k + 3*m. Is k a composite number?
True
Let a(s) = -2932*s**3 - 2*s - 1. Is a(-2) a prime number?
True
Suppose -4*q + 7 = 5*r - 17, -3*q = 4*r - 19. Suppose r*i - 3653 = -3*z, -5*z + i + 6096 = -0*i. Is z prime?
False
Suppose 0 = -2*v - 6, 3*a + 4*v - 17778 = 7*v. Is a composite?
False
Let b be 3/(-6)*-58 + 3. Let z = 160 - b. Let c = z + 170. Is c a composite number?
True
Suppose -3 = 2*l - 5. Let d = 3 + l. Suppose -d*q + i + 834 - 63 = 0, 3*q - 4*i - 562 = 0. Is q a prime number?
False
Suppose -6*x + h + 119788 + 101997 = 0, -h = 3*x - 110900. Is x composite?
True
Is (0 - 3/4) + (-12825)/(-60) a prime number?
False
Let m be (18/8)/(1/4). Suppose -m*b = -466 - 1199. Is b a composite number?
True
Let o(q) = q**3 - q**2 - q. Let k be (-8)/(-5) - (-2)/5. Let s be o(k). Suppose s*h = -9*c + 4*c + 1493, h = -1. Is c a composite number?
True
Let j be ((-8)/40*4)/(2/(-50)). Suppose 0 = -5*i - j, -q + 3*i + 2*i = -1381. Is q a prime number?
True
Let m(s) = -5*s**3 + 7*s**2 - 18*s - 36. Let d be m(-10). Suppose 0 = 6*v - d - 28134. Is v a prime number?
False
Let i(x) be the third derivative of -275*x**4/24 + x**3/6 + 19*x**2. Is i(-2) a composite number?
True
Let c be (1*129)/((-45)/(-285)). Let d = c + 72. Is d prime?
False
Suppose -54*g + 50665 = -49*g. Is g prime?
True
Let f be 2070/27*(-24)/(-10). Let c = f - -121. Is c a prime number?
False
Let b = -84 + 390. Let y be 2/(4/(-2)) + 6. Suppose -2*j + y*j - b = 3*w, 20 = 5*w. Is j composite?
True
Let g be (20/12)/5*2043. Suppose g = -6*t + 3*t. Is (-2)/4*(-3 + t) a prime number?
False
Let b(t) = 215*t**3 + 4*t**2 - 8*t + 25. Is b(4) a prime number?
False
Suppose 3*k + 3 = -2*j - 5, 0 = -5*j - 5. Is -3 + (1284/k)/(-3) prime?
True
Let f = 3225 - 1486. Is f prime?
False
Suppose -88 - 360 = -3*o - 5*v, 294 = 2*o + v. Is o prime?
False
Suppose 5*h + 2*k - 10 = 0, -h = h - k - 13. Let p = -90 - -96. Is (h/p)/(14/2667) composite?
False
Let m(q) = 1000*q + 369. Is m(7) composite?
False
Let y(x) = -263*x**3 + 2*x**2 + 3*x - 2. Let p be y(-2). Suppose 620 = -4*b + p. Is b composite?
True
Suppose -6*g + 10 = -g. Suppose 377 = t + g*d + 2*d, 2*t - 4*d - 754 = 0. Is t prime?
False
Let y(x) = -14273*x + 112. Let g(v) = 892*v - 7. Let d(j) = 63*g(j) + 4*y(j). Is d(-2) a prime number?
False
Let r(z) = z**3 + 41*z**2 - 58*z + 141. Is r(-41) a composite number?
True
Let j(s) = s**3 - 15*s**2 + 11*s - 20. Suppose -3*p = 3*x + p - 57, 2*x - 3*p = 21. Is j(x) a prime number?
False
Suppose 7 - 1 = 2*d. Suppose 5*b + 11 = -d*p - 0*b, 2*b = -8. Suppose -2*t = -p*q - 3*t + 718, 3*q - 720 = -3*t. Is q a prime number?
True
Is (-4410206)/(-70) - 100/(-1750) a prime number?
False
Let k(i) be the second derivative of 2*i**4/3 + 2*i**3/3 + 31*i**2/2 - 7*i. Is k(-14) a composite number?
False
Let q be ((-4)/6)/((-4)/(-18)). Is (16/(-24))/1 - 95/q prime?
True
Let w(y) = -y**2 + 1. Let o be w(1). Let l be o*3*(-1)/(-3). Let a(v) = -v**3 + v**2 - v + 119. Is a(l) prime?
False
Let t = -46 - -33. Let k = 48 + t. Suppose 0*a + a - k = 0. Is a a prime number?
False
Suppose -3*u + 26*u = 889939. Is u composite?
False
Let j(i) = i**2 + 15*i - 51. Let a be j(12). Suppose -4*g + 30 = 6. Suppose -3*d = -g*d + a. Is d a composite number?
True
Let c = -44 - -45. Is 12808/12 - ((-2)/3 + c) composite?
True
Let y(i) = 10*i**2 - 8*i - 12. Let m(w) = w**2 + w + 1. Let x(s) = -5*m(s) + y(s). Is x(-7) a composite number?
True
Suppose 7 - 3 = 4*a. Suppose -a + 35 = w. Is w a prime number?
False
Let p = 42 + -24. Let v be (-1)/4 + p/8. Suppose -h = -2*u + 3*h + 190, 192 = 2*u - v*h. Is u a prime number?
True
Let c(m) = 156*m**2 + m - 15. Is c(-8) a prime number?
False
Suppose -19*f + 12*f + 37681 = 0. Is f a composite number?
True
Suppose -21*j = -23*j + 7366. Is j prime?
False
Suppose -24233 = -86*v + 75*v. Is v a prime number?
True
Suppose 0 = -4*s - 12 + 20. Suppose -s*w = 2*y - 1046, 375 + 144 = y - w. Is y composite?
False
Suppose -2*u - 86 + 684 = 0. Is u a composite number?
True
Suppose -12*v = 2*v + 2814. Let b(c) = 3*c**3 + c**2 - 2*c - 6. Let q be b(-5). Let h = v - q. Is h prime?
False
Suppose -17 = -2*w - 2*h - h, 3*h = 9. Suppose w*f + d = -816, d - 605 = 3*f - 0*f. Let k = 512 + f. Is k composite?
True
Suppose w = -5*b + 61, -5*b = -w + 4*w - 63. Let i be (-1*b/3)/1. Let x(p) = -2*p**3 - 5*p**2 + 2*p - 5. Is x(i) a composite number?
True
Let d = -10 - -12. Suppose 6*m = -5*o + d*m + 18075, -3*o - 3*m + 10848 = 0. Is o a composite number?
True
Let d = -134 - -275. Is d a composite number?
True
Let q = 2213 + 2654. Is q a prime number?
False
Let r = 446 + 323. Is r prime?
True
Let u = 1702 - 844. Is (-24)/(-12) - u/(-2) a prime number?
True
Let u(v) = -302*v**2 - v. Let a be u(3). Is (-1)/15*a*5 composite?
False
Suppose 5*x - 4*x = 1. Let a(d) = -d**2 + 11*d - 11. Let g be a(10). Is (-1)/g - (x - 53) a composite number?
False
Suppose -447*z + 448*z - 45239 = 0. Is z prime?
False
Suppose 3*v - 9 = -2*l, 3*v = l + l + 9. Suppose -v*b = w - 328, b + 215 = 3*b - 3*w. Is b a prime number?
True
Let m = 120 - 60. Let z = 432 - 432. Suppose 3*i - 126 - m = z. Is i a prime number?
False
Let j = 470 + -76. Suppose 5*n - t = 12, -29*n + 30*n = -t + 6. Suppose 0 = n*u - 953 - j. Is u composite