 4*b. Suppose -d = -4*h - 162. Is h a prime number?
True
Let f = 102 + -65. Let w be f/4 - 6/24. Let j(i) = 60*i - 5. Is j(w) a composite number?
True
Let k be ((-15411)/(-22))/((-2)/(-4)). Let t = k + -846. Let h = t - -844. Is h a prime number?
True
Let r = 54 - 148. Let q = r - -91. Is (q/(-2))/(5 + 23327/(-4666)) prime?
True
Let t(d) be the third derivative of 0 + 0*d + 2/3*d**3 + 1/15*d**5 + 47*d**2 - 5/24*d**4 + 8/5*d**6. Is t(3) a composite number?
False
Let t(f) = -f**2 + 10*f + 4. Let v be t(15). Let u = -67 - v. Suppose u*j - 608 = 2084. Is j prime?
True
Is 1909700/36 - (-12)/63*14/(-12) a composite number?
False
Let p = -1099742 + 1949287. Is p composite?
True
Suppose -32*q + 16*q + 5*q = -466719. Is q composite?
True
Suppose 3*s + 0 = 2*k - 14, 3*s = -4*k - 8. Is k + (-45756)/(-26) + (-4)/(-26) prime?
False
Suppose r + 139260 = 6*r. Let k = r - 18317. Is k a composite number?
True
Is 6*(-25)/(-90)*(11082 + -9) a composite number?
True
Suppose u + 20 = -3*w - 2*w, 110 = -3*u - 5*w. Let o = u - -49. Suppose 0 = -c + 3*n + 922, 5*n + 3428 + 295 = o*c. Is c a composite number?
False
Suppose 65 - 62 = q. Is q*1 + ((-850)/5)/(-5) composite?
False
Suppose -5*n - 14*l + 736033 = 222318, 5*n = -2*l + 513715. Is n composite?
True
Let h(j) = 1222*j + 5401. Is h(51) a composite number?
False
Let m be 11660/(-6) + 29/87. Let j = 3354 - m. Is j a composite number?
False
Let i be ((-224)/(-12) - 5)/((-2)/6). Let d = 114 - i. Is d composite?
True
Let r = 93798 - 45781. Is r a composite number?
False
Let k = -132268 + 262170. Is k prime?
False
Let z = 203 - 185. Is (-2 - -7700)*3/z composite?
False
Suppose 5*r + a - 2*a = -21, 0 = -r - 5*a - 25. Is ((-10)/(-5))/(r*10/(-187325)) composite?
True
Let j be (6 - 2) + 0/(5/(-5)). Suppose -r - 8132 = -t, 3*t - 24390 = -3*r + j*r. Is t a prime number?
False
Let b(u) = 677*u**2 + 1291*u**2 - 1 - 141*u + 139*u. Is b(-1) prime?
False
Suppose 2*l + 0*l + 32 = 2*u, 5*l = u - 64. Let f be 8/48 - 16930/l. Let g = f - 756. Is g composite?
True
Let q = -43 - -46. Suppose 5*x - 4*x + 2*a + 2224 = 0, -3*a = q*x + 6681. Is (14/(-4))/(2235/x + 1) a composite number?
True
Let k(s) = -9*s**3 - s**2 - 6. Let a = -112 + 118. Let q be k(a). Is 3*15/(-9) - q a prime number?
False
Suppose -r + 5816 = -2*x, -r - r = -2*x - 11638. Suppose 0 = -5*d - r + 17077. Suppose -7*a + 906 + d = 0. Is a prime?
False
Suppose -20 = -2*f - 10. Suppose -f*u + 1680 = -2195. Let d = 14 + u. Is d prime?
False
Let g = 3 - -1. Suppose -u = -g*q - 3*u + 2282, -5*u + 1145 = 2*q. Let l = -303 + q. Is l prime?
False
Is 0 - -90583 - 0/((-119)/17) composite?
False
Suppose z + 3*s + 3 = 0, 3 = -2*z + 5*z + 3*s. Suppose 0 = -2*q - z*c + 908, 2 = 16*c - 15*c. Is q a prime number?
False
Suppose 2*x - 11 + 3 = 0, -x = s - 6. Let i = -98 - -102. Suppose -w + 2750 = i*d, -4*w + s*d = -d - 11057. Is w composite?
True
Let w(a) be the second derivative of a**5/20 + 2*a**4 + 23*a**3/6 - 3*a**2/2 + 25*a. Let g be w(-23). Is g + 1 - (-1 + -123) prime?
False
Let a = 277909 + -136050. Is a a composite number?
True
Let c = -5813 + 3405. Let j = -1291 - c. Is j prime?
True
Suppose 2492069 = 112*w - 11800410 - 2889329. Is w composite?
False
Let x = -3 + 4. Let w(c) = -2150*c**3 + 12*c**2 - c + 5. Let z(t) = -2150*t**3 + 8*t**2 - t + 4. Let v(b) = 2*w(b) - 3*z(b). Is v(x) composite?
True
Suppose -t - 4 = 0, -i + t = 3*t - 200. Suppose -32455 = -i*q + 203*q. Is q prime?
True
Suppose 5*q = 10579 + 1716. Suppose 0 = -5*c + 5*n - 2045, 0 = 4*c - 2*n + q - 833. Let p = -193 - c. Is p composite?
False
Suppose 11 = 5*k + 1. Suppose 0*r - 304 = -2*r - k*c, r = -3*c + 148. Let s = r + -67. Is s composite?
True
Suppose 2*g = 5*k - k + 44, -k - 2*g = 6. Let u(q) = q**3 + 13*q**2 + 7*q + 21. Is u(k) prime?
True
Let k = -58067 + 307408. Is k a composite number?
False
Is 1 - ((-3815712)/150 + 6) - 8/100 a prime number?
False
Let r(z) = z + 28. Let w be r(-16). Let s be w/8*48340/15. Is (-4)/(-20) + s/5 composite?
False
Let v(o) = -10 - 6 - 3*o + 6 - 9. Let g be v(-8). Is (g - 8/4 - -1399)/2 composite?
False
Suppose 0 = 6*n - 12*n - 4014. Let j = n + 1404. Let l = j + 1106. Is l a prime number?
False
Suppose -3*o - 127 + 145 = 0, y - 4*o = 215717. Is y a composite number?
True
Let d = 281642 - 89715. Is d a composite number?
True
Suppose -3*y - 2*t = -21, 2*y + t = 3*t + 4. Suppose 11 - 1 = y*s. Suppose -s*z + 78 = -206. Is z a prime number?
False
Suppose -7*k + 57338 = 286980. Let g = -12167 - k. Is g composite?
False
Let f = 1971 + -1087. Suppose 0 = -2*h - 5*g + 457, 4*g = -h - 3*h + f. Let x = 105 + h. Is x a prime number?
False
Let p = -110 - -82. Is 20669/7 - ((-40)/p)/(-5) prime?
True
Let m(d) = 4*d**3 - 20*d**2 + 72*d + 311. Is m(22) prime?
True
Suppose -5*i - 2843736 = -5*d + 2826639, -2*d + 2268156 = -5*i. Is d composite?
True
Suppose 2*t - 10275 = -b, -5*b + 13*t = 15*t - 51351. Let j = -3722 + b. Is j a prime number?
True
Suppose 16*j - 12235603 - 6575440 = -2203731. Is j a composite number?
False
Let b(n) = 23*n - 48. Let t be 6/12*-6*(-39)/9. Is b(t) composite?
False
Let s(y) = 43*y**3 - 5*y**2 + 18*y + 1. Is s(3) prime?
True
Let n = -654689 + 3440266. Is n a composite number?
False
Suppose 86 + 34 = -6*x. Let b be ((-597)/(-7))/(-1) - x/70. Let u = b + 298. Is u prime?
False
Let n = -131 + 133. Suppose -17*s - n*s + 185155 = 0. Is s a composite number?
True
Suppose 2 - 16 = 7*o. Is 3/o*(-12670)/15 composite?
True
Let z(l) = 1121*l**3 - l**2 + 33*l - 154. Is z(5) a prime number?
True
Suppose 5*k = 6*x - 3*x + 94, -4*k = 3*x - 86. Is 4/(k/(-5))*-3079 a composite number?
False
Let z = 468 + -1228. Let h = 2611 + z. Is h a composite number?
True
Suppose -120*h + 20*h = -6636900. Is h a composite number?
True
Suppose 0 = -11*f - 33*f + 250844. Is f prime?
True
Suppose -2*w - 12*w + 12656 = 0. Let g = 1515 - w. Is g a composite number?
True
Let w(t) = t**3 - 14*t**2 + 13*t - 12. Let q be w(13). Let n be 15 + q + (1 - 1). Suppose -5*b - 4*l = -1039, -2*b - 5*l + 1035 = n*b. Is b composite?
False
Let m(x) = -6776*x + 1483. Is m(-5) a prime number?
True
Let p be (-3)/18 + (-133)/(-42). Suppose p*k = -0*k + 6. Suppose j + 307 = 3*h - k*h, 1535 = 5*h - 2*j. Is h composite?
False
Suppose 0 = -3*d - 2*d - 25. Suppose -m = -2*a - 145 - 43, 5*m = 5*a + 925. Is d/(-4 + m/46) prime?
False
Is 169082/6 - ((-300)/18)/25 a composite number?
False
Let h be (-4 - -14)*(-3 - (-5)/2). Is 606*(0 - -1) - h prime?
False
Let x(v) = 5*v**3 - 28*v**2 - 37*v - 94. Let c be x(23). Suppose 0*t + 5*g + c = 4*t, -22526 = -2*t - 4*g. Is t composite?
True
Let n be 184/(-6)*130/20*-6. Suppose f - n = 3*t, -28*t = f - 26*t - 1171. Is f prime?
True
Let i = 10 - -36. Let n = i + -58. Is (-2)/n*-2 + 240/18 a prime number?
True
Let d(t) = 9*t - 7. Let k be d(1). Let i = -3141 - -5524. Suppose -q + k*c + i = 0, -5 = -c - 1. Is q a prime number?
False
Suppose w + 55 = -k, -5*w + 0*k - 4*k - 280 = 0. Let p = 931 - w. Is p a prime number?
True
Suppose 2*k = 4*r - 26, 4*r + 3*k + 4 = -k. Suppose -5*a = 25, 5*t - 5*a - 48840 = -r*a. Is t composite?
False
Let i be (-2)/3 + 63/(-27). Let v(h) = -1314*h - 11. Let z(y) = 1315*y + 12. Let x(l) = -5*v(l) - 6*z(l). Is x(i) composite?
False
Let p(g) = 154*g**2 - 3*g + 2. Let o be p(-3). Let z(v) = -487*v + 3911. Let a be z(7). Suppose c - o = -a. Is c a prime number?
False
Let c = 59832 + -10778. Is c prime?
False
Let g = -30 + 31. Let k be ((0 - 2) + 42)/(g/1). Suppose -k*x = -42*x + 358. Is x a prime number?
True
Let d(w) = 10*w - 5. Let x be d(-4). Let c = 21 + x. Is (-3788)/c - 1/(-6) prime?
False
Let o(y) = -3 + 11 - 3*y + 8 - 1. Let g be o(3). Suppose 4*h + 1281 = 3*i, -3*i + 1272 + g = -5*h. Is i composite?
False
Let b(d) = 310*d**3 - 2*d**2 + 3*d - 2. Let t be b(1). Let j = 844 - t. Suppose -3813 - j = -4*f. Is f a prime number?
True
Let z be (4 + -2 - 4)*-1. Suppose -5103 = -z*k - r + 5813, 0 = -r - 2. Is k a composite number?
True
Let l = -50 + 54. Let z be l/6 + (7 - 92/3). Is 14224/6 - z/69 a composite number?
False
Suppose 166*i + 396478 + 144362 = 190*i. Is i a composite number?
True
Suppose 0*q - 40 = q. Suppose -y - 129 = -1062. Is 10/q - y/(-4) a prime number?
True
Let t(l) = -l**2 - l + 11. Let g be t(2). Suppose b - 2*m = 59 + 1870, 5*m = g. Is b a compos