 70 = y*w. Is w a composite number?
False
Suppose -5*v - 60412 + 212942 = 0. Is (v/21)/((-4)/(-6)) prime?
True
Suppose -4*g + 146702 = 13770. Is g prime?
False
Let o = 389451 + -270646. Is o a composite number?
True
Let r = -267 + 591. Suppose r*u = 316*u + 5672. Is u a composite number?
False
Let k(z) = z**3 + 23*z**2 + 7*z - 9. Let p be k(-17). Let w = 3446 - p. Is (w/(-6))/(-4) - (-4)/12 prime?
False
Let b = 104867 - 50524. Is b a composite number?
True
Suppose 3*m - 4*m - 11 = -3*w, 4*w = 12. Let f be (0/6)/(m/(-2)). Suppose f = z - 939 + 262. Is z composite?
False
Suppose 0 = 4*v + 5*z - 33, -2*z + 0 = -4*v - 2. Let i(p) = 31*p**2 - 8*p - 55 - 23*p**2 + 54*p**v. Is i(-8) prime?
False
Let g(p) = -6*p - 4. Let n be g(-1). Suppose -u = -0*u - 494. Suppose 2*k - u = -n*m + 4*k, 3*k = -4*m + 1016. Is m a prime number?
True
Let f = -820 + 1453. Suppose -u + 1805 = f. Suppose -2*w + 0*w + u = 0. Is w a composite number?
True
Let n(w) = -w**2 + 42*w - 178. Let m be n(37). Let s(i) = -i**3 - i**2 + 9*i - 12. Let j be s(-9). Suppose -m*d + 8696 = j. Is d a prime number?
True
Suppose 0 = -244*a + 245*a - 54091. Suppose -12*b + 17993 = -a. Is b a prime number?
True
Let v = -37838 - -505155. Is v a prime number?
True
Suppose 0 = 12*p - 1034801 - 1041091. Suppose 14*u - p = -13377. Is u a composite number?
True
Suppose -5*d = g + 36, -12 + 52 = -2*g - 2*d. Let u be (-16311)/(-4) - 4/g. Suppose -k = w - 426 - 1614, -u = -2*w - 4*k. Is w a composite number?
True
Let q(y) = y**3 + y**2 - 6*y + 4. Let a be q(2). Suppose 0 = 38*p - 39*p + a. Suppose 1 + 1 = n, -2*n - 3184 = -p*o. Is o a prime number?
True
Let t be (-2)/((-4)/6*1 + 1). Let l be (-8025)/(-6) + (-3)/t. Suppose 0*u - 3*u - 5*i = -l, -2*u + 892 = -3*i. Is u a composite number?
True
Let t = 37 - 31. Let z be 24 - 1*(2 - t). Is z/42 + (-445)/(-3) prime?
True
Let j(d) = 244*d - 23. Suppose -97 = 3*n - 109. Is j(n) prime?
True
Let k be (-7172)/(-16) - 1 - (-2)/(-8). Let r be 2 + (-7 - -4)*-3. Suppose k = -r*g + 14*g. Is g prime?
True
Let h(n) = n**2 - 14*n + 27. Let a be h(12). Suppose a*j - 1772 = -2*z, 4626 = 5*z + 2*j + 185. Is z prime?
False
Is (-120)/(-440) + 1845384/33 a prime number?
True
Let s(j) = 9187*j**2 - 98*j - 976. Is s(-9) composite?
True
Suppose 3*n + 5858 = -5*r, 5*n - 2254 = 2*r - 12038. Let o = n + 3349. Is o composite?
True
Suppose -5*v + 187*g = 188*g - 490564, -2*v - g = -196225. Is v a prime number?
False
Let m = -94375 - -170336. Is m a composite number?
True
Suppose 4*l + 4*w - 8033477 = w, 0 = -5*l - 4*w + 10041847. Is l a composite number?
False
Let z(x) be the second derivative of 65*x**4/12 - 59*x**3/6 + 5*x**2/2 + 242*x. Is z(13) a composite number?
False
Let m = -1145059 + 1632620. Is m a composite number?
False
Let c(v) = -10*v + 90. Let r be c(7). Let u = r - -1041. Is u a composite number?
False
Suppose -14*t + 200241 = -473887. Suppose -8*h + t = -2640. Is h prime?
False
Suppose -o + 4*y + 297 = 0, 0 = 62*y - 60*y + 2. Is o a prime number?
True
Suppose 2*k = -0*k - 28. Is 2*k/7 - -1422 prime?
False
Let w = -34258 + 61049. Let l = -11022 + w. Is l a prime number?
False
Let c(t) = 243*t + 28. Suppose -2*a - 20 = -a - 3*u, -5*a = -5*u + 80. Let v be c(a). Let d = -1821 - v. Is d composite?
False
Suppose v = 3*u - 3, -v + 5*v = -3*u + 18. Let x(h) = -23*h**3 + 16*h**3 - 6 - 4*h**2 + 25*h**v + 23*h**3 + 12*h. Is x(5) prime?
False
Let j(g) = 43*g + 344. Let a be j(-8). Suppose -2*h - 888 = -4280. Suppose f = 5*i - 941 - 1173, a = 4*i - 2*f - h. Is i a composite number?
True
Let r = -12968 - 17397. Is (-17 - -7)/40 - r/4 a composite number?
False
Let q = -319 + 321. Suppose 0 = -q*d - 3*j + 46192, -6*d + 3*j - 23093 = -7*d. Is d a composite number?
False
Suppose -2*w + 3*b = -434, 3*w - 186 = 3*b + 465. Let n = 9 + w. Suppose -2*p + n = -4*r, 9*p - 617 = 4*p - 3*r. Is p a prime number?
False
Let r be 13378/(-14) + 30/(-70). Let t = r + 6049. Is t a composite number?
True
Let d = 399721 + -163202. Is d a prime number?
True
Suppose -2*n = 2*u - 130326, 260676 = 96*u - 92*u - 2*n. Is u composite?
False
Suppose 44*r - 5802641 = 4259147. Is r a composite number?
False
Let x(z) = 2*z**2 - 11*z + 13. Let j be x(4). Is j/(-2 + 3 + (-24540)/24545) composite?
False
Suppose 191793 = 11*d + 61300. Is d composite?
False
Suppose -5 + 20 = z. Let j be z*(-6)/(-9) - 5. Suppose -j*w - 1603 = 5*r - 6*r, -6316 = -4*r - 4*w. Is r a composite number?
False
Suppose 5*l - 420 = -5*l. Is (-7753 - l/7)/(-1) composite?
False
Let h(q) = 1606*q - 279. Is h(14) composite?
True
Let d be 4 - 4/(12/(-1005)). Let f be (-2)/3 + (-20)/(-12) - 53. Let y = d + f. Is y a prime number?
False
Let t be 18/(-12)*-1*(-6)/9. Let k(w) = -332*w**2 - 4*w - 2. Let i be k(t). Let s = i - -835. Is s prime?
False
Let b(d) be the first derivative of 4*d + 6 - 1549/2*d**2. Is b(-1) prime?
True
Suppose 27*g = 32*g - 215. Suppose 2*q - 32 = -5*i - 1, -q + 3*i + g = 0. Is 8/q - (-5106)/14 composite?
True
Let m(s) = s - 1. Let j(b) = -10. Let g(x) = j(x) + 4*m(x). Let k be g(7). Is (-2)/k - (-64464)/56 a composite number?
False
Let x be 9/5*1800/135. Is (889 - x) + 2 + 4 a prime number?
False
Suppose -223410 = -13*x - 17*x. Suppose 5*r + 17248 + 1752 = 0. Let o = x + r. Is o composite?
True
Let p = -818829 - -1410502. Is p composite?
False
Let s(x) = -449*x - 8. Let y = 55 - 52. Let i be (-1)/y - 42/9. Is s(i) a prime number?
True
Suppose 0 = -3*g - 3*q + 92442, 75822 = 5*g + q - 78260. Is g composite?
False
Let a(k) = -2*k**3 - 39*k**2 - 38*k - 38. Is a(-33) prime?
False
Suppose -3237569 = 169*n - 110396920. Is n composite?
False
Let y(l) = 15*l + 8. Let m(t) = -t + 1. Let d(u) = -3*m(u) - y(u). Suppose 5*i = -5, -4*i + 46 = -5*g - 0*i. Is d(g) prime?
True
Suppose 297 + 1073 = -2*d. Let l be (-1016)/6*15/(-25)*(0 + 5). Let t = l - d. Is t composite?
False
Let c(m) = -m**2 + 4*m + 20. Let v be c(7). Is v/(((-12)/598)/6) prime?
False
Suppose 0 = 154*h + 375*h - 34437721 - 11791060. Is h a prime number?
False
Suppose 562772 = d + 5*m, 4*d + 1360477 = 4*m + 3611637. Is d a composite number?
True
Let p(a) = -25*a**2 + 15*a - 141. Let v(h) = 23*h**2 - 14*h + 140. Let x(f) = 3*p(f) + 4*v(f). Is x(12) prime?
False
Let v(l) = -357135*l + 34. Is v(-1) a prime number?
True
Let o = -46044 - -113591. Is o composite?
False
Suppose 0 = -12*z + 8*z + 2272. Let l be 357/9*(-6)/2. Let o = l + z. Is o prime?
True
Let v(o) = -79599*o + 874. Is v(-5) composite?
True
Let b = 188536 + -76517. Is b composite?
False
Let c(z) = 5*z - 8. Let x be c(2). Suppose 3*g - 4889 - 1643 = -5*o, x*g = -5*o + 4353. Is g a prime number?
True
Let z(t) = 6*t**3 + 8*t**2 - 18*t + 20. Let a be z(10). Let c = a - 3251. Is c a composite number?
False
Is -2281*(-1)/((-7)/(-91)) a prime number?
False
Let t(v) = -20*v**3 + 9*v + 1. Let h(f) = -f**3 - 6*f**2 + 2*f + 6. Let j be h(-6). Let d be t(j). Let b = 7490 - d. Is b a composite number?
True
Let h = 677473 + -430704. Is h a prime number?
True
Let z(t) = 1025*t - 4 + 2781*t - 1 + 447*t. Is z(2) prime?
True
Suppose 9*s = 348655 + 384926. Is s a prime number?
True
Is 119/(-215) - (-50)/(-1075) - (-374038)/5 a composite number?
True
Let t(y) = 111*y**3 + 2*y - 7. Let s(o) = 14*o**3 + o**2. Let g(x) = 8*s(x) - t(x). Suppose 4*c - 5*b = 2*c + 27, c = -2*b. Is g(c) prime?
True
Suppose 189*g = 3281554 + 5770223. Is g a composite number?
True
Suppose 0 = -3*l - 4*c + 278998, 10*l - 15*l = -4*c - 465050. Suppose -12*a = 6*a - l. Is a a prime number?
True
Let a(l) = 2*l - 24. Let r be a(6). Let s be (r/(-9))/((-8)/(-12)). Suppose -595 = s*c - 7*c. Is c composite?
True
Suppose 3*d - 130482 = -4*q, -65234 = 27*q - 29*q - 5*d. Suppose -173*j - q = -179*j. Is j a composite number?
False
Let n = -1711 - -1207. Let z = n - -138. Let p = 617 + z. Is p a composite number?
False
Let d(u) = 17999*u + 358. Is d(5) a prime number?
True
Let a(t) = -12541*t + 11430. Is a(-19) a prime number?
False
Suppose 28*c - 31*c = -30. Suppose 6*s + 2*y = 3*s + 7351, 2*y - c = 0. Is s prime?
True
Let a(t) = t**3 + 15*t**2 - 2*t - 17. Let m be a(-15). Let s(w) = -3*w + 50. Let k be s(m). Let c(d) = 133*d + 44. Is c(k) a prime number?
False
Let j(x) = 16*x + 102. Let z be j(-6). Suppose 15188 - 2042 = z*d. Is d a composite number?
True
Let u(v) = 2*v**