z - 759. Is x(-140) a prime number?
True
Let s(m) = 10*m + 130. Let q be s(-13). Suppose -2*p - 9*p + 66869 = q. Is p a prime number?
True
Let m = 189955 + -71516. Is m a composite number?
True
Let w be (13 - 5)*1/(-1)*-2. Suppose -w*f + 18*f = 8. Suppose f*u = -78 + 674. Is u a prime number?
True
Let g be (1521375/100)/(6/8). Is g - -4 - (-6 - (-6 - 2)) a prime number?
True
Suppose 0 = f - 1260 + 287. Suppose -5*o - 2*j = -f, -j - 54 = -2*o + 328. Suppose -7*a + o = -9306. Is a prime?
False
Suppose -8*n = -3*n - 25, -2*j + 95450 = -4*n. Is j a prime number?
False
Suppose -24*d = -20*d - 8. Suppose -d*t + 0*t + 2160 = 0. Let z = t + -599. Is z prime?
False
Let j be (2 + -1)/((-10)/105630) - -1. Let q = j + 17724. Is q composite?
True
Let c = 39 + -14. Suppose -2*j - 5*v + 8 = -v, c = j - 5*v. Suppose j*l = 14*l - 148. Is l prime?
True
Let y = -28 + 0. Let j = y - 11. Is (338/j)/(2/(-213)) composite?
True
Suppose -4 + 188 = 23*y. Suppose -y*s - 728 = -16*s. Is s composite?
True
Let r be 2/9 - (-3626)/(-441). Is ((-2)/r)/(6/602088) a prime number?
True
Suppose r - 2484 = -2459. Suppose 0 = r*l - 23263 - 15762. Is l a composite number?
True
Suppose -34*r - 5*w = -31*r - 157, 0 = 2*r - 5*w - 138. Let f = 268 - r. Is f a composite number?
True
Suppose -10*z + 110385 = 10505. Let r = z + 5371. Is r prime?
True
Let z(f) be the third derivative of f**5/60 - 5*f**4/24 - 5*f**3 - 2*f**2 + 74*f. Let m be -23 + -2*1 + 2. Is z(m) a composite number?
True
Suppose -15*b + 3*b - 4*b = -11395792. Is b prime?
True
Let a(x) = -2*x**2 - 17*x + 8. Let t be a(-9). Is 92*(-8047)/(-26)*t/(-2) prime?
False
Suppose 0 = 57*b - 1596062 - 1823311. Is b a composite number?
True
Suppose 24444 = 2*m - 3946. Suppose -16*l + m = l. Is l a composite number?
True
Suppose -3*s - 8 = -s, 138964 = 4*c - 2*s. Is c a composite number?
False
Let g = 288 + -284. Let w(n) = 531*n**3 + 7*n**2 + 10*n + 5. Is w(g) a composite number?
False
Let w(x) = -478*x + 14 + 10 + 69 + 20. Is w(-8) a prime number?
False
Suppose 0 = -358*l + 9*l + 14283523. Is l a composite number?
False
Suppose -5*t + 15135 = q + 4870, -3*q = -2*t - 30795. Suppose -60 = -13*l - 21. Suppose -2*v + q = l*v. Is v composite?
False
Let m(j) be the second derivative of -99*j**3/2 + 28*j**2 - 2*j + 17. Is m(-5) prime?
False
Let r(g) = -g**3 - 15*g**2 + 9*g + 37. Let d(a) = -a**2 + 6*a + 7. Let h(j) = -j**2 + 6*j + 5. Let o(u) = 3*d(u) - 2*h(u). Let z be o(9). Is r(z) composite?
False
Suppose -4*j - 3*d = -62, 4*j - 2*d = 5*j - 13. Suppose -54586 = 3*m - j*m. Is m a composite number?
True
Let w(z) = -21888*z - 2365. Is w(-11) a composite number?
True
Let b(d) = -362*d**2 - 6*d - 6. Let q be b(-6). Let u = q - -20285. Is u composite?
False
Let m = 437 + -433. Is -8 + 12 - (-3436)/m a composite number?
False
Suppose -3*h = 2*y - 5, 4*h + 5*y + 4 + 1 = 0. Suppose -14*x + h*x + 171 = 0. Is x prime?
True
Is -10*3/(-60)*(390215 + -1) a prime number?
False
Let m = 822460 - 345251. Is m a prime number?
True
Suppose 751907 = 46*u + 44289. Is u composite?
False
Suppose o = 3*o + 5*i + 17, -5*i = o + 21. Suppose 0 = b + 3 - o. Is 4 - (b + -4 + -171) a composite number?
True
Let p(x) = -7*x + 61. Let y be p(9). Let n(j) = 1099*j**2 - 15*j - 17. Is n(y) composite?
False
Let s = -19 + 23. Suppose -s*k - 5*l + 16 = -l, 5*l - 12 = -k. Suppose -k*h + 383 - 1 = 0. Is h composite?
False
Let q(j) = j**3 - 17*j**2 + 34*j + 37. Let x(r) = -2*r**2 + 7*r + 15. Let i be x(0). Is q(i) prime?
True
Let m(b) = -77*b**2 + 6*b - 6. Let p(n) = 78*n**2 - 7*n + 6. Let i(c) = -3*m(c) - 2*p(c). Is i(2) a prime number?
False
Let q = 50981 - -7776. Is q prime?
True
Let o = 9236 + 9865. Is o a prime number?
False
Let p = 149 + -145. Let v be 1/(11/p - 4)*-15740. Let d = v - 4047. Is d a prime number?
False
Let w = 1093039 + -514110. Is w prime?
False
Suppose 156750 = -10*z + 2442358 + 1576962. Is z prime?
False
Suppose 0 = -4*n - 2*v + 5*v + 4631740, 9*v - 72 = 0. Is n a composite number?
True
Let l be (-2677732)/(-60) + (-3)/((-45)/2). Suppose 4*i = -w + l, -109081 = -3*w + 4*i + 24870. Is w composite?
True
Let d(k) = -6566*k - 14. Let h be d(-2). Suppose -5*p + 4*l = -h - 21605, -5*l = -p + 6932. Is p composite?
False
Let h be (-1)/((-5 - (-84)/16)*-4). Is 55/33 - (h + (-18091)/3) composite?
True
Let r(d) = 166*d**2 - 7. Suppose -15 = -3*k - 4*m + 15, -3*k + 24 = 2*m. Is r(k) composite?
True
Let r be (-7 + 1)/(2/(-82)). Suppose 2*y = 0, -2*y + 38 = -2*t - 52. Let m = t + r. Is m a prime number?
False
Let s = -13849 + 25794. Is s composite?
True
Suppose -7*o = f - 2960, 3*f - o + 3*o = 8823. Is f composite?
False
Let w(b) = 21485*b + 417. Is w(26) prime?
False
Let d = 264 - -464. Suppose x - 4*z + 1 = 0, -3*x - 80*z + 12 = -77*z. Suppose -8177 = -5*t + x*j, 4*t - 7272 + d = 3*j. Is t composite?
True
Let l be (1*19816/24)/((-2)/(-6)). Let q = l - -10418. Is q prime?
False
Suppose -44*z = -27*z + 595. Is (-2)/7 - 865455/z - -6 prime?
True
Suppose 13*v = 22 + 17. Let j = v + 4. Suppose 5*r - j*l + 9*l - 2927 = 0, 2923 = 5*r + 3*l. Is r a prime number?
True
Suppose -5*z + 270790 = -10*h + 15*h, -3*z + 216629 = 4*h. Is h composite?
True
Let t be (-115)/(-138) + 10/(-12). Suppose -4*k + 22939 = m - t*k, -m = -5*k - 22921. Is m prime?
False
Let g = 53 + -55. Let q be ((-6)/3 - g)/(-1). Suppose q = 3*h - 4*k - 234, 2*h = -2*k - 7 + 177. Is h a prime number?
False
Is (-333004)/(-6) + 0 + 431/1293 composite?
False
Let b = -1949 + 6171. Is (b/4)/(3/6*1) a composite number?
False
Suppose -4*j = -3*j - 1. Let d be (-45)/30*(-2)/j. Is 638/3 - 5/d composite?
False
Let n(b) = b**2 + 4*b - 9. Let f be n(-6). Suppose f*v + 2486 = -475. Let k = v + 2246. Is k prime?
True
Let x = 54 + -127. Let j = x + 67. Let n(h) = 25*h**2 - 8*h + 5. Is n(j) composite?
False
Let l(i) = -6*i**3 + 2*i**2 + 5*i - 13. Let d be l(6). Let o = d - -3926. Is o composite?
False
Suppose -a - 5*k = -20839, 6*a - 11*a + 104235 = 5*k. Is a composite?
False
Is 5 + 5 + -4 - (-18467 - 8) a composite number?
False
Let b(d) = -3*d - 16. Let n(c) = 2*c + 8. Let y(j) = 3*b(j) + 5*n(j). Let f be y(5). Is 1148 - (-3)/2*(f - -5) a composite number?
False
Let x = -65 - -76. Suppose x*j - 13025 = 4212. Is j composite?
False
Suppose -12 = -5*l + l. Suppose l*p = 3457 + 12098. Suppose -4*k - 2*s + p = k, -2*s + 1029 = k. Is k composite?
False
Let w(o) = 26*o**2 - 43*o + 98*o - 61*o + 14. Is w(2) composite?
True
Suppose 7169088 - 374586 = 61*n + 850357. Is n composite?
True
Let a(k) = -6*k**2 + 35*k - 8. Let r be a(33). Let q = r + 16186. Is q composite?
False
Suppose 98*c = 83*c + 3186555. Is c prime?
True
Suppose -29*j = 379220 - 1192351. Is j composite?
True
Suppose -2*o + 14089 = 3*b, -4*b + 10728 = -2*o - 8076. Is b a composite number?
True
Let h(c) be the third derivative of 205*c**4/8 - c**3/3 - 137*c**2. Is h(23) prime?
True
Let p(d) = -d**2 - d + 267. Let k be p(-17). Let c(x) be the first derivative of -7*x**4/2 + 5*x**3/3 - 2*x**2 + 12*x + 1. Is c(k) prime?
True
Let o(c) be the second derivative of -c**5/20 + c**4/2 + c**3/6 + 7*c**2/2 + 18*c. Let x be o(6). Suppose -x*u + 19611 = -4*u. Is u a prime number?
True
Let p(g) = g**2 - g + 3. Let i be p(0). Suppose 5*t + x - 2*x - 702 = 0, 3*t + i*x = 414. Suppose s + 3*c - t = -2*c, -4*c + 135 = s. Is s a prime number?
False
Let w be -2*(4074/(-4) + 2). Suppose 0 = -5*h - 4*x + w + 408, 5*x = -5. Suppose 6*c - h - 5445 = 0. Is c prime?
False
Suppose 4*o - 3*b + 0*b - 149549 = 0, 2*o = 3*b + 74779. Suppose o = -52*f + 57*f. Is f a prime number?
True
Is ((-730308)/18)/(28/(-42)) a prime number?
True
Suppose 23*g - 15*g = -160. Let f(n) = -512*n - 179. Is f(g) prime?
True
Suppose -68*u + 491 + 189 = 0. Suppose u*k - 34775 - 30615 = 0. Is k prime?
False
Let m = -212 + 218. Let h(g) = 25*g**3 + 13*g**2 - 51*g + 5. Is h(m) prime?
False
Let o be (0 - (-4 - -4)) + -1 + 0. Let j(t) = 138*t**2 + 3*t + 1. Let h be j(o). Suppose 3*g + 37 = h. Is g a composite number?
True
Let l(h) = 192*h**2 - 53*h - 340. Is l(33) a prime number?
False
Let k(p) = -2*p**3 - 14*p - 6*p**2 + p**2 + 1 - 11 - 4*p**2. Is k(-11) composite?
True
Let m(i) = 1474*i + 475. Is m(59) prime?
False
Let o(d) be the first derivative of 55*d**4/4 + 5*d**3/3 + 3*d**2/2 - d + 62. Is o(4) a prime number?
False
Su