x be r + 1/2*-4. Is 443 + x + 4/1 composite?
False
Suppose -4*m + i = -182642, -2*m - 73*i + 68*i + 91288 = 0. Is m composite?
False
Let y(f) = 2*f + 34. Let n be y(-13). Let c(z) = 9*z + n*z + 5 + 24 + 0*z. Is c(6) composite?
False
Let x = 14 - -4. Suppose x*z = 19*z - 90. Is ((-541)/(-3))/(30/z) a composite number?
False
Suppose 5*t = -0*t + 25. Suppose -6*k = -t - 19. Suppose z - 46 = -2*p + 241, -k*z - 3*p = -1168. Is z composite?
True
Let a(c) = c**3 - 4*c**2 + 42*c - 162. Is a(17) a prime number?
False
Let o = -1413 - 545. Let t = -1393 - o. Is t a prime number?
False
Suppose -4*w + y + 2666 = -13531, 0 = w + 5*y - 4044. Suppose 0 = 6*o - 8*o - 4*h + 14, 0 = -h + 2. Suppose -o*u - 1370 = -w. Is u composite?
True
Let l(c) = 273*c + 170. Let r be l(-5). Let g = 2204 + r. Is g prime?
True
Suppose -6*k + 6351 = -7911. Suppose 3060 = b + 4*c + 658, 0 = b - c - k. Suppose 3*p - 3*v = 2*v + b, -5*p - 3*v = -4004. Is p composite?
True
Suppose -6*w + 0 = -18. Suppose 3*h - 2*b = 14352, b - 9568 = -5*h + w*h. Suppose 3*f = -f - 5*c + 3822, -h = -5*f - 3*c. Is f a composite number?
True
Let p(m) = -2*m - 6. Suppose 5*x - 23 - 12 = 0. Let b be p(x). Is ((-10476)/b - -3) + (-2)/(-10) a composite number?
True
Suppose 0 = 74*r - 3264326 - 5029816. Is r composite?
True
Let w(x) = 2789*x + 6648. Is w(5) a composite number?
False
Suppose 0 = -2*k + 950*l - 948*l + 52178, 4*k = 5*l + 104352. Is k prime?
False
Suppose -340907 - 91316 = -10*v - v. Is v a composite number?
False
Suppose 0*w - 2 = -w. Suppose -w*h + 4*v = -7*h + 45, 3*v = 3*h. Suppose 0 = -h*s - 2*b + 721, -4*s - 4*b + 727 = s. Is s a prime number?
False
Suppose -77154 = -5*q + z + 39937, 2*z = -3*q + 70239. Is q a prime number?
True
Let t(v) be the first derivative of v**4/4 - 7*v**3/3 + v**2/2 - 10*v + 6. Let n be t(7). Is (1/n)/(13/(-2301)) a prime number?
True
Is (-319)/(-638) - (32046/(-4) - 0 - 1) composite?
True
Let y(i) = -i**3 - 2*i**2 + i - 1. Let z be y(-3). Suppose 3*d + 2298 - 16104 = 0. Suppose -d = -z*h + 3413. Is h a prime number?
False
Let q = 63 - 47. Suppose -4*m + 1 + 11 = -2*v, -q = v - 4*m. Is (163*v/10)/(6/30) a composite number?
True
Let c(t) = -888*t - 7. Let q be c(-4). Suppose q - 133 = g. Suppose -g = -5*s - 177. Is s a composite number?
False
Suppose -4*w + 15 = 5*f, -5*w + 6 = -2*w + 2*f. Suppose 14*r - 4267 - 10559 = w. Is r composite?
True
Let j = 33695 + -8988. Suppose 3*y + 2*k - 6 = 0, k - 3 = -3*y - 2*k. Suppose y*b + 4951 = l, 6*b - 2*b + j = 5*l. Is l a prime number?
False
Let t(k) = 329*k**2 - 5*k - 17. Let l(x) = x**3 + 5*x**2 - 3*x - 18. Let y be l(-5). Is t(y) prime?
False
Suppose -3*o + 8 = o. Suppose -11*b + 14*b = -o*z + 9245, z - 4633 = -5*b. Is z a composite number?
True
Suppose -4*o - 3*x = 10438, -5*x + 4*x = -4*o - 10446. Suppose 0 = -2*u - u - 5148. Let y = u - o. Is y prime?
False
Let l be (8 - 9)*(2 + 0 + -5). Let z(h) = -2*h**2 - 7*h - 13 + 13*h**3 + 17*h**2 + 26*h - 14*h**l. Is z(12) a composite number?
False
Suppose 815318 + 1384775 = 7*l. Is l a prime number?
True
Let l be ((-26)/8)/(4/(-16)). Suppose 6*i = 547 - l. Is i a composite number?
False
Let h(j) = -184*j**3 + j**2 - j - 1. Suppose 3*m - 66 = -3*m. Suppose m*g - 1 = 12*g. Is h(g) composite?
True
Suppose -9162*r + 9155*r + 1035979 = 0. Is r a composite number?
False
Is -2 + 100/44 - (-71925824)/352 prime?
False
Let f = 39204 + -21163. Is f a composite number?
False
Is 15/(-3)*(-23)/((-1380)/(-51493164)) a prime number?
True
Let q(g) = -3*g**2 - 5*g - 8. Let d(t) = -8*t**2 - 15*t - 23. Let f(r) = 4*d(r) - 11*q(r). Let b be f(6). Is (-1668)/8*-1*b a prime number?
False
Suppose f = -p + 189300, -176*f - 3*p = -177*f + 189328. Is f prime?
True
Suppose -7*c + 5*c + 4 = 0. Suppose -10*k + c*k = -12840. Suppose -4*q + 2515 = 3*l, -4*l - k - 931 = -4*q. Is q a prime number?
True
Suppose 2*s = 2*c + 22843 + 959, 3*c = 5*s - 59515. Is s a prime number?
False
Suppose -s = -r - 775, -4*r + 2493 = 3*s + 203. Suppose -g + w - 15 + s = 0, 0 = 3*g + 3*w - 2295. Suppose -2*h + g + 678 = 0. Is h composite?
False
Suppose 0 = -4*d + 24 - 4. Let r(z) = -5*z - d*z - 13 + 27*z - 5*z. Is r(12) prime?
True
Let h(a) = -a + 3 - 4 - 3 + 0. Let y be h(-6). Let x(u) = 100*u - 9. Is x(y) a composite number?
False
Suppose -2855*n + 2858*n = 42393. Is n composite?
True
Let s be 5/(-20) - (-18)/8. Suppose -s*i = -2*l + 1980, 762 = l - 2*i - 233. Suppose 0 = 4*x - l - 27. Is x composite?
True
Let t = 10127 + -10123. Let g = 1039 - -559. Suppose -2*w = t*a - g, -3*a + 0*w = -w - 1186. Is a prime?
True
Suppose 0 = 38*g - 589022 - 230144. Is g a composite number?
False
Let s = 4 - -1. Suppose -25 = -s*q - 4*f + 3*f, -2*f + 18 = 2*q. Suppose -v + 515 = -3*h, -v + q*h + 850 = 331. Is v a composite number?
False
Let d(g) be the third derivative of g**5/15 - g**4/24 + 1861*g**3 + 14*g**2. Let m be d(0). Suppose -y = 5*y - m. Is y composite?
False
Let c(i) = -8*i - 6. Let x(w) = 3. Let m(a) = -5. Let b(r) = 4*m(r) + 7*x(r). Let y(t) = 3*b(t) + c(t). Is y(-2) a prime number?
True
Let w(j) = -j**2 + 5*j + 5. Let c be w(5). Suppose c*k - 2358 = -4*k. Suppose 0 = 3*z + k - 3343. Is z a composite number?
True
Let k(c) = 2778*c. Let s be k(1). Suppose -634 = -n + 4*t, 8*n - 4*n + 4*t - 2436 = 0. Suppose 0 = -4*r + s - n. Is r prime?
True
Let o(s) = -s**3 - 45*s**2 - s - 16. Let z be o(-45). Suppose -68087 + 23572 = -z*k. Is k a composite number?
True
Let g(q) = q**3 + 3*q**2 - 11*q - 1. Let b be g(-5). Suppose w - 2*h + b*h = 1509, -w + 1488 = -5*h. Suppose -w - 482 = -5*a. Is a prime?
True
Let m(k) = 24*k + 1466. Let t be m(-61). Let y(p) = p**2 - 4. Let j be y(4). Suppose j = t*r - 86. Is r a composite number?
True
Suppose -40*b + 185292 = 27*b - 55*b. Is b a composite number?
True
Let v be (4*1/(-5))/((-8)/2540). Let y be (-3)/(24/v)*-8. Suppose 0 = -17*a + 15*a + y. Is a a prime number?
True
Let b(d) = 730*d + 951. Is b(49) a composite number?
False
Let x(j) = j + 146. Let o(n) = 46*n**3 - 6*n**2 + 3*n + 2. Let d be o(1). Is x(d) a composite number?
False
Is 6/27 - (2/8)/(108/(-51352176)) composite?
True
Suppose 3*l + 697 = -4*g + 9004, -4*g + 13861 = 5*l. Is l a composite number?
False
Suppose 27179 - 183573 = -2*q. Is q a composite number?
True
Let t(v) = -v**3 + 13*v**2 + 27*v + 1. Let m(i) = -i**2 - 1. Let c(h) = m(h) + t(h). Let r be c(14). Let q(n) = -n**3 - 12*n**2 + 11*n - 17. Is q(r) composite?
True
Suppose -2*t = -9 + 19. Let n(y) = -66*y - 1. Let f be n(t). Let a = f + -180. Is a a prime number?
True
Suppose 276*g - 56604860 + 9271772 = 60118404. Is g composite?
True
Is (-146 + 310)/(4/13999) a prime number?
False
Suppose 5*j - 20001 = 2*h + 56424, -j + 2*h = -15285. Suppose 5*d - 10*t + 6*t = 19109, -4*d + t = -j. Is d composite?
False
Suppose x = -3*i + 109, i + 5*x = -0*x + 41. Suppose -4*q = t + 35 - 86, -q = t - i. Is t prime?
True
Suppose -3*o = 3*y - 81090, 1330*y = 1332*y - 3*o - 54095. Is y a composite number?
True
Let l(g) = 522*g - 2473. Is l(106) prime?
True
Let z = 18 - 18. Suppose -5*y + 8 + 7 = z. Is y - (-2 + -137 + 3) prime?
True
Suppose 0 = 3*u - 3 + 3. Suppose 3*d + 3*f - 9 = u, 3*d = 5*d + 3*f - 5. Suppose 0 = d*k - w - 752, 203 = k - 2*w - 2*w. Is k a prime number?
False
Suppose -273652 = -2*z - 2*r, 2*z + 135408 - 409080 = 2*r. Is z prime?
False
Let y(m) = 9*m**2 + 4*m - 7. Let b = -19 - -23. Suppose 8 = b*u - 4. Is y(u) a prime number?
False
Suppose 2 = -2*k, 0 = -2*g + 45*k - 48*k + 36191. Is g a composite number?
False
Let b be ((-28)/(-98))/(3/(-11277)). Let d be (-14379)/21 + (-4)/14. Let a = d - b. Is a prime?
True
Is ((-102)/(-42) + -2)*(-4)/12*-2917677 prime?
False
Let g(k) be the second derivative of 43*k**3/3 - 39*k**2/2 + 20*k. Is g(8) composite?
True
Let t be (15/99 + (-2)/(-11))*1899. Suppose -2*u + t = -2161. Is u a prime number?
False
Let a be (0 - (-19196)/8)/(8/32). Suppose 4*z = -2*d + a, 4*d - 13114 - 6030 = 5*z. Is d a composite number?
True
Suppose 303011 = -49*q + 1659772. Is q a prime number?
True
Suppose 51*j - 1202749 = 3*j + 6130067. Is j prime?
True
Suppose -1412*t + 1725634 = -1398*t - 2700144. Is t a prime number?
False
Let n(m) = -35*m**2 - 39*m + 48. Let r(j) = 36*j**2 + 38*j - 49. Let q(w) = 2*n(w) + 3*r(w). Is q(-17) prime?
False
Suppose -5*s + 27*v - 29