?
False
Suppose 2114 = -7*x + 9163. Is x prime?
False
Let p be ((-2)/4)/((-2)/(-4)). Let n be (4/6)/(p/6). Is ((-4)/3)/(n/66) a prime number?
False
Suppose 115*q - 92*q - 1663337 = 0. Is q composite?
True
Let v(r) = -5*r + 10. Let l be v(-10). Suppose 79 = -3*s + 28. Let h = l + s. Is h prime?
True
Let h = -37569 + 66320. Is h prime?
True
Suppose -3*h + 5217 = 6*b - 2*b, -5*h = -2*b - 8669. Is h prime?
False
Let r(c) be the third derivative of -c**6/120 - c**5/15 - c**4/8 + 3*c**3/2 - 7*c**2. Is r(-4) composite?
True
Suppose 4*s + 7*s = -77. Let h(u) = 4*u**2 + 2*u + 3. Is h(s) a prime number?
False
Suppose 9*z - 8*z = 2. Suppose -z*j = -4*j + 794. Is j composite?
False
Suppose 0 = -4*u + 3*b - 1806, -u + 2*u + 448 = -b. Let o be 1*-2 + u + 3. Let z = -186 - o. Is z a composite number?
False
Suppose 29*n = 31*n. Suppose 0 = -2*d - 2*h + 64, -d + 2*h + 47 = -n*d. Is d a prime number?
True
Is (-2 + 0)*45918/(-36) prime?
True
Suppose -4*g + 6*l - 5*l = -293615, 2*g = -2*l + 146800. Is g composite?
True
Let a = 203339 - 128986. Is a composite?
False
Let n be 55*((-24)/(-10) + -2). Let w be 4/n + 40/22. Suppose 0 = 4*k - w*v - 1506, -k + v + 1890 = 4*k. Is k composite?
False
Suppose -3*w - o + 0 = -5, -4*w + 5*o = -13. Let a(t) = 146*t**2 - t + 4. Is a(w) a prime number?
False
Let w = -1817 + 1070. Let g = 812 - w. Is g a prime number?
True
Let s(x) = -x. Let p(c) = c. Let a(d) = -2*p(d) - 3*s(d). Let y be a(3). Let k(g) = 15*g**3 + 3*g**2 + 5*g - 2. Is k(y) a prime number?
False
Let f = 11041 + -6719. Is f composite?
True
Let k(m) = -50*m - 5. Suppose -4*n + 576 = q, -2*q = -3*n - 0*q + 443. Let i be 4/(-20) - n/25. Is k(i) composite?
True
Let y = 19639 - 4342. Is y composite?
True
Suppose 17*d - 20824 = 409. Is d composite?
False
Let z(q) = 18*q - 27. Let y be z(9). Let l = 218 - y. Is l composite?
False
Suppose 3 = -14*f - 25. Is 4636/7 + f/7 a composite number?
True
Suppose -3*g + 9441 = -4*o - 300, 0 = -2*o + 6. Is g a composite number?
False
Suppose 85 = 10*u - 5*u. Let n = -10 + u. Is n composite?
False
Suppose -2*m - 20*s + 2328 = -21*s, s = -2*m + 2332. Is m a composite number?
True
Is 1 + 38/2*358 composite?
False
Let h be 1 + (-3 - (-2 - 4)). Suppose 5*y + 0*a = -h*a - 712, 3*a - 294 = 2*y. Is 15/35 + y/(-7) composite?
True
Let g(z) = 243*z - 50. Is g(13) a composite number?
False
Is (10 - 8)*(-19059)/(-6) a prime number?
True
Is 21469*(-21)/(-35)*(-10)/(-6) prime?
False
Let q(o) = -1689*o + 11. Is q(-4) composite?
True
Let c(y) = y + 16015. Is c(0) prime?
False
Let h(x) = 18*x**3 + 7*x**2 - 17*x + 31. Is h(5) composite?
False
Let t(j) = -2*j - 8. Let l be t(-8). Let g(p) = -3*p - p**2 - p**3 - p**2 - 13 + l. Is g(-6) a prime number?
True
Let m = 20066 - 11184. Is m a composite number?
True
Suppose -12*z - 2490 = -7*z. Let a = z + 1131. Is a a composite number?
True
Suppose 2*i + 14 = -5*y, 2*y - 3*i + 29 = 12. Is 702/2 + (y - 0) composite?
False
Suppose 0 = 4*d + 4*c - 10394 + 2618, -5*c - 25 = 0. Is d prime?
True
Suppose -33 = -4*o - 1. Suppose 0 = -o*f + 109 + 1323. Is f prime?
True
Let j = 42 - 39. Suppose -r - 6 = -j*r, 4*z - 5*r = 6613. Is z a composite number?
False
Let t(y) = -4*y**3 + 14*y + 3. Is t(-8) composite?
True
Let s(b) = b**3 - 17*b**2 - 17*b - 15. Let l be s(18). Is 38*(2 + (-119)/(-2))/l composite?
True
Suppose 0 = -4*c - 4*m + 52, c + 8 - 33 = 3*m. Let b = -65 - -56. Let k = b + c. Is k a composite number?
False
Suppose 2*t - 65 = p, -2*p = -3*t - p + 97. Is 3069/12 + 40/t a composite number?
False
Let c(h) = -h**2 - 7*h + 10. Let n be c(-8). Let p be 4/2*n/2. Suppose 12 = -3*o, 0 = p*t + 5*o - 84 - 498. Is t a composite number?
True
Let u = -17 - -228. Is u a composite number?
False
Let m(f) = -23*f**3 + f**2 + f + 1. Let r be m(-1). Let o(x) = 6*x - 3. Is o(r) composite?
True
Let q be 252 + -1 + (-1)/1. Suppose 5*d - 2495 + q = 0. Is d a composite number?
False
Is 11044/33*(-6)/(-8) composite?
False
Let r(b) = 85*b - 1. Let l(p) = -256*p + 4. Let k(z) = 2*l(z) + 7*r(z). Is k(6) composite?
False
Let b(i) = -4*i - 26. Let m be b(-9). Suppose -13127 - 6183 = -m*p. Is p composite?
False
Suppose 42744 = 2*p + 2*w, 5*p + 13*w - 106900 = 16*w. Is p a composite number?
False
Let u be (-1 - (-1)/(-1)) + 744. Let g = 1095 - u. Is g composite?
False
Suppose 0 = -a - 4*d + 430, 0*d = 5*a - 5*d - 2275. Suppose -5*r + 740 = 3*x, -4*x = 3*r - x - a. Is r prime?
False
Suppose 2*l = -0*l + 24. Let z = 581 + -1006. Is l/(-10)*z/10 composite?
True
Let m be -2*(-1)/(2/(-6)). Let i(z) be the first derivative of -z**4/2 - 4*z**3/3 - 3*z**2/2 - 5*z + 26. Is i(m) a prime number?
False
Suppose -1378 = -2*c - 2*w, 4*w = c + 127 - 826. Is c a composite number?
False
Let y(h) = -41*h**3 - 5*h**2 + 7*h + 6. Is y(-5) a composite number?
True
Let t(i) = 2*i**2 - 5*i - 6. Let o be (-21)/15 - 9/15. Let j be 2*4/4*o. Is t(j) a composite number?
True
Suppose -9 = 2*a - 5*k, 2*k - 3*k + 1 = 0. Let m be ((-1)/a)/(10/60). Is 1*1996/(m - -1) a prime number?
True
Let x(r) be the second derivative of r**3/6 - 7*r**2/2 - 3*r. Let t be x(11). Suppose 0 = 4*p - t - 120. Is p a prime number?
True
Let v be (-2)/7 + 1413/21. Let b be (39 - -3)*1*6. Let k = b - v. Is k composite?
True
Suppose 2*d - 17 = 3*k, 0 = d + 2. Let s(h) = -322*h - 11. Is s(k) a composite number?
False
Let u = -12239 + 19270. Is u prime?
False
Suppose 3229 = -5*x + 1074. Let d = x + 1016. Suppose -4*c = -d - 1939. Is c composite?
False
Let p(q) = 2*q**3 - 4*q**2 + 3*q - 2. Let m be p(4). Suppose 2*n + 2*z + 98 = 0, 3*z - 30 = n - 1. Let c = m - n. Is c a prime number?
False
Let c(s) = -s**3 - 6*s**2 + 2. Let a be c(-6). Let q(w) = 122*w**2 - 3. Is q(a) a composite number?
True
Let f = 34340 - 15477. Is f composite?
True
Let q be ((-156)/(-16))/((-2)/24). Let j be q/(-6) + 2/4. Let m = 67 + j. Is m a composite number?
True
Suppose 0 = -3*r + 27490 + 518. Suppose 12*d + 1260 = r. Is d a prime number?
True
Let h(w) = -w**3 - 32*w**2 + 58*w - 83. Is h(-36) a prime number?
False
Let i(j) = -j**2 - 57*j - 73. Is i(-23) prime?
True
Suppose 2*s = -13 + 83. Suppose -5*r - s = 5*q, 0*q = -2*q - 5*r - 11. Is (-1377)/(-12) - 2/q a prime number?
False
Let n = 482 - 368. Let r = -4 - -6. Suppose -5*o - z = -269, r*o + z = -z + n. Is o prime?
True
Let d(c) = -685*c - 761. Is d(-54) a prime number?
True
Let p be ((-8)/(-20))/(2/(-130)). Is -1*4/26 - 22130/p a composite number?
True
Suppose 4*g + 856 = 6*g. Let d = 621 + -354. Let a = g - d. Is a composite?
True
Suppose -35419 = 24*m - 25*m + 2*n, -2*n = 3*m - 106265. Is m prime?
False
Let w(s) = 415*s + 3. Let f be w(-3). Let x = 3341 + f. Is x a prime number?
True
Let v(x) be the second derivative of 19*x**5/60 - 7*x**4/24 + x**3/2 + 3*x. Let w(j) be the second derivative of v(j). Is w(9) prime?
False
Suppose 4*d = 1240 - 204. Suppose -2*m = -3*m + d. Is m a composite number?
True
Suppose -q - b = -216, b - 431 = -2*q - 0*b. Suppose g - q = -21. Is g a prime number?
False
Suppose 38*k - 21325 = 33*k. Is k prime?
False
Let l(a) = -14*a - 77. Is l(-35) a composite number?
True
Let l be (-3)/(-1)*(0 - -1). Is 3*(l - 4) - -29 - 0 composite?
True
Suppose 5*y = -k - 19, -1 = -y - 4*k - k. Is (-141)/(12/y + 2) composite?
True
Suppose 0 = -7*j + 1026 + 17804. Let s = j + -1851. Is s composite?
False
Let y = 16126 + 2995. Is y prime?
True
Let z = 60464 - 11367. Is z a prime number?
False
Suppose -633 - 1138 = -7*l. Let p(t) = t**2 + 5*t - 5. Let k be p(2). Suppose l = -8*v + k*v. Is v composite?
True
Let n = -13 - -13. Suppose c + 3*c = n. Suppose c = -9*m + 8*m + 31. Is m a prime number?
True
Suppose -49774 - 37725 = -17*g. Is g prime?
True
Suppose 7*z = 10*z + 2*m - 23447, 31264 = 4*z + 2*m. Is z composite?
False
Let c = -6 - -11. Suppose c*k - 762 = -t, -497 = 2*t + 3*k - 2056. Is t a prime number?
True
Let v = -229 + 1232. Let f = -206 + v. Is f composite?
False
Suppose -9*s = 104*s - 1503691. Is s prime?
False
Let u be -3 - 1326/21 - (-4)/28. Let y = u + 401. Is y a prime number?
False
Let l be (1/(-3))/(3/(-7929)). Suppose w - 716 - l = 0. Is w composite?
False
Let w(u) = u**2 - 17*u + 34. Let o be w(15). Suppose 2*q = 3*q - 5*f - 268, 2*q + o*f - 606 = 0. Is q prime?
True
Let a(f) = -4*f - 4. Let v be a(-2). Suppose -v*r + 410 + 1754 = 0. Is r compos