w + 3*h = -823, -5*w - 3*h = -w - 1655. Is w prime?
False
Is -4*(-29629)/8*2 a prime number?
True
Let x be (-3)/(-4)*(-13 + 33). Suppose 0 = x*g - 40740 - 3165. Is g prime?
True
Let y be 5186/8 - (0 - (-3)/12). Let t = -313 + y. Is t a prime number?
False
Suppose 4413 = 2*a + 459. Is a a prime number?
False
Is (-61660)/(-7) - (84/(-49))/4 composite?
True
Suppose 4 = 2*l - 0. Suppose 0 = -v - q + 3, l*q + 4 = -2*q. Suppose -261 = -3*c + 4*h, 204 = v*c - 5*h - 145. Is c prime?
False
Let g(o) = -3 - 11*o**2 + 3*o + 4*o - 2 + 12*o**2. Is g(-9) a composite number?
False
Let n(q) = 2973*q**2 + 2*q + 8. Is n(-3) prime?
True
Suppose 3*p = 2*p - 6. Is -3 - 3/(p*(-3)/(-1524)) a composite number?
False
Suppose -104 = 5*f - 4*g, f - 20 = 2*f - g. Suppose -25*m - 400 + 50 = 0. Let t = m - f. Is t prime?
False
Let f(z) = z - 9. Let j be f(13). Suppose 4821 = j*i - 2207. Is i prime?
False
Suppose -6*k = -k - 25, 4*k - 7729 = -q. Suppose 0 = -5*f + q + 12846. Is f a composite number?
False
Suppose 0 = 92*l - 89*l - 53121. Is l prime?
True
Let t(h) be the first derivative of 164*h**3/3 - h**2/2 + 4*h + 4. Let l be t(4). Suppose 5*u - 3270 = 5*r, 0 = -6*u + 2*u - 4*r + l. Is u prime?
False
Let t = 135 + -276. Let h = 416 - t. Is h a composite number?
False
Let w(s) = -3*s**3 + 3*s**2 + 2*s - 4. Let f be w(-3). Suppose 127 + f = 3*t. Suppose 5*k - 770 = t. Is k prime?
False
Let l = -20627 + 32284. Is l a prime number?
True
Let h = 1718 - 595. Is h prime?
True
Suppose 8 = -4*d, -5*l + 28*d - 27*d = -290647. Is l a composite number?
False
Let d be (-13078)/(-7) + 18/(-63). Suppose 22*j - 26*j = -d. Is j prime?
True
Let x(a) = -a + 3. Let l be x(-1). Is (-20)/(-3)*((-2589)/(-12) + l) a prime number?
False
Is -3 + 6 - 4 - (1 - 16673) a composite number?
True
Let w = 7810 + 30229. Is w prime?
True
Let f(u) be the third derivative of -71*u**4/24 + 3*u**3/2 - 5*u**2. Let m be (104/39)/(2/(-3)). Is f(m) composite?
False
Let h(g) = -20*g + 36. Let y be h(4). Is (-10)/(-8) - 138237/y prime?
False
Suppose -13 = -4*g + 3. Suppose 2*q = g*q - 96. Let s = q + -27. Is s a composite number?
True
Let z be 7/(105/40)*6. Suppose 4*d = -n + 293 - z, 4*n + d = 1033. Is n prime?
True
Let r = -2874 - -9017. Is r composite?
False
Let z = -489 + 2274. Let h = z - 538. Is h a composite number?
True
Let w(r) = -459*r. Let h be w(-2). Suppose h + 2917 = 5*b. Is b prime?
False
Suppose -4*r = 4*i + 1049 - 6489, 4*i = -5*r + 5439. Is i composite?
False
Let j(r) = -r**3 + 2*r**2 + 10*r - 14. Let b be j(-12). Let x = b + -1101. Is x composite?
True
Let h(v) = 2*v - 3. Let w be h(4). Let y = w + -2. Suppose -5*t + 70 = -y*t. Is t composite?
True
Let f = 547 - 274. Let g = f + 356. Is g a composite number?
True
Let a = 179 - 305. Let t = 203 + a. Is t composite?
True
Let d = -8538 - -12029. Is d a prime number?
True
Let w be (-1*1 + 5)/(20/10). Suppose 4*d - 6037 = -4*h + 12427, -w*d - 23059 = -5*h. Is h a composite number?
True
Let j = -45 - -27. Let c be (-24)/(-108) - 3182/j. Is c - (1 + -1 + 0) a prime number?
False
Suppose -2*c + 9552 - 3126 = -4*l, -l = 5. Is c a composite number?
False
Suppose 0 = -7*i + 4*i - 5*x + 10156, -3*i + 3*x + 10116 = 0. Is i composite?
True
Let o = -21 + 59. Suppose o + 315 = d. Is d a prime number?
True
Let s = -825 + 1165. Suppose -1868 = -8*o - s. Is o prime?
True
Suppose -134*z = -58*z - 333716. Is z prime?
True
Let m(b) = b**3 + 12*b**2 + 11*b + 2. Let o be m(-11). Suppose u - 1 = o, 5*u - 1480 = -5*k. Is k a prime number?
True
Let s be (-108)/(-12) + (0 - 0). Is 24*14 + s/(-9) a prime number?
False
Let h(r) = 140*r - 13. Let u be 7 + 2 + 0/(-5 - -3). Is h(u) a prime number?
False
Is 1481 - (-13 + 13)/12 a composite number?
False
Suppose 0 = -2*k - 2*k - 3*d + 23, 0 = 2*d - 10. Suppose 0 = 2*r - k - 0. Is (-1528)/2*r/(-4) prime?
True
Is 10/(-75) - (1 - (-78362)/(-15)) composite?
True
Let k be (1/1)/(3/12). Suppose 4*j + k = 5*j. Suppose 3*y = x + 2*x - 33, 0 = j*x - y - 41. Is x composite?
True
Is 575232/60 + (-3)/15 composite?
False
Let c = -24 - -30. Suppose -3*a + 747 = c*a. Is a prime?
True
Suppose 5*r + m + 2*m - 3890 = 0, -r + 778 = -4*m. Suppose -z + 3*z - r = 0. Is z composite?
False
Let v(j) = -28*j**3 - 9*j**2 - 12*j - 33. Is v(-4) a prime number?
True
Suppose 2*a - 14113 = 4*x + 23829, -4*a = 5*x - 75845. Suppose -3*k = -8*k - 4*j + a, -5*j = k - 3793. Is k composite?
False
Suppose 13597 + 950 = 3*x. Let a = -3122 + x. Is a prime?
False
Suppose 3*k + 2*k = 3495. Suppose 5*q - 2*j + k = 6842, 1243 = q - 4*j. Suppose -2*y - y = -q. Is y a composite number?
False
Suppose 0*m = 3*c + 3*m - 27, -c = -2*m. Suppose -10*j + 932 = -c*j. Is j a composite number?
False
Is ((-14126)/(-3 + -4))/((-8)/(-68)) a prime number?
False
Let n(y) = y**2 - 28*y - 128. Is n(-5) a composite number?
False
Let u = 5351 + -3133. Is u a composite number?
True
Suppose z + 4 = 5. Is z*222*1/9*3 composite?
True
Let c = 3 - 1. Suppose -q + u + 70 + 110 = 0, 4*u = 0. Suppose -5*o + 220 + 224 = -m, -q = -2*o - c*m. Is o prime?
True
Suppose -5*u = 4*n + 136, n + u + 30 + 4 = 0. Let l = 173 + n. Is l a prime number?
True
Suppose -f + 405 + 248 = 0. Is f a prime number?
True
Let f = 117969 + -68470. Is f a composite number?
False
Let d be (-22)/33 - (-20)/(-6). Let w(n) = -53*n - 9. Is w(d) composite?
True
Let o(n) = -n**3 + 5*n**2 + 10*n - 12. Let q be o(6). Let b(c) = -3*c - 1. Let v be b(-5). Suppose 0 = v*y - q*y - 478. Is y a prime number?
True
Let q(z) = 32*z - 18. Let k be q(-9). Let p = 170 + k. Let r = p + 198. Is r a composite number?
True
Let n(i) = -23*i - 1. Let r(h) = 1. Let b(x) = 35*x + 8. Let k(l) = b(l) - 6*r(l). Let c(w) = -5*k(w) - 7*n(w). Is c(-9) a prime number?
False
Let l(p) = 814*p**2 - 90*p + 25. Is l(-9) a prime number?
False
Let b be 2 + -4 - 67*-3. Let q be 143/3 - (12/(-9))/(-2). Suppose -2*a - 5*f + b = 0, 4*a - 2*f + q = 433. Is a a composite number?
False
Suppose -2*s = -3*s. Suppose 4*w = -s*w - 24. Is ((-52)/w)/(10/45) a prime number?
False
Let m = 67 - -312. Is m a prime number?
True
Let j be (96/9)/(1/270*4). Suppose 0 = 5*n - 4*r - 2250, j + 623 = 3*n - r. Is n composite?
True
Let o(h) = -h - 4. Let v be o(-7). Suppose b = -v*z + 3, -3*z - 5*b + 0*b - 9 = 0. Is ((-6)/3 + 196)/z prime?
True
Let o(q) be the third derivative of q**5/30 + 5*q**4/8 + 2*q**3 + 18*q**2. Is o(-11) a prime number?
True
Suppose 0 = a - 356 - 207. Is a a prime number?
True
Let m(s) be the first derivative of -s**3/3 + 15*s**2/2 + 7*s - 1. Is m(12) a prime number?
True
Suppose -2*z - 4*x = -132138, 9*x = -5*z + 5*x + 330369. Is z prime?
False
Let x = -26 + 30. Is (1068/24)/(2/x) a composite number?
False
Suppose 332*c - 279008 = 316*c. Is c composite?
True
Suppose j - 6*j = -2*o - 32, 0 = -4*j - o + 36. Let l = -96 + 135. Let s = l - j. Is s composite?
False
Let h be -3 - (4/6 + (-16700)/12). Let a = h + -495. Is a composite?
True
Let l(k) = k + 5. Let i be l(-2). Suppose -i*x = -4*x + 1189. Is x a prime number?
False
Suppose 0 = -3*l - l + 92. Suppose -9*w = -114 - 156. Suppose -o + l = -w. Is o a composite number?
False
Is -1 + 14/18 + (-234749)/(-9) prime?
True
Let i be (-10 - -18) + (-1 - 1). Suppose -2*s - 183 = -j, -7*s + i*s + 177 = j. Is j a prime number?
True
Let h = 13 - 20. Let w(f) = -f**3 + 3*f**2 + 8*f + 8. Let v be w(h). Is v/(-1*(-8)/4) a composite number?
True
Let w(p) = 29*p**2 - 15*p + 25. Let g be w(11). Suppose -2*z + 3*z - 669 = -2*v, 5*z = -4*v + g. Is z a composite number?
False
Let y(k) be the second derivative of k**3 + 7*k**2/2 + k. Is y(5) a prime number?
True
Let k(b) = -82*b**3 + 7*b**2 - 8*b. Let z be k(3). Let g = z + 3989. Is g a composite number?
True
Let q(o) = -3*o - 13. Suppose 3*a - 5*v = -a - 10, 3*v + 1 = a. Let t be q(a). Suppose -5*k = -2*x - 164, 0 = t*k + 2*x - 28 - 46. Is k composite?
True
Let a(r) = r - 11. Let s be a(19). Suppose -s*h = -4*h - 18516. Is h composite?
True
Let o = 47 - -345. Suppose 2744 - o = 6*z. Suppose 4*h = -g + z, -205 - 167 = -4*h + 4*g. Is h a prime number?
True
Let b(f) = -2*f**3 + 31*f**2 - f + 27. Let j(o) = -o**3 + 15*o**2 - o + 13. Let i(k) = -2*b(k) + 5*j(k). Is i(12) a composite number?
True
Let k(t) = 3*t**3 + t**2 + t. Let v = -7 - -20. Let p = -10 + v. Is k(p) composite?
True
Let b = -3966 + 