u = -4305. Is u prime?
False
Suppose 96*u = 29*u - 723 - 2225. Let y be (-95)/(-3)*(-3)/(-1). Let m = y + u. Is m composite?
True
Suppose -3*k = -2*j - 1070417, -713622 = -2*k - 7*j + 11*j. Is k a composite number?
False
Is 17*1*(-24592093)/(-11441) a prime number?
True
Is (-3 - (-1113834)/36)/((-31)/(-186)) a composite number?
False
Let c(p) = 1440*p**2 + 6*p + 47. Is c(5) a composite number?
True
Is 3 - (13605/45)/((-465)/(-468) - 1) composite?
True
Suppose -4*h - 39 + 175 = 0. Is (-36 + h)*-1073*(-1)/(-2) prime?
False
Let m(j) = j**3 + 5*j**2 + 6*j + 10. Let d be m(-3). Let q(u) = 343*u - 32. Is q(d) composite?
True
Let s(v) = -1009*v + 2. Let x(m) = -4*m**2 + 85*m - 22. Let r be x(21). Is s(r) a prime number?
False
Let z(f) = 260*f**2 + 4*f - 5. Let i = 214 + -217. Is z(i) a composite number?
True
Let y(v) = 9*v + 22. Let z(d) = -2*d. Let s(k) = -y(k) - 2*z(k). Let u be ((-22)/(-4))/((-2)/4). Is s(u) prime?
False
Suppose -94 = -20*b - 34. Suppose -b*w - 101415 = -5*y, -4*y = -4*w - 80914 - 218. Is y a composite number?
True
Is 373327*4*(-10)/(-40) a composite number?
False
Let h(b) = b**3 - 37*b**2 + 60*b - 65. Let p be h(38). Let l(d) = -1793*d + 1. Let v be l(1). Let y = p + v. Is y composite?
False
Let v = 132254 + -56361. Is v a prime number?
False
Suppose 65*i - 168 = 63*i. Is 113413/8 - (i/32 + -3) a prime number?
True
Let z be (1 - -8) + (1 - 0). Suppose -3*b = -4*t + z - 0, 5*t = -5*b + 30. Is (1172/12)/(b/6) prime?
True
Suppose 5*c + 2790 = 5*d, 11*d = 3*c + 12*d + 1678. Let h be 3216/(-10) - (-10)/(-25). Let l = h - c. Is l prime?
False
Let k(t) = 1 - 7*t + 24*t**3 + 5*t + 129*t**3. Let p be k(1). Suppose -2*u + p = -510. Is u composite?
False
Suppose a - 5579 = z, 2*z + 9165 = 3*a - 7577. Let x = a - 3641. Is x prime?
False
Let i = -144 - -163. Suppose 17*t + 4871 = 3*k + i*t, 0 = 2*k + 2*t - 3250. Is k composite?
False
Suppose -6*z + 540962 = 154400. Is z prime?
False
Let s be (-402)/335*30/(-4). Suppose s*x - 7742 = -983. Is x a prime number?
True
Let u = 712 + 753. Let k = -668 + u. Is k a prime number?
True
Let i(m) = 4*m - 36. Let d be i(2). Is (d/6)/(2/(-3189)) a composite number?
True
Suppose -3*f - 2*m + 338 = -590, 0 = 2*m + 2. Let a = f + 99. Is a a composite number?
False
Let s = -1825 - -11067. Is 50/(-20)*s/(-5) composite?
False
Suppose -4*q + 3*z + 6601736 = 0, -4302*q + 5*z + 1650417 = -4301*q. Is q a prime number?
True
Is 2/2*-3 - 9/(81/(-1471518)) a composite number?
True
Let m(k) be the first derivative of -k**7/840 - k**6/72 - k**5/30 - 5*k**4/24 - 4*k**3/3 + 25. Let s(b) be the third derivative of m(b). Is s(-10) prime?
False
Let j(w) = 23*w**2 + 2*w + 4. Let f be j(-12). Let g = f + -1049. Suppose 2*n + 4*h + 29 - 1163 = 0, -4*n + g = 3*h. Is n a prime number?
True
Let m(i) = 500*i - 787. Is m(24) prime?
True
Let x(t) = 7*t - 17. Let j(h) = 4*h - 9. Let r(u) = -5*j(u) + 3*x(u). Let f be r(9). Suppose 5*z + 4*d - 802 = 3*z, -f*d = z - 403. Is z a prime number?
True
Let h(r) = 21*r**2 + 6*r + 5. Let a be ((-350)/(-21))/((-2)/(-3)). Suppose a = 5*n, -4 = -v - 5*n + 17. Is h(v) a composite number?
False
Suppose 5035*w - 71367 = 5032*w. Is w a composite number?
False
Suppose 0 = -2*w - 18, -5*a + 617849 = 2*w - 654368. Is a a composite number?
False
Let v = 10450 + 10287. Is v composite?
True
Let n(y) = -y**3 - 5*y**2 + 4*y - 12. Let t be n(-6). Suppose -4*l = -t*l - 5036. Is l prime?
True
Let k = 4894 + -3359. Let j = k + -232. Is j prime?
True
Let k = 351 - 346. Suppose 2*n - 35 = w, -44 = -4*n + 3*w + 23. Suppose -n*b = -k*b - 21098. Is b prime?
False
Let x = 48 - 48. Suppose -10*g + 3*g + 2086 = x. Is (-2 - g/4)*(-4)/6 a prime number?
False
Suppose 11*w = 36*w + 125. Let s(q) = 580*q**2 - 23*q - 144. Is s(w) composite?
True
Let o = 44309 - -55820. Is o prime?
True
Let h(z) = -z**3 - 2*z**2 + z + 14969. Is h(0) composite?
False
Suppose s = 3*s - 5*f + 16, 3*f = -2*s + 16. Suppose -134 - 176 = -s*i. Suppose -237 - i = -8*b. Is b prime?
False
Suppose 6*n = 4*j - 4207042, -69*j + 67*j = -4*n - 2103530. Is j a prime number?
True
Let n(c) = 278*c**3 - 2*c**2 + 2*c - 6. Let a be n(3). Suppose 0 = 7*r + a - 42383. Is r a composite number?
True
Suppose 29*k + 5*f = 32*k - 721251, k = -3*f + 240389. Is k prime?
False
Suppose 5*v - 5*p - 279805 = 0, 5*v - 3*p + 994 = 280811. Is v prime?
True
Let z = -55831 + 259862. Is z prime?
False
Suppose d + 3*d = -2*z + 16, 0 = 5*d - 10. Suppose m - 5*o = 940, -o - z*o - 1895 = -2*m. Suppose -47*t - m = -52*t. Is t a prime number?
True
Let n = -384 + 386. Suppose -2*w - 9672 = -5*f, -2 + 0 = n*w. Is f a prime number?
False
Let m(y) = -28*y**2 + 20*y + 18. Let t(n) = 5 + 19*n + 9 + 3 - 29*n**2 + 0. Let q(g) = 6*m(g) - 7*t(g). Is q(-8) a composite number?
False
Let m(y) = -5092*y**3 + 5*y**2 + 38*y + 59. Is m(-2) a prime number?
True
Let v be -42*(2 - 5)*6. Let y = 1361 - v. Suppose -251 = -4*w + y. Is w composite?
True
Let c = 58 - 109. Suppose -3*l - 436 = -7*l + 4*k, -5*k + 91 = l. Let m = l + c. Is m composite?
True
Let b(f) = -f**2 + 6*f + 16. Let s be b(7). Let n = s + 0. Let d(i) = i**2 + 2*i + 16. Is d(n) a composite number?
True
Let b be 1*54865 - (-97 + 102). Suppose 5*t - b = 3*m + 2*m, 0 = 3*m - 3. Is t prime?
True
Let r(w) = 2422*w + 9. Let l be 0 - 12/24*(2 + -6). Is r(l) a prime number?
False
Suppose 0 = 6*g + 5*g - 115357. Is g composite?
False
Let t = -76 + 75. Let w(c) = -5091*c - 5. Let p be w(t). Suppose -r - 2*v + 2543 = v, 2*r = 2*v + p. Is r composite?
False
Let c be (-4)/(-14) + (-84)/(-49). Suppose c*n = 3*i - 2965, 3*i - 3*n - 2*n = 2980. Is i a composite number?
True
Let s be (-225)/50 - (-1)/(-2). Let i(w) = w**3 + 6*w**2 + 2*w - 4. Let n be i(s). Suppose -n*o + 8525 = 1804. Is o composite?
True
Suppose 3*v - 312482 = -b, -4*v + 416646 = -17*b + 15*b. Is v prime?
True
Suppose 298*l = 137*l + 137*l + 21139320. Is l a composite number?
True
Suppose 394*k - 215*k - 136935 = 0. Let x be 4/10 - 20196/(-10). Let n = x - k. Is n a composite number?
True
Suppose -3*y = -644 - 1069. Is (-1 - y/(-2))*(12 + 2) composite?
True
Is 70/(-20) + (-2)/(-4) + 1325920/4 a composite number?
True
Let k(p) = 744*p + 3. Let s be k(-1). Is ((-169)/s + (-4)/(-38))*18021 a composite number?
False
Let s = 373 + -370. Suppose s*h - 25094 = 3*w + 17545, 14211 = h - 2*w. Is h a prime number?
False
Let u(d) = 173*d + 19. Let c be u(13). Let m = -1154 + c. Suppose j - m = -j. Is j a prime number?
True
Suppose -4 = 2*u, 568*u = 4*z + 564*u - 136548. Is z a prime number?
False
Let o(z) = -3141*z - 544. Is o(-3) prime?
False
Suppose 0 = 5*u + 4*r - 2264563, u - 192304 - 260615 = -4*r. Is u a composite number?
True
Suppose -2*s - 6 = 0, -3*z + z + 4*s = 64. Let w = 40 + z. Is 4/(12/2949) - w*-1 composite?
True
Suppose 0 = -5*n - 10, 3*n - 1270 + 6711 = -5*j. Let v(y) = -295*y + 2. Let u be v(-6). Let t = u + j. Is t composite?
True
Is (-282)/376 - (-3 + 22632748/(-16)) a composite number?
False
Let i = 280902 - 191933. Is i composite?
False
Let z = 29 + 28. Is (z/6)/((-123)/(-122) + -1) a composite number?
True
Let t(n) = 21*n**2 + 8*n - 2. Let l(d) = d**3 + 8*d**2 + 6*d - 12. Let c be l(-7). Let g be t(c). Suppose -3*w + 2471 = 2*w + 3*u, w - g = 5*u. Is w composite?
True
Let t be (-26)/91 + 25668/21. Let a = t - -2641. Is a a composite number?
False
Let t = 276 + -276. Suppose -x - 3*b + 271 = t, -4*b + 534 = 2*x - 0*x. Is x composite?
True
Suppose -55*a = -195433 - 3284032. Is a composite?
True
Let r(l) = 7*l**3 - 13*l**2 + 6*l - 37. Suppose -4*x + 9*x - 25 = 5*p, 2*x - 45 = -5*p. Is r(x) prime?
False
Let v(p) = -4*p**3 - 37*p**2 - 8*p - 7. Let g be v(-25). Suppose g = -0*c + 8*c. Is c composite?
True
Is (263/(-3))/(7/(-7539)) prime?
False
Is -6 + ((-12)/(-6))/(-2) + 120480 composite?
False
Let t = 18762 - -57701. Is t a composite number?
False
Suppose -15*w = -519 + 144. Let k(m) = 2*m**3 - 23*m**2 - 11*m - 3. Is k(w) prime?
False
Let x = -83656 + 169443. Is x prime?
False
Let t(r) = 2*r**3 - 15*r**2 - 10*r + 22. Let a be -14 + 22 + (1 - -3). Is t(a) a composite number?
True
Suppose -62*l + 63*l = 13. Suppose -l + 21 = 4*h. Is (h/3)/(30/12195) prime?
True
Let n(s) = -1441*s**2 - 19*s - 6. Let q be n(6). Let p = q - -102751. Is p composite?
True
Let i = 251 + -247. Suppose 4405 = l - 