-61 - x. Is z prime?
True
Let f = 58 - 53. Is (-15)/f + (-1 - -1091) prime?
True
Is (-2 - 29948/(-12))/((-3)/(-9)) a prime number?
True
Suppose -2577 = -9*y + 384. Is y a composite number?
True
Let h(w) = 10*w**2 - 3*w - 27. Is h(8) a prime number?
False
Let w be (-10)/55 - 60/33. Let c be (2 + 14/(-4))*w. Suppose 2*o - 5*p = 261, 2*o - 4*p = -c*p + 265. Is o composite?
True
Is ((7 - 12) + 283*-2)/(-1) composite?
False
Let k = -68204 - -102093. Is k composite?
False
Suppose -2*j + 4*j + 3*q = 146, j - 95 = 4*q. Let y = j - 44. Is y a prime number?
False
Let x = -5 + 7. Let h be -9*x/(-6) + 1022. Suppose -c + h = 4*c. Is c a composite number?
True
Let y = -30 - -15. Let l be 2/(y/6 + 3). Suppose 0*f + 76 = l*f. Is f a prime number?
True
Is 3698*(-7)/112*-8 composite?
True
Suppose -5*j + 54806 + 89609 = 0. Is j prime?
False
Let p = -16 - -18. Suppose -p*q + 833 = -281. Is q a composite number?
False
Let r = 4 - 6. Let s = r + 7. Suppose -1086 = -s*u + 449. Is u prime?
True
Let t(w) be the second derivative of -w**7/840 - w**6/360 - w**5/60 - w**4/8 + w**3 + 7*w. Let m(k) be the second derivative of t(k). Is m(-4) prime?
True
Let x(h) = h**3 - 6*h**2 + 6*h - 6. Let s be x(6). Let d be -20*4*3/s. Let r(j) = j**3 + 8*j**2 - j + 1. Is r(d) prime?
False
Suppose 0 = 6*c + 47 - 3611. Suppose -5*v + 5684 = c. Is 1/(-4 - v/(-254)) composite?
False
Let c(y) = -324*y**3 + y**2 + y. Let j be c(-1). Suppose -j = 4*q - 7*q. Let z = q + 103. Is z a prime number?
True
Suppose 5*g - 26855 - 44180 = -4*p, -3*g - 5*p = -42621. Is g a prime number?
True
Suppose -13 = -r - 7. Suppose 2667 = r*j - 3*j. Is j a composite number?
True
Let h = 13 - 13. Suppose h = -14*c + 7*c + 231. Is c prime?
False
Let u = -12 + 14. Is u + 1 + 3 + 636 - 1 composite?
False
Is (9870 + (-8 - -4) - 4) + 3 a composite number?
True
Let s = 5862 - 2663. Is s a composite number?
True
Suppose -3*c - w = 2*w - 66, 0 = 2*c - 2*w - 32. Let z = c + -17. Is (-423)/(-6)*z/3 composite?
False
Let m = 4041 + 22298. Is m a composite number?
False
Let i = -7 - -64. Let r = i + 308. Is r prime?
False
Is 8 + -11*(-9506 + -2 - 5) a composite number?
False
Let k(p) = 41*p + 3155. Is k(0) a composite number?
True
Suppose 0 = -4*z + 20*z - 514928. Is z a composite number?
False
Suppose 0 = -2*x + 6 - 10. Is (6/(-4) - x)*6038 composite?
False
Let m(z) = 109*z + 4. Let p = -7 - -3. Let y be (-28)/(2 + -6) + p. Is m(y) composite?
False
Is ((-10942)/6)/((-17)/51) composite?
False
Suppose -3*i - w - 13 = -3*w, 0 = -2*i + w - 7. Let b be (-8 + 7)*(2 + i). Let o(n) = 55*n**2 + n + 1. Is o(b) a composite number?
True
Suppose 45*l - 26*l = 27037. Is l a composite number?
False
Let a be (-4 - -6)*(-1 - -2). Suppose 0*b - a*b + 290 = 0. Is b prime?
False
Suppose 9*a = -3*a + 13884. Is a a composite number?
True
Suppose -5*r - 3*m = 47, -4*r - 31 = -r - m. Is r/(-2)*(-266)/(-35) a composite number?
True
Is -4*(-6 + 1 + (-3483)/12) composite?
False
Suppose -8817 = 6*u - 9*u. Is u prime?
True
Suppose 4*u - 11745 = -h, -3*h = -11 - 4. Is u a composite number?
True
Let f be 16/4 + -3 - 23038*1. Is f/(-27) - (-3 - 87/(-27)) composite?
False
Let q(j) = -2*j - 9. Let x be q(-6). Suppose 5*a = x*a - 24. Is (-12575)/(-30) + 2/a prime?
True
Suppose -3*v + 2*v = -154. Suppose v = n + n. Is n composite?
True
Let m(f) be the third derivative of -f**6/30 - f**5/12 + f**4/3 - 7*f**3/3 - 13*f**2. Is m(-7) a composite number?
True
Suppose 651*a - 654*a + 150561 = 0. Is a prime?
False
Is (71/4 - -2)*100/5 composite?
True
Let m = 0 - 0. Let s(p) = -4*p + 22. Let w be s(-11). Suppose 5*k + i - w = m, 3*k - 52 = -k - i. Is k a prime number?
False
Suppose 8*p - 3*p = 4*y + 42839, 0 = p + 5*y - 8562. Is p composite?
True
Suppose 5*d - 32 = 73. Let c be (d - -1)/(2/(-9)). Let z = -32 - c. Is z a composite number?
False
Let a(v) = v**2 + 4*v + 6. Let c be a(-3). Suppose 0*m + 48 = c*m. Suppose 5*t = 2*x - 405, -t = x - 222 + m. Is x a prime number?
False
Let n(i) = i**2 - 2*i + 2. Let q be n(3). Let v = -2 + q. Suppose v*p - 46 = p. Is p a composite number?
False
Suppose 16652 = 20*h - 16488. Is h composite?
False
Suppose p = -5*l + 23, 7 = 5*p - 8. Suppose -7 = 3*j - l. Is 1934/(j + 12/4) composite?
False
Suppose 2*c = 6*c + 2*p - 8722, -4351 = -2*c + p. Let l(v) = 184*v**3 - 2*v**2 + 4*v - 1. Let i be l(2). Let a = c - i. Is a prime?
False
Let o(c) = c**2 + 10*c. Let v be o(-10). Suppose -z + 2*i = -746, -3730 = -5*z - v*i + 5*i. Suppose 689 + z = 5*x. Is x composite?
True
Let k be 30784/18 + 14/(-63). Let d = -73 + k. Is d prime?
True
Let x = 627 - -1346. Is x prime?
True
Is (-89746 + 0)*(-37)/74 composite?
True
Let v(k) = -k + 19. Let u be v(15). Suppose 0 = u*o - o + 147. Let j = 36 - o. Is j a composite number?
True
Let n(d) = -3*d**3 + 18*d**2 - 31*d - 21. Let o(y) = -y**3 + 9*y**2 - 15*y - 10. Let w(t) = -2*n(t) + 5*o(t). Suppose -3*c - 45 = 2*c. Is w(c) a prime number?
True
Let m = 24 - 8. Let g = m - 11. Suppose 0 = 5*c + 4*f - 805, 0 = -2*c + c - g*f + 182. Is c prime?
True
Is 176117/15 + (-6)/45 prime?
False
Let b(l) = 5*l**2 + 6*l - 1. Let i(m) = -3*m**2 - 3*m + 1. Let a(x) = 4*b(x) + 7*i(x). Let v be a(3). Is 4/(-12) - (-922)/v a composite number?
False
Let j = -811 - -1642. Is j composite?
True
Suppose 0 = -2*i - 2 - 6. Is 581*-4*1/i composite?
True
Suppose -3*q - 1027 = 4*m, 3*q = -m + 4*q - 255. Let d be m/(-20) - 3/(-15). Is (-47868)/(-156) + 2/d a composite number?
False
Let g(d) = 4*d**3 + 6*d**2 + 6*d - 6. Let s(n) = 3*n**3 + 5*n**2 + 5*n - 6. Suppose 2*v - 8 = 6*v. Let m(j) = v*g(j) + 3*s(j). Is m(5) a composite number?
True
Let t(y) = y**3 + 9*y**2 - 12*y + 1. Let i(z) = -z**3 + 5*z**2 - 2*z + 1. Let p be i(5). Let o be t(p). Is -1 + o + (1 - 0) prime?
True
Let d be 2 - (0 + 3 - 221). Suppose 5*i = 5*r - d, r = -r - 2*i + 84. Is r prime?
True
Suppose -2*a = -c - 3024 - 14979, -10 = 2*c. Is a composite?
False
Let t = -415 - 56. Let i = t - -682. Is i a prime number?
True
Suppose 732972 - 264380 = 5*x - i, -3*x + i = -281154. Is x a prime number?
True
Let h(s) = 12*s**2 - 5*s + 9. Suppose 8 = -4*a, 5*p + 4*a = -0*a - 58. Let i be h(p). Suppose 0*w - w + i = 0. Is w composite?
False
Suppose 9*l - 4*l = 2*y + 9, 3*l + 6 = 5*y. Suppose y*a - 24 = -a. Suppose -a*v - 19 = -7*v. Is v a composite number?
False
Suppose l + 11 = -7. Suppose 365 = x + 4*x. Let i = l + x. Is i a composite number?
True
Let q = 2 + 2. Let o = q + -32. Let l = 3 - o. Is l a prime number?
True
Let t be (-1400)/21*(-45)/1. Suppose 2*m + 2*r - 5980 = 0, r = -m + 2*r + t. Is m a prime number?
False
Let i(k) be the third derivative of k**4/24 + 5*k**3/6 + 5*k**2. Let r be i(9). Suppose r = -4*v + 6*v. Is v a prime number?
True
Let t be -1 + (-33)/(-21) + 85/35. Suppose 0*p + 2*g + 566 = 4*p, 9 = t*g. Is p a prime number?
False
Let b(x) = -3*x**3 - 3*x**2 + 1. Let i be b(-2). Suppose k - 4*k = -o + i, -2*o - 24 = 4*k. Is 1 + 180 - (4 + o) prime?
True
Let o = 470 + -246. Suppose -4*u - 5*q = -q - o, 5*u = 3*q + 272. Let t = u + -9. Is t a composite number?
True
Let w be 3 + 0 + 2 - 2. Suppose -3*x - w = -3*o, 2*o + 0*x - x - 3 = 0. Suppose 19 = o*i - 2079. Is i a composite number?
False
Let p(r) = 1433*r - 430. Is p(25) a composite number?
True
Let z be ((-2)/((-2)/129))/(1/(-2)). Let o = 1249 + z. Is o composite?
False
Let k(y) = y**3 - 12*y**2 + 33*y + 1. Let h be k(14). Let t = h + -412. Is t a composite number?
False
Suppose p - 3299 = -0*d - 4*d, -5*p - 4*d = -16527. Is p prime?
True
Let k = -1268 + 1777. Suppose 5*x - 446 - k = 0. Is x composite?
False
Let n be (-7)/(-2) - 12/24. Suppose n*d - 5*d + 1774 = 0. Is d a prime number?
True
Suppose -5*f + c + 295 = -4101, -2*f + 5*c = -1763. Is f composite?
True
Let d(t) be the first derivative of -t**3/3 - 2*t**2 - 6. Let a be d(-4). Is 34*(7/2 - a) composite?
True
Let h(a) = a**3 + 10*a**2 + 9*a - 12. Let p = 0 - 9. Let d be h(p). Let j(w) = 2*w**2 + 10*w + 17. Is j(d) a prime number?
False
Let o(c) = 31*c - 4. Let n(a) = 216*a - 28. Let k(m) = 3*n(m) - 20*o(m). Let w be k(3). Suppose 3*p - 115 = w. Is p composite?
True
Let c(b) = -324*b - 14. Let r(p) = -162*p - 7. Let v(g) = -2*c(g) + 5*r(g). Let o be 4/3*(-6)/4. Is v(o) a prime number?
True
Let w(d) = -2*d + 46. Let r be w(22). Is (r + 1)*(-2 - (-2145)/9