s = -8*s - 4*w - 415483, 4*w + 692477 = 5*s. Is s a composite number?
False
Suppose 3*f - 2 = -3*a + 4*a, -2 = 2*a - 5*f. Let x be ((-28)/(-2))/(a/122). Suppose 4*n = -5*t + x, -n - t + 109 = t. Is n prime?
True
Suppose 10 = -3*b - 6*x + x, -5 = x. Suppose -p - 160 = -g, -5*g - 2*p + 133 = -674. Suppose 0 = -4*m + i + 568, -4*m + 5*m - b*i = g. Is m a composite number?
True
Suppose -5*m - 148 - 447 = 0. Let s(k) = 7*k**2 - 14*k - 2. Let u be s(-4). Let w = m + u. Is w prime?
True
Let h = 7163 - -12152. Is h a prime number?
False
Let v be (-2)/(3 + (-34)/10). Suppose -3*j - 3*l + 2 = -28, -v*l - 30 = -5*j. Suppose -j*n = -5*n - 291. Is n a composite number?
False
Let v = -17 - -19. Let d(w) = 25*w**3 - w**2 + 2*w - 1. Is d(v) composite?
False
Let x(h) = 8 + 18*h - 31 + 31*h + 6*h. Is x(18) a composite number?
False
Let q(g) be the first derivative of 3*g**2/2 + 3*g - 1. Suppose 5*k - 2*j = 60, -7*j = -2*j. Is q(k) composite?
True
Is (-1 + -2 - -6)*14188/12 composite?
False
Let a(t) = t**3 + 21*t**2 - 102*t + 31. Is a(-17) a prime number?
False
Suppose 10*m - 6724 = 46816. Is m a prime number?
False
Let x = -46 + 48. Suppose s + 300 = 3*s + p, x*s = p + 296. Is s a composite number?
False
Suppose 5*b = -q + 2935, -2*b - 214 + 1388 = -q. Let m(g) = g - 1. Let a be m(1). Suppose a = 5*l + 117 - b. Is l a composite number?
True
Let c = 24310 - -29281. Is c a prime number?
True
Let y = 14 + -11. Suppose -4*p - 2*r + 150 = 0, 4*p + y*r = 2*r + 147. Let q = 69 - p. Is q prime?
False
Suppose -15*a + 22296 = -2334. Is a a prime number?
False
Suppose -3*l - 7505 = -5*p - 20098, 4*l - 16796 = 4*p. Is l composite?
False
Suppose 120*a + 405773 = 137*a. Is a a composite number?
False
Suppose -2*x = 3 - 27. Is 10/(-15) - (-1004)/x prime?
True
Suppose -140*l + 116*l = -36840. Is l a prime number?
False
Is (68/(-6))/((-3)/(2682/4)) prime?
False
Is ((-15)/(-10) - 1)*18698 a prime number?
True
Suppose -25 = -6*l - 1. Suppose o = -3*j + 226, l*o - 699 = o - 2*j. Is o a prime number?
False
Suppose -c - 50 = -g - 6*c, -2*g = -4*c - 30. Let d = g - 5. Suppose 0*q = q - 3*j - 281, -d = -5*j. Is q prime?
True
Let f(c) = 2*c - 3. Let o be f(3). Let i(m) = -m**3 - m**2 - m - 1. Let t(a) = -14*a**3 - a**2 + 7*a + 1. Let h(n) = -3*i(n) - t(n). Is h(o) a composite number?
True
Suppose -14*k = -46624 + 2202. Is k composite?
True
Is (28473/(-6))/(4/(-8) - 0) composite?
False
Suppose 7*t - 27 = 4*t. Suppose 0 = 5*i - t*i + 504. Suppose -i - 139 = -5*n. Is n prime?
True
Is (16/256*-5692)/(2/(-136)) a composite number?
True
Suppose 1 = 4*p - 4*l - 75, -50 = -3*p - 4*l. Let v = -16 + p. Suppose 0*f + v*f = -5*k + 111, k - 5 = 0. Is f composite?
False
Suppose 9*g + 6*g = 285. Suppose -g*m + 4543 = -8*m. Is m a composite number?
True
Let p(b) = b**3 + b + 889. Let m = 7 + -5. Suppose m*r + 10 = -5*q, -q = 3*r + q + 4. Is p(r) a composite number?
True
Let b(j) = -4*j**3 + 6*j**2 - 2*j. Let l(t) = 5*t**3 - 5*t**2 + 2*t + 1. Let x(m) = 4*b(m) + 3*l(m). Let o = 3 + 4. Is x(o) composite?
True
Let q(f) = 750*f + 337. Is q(41) prime?
False
Suppose 0 = -5*l - 0*l - 20. Let h(j) = -j**3 - 4*j**2 - 2*j + 2. Let q be h(l). Is 3828/55 - 6/q a prime number?
False
Suppose -5*j = -5*q + 5, -2*q + 8 - 3 = -j. Suppose 5*s - q*t - 523 = 0, -5 = 4*t + 3. Is s prime?
True
Suppose -5*i + 1377 = -4*t, 4*i - 3*i - 2*t = 273. Suppose -5*q + i = -168. Is q a prime number?
True
Suppose 7 = 2*m + 5*f - 7, -10 = -m - 4*f. Suppose 4*w + m*o - 4902 = 0, -2*w + 4*o + 2457 = 3*o. Is w composite?
True
Let w be (4 + 28)*-2*(-3)/6. Let h = 45 + w. Is h prime?
False
Let o(w) = w**2 - 3*w + 4. Let z be o(3). Suppose -z = -2*c, 4*b + 2*c - 7722 = 3*c. Is b prime?
True
Is (31 - 33)/(2/(-9287)) a composite number?
True
Is (-82)/(-41)*1/(-2)*-3401 prime?
False
Let v(l) = l**3 - l**2 + 2*l + 4. Let b = -33 - -33. Let i be v(b). Let o(s) = 6*s**2 + 6*s - 9. Is o(i) prime?
False
Suppose 0 = -5*s + 2*s. Suppose -2*h + 10 = -s*h. Suppose h*u - 4325 = 3*g, g - 865 = -u - 3*g. Is u a composite number?
True
Let u be (-1)/(-4) + (-28354)/8. Is (u/(-16))/(2/4) a composite number?
False
Let c = -115 - -119. Is (-7)/c*(-612)/9 composite?
True
Let l(y) = 633*y - 2 + 4 + 15 + 81*y. Is l(3) prime?
False
Let h(t) = 38*t**3 - 2*t**2 + 14*t + 3. Let i be h(6). Let r = i - 3838. Is r a composite number?
True
Let t(k) = -k**2 - 3*k + 18. Let d be t(-6). Suppose g + 2*o = -3*g + 470, 4*o + 4 = d. Is g + -2 + (4 - 1) a prime number?
False
Is -1 - -108229 - 448/(-64) a prime number?
False
Let x(y) = -y**2 - y + 6139. Is x(0) a composite number?
True
Let b = 656 - -137. Suppose -b = -3*v + 353. Is v prime?
False
Let k(w) = 205*w**2 - w - 1. Is k(-3) a prime number?
True
Suppose 6*s - 6493 = 1901. Is s a prime number?
True
Suppose -k = -2*k - 25. Let m = 13 + k. Let j(s) = -17*s - 13. Is j(m) composite?
False
Let b(z) = -156*z**2 + 3*z + 11. Let h(s) = -78*s**2 + 2*s + 5. Let l(t) = 4*b(t) - 9*h(t). Is l(-4) prime?
False
Is (-1826)/((2 + 8)/(-5)) a prime number?
False
Suppose 4*k = 11*k - 112. Suppose k*l = 18*l - 772. Is l composite?
True
Let x(t) = 4*t - 15. Let y be x(18). Let f = 90 - y. Let k = f + 4. Is k a composite number?
False
Let z = -3351 - -9289. Is z a prime number?
False
Let y = 3620 + 1641. Is y composite?
False
Let y be (-20)/((-20)/(-4)) + -3670. Let d = 5575 + y. Is d composite?
False
Let h(s) = 7*s**2 - 6*s - 7. Let t(c) = 6*c**2 - 5*c - 6. Let m(j) = -4*h(j) + 5*t(j). Let o(g) = -g**2 - g + 1. Let w be o(-3). Is m(w) a prime number?
True
Let s(f) = f**3 - 3*f**2 - 2*f + 1. Suppose -4*c + 39 = 5*v, c = -v + 5*v - 27. Is s(v) composite?
True
Let f(x) = -5*x - 19. Let y be f(-8). Is ((-14)/y)/(4/(-1326)) composite?
True
Suppose 0 = 5*b + 15, 7*r + 2*b - 2224 = 5*r. Is r composite?
True
Suppose 4*p + p - 2*r - 100809 = 0, -r = -3*p + 60485. Is p prime?
True
Suppose -3*b + 31 = 5*s, -s - 1 + 8 = b. Suppose s*d - d = 460. Is d prime?
False
Suppose 4*g + 7 = -1. Is 293 - (0/g)/(-4) a composite number?
False
Suppose 27604 = g - 4*h - 2417, -90093 = -3*g - 3*h. Is g a prime number?
True
Let j(c) = -c**2 + 17*c - 16. Let g be j(16). Suppose x + 0*f = -3*f + 904, g = -4*f + 8. Is x a composite number?
True
Let q = -32916 + 73211. Is q a composite number?
True
Let j be 117/((16/(-6))/(-8)). Is j + ((-16)/(-4) - 8) prime?
True
Let h(w) = w + 3. Let z be h(7). Is 6474/z + 4/(-10) composite?
False
Suppose -4*t = -5*w - 0*t + 4359, 4*t = 3*w - 2617. Is w composite?
True
Let w be (-85)/(-1) + (3 - 2). Suppose 29 = -3*n - 64. Let f = w + n. Is f a prime number?
False
Let n(t) = -1342*t - 83. Is n(-3) a prime number?
True
Let y(t) = 6*t - 14. Let w be y(8). Suppose 0 = -4*i + w + 474. Is i a composite number?
False
Let s(t) = -2*t - 2. Let i(a) = 3*a**2 + 8*a - 2 - 2*a**2 - 3. Let o be i(-7). Is s(o) composite?
True
Let j(w) = 30*w**2 + 2*w + 1. Let x be j(-2). Suppose -n - 140 = 2*s - 3*n, 3*s = -4*n - 196. Let f = s + x. Is f a prime number?
False
Let t(n) = 5*n**3 - 77*n**2 + 70*n - 9. Let s(h) = -3*h**3 + 39*h**2 - 35*h + 4. Let z(y) = -7*s(y) - 4*t(y). Is z(-33) a composite number?
True
Let r be -3 - (-11 - 1/(-1))/2. Suppose -r*c = 3*m + 3 + 6, -2*m = 10. Is c a prime number?
True
Let z be 6/27 - 144/(-81). Suppose -z*h + 804 = -34. Is h a composite number?
False
Let a = 266 - 130. Suppose 4*i = 48 + a. Is i a composite number?
True
Is 300618/19 - (-6 - -11) a prime number?
True
Is ((-1161)/(-18))/((-3)/(-10)) a prime number?
False
Let l(f) = 0 + 1 + 4*f + 0*f - 2*f + 16*f**2. Let v be l(6). Suppose -3*d - 85 = -5*a - v, 6 = -2*a. Is d a prime number?
True
Suppose -12*x = -8*x - 8. Suppose 0 = -b - 3*b + 20, 2*b = -x*a + 14. Suppose -13 = -a*y + 409. Is y a prime number?
True
Let t = 5496 - 3053. Is t a prime number?
False
Suppose -v = 5*v - 30. Suppose 278 = l + v*h - 340, -578 = -l + 3*h. Is l prime?
True
Suppose 4*g - 21 = w, 3*w - 4 = -g + 2*w. Suppose 0 = -0*u - 5*u - 4*t + 955, g*t + 955 = 5*u. Is u a composite number?
False
Suppose 4*h - 18976 = -2*w, -4*h + 4*w - 2*w + 18976 = 0. Let u = -3263 + h. Is u composite?
False
Is (4 - 2 - -43980)/(25 + -23) a composite number?
False
Let q(m) = -2*m**2 + 3*m + 6. Let o be q(-3). Let w = o - -212. Is w composite?
False
Let l be 7*(1 - (-39)/(-21)). Let b be ((-3)/l)/(2/8). Suppose b*x