47. Is x prime?
False
Let v be (-9859)/(-19) - 2/(-19). Suppose -21*k - v = -22*k. Is k a prime number?
False
Let p be -8 + (3 - 4) + 3. Let h = 8 - p. Is h composite?
True
Let y be (-73)/(-3) + (-2)/6. Let h = -16 + y. Is -4*(-2)/h*33 a composite number?
True
Suppose 3*c - 2*c = 397. Is c composite?
False
Let r = 23913 - 12976. Is r a prime number?
True
Suppose 159594 = -11*w + 13*w - 4*h, w - 79792 = -3*h. Is w prime?
False
Let w = 3315 + 6190. Is w prime?
False
Let x be 4/30 - (-434)/(-105). Let k be 22689/36 - (-1)/x. Let o = k + -323. Is o composite?
False
Suppose -5*k + 8*k - 27 = -4*v, 3*k - 9 = 2*v. Suppose -3*j = -4*w + 2, -3*j + v = 4*w + 13. Is (3 - j)*24 + -1 composite?
True
Let p(r) = -121*r**2 + r. Let n be p(-2). Let h = n - -1059. Is h composite?
True
Suppose 0 = -4*y + 2*h - 0*h + 46102, 2*y - 23053 = -h. Is (-3)/(-4) - y/(-24) composite?
True
Let a(i) = -3*i - 7. Let v be a(-3). Suppose q = v*q - 6637. Is q composite?
False
Let b(m) = -m**3 - m**2 - m + 287. Suppose 15 = -0*q + q. Let l be 4/10 + (-6)/q. Is b(l) prime?
False
Let d(q) = -q**2 + 799. Is d(0) a prime number?
False
Suppose 2*i - 5*q - 28 = 0, -4*i - i - q + 16 = 0. Suppose 7*w + 8 = 3*w, 0 = 5*m - i*w - 1273. Is m prime?
False
Let v(s) = -4 - 5*s + 5 + 12 - 3*s**2. Let h be v(-10). Let n = 648 + h. Is n a composite number?
True
Suppose -2*r = -5*r - 9. Let h be (59/(-3) - -2)*r. Suppose -3*q + 4*q - h = 0. Is q a composite number?
False
Let z be 140/12 + 10/(-15). Is -3 + z/((-11)/(-40)) a prime number?
True
Suppose 0 = 3*p + 2*t - 22, 10 + 0 = 2*t. Suppose -p*j + 381 = -3863. Is j a prime number?
True
Suppose -2*w - 5*w + 9982 = 0. Suppose -2*t = 3*q - 838, 5*t - 669 = q + w. Is t composite?
False
Suppose 3*l + b - 304540 = 2*b, -101514 = -l + b. Is l composite?
False
Suppose -i + 1 = t - 1, 0 = -3*i - 2*t + 6. Suppose i*b - 4*b + 3*f + 1235 = 0, -5*b - f + 3062 = 0. Is b prime?
True
Let h(r) = 43*r**2 + 9*r - 9. Let d be h(-4). Let u = d + -174. Is u composite?
True
Let p = 1027 - 334. Suppose -d - 653 = -5*f + 235, 4*f + 5*d - p = 0. Is f composite?
True
Suppose 3*i - 16806 = -3*a, -3*i = 3*a - 6*a - 16824. Suppose -3*j + 3*t + 18 = 0, 21 = -2*j + 3*j + 4*t. Is i/j - (-2)/9 composite?
True
Let r(q) = -38*q - 10. Let t be r(-4). Suppose -3*c + g = 6*g - t, c - 5*g - 54 = 0. Is c composite?
True
Let w(n) = -n**3 + 2*n**2 + 2. Let k be w(2). Suppose 0 = -7*s + k*s + 3385. Is s prime?
True
Let x(p) = -253*p - 4. Let b be x(-3). Let j = -462 + b. Is j prime?
True
Let p be (754/(-6))/((-9)/(-27)). Let n = p + 538. Is n a prime number?
False
Suppose -237 = 6*d + 2541. Let r = 1136 + d. Is r a prime number?
True
Suppose -4*w = -2*h - 298, w - 3*h - 2*h - 52 = 0. Is w a prime number?
False
Suppose -5*u - 2535 = 5*y - 6330, 2 = -u. Is y prime?
True
Suppose n = -5*t - 260, n + 86 + 21 = -2*t. Let k = 36 + t. Is (-5709)/(-15) + (-6)/k a composite number?
True
Let o be ((-20)/(-25))/1 - 16/(-5). Suppose 700 = o*d - 3336. Is d a composite number?
False
Suppose -314*n - 2675314 = -352*n. Is n a composite number?
True
Let n = -30 - -41. Suppose 5*j + 2*s = 1261 + n, s + 1015 = 4*j. Is j composite?
True
Let s = -24 - -42. Let y = 20 - s. Is 383/y + (-5)/10 composite?
False
Let b be 4*3*(-15)/(-12). Let x(s) = -s**3 + 15*s**2 + 18*s - 19. Is x(b) composite?
False
Let x = 30 + -27. Suppose 0 = -o + x*v + 1779, -3*v + 12 = v. Suppose o = 2*u + 2*u. Is u prime?
False
Let f = 1 + 2. Suppose 0 = f*u - 0*u - 36. Let p(k) = 16*k - 7. Is p(u) a prime number?
False
Let i(g) = g**2 + 7*g - 10. Suppose 3*y + 36 = 12. Let m be i(y). Is (3/m)/(6/(-332)) a prime number?
True
Let w(d) be the second derivative of 3*d**5/20 + d**4/2 + 4*d**2 + 2*d. Is w(5) composite?
True
Suppose 28*s - 27*s - 4421 = 0. Is s prime?
True
Suppose 2*s + 2*a = 323 + 12429, 31925 = 5*s - 4*a. Suppose 3*l + 5128 = 4*y + 32, 5*y - s = l. Is y prime?
True
Suppose 5*y - k = 81240, -6*k = 5*y - 10*k - 81225. Is y a prime number?
True
Let u(g) = g**3 + 5*g**2 - 4*g - 10. Let a be u(-5). Suppose 4*i - 18 - a = 0. Is i composite?
False
Let t be (0 + (-1 - -2))*593. Suppose -2*y + t = -15. Suppose y = v + 119. Is v composite?
True
Let j(c) = 5*c**2 + 7*c - 2. Let a(d) = 4*d**2 + 6*d - 2. Let q(s) = 4*a(s) - 3*j(s). Let o be q(18). Is o + 4 + 1 + -4 a composite number?
True
Let q(p) = -3454*p + 205. Is q(-6) prime?
True
Let o = 18073 + -8642. Is o a prime number?
True
Let x(z) = z**3 + 4*z**2 + 2*z + 2. Let s be x(-3). Suppose -1524 = -f + s*f. Is (1 - f)*(-1)/(-2) a prime number?
True
Let y(x) = 754*x**3 - 8 + 6 - 2 + 5 - 2*x**2. Is y(1) prime?
False
Suppose 17*h - 32*h = -3345. Is h composite?
False
Is 355932/8 + -1 - 16/(-32) prime?
True
Suppose 5*g - 9233 = 2*u, g - u - 619 - 1227 = 0. Is g prime?
True
Let c(d) = 38*d - 29. Is c(51) composite?
True
Let q = 21056 + -3553. Is q composite?
True
Suppose -3*c + 3*g = -g - 298, -81 = -c + 5*g. Let v = 140 - c. Is v prime?
False
Is (6979 - 2)/((4 + -3)/1) a composite number?
False
Suppose 163073 - 475720 = -17*c. Is c prime?
False
Suppose -1 - 19 = 2*f. Let k = -1 - f. Is k/(-15) + (-188)/(-5) prime?
True
Let w(c) = -2*c + c**3 - 3*c**2 + 5*c**2 - c + 47 - 46. Let y be w(-3). Is y*(162 + -3 + 4) a prime number?
True
Let r(w) = -7*w**3 - 8*w**2 + 9*w - 3. Let t(y) = -8*y**3 - 7*y**2 + 8*y - 3. Let d(f) = 5*r(f) - 4*t(f). Is d(-11) composite?
True
Suppose 0 = n - 3, 2*j + 10190 = 3*j - n. Is j composite?
False
Let n be 50*((-18)/5)/3. Let t = -391 - -225. Let p = n - t. Is p prime?
False
Let m(y) = 2*y**3 - 19*y**2 - 18*y - 48. Is m(19) prime?
True
Let i be (-3 - (-28)/12)/((-6)/(-9)). Let n(y) = 2458*y**2 - y. Is n(i) a prime number?
True
Suppose 0 = f + 4*f. Let d = 231 - 227. Suppose -3*q - d*j + 503 = f, -2*q = 2*q - 5*j - 619. Is q prime?
False
Let q(h) = 75869*h**2 - 27*h + 27. Is q(1) a composite number?
False
Let y(x) = 1258*x**3 - 45*x + 46. Is y(1) a prime number?
True
Let v be 0/(-2) + (-144 - 0). Let c = 203 + v. Suppose -i + 0*i = -c. Is i a prime number?
True
Let w(z) = 111*z - 6. Let h be w(7). Suppose 5*t + h = -239. Let a = t - -501. Is a a prime number?
False
Suppose 0*d + 36466 = 2*d - 2*l, 3*l = 2*d - 36470. Is d a composite number?
False
Suppose -5*d - 36 = 3*m, m - 2 + 6 = d. Let p(l) = -378*l - 13. Is p(m) a composite number?
False
Let f(p) = p**3 - 6*p**2 - 6*p. Let w be f(7). Suppose 683 = w*u - 1466. Is u a prime number?
True
Let w(q) = -651*q + 35. Let s be w(-8). Suppose -6*t - s = -18737. Is t a prime number?
False
Let o = -3312 + 6611. Is o a prime number?
True
Let f(j) = -j. Let n be f(1). Let w = n - -1. Suppose 5*m + 4*c - 836 = 115, m - 2*c - 193 = w. Is m composite?
False
Suppose -5*m = -10, -13*m = -2*r - 9*m + 276. Is r composite?
True
Suppose g - 3 = q - 5*q, -3*g - 25 = -5*q. Suppose 0 = -f - q*f. Suppose f = -2*i + i + 2*m + 81, 0 = -3*i - 2*m + 259. Is i prime?
False
Let v(t) = 22*t**2 - t + 2. Let x = 21 - 15. Suppose 2*j - 4*j = x. Is v(j) a prime number?
False
Suppose -40*m + 7*m + 119031 = 0. Is m composite?
False
Suppose -556*l = -554*l - 3522. Is l a prime number?
False
Let y be (0 - 1) + 0 + 5. Is (-1*4906)/(y + -7 - -1) prime?
False
Suppose -2*b - 2*o - o + 3206 = 0, -4 = o. Suppose s = b + 46. Is s a composite number?
True
Let j(d) = d**3 - 6*d**2 - 11*d**2 + 11*d**2. Let t be j(6). Suppose 3*a - 2*y - 255 = -t*a, -5*y + 15 = 0. Is a composite?
True
Suppose -7*d = -11*d + 8. Suppose -d*m = -2 - 2. Suppose 2*v - j = -4*j + 1373, m*v + 5*j - 1383 = 0. Is v a prime number?
False
Let f = 6 - 8. Let x = 0 - f. Is (-156)/(-8) - 1/x prime?
True
Let u(z) = -6 + 2*z + 7*z**2 - 2*z**2 + 6 - 8*z**3 - 4. Is u(-3) a prime number?
True
Let v(m) = 6*m**2 - 29*m + 52. Is v(23) composite?
True
Let f(y) = 191*y - 5. Let g be f(3). Suppose 4*k - 5*h - g = -168, 2*k + 2*h = 182. Is k a prime number?
False
Let v be (100/(-3))/2*(-24)/16. Is (-3)/15 - (-855)/v a prime number?
False
Let p(x) = 53*x + 16. Let n be -6*((-6)/(-4))/(-1). Is p(n) a composite number?
True
Let y(n) = n**3 + 4*n**2 - n + 2. Let a be y(-4). Suppose -4*r + x - a*x + 1148 = 0, 861 = 3*r + 4*x. Is r a prime number?
False
Suppose -5*l + 18 = -57. Suppose l = 5*s - 770. Is s prime?
True
Let p be (4/(-10))/(2/(-70)). Suppose -22 = -2*n - 3*i, -p = -n - n - i. Suppose 1624 = 3*y + 