rue
Let d = -96 - -163. Is d*(1 + 5 + -3) prime?
False
Is 2209 + (-1)/(4/8) a composite number?
False
Suppose -5*c + 3488 = -4*c. Suppose -c = -2*m + 410. Is m a composite number?
False
Let d be 3*(-3)/(-9)*10. Let i = -97 + d. Is i*(0 + 5/(-3)) a prime number?
False
Suppose -3*o = 6*o - 0*o. Suppose 4*k - 8255 = -5*b, -b - b - k + 3302 = o. Is b a prime number?
False
Suppose -1 = 4*i - x + 5, -5*x + 10 = 0. Let c be (1 - i - 17)/(-1). Is 846/15 - (-9)/c composite?
True
Let x(p) = -5*p**3 + p + 1. Let i be x(-1). Let r = -3 + i. Suppose -r*b = a - 887, 3*a = -b + a + 445. Is b a prime number?
True
Suppose 0 = -c - v - 17, -5*c + 2*v - 101 = 3*v. Is (-3)/c*723 - (-12)/(-42) a prime number?
True
Let o = 17 + -12. Let w(x) = 96*x - 8. Let v be w(o). Is (-33)/(-55) - v/(-5) prime?
False
Let n = -79 + 206. Suppose 4*d - n = 541. Let q = d - 114. Is q a composite number?
False
Let i(w) = -w**2 + 4*w - w + 4*w**2 - 2*w**2 - 3. Let t be i(-4). Is -2*t + (-392)/(-2) prime?
False
Suppose -3*s + 46 = 43. Is s*4 - (-1512 + 17) a prime number?
True
Let i = 17648 + 9111. Is i a composite number?
False
Let n = 105 + -313. Let y = n - -322. Suppose 2*g - y = 52. Is g composite?
False
Suppose -6 = -3*w + 3. Let l be (4 + (-15)/5)/((-1)/(-16)). Suppose -w*d + 349 = l. Is d a prime number?
False
Let y(u) = 106*u - 28. Let i be y(-8). Let m = i - -2275. Is m a composite number?
False
Let m(n) = n**3 - 3 + 3*n**2 + 2*n - 2*n**3 - 5*n**3. Let h be m(-3). Suppose 4*y - h = -32. Is y prime?
True
Let t be 6/(-15) + (-1014546)/10. Is (-4)/(-26) - t/65 prime?
False
Let x be 30 - 1/1*-2. Let g(f) = -11 + 5*f - x*f - 2. Is g(-6) composite?
False
Suppose 0 = 2*z - 6, 5*p + 26 = 6*z - 4*z. Let w be (-2)/(-2) - 8 - p. Is w/(-9)*381 + 0 composite?
False
Suppose -1373 = 3*x + 823. Let v = -384 - x. Suppose 4*d - 4*i = -0*d + v, -i - 176 = -2*d. Is d composite?
False
Suppose 21 = -5*q - 2*d - 5, 3*q - 2*d = -22. Is ((-3356)/(-10))/(q/(-15)) composite?
False
Is ((-168)/252)/((-2)/310839) prime?
True
Suppose 0 = 3*c - 3, 0 = 11*k - 7*k + 5*c - 1881. Is k prime?
False
Suppose -2*v + 5811 = q, 2*q - 14412 = 2*v - 2796. Is q prime?
False
Let b(n) = 1934*n**2 - 18*n - 1. Is b(-2) prime?
False
Let x be (-1)/((-3)/73) + (-19)/57. Suppose -15*u - 26037 = -x*u. Is u composite?
True
Suppose 3*d - 145195 + 6916 = 2*x, 2*x = -5*d + 230449. Is d composite?
False
Let z(i) = 367*i**2 - 49*i + 13. Is z(9) a composite number?
True
Let a be 20/8*(2 + 0). Suppose a*u + 4*d = 196, -5*u + 0*d = -d - 201. Suppose 0 = -5*y + 85 + u. Is y a prime number?
False
Suppose 4*v + m - 3*m - 19620 = 0, -4911 = -v + 2*m. Is v composite?
False
Suppose 501*c = 509*c - 3416. Is c a composite number?
True
Let r(b) = 3*b**2 + 79*b + 3. Is r(-27) composite?
True
Let s(d) = 3*d**2 + 6*d + 5. Suppose -5*v = -4*v - 10. Let a be s(v). Suppose -6 = 2*i, f + 3*f - 3*i - a = 0. Is f composite?
False
Is 2 + (2 - -638 - -5) a prime number?
True
Suppose 0 = -7*d + 5182 - 1304. Is d a composite number?
True
Let j be ((-96)/27*-12)/(1/3). Let w = j - -3. Is w prime?
True
Let v(m) be the third derivative of -m**4/24 - 7*m**3/6 + m**2. Let w be v(-9). Suppose w*a + 213 = 5*a. Is a a composite number?
False
Let h(c) = 668*c**2 - 2*c + 1. Let k = 16 + -7. Let u be (-4)/18 - (-11)/k. Is h(u) prime?
False
Let s(u) = u**3 - 2*u**2 - 6*u + 7. Let r be s(7). Let p = r + -76. Let y = p + -65. Is y composite?
True
Let k(y) = -14*y - 26. Let s be k(-2). Let g = 5 - 3. Is (g/s)/((-2)/(-586)) prime?
True
Let s be (-5)/((-10)/(-4)) + 2. Suppose 3*n - 2*w - 1082 - 3 = s, -2*w = -10. Suppose 5*t + o = n + 921, -4*o = 4*t - 1032. Is t prime?
True
Let g(n) = -n + 7. Suppose 0 = d - 5*d + 28. Let m be g(d). Suppose 355 = 5*s + 3*o + 2*o, 4*s + 5*o - 286 = m. Is s prime?
False
Let n(h) = -h**2 - 4*h + 4. Let t be n(-4). Suppose -1508 = -3*g + t*v - 119, 2*v = 0. Is g a composite number?
False
Suppose 0 = z - 6*z + 1290. Let h = z + -151. Suppose 0 = 5*y - h - 288. Is y prime?
True
Let c = 316 - 1625. Let z = 190 - c. Is z a composite number?
False
Let r(f) = -91*f**3 + 3*f**2 + 11*f - 14. Is r(-3) prime?
True
Let u = 56 - 56. Suppose 3*p - 2*j = -u*p + 5519, -4*j - 9195 = -5*p. Is p composite?
True
Let g(y) = -3*y - 1. Let x be g(-2). Suppose -x = 3*o - 26. Is 2466/42 - (-2)/o a prime number?
True
Let o = 24 - 20. Suppose 3*i - 5*i - 124 = o*t, 4*t + 122 = -i. Let v = t - -73. Is v prime?
True
Let y = -67 + 67. Let k = -2 - -6. Suppose y = k*q - 0*q - 3548. Is q prime?
True
Suppose 2 + 4 = 3*d. Suppose -x = d*s - 6*x - 194, -4*s + 368 = -5*x. Is s a prime number?
False
Let f = -26412 - -41449. Is f a composite number?
True
Let w(g) = -15*g - 5. Let f(t) = -t**3 + t**2 + t - 2. Let j be f(0). Let r be w(j). Suppose 0 = 3*z + 4 - r. Is z prime?
True
Suppose 0 = 4*n + 31 - 75. Let c(z) = -2*z**2 + 5*z - 2. Let w be c(n). Let x = w - -452. Is x prime?
True
Let q = -8 + 3. Is 1*(1780/(-8))/q*2 composite?
False
Let h(u) = -2*u + 27. Let o = 9 - 19. Is h(o) prime?
True
Let t = 2718 + 179. Is t prime?
True
Suppose 916 + 729 = 7*d. Is d a composite number?
True
Let o(h) = 66*h - 19. Let c be o(-16). Let t = c - -2436. Is t composite?
False
Suppose -4*j - 2280 = -2*g, -7*g + 2*g - 1723 = 3*j. Let u = j + 265. Let o = -73 - u. Is o composite?
False
Let y(l) = l**3 + 9*l**2 - 9*l + 22. Let h be y(-10). Is 2/(-1)*(-282)/h composite?
False
Let o(m) = -3*m - 4. Suppose 5*n - 4*c + 7 = 0, -n + 5*n - 4*c + 4 = 0. Let z be o(n). Suppose 0 = -z*s - 2190 + 6035. Is s composite?
False
Let j(v) = 6*v**3 + 4*v**2 - 3*v + 1. Let h be j(2). Let q(i) = 3*i + h - 92 + 6*i. Is q(14) prime?
False
Suppose -5*v = -0*v - 210. Let l = 89 + v. Let g = l + 80. Is g a composite number?
False
Suppose 0 = 2*l + 3*l - 210. Let k = 219 - l. Is (k/5)/(2/10) a composite number?
True
Suppose 5*w - 15956 = 299. Is w composite?
False
Let n(u) = -28*u - 27. Let k be n(-17). Let h = k - 238. Is h composite?
False
Let k(l) = 1072*l**2 + 1. Suppose -1 = -0*d - d. Is k(d) composite?
True
Let s be (-1*(-4)/(-6))/((-14)/(-252)). Let v(z) = -96*z - 29. Is v(s) a composite number?
False
Let n = 158 - 281. Let d = 1165 + n. Is d prime?
False
Suppose 2*r - 3323 - 1687 = -h, 5*r = h + 12511. Is r prime?
True
Suppose -113112 - 35862 = -21*g. Is g a composite number?
True
Suppose -13*r + 104556 = 4*l - 15*r, -l + 3*r + 26129 = 0. Is l a prime number?
True
Suppose -2*d = 10, 0*m = -2*m - 4*d - 20. Suppose -2*w + 79 + 85 = m. Is w composite?
True
Let v = 67 + -95. Let s = 3 - v. Is s a prime number?
True
Let m(i) = -i**2 + 18*i + 21. Let f be m(19). Suppose 5*d - 1467 = r, f*r = -3*r - 10. Is d a prime number?
True
Let w = -34 - -34. Suppose 3*c - 6*c + 363 = w. Is c a composite number?
True
Let n be 2694/18 - 2*2/6. Suppose -4*m = -4*r + 580, -3*m = -r + m + 130. Let k = n + r. Is k prime?
False
Let m = -59 - -104. Suppose -a - 715 = 4*v, -2*a = v + v + 1400. Is (-10)/m + a/(-9) a composite number?
True
Let a(c) = 315*c**2 - 12*c + 8. Let z be a(6). Is (-6 - -1)*(-4)/(80/z) a composite number?
False
Let d(h) be the third derivative of 9*h**4/2 + 25*h**3/6 - 14*h**2. Is d(8) a composite number?
True
Let f = 4395 - 2662. Is f prime?
True
Suppose -g + 4*g + 45 = 0. Let p(b) = -20*b + 5. Let w be p(g). Suppose 2*k + m - w = -2*k, -3*k - m = -228. Is k a prime number?
False
Suppose -3*o + 3540 = 3*v, 4*v + o - 2055 = 2674. Suppose 3*q = 5*i - i + 1189, -2*i + v = 3*q. Is q composite?
True
Is 1*-2*(-22036)/8 a composite number?
True
Suppose 101*b - 98*b - 42 = 0. Let q(f) = -4*f - 4. Let j be q(-4). Let z = b + j. Is z a prime number?
False
Suppose 0 = 3*z - 9, z = -5*b - z - 109. Let t = b - -60. Is t a prime number?
True
Let g = 109 + -105. Suppose 2*n = 0, s - 34 = g*n + 37. Is s prime?
True
Let l(a) be the second derivative of 61*a**3/6 - 4*a**2 + 7*a. Is l(19) composite?
False
Suppose 0 = 2*p + 2*w + 296, -w = 2*w + 3. Let a = p + -191. Let q = a - -501. Is q a prime number?
True
Let h be (-584)/(-36) - 4/18. Is (-12)/(-16) - (-8644)/h composite?
False
Let u = 588 + -249. Is u a composite number?
True
Is 6 - (9 + 6) - -121478 a composite number?
False
Suppose -3 = -4*t - j - 86, j - 37 = 2*t. Let a(s) = 2*s**2 + 15*s + 21. Is a(t) prime?
True
Is (-906)/(-18)*453 - (7 + -13) composite?
False
Let r(d) be t