h composite?
False
Let c = 686 + -433. Is c prime?
False
Is (-4909 - -2)/(3 - 2 - 2) a prime number?
False
Suppose 3*z = 20 + 13. Let t be (-1 + -9)/(-13 + z). Suppose -95 = -t*r - 3*w, 5*r + w = 5*w + 95. Is r a composite number?
False
Let c(t) be the second derivative of 5*t**4/6 - t**3/2 - 3*t**2/2 + t - 34. Let x be (-3 - -1)*-1 + -4. Is c(x) prime?
True
Suppose -2 = -5*t + 63. Suppose -7 = 3*c - 5*v, 0 = -0*c - 5*c - 4*v + t. Is -3*(-28)/(4/c) composite?
True
Suppose 0 = 12*q - 8*q - 488. Let z = -87 + q. Is z a prime number?
False
Let x(m) = -87*m - 12. Let j be x(7). Is j/(-2) + 8/16 a prime number?
True
Suppose -5*x = -16 + 6. Suppose -2070 = -4*q - 0*i - x*i, -q = -5*i - 534. Is q prime?
False
Let f(c) = -3*c**2 + c - 9. Let y be f(4). Let l = y + 112. Is l composite?
False
Let l(x) = 2*x - 19. Let f(w) = -w. Let n(a) = -3*f(a) - l(a). Let q be n(-16). Is (-533)/(-5) - q/5 a prime number?
False
Let v(q) = 43*q**3 - 3*q**2 + 3. Is v(4) prime?
True
Let g(a) = -60*a**3 - a**2 - 5*a + 13. Is g(-5) a prime number?
False
Suppose 39*o - 52*o = -2665. Is o a prime number?
False
Let x(a) = 19*a**2 - 5*a + 9. Suppose 2*j - 13 = -5. Suppose 0 = -3*z + d + 13, 0 = -5*z - j*d + 2*d + 18. Is x(z) a composite number?
False
Let g(m) = 90*m**2 - 2*m + 3. Let c(s) = -89*s**2 + 2*s - 2. Let b(i) = -5*c(i) - 4*g(i). Is b(-1) composite?
True
Suppose 4*h - 6*h - 4*j = -7524, 4*j + 11326 = 3*h. Let k = h + -2233. Is k a prime number?
False
Let o = 14 + -10. Suppose o*c - 3909 = -181. Suppose 2*u - c = -2*u. Is u prime?
True
Let g = 24 + -19. Let z = -4 + 6. Suppose z*s - 643 = -3*b - 2*b, g*s - 1633 = -4*b. Is s a composite number?
True
Let d be 1/3*3 - 4. Let s(r) = -55*r**2 + 7*r - 1. Let c(h) = 109*h**2 - 15*h + 2. Let n(m) = -6*c(m) - 13*s(m). Is n(d) a prime number?
False
Let y be 4 + (4 - 1 - 3). Suppose -y*j - 4*j = 1148336. Is (-2)/(-5) - j/70 prime?
False
Suppose -w = -i - 11237, -5*w + 6*w + 4*i = 11247. Is w composite?
False
Suppose 3*l - 1108 = -a, -6*a + 4*l - 1106 = -7*a. Is a prime?
False
Suppose -2*z - 44 = -z. Is (-10467)/(-33) + 8/z a prime number?
True
Suppose 3*z - 1440 = -z. Suppose -2*g = -2*k + 408, -6*k + 2 = -4*k. Let t = z + g. Is t composite?
False
Let h be 2*(-3)/15*25. Let o = -10 - h. Suppose n + 831 = -5*d + 4736, -4*d + 2*n + 3124 = o. Is d composite?
True
Suppose -5*s + 11 = 1. Suppose s*n - 5*n = -15. Suppose -2*y + 3*q = -n*y + 1209, 5*q + 1648 = 4*y. Is y a composite number?
True
Let s be (22/(-4) - -4)*2*1. Is (-183 - (-7 - s))*-1 prime?
True
Suppose 0 = -4*z, 0*r + 30 = 2*r - 5*z. Let s = r + -11. Suppose 0*q = s*q - 508. Is q a prime number?
True
Let j(a) = 1578*a**2 - 14*a + 37. Is j(3) prime?
True
Let x = -10687 - -21276. Is x a composite number?
False
Let o = 45 - 42. Suppose 2852 = o*d + 2*j - 3*j, 2*d + 5*j - 1907 = 0. Is d a prime number?
False
Let b(z) be the third derivative of 0*z - 5*z**2 + 0*z**4 + 1/2*z**3 + 1/60*z**5 + 0. Is b(0) a composite number?
False
Suppose h = 2594 + 2267. Is h a prime number?
True
Let k(q) = 4*q**2 - 7*q - 118. Is k(27) a composite number?
False
Let f = 9 - -1. Let v be (-20)/(-2)*5/f. Suppose 5*w - 26 = 2*z + 245, 0 = -v*w - 3*z + 256. Is w composite?
False
Suppose -a - 7247 = -3*l - 3*a, -l + 2425 = -4*a. Suppose -h - 6 = 14. Is h/150 - l/(-15) prime?
False
Suppose 4 = 2*r + 2*o, -4*r = 2*o - 7 - 1. Suppose -3*d = -r*d - 1087. Is d a composite number?
False
Is (-287)/82*(-15448)/14 a composite number?
True
Let v(w) = -4*w + 1631. Suppose 15*j = 14*j. Is v(j) composite?
True
Is -8 - (4 + -6) - -10353 a composite number?
True
Suppose 3*x = 5*x + 4*a + 6, 3*x - a = 19. Suppose n + x*n = 774. Suppose -5*l - 15 - 10 = 0, 0 = i - 2*l - n. Is i prime?
False
Let r = -83 + 92. Let k(t) be the first derivative of 33*t**2/2 + 4*t - 1. Is k(r) a prime number?
False
Let b(u) be the third derivative of u**5/20 + 5*u**4/12 + 5*u**3/3 - 5*u**2. Let k be b(-7). Let z = 40 + k. Is z prime?
True
Suppose -4 = y, 112*l + 4*y = 116*l - 63764. Is l a prime number?
True
Is 3/2*((-161532)/(-27) + -8) composite?
True
Suppose 0 = 37*y + 13*y - 698050. Is y a prime number?
False
Let h = -28 - -20. Let s be ((-2)/(-6))/(h/(-72)). Suppose -2*m + 4*l = -155 - 87, 0 = 4*m + s*l - 517. Is m prime?
True
Let k = 812 - -32. Suppose -6*b + 10*b = k. Is b a prime number?
True
Suppose -2*z + 4*z = 4*o + 86, 119 = 3*z - o. Suppose 3*h + 137 = -5*a, 51 + z = -2*h - 3*a. Let l = -20 - h. Is l composite?
False
Let q(g) = -g**3 - 6*g**2 + 3*g - 9. Let z be 3/(-2*2/(-20)). Let a = z + -22. Is q(a) a composite number?
False
Let r = -2438 + 4331. Suppose -r = -k - z, -k + z + 307 + 1586 = 0. Is k a composite number?
True
Let r be 1/(-4) + 1783/(-4). Let y = 1192 + -193. Let k = r + y. Is k prime?
False
Let y be 101 - -3*(-1)/(-1). Let v = y - 179. Let x = v - -112. Is x prime?
True
Let a = 8 - 8. Suppose a = i + i - 4*v + 368, 0 = 4*i + 2*v + 746. Let g = 275 + i. Is g prime?
True
Let o(p) = 13*p**2 - p - 1. Let c be o(4). Let j = -126 + c. Is j a prime number?
False
Let d = -7873 - -16212. Is d a prime number?
False
Suppose -r + 1035 - 196 = 0. Is r prime?
True
Suppose 48 = -0*s - 2*s. Let w be (-12)/(-10)*(-400)/s. Is 1516/(-10)*w/(-8) composite?
False
Let c = 1465 + -1046. Is c a composite number?
False
Let m = 26 - 29. Let a(i) = i**3 - 6*i**2 - 3. Let d be a(6). Is 16 + (d + m)/(-2) prime?
True
Suppose 0 = -4*y - 5*u + 1696, 4*y - 4*u - 1554 = 106. Is y composite?
False
Let k be ((-2)/(-3)*(-276)/(-4))/2. Let d(b) = 5*b**2 + 23*b - 11. Is d(k) composite?
False
Is (15/10)/((-6)/(-52484)) prime?
True
Let x(t) = 3*t**3 - 2*t + 4. Let b be x(2). Is 1200 - (b/8 + -4*1) composite?
False
Let l(z) be the third derivative of -2*z**7/105 + z**6/360 + z**5/30 + z**4/8 + z**3/2 + 6*z**2. Let b(w) be the first derivative of l(w). Is b(-2) prime?
True
Let f(r) = 87*r**2 - 4*r - 1. Let k be f(-1). Suppose 0 = 94*t - k*t - 2876. Is t composite?
False
Let a = 421 - 48. Suppose 0*f + 5*f + 5 = 0, a = 2*i + f. Is i composite?
True
Let j(n) = 29*n - 6. Suppose -2*p + 15 = p. Is j(p) a composite number?
False
Let p = 1425 + -2894. Is (0 - p) + (-1 - -1*1) composite?
True
Suppose 10*l = 11*l - 251. Is l prime?
True
Is (-19 - 0)/((-63)/66087) a composite number?
True
Suppose -g + 70 = 6*g. Suppose -5*q - 4584 = -4*t - g*q, -8 = -2*q. Is t a prime number?
False
Is 21661 + 0 + (-2 - 2) + 0 a composite number?
True
Is 2169*(-10 - 93/(-9)) a prime number?
False
Let p be (-1)/(3*(-1)/3). Let x(j) = 114*j**3 - 1. Is x(p) a composite number?
False
Let b(j) = -6*j**3 + j**2 - 6*j + 2. Let n be b(3). Let r = 870 + n. Is r a composite number?
False
Let u be (-25)/(3 - 8) + -4. Is (-4 + 400)/1 - u composite?
True
Suppose -k + 46543 = -0*k + j, 4*j = -k + 46552. Suppose 9*i + 17101 - k = 0. Is i prime?
True
Suppose -11*d + 5*d = -30. Suppose d*r + 9110 = 15*r. Is r a prime number?
True
Suppose -13932 = -5*f - s, 5*f + s - 2784 = 4*f. Is f composite?
True
Suppose 7*r = 3*r. Suppose 4*t - 8*t + 412 = r. Let p = 174 - t. Is p prime?
True
Let t be (-3)/12 - 307/4. Let a(y) = 7*y**3 - 3*y**2 - 3*y - 2. Let r be a(3). Let d = t + r. Is d a prime number?
False
Let t(w) = -w**2 + 10*w + 28. Let n be t(12). Is 482/n - 24/16 a prime number?
False
Let m be 4/12 - (-40)/(-12). Let q = m + 8. Suppose -200 = -q*w + 215. Is w composite?
False
Suppose -3*j = 5*d - 4 - 17, -2*d = -4*j - 24. Suppose 6331 = d*n - 1223. Is n prime?
True
Suppose 3*n - 2*n - 4701 = -3*v, -6*v + 9402 = -5*n. Is v a prime number?
True
Is ((-86)/129 + (-379198)/(-24))*4 prime?
True
Let x be 1/3 + 7/(-21). Suppose x = -0*f + 5*f. Let r = f + 31. Is r a composite number?
False
Suppose 2*f - 2*k + 238 = 5*f, 2*f = -k + 160. Let p = f - 459. Let t = p + 634. Is t a composite number?
False
Suppose -n = 2*v - 18 - 37, 0 = v + 5*n - 5. Is 6/v - (-3858)/10 prime?
False
Let f(u) = u**2 + 7*u - 7. Let c(y) = -2*y**2 + 4*y - 2. Let q be c(3). Let w be f(q). Is 0 + 93 + w + -3 composite?
True
Is (3710255/(-86))/((-5)/2) prime?
True
Suppose 12 = 3*o, 0 = -0*i + 5*i + 2*o - 23. Suppose 2*s + i = 4*p - 9, -s - 5*p + 22 = 0. Suppose 0 = -4*v + s*b + 1272, 0 = 2*v - 0*v + b - 632. Is v prime?
True
Let t = -5481 + 9616. Is t a prime number?
False
Let z(u) = 4*u**2 + u + 7981. Is z(0) composite?
True
Suppose -