 r(b). Is n(-3) a composite number?
True
Suppose -4*c + 5*c - 3571 = 0. Suppose -22*r = -31269 + c. Is r prime?
True
Let n be (6/5)/(3/9015). Suppose 7*c = 8*c + n. Is (-2)/(1 + c/3602) composite?
False
Let h = 28 + -30. Let x(k) = -2*k**2 - 15*k - 8. Let d(i) = 7*i**2 + 59*i + 33. Let t(q) = h*d(q) - 9*x(q). Is t(-7) composite?
False
Let h = 6 + 30. Suppose -w - 2*z - 7 = 0, 11 + 8 = 3*w - 2*z. Suppose -2*v + 15 = 5*c, c + h = w*v + 4*c. Is v a prime number?
False
Let s(h) be the third derivative of 4*h**5/3 - 7*h**4/24 + h**3/6 + 16*h**2. Let v be s(-6). Suppose 4*m - 2097 - v = 0. Is m composite?
True
Let u(z) = -4*z**3 - 12*z**2 + 12*z - 13. Let g(m) = -m**2 - 14*m + 63. Let k be g(-18). Is u(k) prime?
True
Suppose -5*y - 147*w + 2429590 = -152*w, -4*w = 5*y - 2429635. Is y a composite number?
False
Let u(f) = -195*f - 104. Let z be u(-18). Suppose 0 = 5*n - z - 8569. Is n a composite number?
True
Suppose 0*z + 7708 = 4*z. Let c = 2997 - z. Suppose 3*s = -u + 220, 0 = -u + 6*u + 5*s - c. Is u prime?
True
Let z(y) = y**3 + 10*y**2 + 8*y + 3. Let n be z(-8). Let l = n - 65. Suppose -l*x - 2*f = -832, -f - 1005 = -5*x + 1069. Is x a composite number?
True
Let y(u) = -3658*u - 7309. Is y(-56) a prime number?
True
Is 72955675/666 + 2/(-36) prime?
False
Suppose 0 = -0*b + 16*b - 88720. Suppose -3*u + v = -b, 3*u - v - 5549 = v. Is u a prime number?
True
Let i = 481707 + -216004. Is i composite?
False
Suppose 2*i + 60 = -4*f + 54, -2*f + 12 = -4*i. Suppose -20*t + 9*t + 57409 = f. Is t prime?
False
Is 9 + (-869)/99 + 4407663/27 a prime number?
False
Is (9258 - -7) + (-9 - -3) + -2 a composite number?
False
Let r(z) = 552*z + 19. Suppose 4 = -2*f, 7*n - 4*f = 5*n + 36. Is r(n) composite?
True
Let m(i) = 30*i**2 + 5*i - 2. Suppose 10 = 9*n + 1. Let x(f) = -f**2 + 1. Let b(j) = n*m(j) - 5*x(j). Is b(-3) composite?
False
Let j = 6115 - -73011. Is j a composite number?
True
Let s = -258 + 771. Suppose 778 = 2*x + 5*b, 5*x - s - 1362 = 5*b. Is x prime?
True
Let m(g) = -8851*g**2 - 4*g - 3. Let j be m(-3). Is (-10)/(-70) + j/(-21) a composite number?
False
Let d be ((-70)/(-5) - 8)*(-221)/(-2). Let t = d - -900. Is t composite?
True
Suppose 0 = x + 5*x - 4*x. Suppose x = -2*b - h + 46, b + 2*b - 47 = 4*h. Suppose -b*f - 690 = -27*f. Is f prime?
False
Let z(c) = -721*c**2 + 11*c - 18. Let a be z(7). Let v = a - -49773. Is (-50)/300 - v/12*-2 prime?
True
Let f(t) = t**2 + 6*t - 3. Let l be f(-7). Suppose 22745 = -4*m + 5*m + 3*w, w = -l*m + 91024. Is m composite?
True
Suppose 4*y + 2*v - 16 = -0*v, 0 = 3*v + 6. Suppose -4*u - 4 = 2*r, 4*r + y*u - 5 = -r. Suppose -1841 = -3*c - r*c. Is c composite?
False
Suppose 8*l + 72997 = 3*z + 10*l, -z + 24309 = -4*l. Is z composite?
False
Suppose -3*t - 37 = -k, -k + 2*t - 32 = -2*k. Let h = -40 + k. Is (-364)/(-3) + 2/h a prime number?
False
Let i = 48958 + -209764. Is 4*((-30)/75 - i/40) a composite number?
True
Let i(z) = 32*z - 163. Let n be i(6). Suppose -35*u = -n*u - 6054. Is u a prime number?
True
Let m(a) = 3*a + 6. Let q be m(0). Let l be 4/q + (-247)/(-57). Suppose -j = l*j - 3246. Is j a composite number?
False
Let a = 50 - 45. Let l be 2/((-8)/6)*-580. Suppose a*d = -d + l. Is d a composite number?
True
Is 2/((-4)/80893)*(0 - 2) a composite number?
True
Suppose -2 = -b - 5*t + 15, -5*t + 15 = 0. Suppose -b*j - 3*f = -4930, 5*j = 5*f - 2735 + 15010. Is j prime?
True
Suppose -4*p + 28875 = -82*t + 83*t, -4*p = 20. Is t a prime number?
False
Let w(c) = -19*c**2 - 227*c + 32. Let a be w(-40). Let k = 2603 - a. Is k composite?
True
Is (54/(-4))/(189/(-49626)) + 8/28 a prime number?
False
Suppose 11 = -2*g + 7. Let j be -6 - -1140 - (g - -3). Suppose -2*k + 3881 = u, k - 809 = -u + j. Is k a prime number?
False
Suppose 2*r = -4*r + 3396. Suppose 0 = 2*t - j - 2558, 0 = -2*t - 5*j + 1992 + r. Is t a composite number?
False
Let y(z) = 18*z - 68. Let s be y(6). Is (-5594)/(-6) - s/(-60) a prime number?
False
Let n = 35968 + -22133. Is n a prime number?
False
Suppose 2*t + 21 = 4*g - 3*g, g + 4*t = -9. Suppose g*f = 21*f - 22630. Is f a prime number?
False
Suppose -r = -2*y + 3389, 4*y - 7*r - 6775 = -2*r. Let g = y + 10111. Is g composite?
True
Let q(n) = 886*n**2 - 21*n + 301. Is q(28) a prime number?
False
Suppose -1235448 = -533*b + 527*b. Is b/30 - (-9)/(-15) a prime number?
True
Let q = 7951 + -5056. Let a = -1473 + q. Suppose -3*f + 1420 = 4*s + f, 5*f = -4*s + a. Is s a composite number?
False
Let m be (2/(-20))/((-5)/(-40))*4340. Let k = m - -7839. Is k prime?
False
Suppose 2*z = -v - 7713, -3881 = 3*v + 3*z + 19249. Let g = 5003 + v. Let j = g - -4215. Is j a composite number?
False
Let s(h) = -17*h**3 + 15*h**2 + 20*h - 41. Let q(u) = -8*u**3 + 7*u**2 + 10*u - 20. Let r(y) = 7*q(y) - 3*s(y). Is r(-6) a prime number?
False
Let t(g) be the second derivative of 2*g**4/3 - 7*g**3 + 83*g**2/2 + 24*g + 2. Is t(16) prime?
True
Suppose -105*k + 104*k = -5*b - 227753, 455494 = 2*k - 4*b. Is k prime?
True
Let y = -29 - -29. Let u(t) = -2*t**2 + t + 943. Let o be u(y). Suppose -w = 4*a - 401, a - 616 = -4*w + o. Is w a prime number?
True
Let g = -985 - -2641. Let s = g + 4793. Is s prime?
True
Suppose 3*w - 296 = 18*t - 17*t, 0 = t + w + 280. Let x = t - -441. Is x composite?
False
Let h(d) = -9*d - 67. Let o(a) = -2*a**2 - 10*a - 67. Let b(s) = 3*h(s) - 4*o(s). Is b(-5) a composite number?
True
Suppose -376 = -3*j + l, 4*j + 4*l = -j + 621. Let i(z) = -15 + 0*z - j*z - 60*z. Is i(-8) composite?
True
Is (-31)/(434/42)*(-108902)/6 prime?
False
Let r be (-6)/(-2)*1 + (176 - -24). Let s = -114 + r. Is s prime?
True
Let a(j) be the third derivative of -583*j**6/60 - j**5/15 - j**4/2 + j**3/6 - 6*j**2 + 5*j. Is a(-2) composite?
False
Let z = -56918 + 153067. Is z a prime number?
True
Is 33/44*6802728/18 composite?
False
Let d = 2193 - 1385. Let n = 273 + d. Is n composite?
True
Suppose 0 = -26*s + 28*s - 8. Suppose 0*v + 3*m = -5*v + 18, -4*v = 5*m - s. Is v a prime number?
False
Let i be 26 + 0/2 + 0/12. Suppose h - i*h + 51175 = 0. Is h a composite number?
True
Let d = 82 + -77. Suppose -u - 9213 = -d*x + u, -3686 = -2*x + u. Is x composite?
True
Suppose -10*l - 12 = -13*l. Suppose 2*i - 6 = 0, -l*a + 1976 = -3*i - 2819. Is a prime?
True
Let a be (((-4)/(-1))/2)/((-23)/34753). Let d = a - -6657. Is d a prime number?
False
Suppose -4*g - 108186 - 15954 = 0. Let s = -10334 - g. Is s a prime number?
False
Is (1 - -145833)*7 - (-315)/35 prime?
True
Let l be 10/(-2) + -23 + 43. Suppose 2*r - 2027 = 2*v + v, -3*v - l = 0. Is r a prime number?
False
Let x be -5 - -11 - (-1 - -2). Let d be (60/(-14))/((15/(-231))/x). Let m = d - 209. Is m prime?
False
Is 51713/(871/737 - (-4)/(-22)) composite?
False
Suppose -95*j + 150219 = -194*j + 102*j. Is j composite?
True
Let p(o) = 154*o - 1. Suppose 5*s + 4 = -4*x - 39, -s - 5*x = -4. Let a(n) = 309*n - 2. Let h(j) = s*p(j) + 6*a(j). Is h(6) composite?
True
Let d(x) = 291*x**2 - 44*x + 849. Is d(14) prime?
True
Suppose 717*z + 46974 = 720*z. Is z a prime number?
False
Let q(t) = 3*t**2 - 4*t - 3. Let o be q(-1). Suppose o*j + 2*a - 13 - 7 = 0, 0 = -4*j + 5*a + 48. Is 6446/3 + j/21 a prime number?
False
Let l = 144 + -137. Suppose 12*a = l*a + 1595. Is a prime?
False
Let i(s) = 35*s**2 - 3*s - 7. Suppose 105 = 23*m + 13. Is i(m) composite?
False
Let y be (-1)/(2/38) - -5. Let z(v) = -v**3 - 13*v**2 + 9*v - 44. Let m be z(y). Suppose 23*t + 1761 = m*t. Is t a composite number?
False
Let y(m) = m**2 - 43*m + 36. Let b be y(42). Is 3/(-4)*(8 - (-1120)/b) composite?
True
Suppose 0*i + 12*i = 96. Suppose 2*z = -u - i, -5*u + 6*z + 35 = z. Is 657/u - 4/(-8) a prime number?
False
Let s(i) = 451*i. Let g be s(1). Let k be 5/(15/(-4))*-54. Let z = g - k. Is z composite?
False
Suppose 26*n - 2*n = 232129 + 10365959. Is n prime?
True
Let y be (212/16 + 4)/((-3)/516). Let l = 7238 + y. Is l composite?
False
Let m(t) = 5*t**2 - 6*t - 13. Let k(w) be the second derivative of -w**3/3 - 5*w**2 - 24*w. Let r be k(-2). Is m(r) a composite number?
True
Let v be (-8)/(-12) - 33/9. Let b(j) = -j + 35. Is b(v) composite?
True
Let k(s) = -219760*s + 457. Is k(-1) composite?
False
Let v(b) be the first derivative of -2497*b**2 + 29*b + 44. Let p be v(-6). Suppose -3*d + 5989 = -2*d - 5*n, -5*d + n + p = 