rime?
True
Suppose -84*t + 37656 = -48*t. Is t prime?
False
Let b(w) = w - 7. Let q be b(3). Let d be -99 + q + 7 - 3. Let i = 654 - d. Is i a composite number?
True
Let j = 13990 + -1209. Is j a composite number?
False
Suppose -n - 3*t = -103, -t = -n + 17 + 70. Suppose -13 = 3*d - 223. Let q = n + d. Is q composite?
True
Let n(b) = 158*b + 11. Let w be n(-3). Is 0 - -4 - (w - 2) a composite number?
True
Suppose -4*y + 4*n + 1868 = 0, -41*n - 2 = -42*n. Is y a prime number?
False
Let d(b) = -b**3 - 8*b**2 - 2*b + 8. Let n be d(-8). Let z be n/6 - (1 + 7). Is (-2)/((-2)/(-268)*z) a composite number?
False
Suppose -2*q + 5*l = 2*l - 34, -62 = -4*q + 3*l. Suppose 6 = -2*b - 2*h, -3*h - q + 5 = b. Suppose 2*n + 4*d - 23 = 71, -4*d + 20 = b. Is n composite?
False
Suppose 2*z = 4*z + 10. Let b = z - -13. Suppose 3*p = b + 31. Is p prime?
True
Let r(x) = 25*x**2 + 15*x - 3. Let g(q) = 12*q**2 + 8*q - 1. Let j(a) = 9*g(a) - 4*r(a). Is j(-6) prime?
False
Suppose -2*a + j + 3*j + 1970 = 0, -5*j + 957 = a. Is a a prime number?
True
Let o(k) = -k**2 + 5*k. Let b be o(6). Let z = 0 - b. Is ((-4)/z)/(10/(-4395)) composite?
False
Suppose 2607 + 2363 = 3*b - 5*s, 0 = 5*b + 2*s - 8273. Suppose 51*g - 46*g = b. Is g prime?
True
Suppose 0 = -3*h + 2*h + 3815. Is h/14 - (-6)/4 prime?
False
Suppose -5*d + 0*d = 7385. Is d/(-3) + (-26)/(-39) a prime number?
False
Suppose -16 = -4*d - 3*x, 0 = 5*d - 6*x + 3*x - 20. Suppose d*i = i + 471. Is i composite?
False
Suppose 8*s + 3*y = 3*s - 2615, 4*y = 4*s + 2060. Let h = 933 + s. Is h composite?
True
Suppose 5*m = -4*l + 45581, 4*l + 2*m = 24220 + 21370. Is l a prime number?
True
Let o = -11067 - -24848. Is o composite?
False
Suppose -7*y + 25 = -2*y. Suppose -7*s = -y*s. Suppose 0 = -4*o + 5*m + 1201, 5*o + s*m - 1497 = 2*m. Is o prime?
False
Suppose -19*b - 14738 + 73809 = 0. Is b a prime number?
True
Let r(o) = 79*o**2 - 10*o + 10. Is r(3) composite?
False
Let z(g) = -g**3 - g**2 - 2*g - 37. Let w be z(0). Let q = 80 + w. Is q a composite number?
False
Suppose 3*o + 3 = -33. Let m be 118/6 - 2/3. Let k = m + o. Is k a prime number?
True
Suppose 3*o = 5*o. Let w(h) = -h. Let j be w(o). Suppose 5*l - 6*v + 2*v - 706 = j, -2*l + 287 = 3*v. Is l composite?
True
Let n(z) = z**3 + 2*z**2 - z + 5. Let i be n(0). Suppose -3*d - i*y = -5692, 2519 + 5047 = 4*d + 2*y. Is d a prime number?
True
Suppose 2*q - 3*u - 46720 = 0, -2*u + 3324 = -q + 26685. Is q prime?
True
Suppose 3*y + 3*u = -1422, -5*y - u + 6*u - 2390 = 0. Let k = 1593 + y. Is k composite?
False
Let o be 2/(-6*(-4)/60). Suppose i = -i + 5920. Suppose 3*w = -o*m + 1736, 5*m = w + 4*w - i. Is w composite?
False
Let d(h) = h**3 - 11*h**2 + 11*h - 6. Let r be d(10). Suppose -3 = -2*n - 3*c + 4, -4 = -r*c. Suppose n*m = 60 + 38. Is m composite?
True
Let v = -40 - -36. Is (3/(-9))/(v/3012) a prime number?
True
Let n(b) = 3*b + 23. Let u be n(-11). Is (1*526)/((-20)/u) a prime number?
True
Let b(a) = 411*a**2 + 6*a - 5. Is b(2) a prime number?
False
Let c = 4 + 0. Suppose -c*k + 5*p - 37 = 0, 5*p - 45 = -k + 6*k. Is 441 - 5/(20/k) prime?
True
Suppose 4*s + 390 = 54. Let t = s + 181. Let n = t + 121. Is n a prime number?
False
Let i(x) = -268*x - 1 - 81*x + 65*x. Let f be (-1)/(-7 + 300/42). Is i(f) a prime number?
True
Let g be (-3)/(-5) + (-27)/45. Suppose g = 3*n + 5*p + 6, -2*n + 9 = -5*p + 4*p. Suppose -m = n*m - 76. Is m a prime number?
True
Let w be (-59)/(-4) + (-8)/(-32). Let l = w + -12. Suppose -l*z + 48 + 45 = 0. Is z a prime number?
True
Let b = -3280 + 6279. Is b composite?
False
Let l(z) = -50*z + 7. Let h be l(-5). Let c = -24 + h. Is c a prime number?
True
Suppose -2*l = -3*c - 29167, -c = l + 4*l - 72960. Is l prime?
True
Let p(x) = 15*x**2 - 7*x - 20. Let c(t) = -7*t**2 + 4*t + 10. Let f(m) = -13*c(m) - 6*p(m). Let v be (3/(-3) - -8)/(-1). Is f(v) composite?
False
Let o = -33 + 47. Suppose -o*l - 1270 = -16*l. Is l composite?
True
Let m be -5 + (-1 - -1) + -1. Let j(z) be the third derivative of -5*z**4/6 - z**3/3 - 2*z**2. Is j(m) a prime number?
False
Let p(k) = -35*k**3 - 3*k**2 - 2*k + 1. Let q(d) = -36*d**3 - 3*d**2 - d + 1. Let s(j) = 6*p(j) - 7*q(j). Is s(3) prime?
False
Let s = 10 + -18. Let j = -5 - s. Is -1*7*(2 - j) a prime number?
True
Let o(d) = 3*d**2 - 17*d + 13. Suppose 3*t + 3*t = -84. Is o(t) composite?
False
Suppose 3*n + 45383 = 16*n. Is n a prime number?
True
Let n(s) = -515*s - 298. Is n(-27) prime?
False
Suppose 25 = 4*j - 39. Let z(p) = 0*p - 11 + j + 3*p + 6*p**2. Is z(-6) composite?
True
Let j be (-18)/((12/33)/(-2)). Suppose 0 = -3*r - j + 24. Let o = r - -51. Is o a prime number?
False
Let x be 3795 + (-4 - (-3 + -3 + 2)). Let y = x + -1474. Is y a composite number?
True
Let w be -6*3/(27/6). Is (-1869)/(-3) - -4 - w composite?
False
Let p(f) = 21*f + 129. Let x be p(35). Let w(z) = -20*z - 5. Let j be w(-6). Let q = x - j. Is q a prime number?
False
Let t(d) be the first derivative of d**5/20 + 3*d**4/4 - 13*d**3/6 + 3*d**2/2 - 2*d - 3. Let n(k) be the first derivative of t(k). Is n(-10) composite?
True
Suppose -5*d + 69728 = 27*d. Is d composite?
False
Let i(d) be the second derivative of -d**8/2240 - d**6/240 - d**5/40 - d**4/4 - d. Let c(q) be the third derivative of i(q). Is c(-3) a prime number?
False
Is ((-205396)/(-16)*-6)/(33/(-22)) a prime number?
True
Let i = 4048 - 2877. Is i prime?
True
Let a be (-6)/(2 - (0 - -4)). Let x(i) = 1 + 20*i**a - 5 + 0 + 4*i - 3*i. Is x(2) prime?
False
Let x = 16 - 8. Suppose 2*l - x = -2*l. Suppose b + 1186 = -2*r + 5*r, 0 = -r + l*b + 397. Is r composite?
True
Suppose 16*t - 42987 = -5*t. Is t composite?
True
Let m = 334 + -870. Let s = m + 1935. Is s prime?
True
Let v be ((-2)/3)/(2/(-486)). Suppose 3*k - 180 = 5*n, 9*k = 6*k - n + v. Is k composite?
True
Suppose 5*n + 750 = 2335. Suppose -2*a + 636 = 3*l - 4*l, a - l = n. Is a composite?
True
Let g(i) = -i**2 - 6*i + 5. Let y be g(-5). Let o = y - 8. Suppose l + 1171 = o*l. Is l prime?
True
Let i(r) = 79*r**2 + 28*r - 501. Is i(22) composite?
False
Suppose 2*l = 5*z + 8019 + 3615, -4*z = -2*l + 11630. Is l a prime number?
True
Let t be (4 - 1)/(-1) - -19. Suppose -t*m + 32 = -20*m. Let k(d) = -d**3 - 7*d**2 + 8*d + 7. Is k(m) composite?
False
Suppose -12 = 10*h - 12*h. Suppose 7177 = h*s + 163. Is s a composite number?
True
Suppose 0 = -5*r + 5 + 5. Suppose 5*f + 20 = 0, -q + 5 = r*q + f. Suppose -q*v + 218 = -901. Is v composite?
False
Let l(w) = -10*w**3 - 5*w**2 + 3*w + 1. Let m(k) = 11*k**3 + 6*k**2 - 4*k - 1. Let q(d) = 4*l(d) + 3*m(d). Let r be q(-1). Is r/4*342/9 prime?
False
Let m = 33 - 37. Is (-12)/m*(751/3 + 0) a composite number?
False
Let f(m) = -m**3 + 6*m**2 - 5*m + 4. Let r be f(5). Suppose -r*o - 20845 = -5*l, -4*o = -5*l - 8*o + 20805. Let a = l + -2684. Is a composite?
False
Is (-6)/((-6)/2393) - -2 composite?
True
Suppose -3*f + 3*p + 9 = 3, -f - 2*p = -5. Suppose f*h + 57 = 6*h. Is h a prime number?
True
Is 222/740 + 215234/20 a prime number?
False
Suppose -z = 2*s - 11 - 3, 27 = 2*z + 5*s. Suppose 2852 = 4*h + z. Is h a prime number?
True
Let q = 71126 + -33379. Is q composite?
False
Let x(b) = -b**3 - 5*b**2 + 4*b + 5. Let k be x(-5). Let c be 17/68 - k/4. Suppose -2*t = c*h - 838, -2*h + t + 428 = -t. Is h a composite number?
False
Let j(r) = r**3 + 4*r**2 - r. Let t be j(-4). Let y be ((-24)/60)/(2/(-2070)). Suppose 0 = -3*i + 5*u + y, -4*i + t*u = -0*u - 560. Is i a prime number?
False
Suppose -17 = 2*h - 3*n, -n + 5*n = 4. Is 879*(-2 + h/(-3)) composite?
False
Suppose -2*u = -5*s - 6701, -4*u + s = 5*s - 13360. Is u prime?
True
Suppose -4 = j - 9. Suppose 0 = h - j, 8*h - 3*h + 4289 = 3*x. Is x a prime number?
False
Let t be (-40)/(-6) + 20/(-30). Is t/(-10) + (4 - 19314/(-15)) a composite number?
False
Suppose 27*n = 16*n + 4917. Is n prime?
False
Suppose 4*m + 5*h - 23267 = 0, 34993 = 5*m - 3*h + 5937. Is m prime?
True
Is 195/117*(-126834)/(-10) a composite number?
False
Suppose 0 = 2*c - 3*r - 39, 2*r = -3*c + r + 31. Suppose -14*d = -c*d - 68. Is d a composite number?
True
Suppose -2*l + 15 = l. Suppose -4*b + l*b = 559. Is b prime?
False
Suppose 5*k = 3*n + 6092 + 10010, -4*n + 4 = 0. Let u = k - 2299. Is u a composite number?
True
Let d(k) be the first derivative of 3*k**2/2 + 35*k - 2. Is d(0) 