posite number?
True
Suppose b = 5*q + 2651, -5*q - 9100 = -3*b - 1147. Is b prime?
False
Suppose 404*f - 415*f + 34639 = 0. Is f prime?
False
Suppose 2*a - 622 = 3*n + 300, 4*a = -n + 1872. Is a a prime number?
True
Suppose -3*f + 2*v = 256, -2*f - 3*v = -0*v + 175. Let s = -79 - f. Is s a prime number?
True
Let i be 1/2 + 70/28. Suppose i*l - 3*q = -6*q - 9, l - 27 = 5*q. Is l/(-7) - (-24844)/28 a prime number?
True
Let o(z) = 4*z**2 - 88*z - 35. Is o(40) prime?
False
Suppose 7*z - 8*z = 0. Suppose z = 6*t - 1344 + 378. Is t a prime number?
False
Let i = -697 + -23. Let j = -354 - i. Let s = j - 165. Is s a composite number?
True
Suppose 5*h = 2*a + 10, -27 + 7 = 4*a. Suppose h = n - 0*n - 2. Is (3/n)/(2/52) a prime number?
False
Let k(i) be the second derivative of i**4/12 + 5*i**3/6 + 5*i**2/2 - 5*i. Let z be k(-5). Suppose -t - 36 = -j - 90, z*t - 306 = -4*j. Is t a composite number?
True
Suppose -x = 5*w, -4*w = -x + 5*x. Suppose 4*z - 469 = -2*n + 5*n, w = -2*n + 2. Is z prime?
False
Let c = 1 + 15. Let i(k) = -k**3 + 19*k**2 - 3*k - 11. Is i(c) prime?
True
Let b be -2 - 0 - 1*6. Let j(u) = -17*u**3 - 16*u**3 + 34*u**3 + 4*u - 11 + 9*u**2. Is j(b) prime?
False
Let d(n) = 39*n**2 + n + 6. Let s be d(-4). Suppose g - 3*l - s = -0*l, -5*l = 2*g - 1263. Is g a prime number?
False
Suppose -4*s + 1645 = 129. Let w = 644 - s. Is w composite?
True
Suppose -370 = -3*z - 2*z. Suppose 0 = -15*r + 16*r - z. Is r a composite number?
True
Suppose 0 = 5*b - 3*b - 3*p - 8, p = -5*b + 20. Suppose 0 = -2*r - 3*c + 4, 2*r = 5*c - 6*c + 4. Suppose -r*s = s - b*k - 547, -5*s + k = -923. Is s prime?
False
Let g(m) = 2*m**2 - 17*m + 7. Let i be g(8). Is (i - (-78)/4)*10 prime?
False
Let q(i) = 20*i**2 + 32*i + 1105. Is q(-29) composite?
True
Let o be (4/(-10))/((-6)/6210). Suppose -5*b + 1035 = -0*b + n, 5*n - o = -2*b. Suppose -5*w = -118 - b. Is w prime?
False
Suppose 4*h + 3*u = 2527, -1258 = 10*h - 12*h + 4*u. Is h a prime number?
True
Let r = 812 + 33. Suppose 2*u - 1701 - r = -4*f, 0 = -5*u + 15. Is f composite?
True
Suppose -10*p + 42736 = 6*p. Is p composite?
False
Let k be -4*(-3)/(-12)*3. Let w(f) = 5*f**2 - 50 - 48 + 100 + 3*f. Is w(k) prime?
False
Suppose -12 = -3*j + 3*d, 21 = -j + 4*d - 8*d. Suppose 6*c - 22 = 17*c. Is j/(c*2/508) a composite number?
False
Let z(b) = -2*b**2 - b + 9. Let v be z(0). Suppose -y + 3*y - 2*r - 22 = 0, 4*y + 4*r - 84 = 0. Let g = v + y. Is g a composite number?
True
Suppose -8*w + 3*w = 0. Let k be w - (0 - 0) - -107. Suppose k + 115 = 3*v. Is v a composite number?
True
Let j be (-20)/3*(16/(-5) + 2). Suppose -j*k = -5*k - 4197. Is k a prime number?
True
Suppose -2*j + 4*i = 5*i - 242806, 5*j = -3*i + 607013. Is j a prime number?
False
Let y = -71 + 43. Is (1106/y)/(2/(-4)) prime?
True
Let h(b) = b - 3. Let g be h(6). Suppose -2*a + 18 = 4*m - 6*m, 27 = g*a - m. Is a a composite number?
True
Let o(y) = y**2 - 6*y + 787. Is o(0) a composite number?
False
Let q = -7 + 13. Suppose -2 = u - q. Suppose 2*c - u*c + 46 = 0. Is c a composite number?
False
Let m(a) = -37*a**3 - a**2 - 2*a - 1. Let u be (-8)/(-4)*(-1 + 3). Suppose 0 = -u*y - 4. Is m(y) a composite number?
False
Let q(o) = -o**2 + 7*o - 5. Let b be q(5). Is (-2 + b)*273/9 prime?
False
Let c(l) = 3*l**2 + 43*l - 11. Is c(-36) a composite number?
True
Let q = 317 - -133. Suppose -4*t + 2114 = -q. Is t a composite number?
False
Suppose 3*h - r = 76, -h = 2*r - 19 - 18. Let q be 6/h - (-180992)/72. Suppose 2*w = -3*x + 2518, w + 2*x = -w + q. Is w prime?
False
Suppose -f = -0*f - 3. Suppose -d = -5*s + 553, 19*d - 24*d + 10 = 0. Suppose 0*u = f*u - s. Is u composite?
False
Let w = -995 - -3579. Suppose -4*g = 636 - w. Is g composite?
False
Let t = -51 + 51. Suppose 0 = -m - 1, t = -2*r - 5*m + 1147 + 946. Is r prime?
True
Is (4931/2)/(8 + 120/(-16)) prime?
True
Let u = 3474 - 1315. Is u a composite number?
True
Suppose 12064 = 3*z - 10439. Is z a composite number?
True
Let r be (2/4 - 0)*2. Let j be (6/r)/3 + 3. Suppose 1035 = j*t - 5*n, 0*t = t + 3*n - 203. Is t a prime number?
False
Let a(q) = 129*q + 19. Let y be a(13). Is (-1 - 2 - 0) + y a composite number?
False
Let h(m) = 17 + m - 1 - 2. Let q be h(-11). Suppose u + 614 = q*u. Is u a composite number?
False
Suppose -5*i = -4*m - 1063, -5*i - 3*m - 2*m = -1090. Let y = i - -672. Is y prime?
True
Let j = -235 - 269. Let q = 1441 - j. Is q prime?
False
Let w = 6 + -3. Let d(v) = -1 - 6*v - 3*v - w + 1. Is d(-4) composite?
True
Let r(z) = 117*z**2 + 12*z + 28. Is r(13) a composite number?
True
Let v(k) = -k**3 - 7*k**2 + 13*k + 10. Let l be v(-8). Is 4442*-5*3/l prime?
True
Let i = 69725 - 36624. Is i a prime number?
False
Let h = 3 - 3. Suppose -4*m + 3*m + 3088 = h. Suppose 0 = -5*j + m + 517. Is j prime?
False
Suppose -10*l = -64581 + 3551. Is l prime?
False
Let s(w) = -9 - 16 - 13 + 34*w**2 + 33. Is s(2) composite?
False
Let d(l) = 8*l**2 - 54*l + 77. Is d(-24) a prime number?
True
Let m(x) = 19*x**3 - 3*x**2 + 2*x - 13. Suppose 2*d + 2*d - 4 = 0, -d + 7 = 2*j. Is m(j) prime?
True
Let b(g) = 4*g**3 - g**2 - g - 1. Let p be b(-1). Is (-4792)/p + (-12)/(-20) prime?
False
Suppose -7*m = -11*m. Suppose -4*h + 2*h + 636 = m. Let b = h - 175. Is b composite?
True
Suppose -2*v - 37 = -91. Suppose -4*g + 115 = v. Is g prime?
False
Let q(t) = 146*t**2 + 1. Let x(f) = f**3 - f**2 + 1. Let y be x(1). Let z be q(y). Is (6/9)/(2/z) prime?
False
Let z(s) = s**2 + s + 6. Let t be z(0). Suppose t*a - 35123 = 21547. Is a composite?
True
Let x be 1*46/4 - (-3)/6. Let n(h) = 89*h + 5. Is n(x) composite?
True
Let c(p) = 2*p - 3. Let q be c(-3). Let j(s) = -s - 8. Let h be j(q). Is -6 + 7 + (h - -207) a prime number?
False
Suppose -5*d + 11*d = 30. Suppose d*n = 13*n - 12592. Is n prime?
False
Let c(r) = r**3 + 5*r**2 + 5*r + 6. Let t be c(-4). Suppose -t*f - 612 = j - 5*j, -f = -5*j + 768. Suppose -7*b + 63 = -j. Is b composite?
False
Suppose 0 = i - 5 - 4. Let g(o) = 49*o**2 + 15*o - 11. Let b(l) = 25*l**2 + 7*l - 5. Let h(m) = i*b(m) - 4*g(m). Is h(3) a prime number?
True
Suppose -984 = b - 4*b. Suppose 0 = c + 3*c - b. Is c a composite number?
True
Let v = 421 + 138. Let a = v - 380. Is a a composite number?
False
Let v = -18 + -102. Let x = 3 - v. Is x prime?
False
Suppose -815 = 21*p - 12512. Is p a prime number?
True
Let i(h) = -h**2 - 21*h - 1. Let o be i(-21). Let y(v) = 55*v**2 - 8*v + 8*v. Is y(o) a prime number?
False
Suppose 2*j + 6 - 16 = 0. Suppose -s + 178 - 20 = -3*f, -j*f - 20 = 0. Is s composite?
True
Suppose 18*a = 17*a + 4647. Is a prime?
False
Let n(b) = 106*b**3 + b**2 + b - 1. Let t = 91 + -89. Is n(t) composite?
False
Let p(n) = -n**3 - 4*n**2 + 2*n - 10. Let x be p(-5). Suppose -5*u - 1518 = 5*r - 7138, -x*u = 4*r - 4499. Is r a composite number?
True
Let h(a) = -15*a**3 + a**2 - 5*a + 43. Is h(-10) a composite number?
False
Suppose -42*a = 14317 - 87985. Is a composite?
True
Let z = 57 - 97. Let b be (-47)/2*z/4. Is b/(((-4)/1)/(-4)) prime?
False
Suppose 12*n - 17*n + 37150 = 0. Is (n/(-45))/(6/(-9))*3 a composite number?
False
Let s(q) = 6*q**3 + q**2 - q. Let n = 26 + -25. Let c be s(n). Is c/(-9)*-6 - -627 prime?
True
Let a(o) = -10*o - 77. Let u be a(-8). Let i(d) = 35*d - 2. Let p(c) = 69*c - 4. Let t(b) = -11*i(b) + 6*p(b). Is t(u) a composite number?
True
Let j = -1007 + 2406. Is j composite?
False
Suppose -5*x - 10 = 0, -2*y + x + 1742 = -x. Is y composite?
True
Let z = -5267 + 11232. Is z a composite number?
True
Suppose 4*q = 2*q - 5*u - 3102, -u - 2 = 0. Let i = q - -2907. Is i prime?
True
Let h(p) = -p**3 - 3*p**2 + 8*p + 5. Suppose 42 = 5*b - 11*b. Is h(b) a composite number?
True
Let y(u) = 19*u**2 - 7*u - 2. Let a be y(7). Suppose 2*j + 4378 = 3*v, -9620 + a = 4*j - 2*v. Is 4/10 - j/5 prime?
False
Suppose 0*h - 4*s - 4549 = -5*h, -4545 = -5*h + 5*s. Is h a prime number?
False
Let r = 24922 - 8561. Is r composite?
False
Let u(a) = a**3 + 16*a**2 - 3*a + 5. Let f be -5 + (-4 - (3 + -5)). Is u(f) composite?
False
Let m(c) = -11*c**3 + c. Let a be m(1). Let r be a/(-60) - (-86)/(-12). Is (38/3)/(r/(-21)) composite?
True
Suppose 22411 + 25746 = v. Is v prime?
True
Suppose -177 = 2*a - 21. Let x = -38 - a. Suppose w = -t + x, -3*w - 2*t + 117 = -0*w. Is w prime?
True
Let n be 1/((-2)/(-18)