-6739. Is s composite?
True
Suppose -42*k = -191524600 + 14438194. Is k composite?
False
Let w(o) = -541*o**3 - 3*o**2 - 3*o. Suppose 0 = -p + 3 - 3. Let a(k) = k**3 + k - 1. Let r be a(p). Is w(r) prime?
True
Let q(v) = v**3 - 2*v**2 + v - 2. Let y(a) = a**3 - a**2 + a - 1. Let m(c) = -q(c) - y(c). Let f be m(2). Is (374 - 2) + f*(-3)/15 a composite number?
False
Let p(j) = -j + 7. Suppose -24*y + 30*y = 18. Let k be p(y). Suppose 3*q + 28 = l, 0 = -7*l + 4*l + k*q + 89. Is l a prime number?
True
Let f(x) = 4*x**3 + 71*x**2 - 70*x - 193. Is f(30) prime?
True
Suppose 0 = -5*f - 5, 3*f - 1158 = 2*y + 2395. Let v(q) = 2*q**3 + 8*q + 11. Let h be v(-8). Let l = h - y. Is l a prime number?
True
Is (28782 + -3)*(-3)/(-9) composite?
True
Is 98/(-4)*66795290/(-2765) prime?
False
Suppose 4*m = 2*f - 586, -m + 456 = -4*m - 4*f. Let t = -27 - m. Is 2/(-11) - (-111463)/t prime?
False
Let h(o) = -o**3 + 71*o**2 + 39*o + 187. Is h(70) a prime number?
True
Let q(y) = -2*y**3 - 5*y**2 - y - 10. Let g be 51/(-7) - (-14)/49. Let t be q(g). Let w = t + 571. Is w prime?
True
Suppose 0 = 24*z + 9*z + 1485. Is -5*246303/z - 6 composite?
False
Let o = -951 + 1930. Suppose h - o = 2082. Is h a composite number?
False
Let d(p) = 10*p - 38. Let f be d(4). Suppose -2*b - x = -9087, -8*b = -5*b + f*x - 13633. Is b a composite number?
True
Suppose 12*q - 2*v = 7*q + 1733, -690 = -2*q + 4*v. Is q a composite number?
False
Suppose -10*y + 5*y = -15. Suppose y*n - 1752 = 3*l, -3*l - 1169 = -10*n + 8*n. Is n prime?
False
Let m(z) = -43*z**3 + 39*z**2 + 10*z + 67. Is m(-11) a prime number?
True
Let g = 1017 - 1016. Suppose 5*x = 5*j - 6300, 0 = -4*j - 6*x + x + 5040. Let f = j - g. Is f a composite number?
False
Is 3/(-2)*206194540/(-690) a prime number?
True
Suppose 3*y = -4*l + 174097, -100*l - 232131 = -4*y - 105*l. Is y composite?
True
Let l be (-2)/4 - 2*7/(-28). Suppose -27*c + 19*c + 612472 = l. Is c prime?
False
Let h = -47 + 59. Suppose d - 4*d + h = 0. Suppose 0 = d*a + 3*n - 4630, 3*a + 4*n - 3475 = 3*n. Is a prime?
False
Let d = 373 - 371. Suppose -3*o - s = -987, 0 = d*s + s. Is o a prime number?
False
Suppose 6*j - 5733 = 321. Let z = 48 + j. Is z a composite number?
True
Suppose 84*q - 19*q - 2100605 = 0. Is q a composite number?
True
Let q be 14*(2 - 0 - 63/18). Let y = 11 + q. Let x(z) = -z**3 - 28*z + 14. Is x(y) composite?
True
Let y = 617568 - 391337. Is y composite?
False
Suppose -9*t + 5*t + 27164 = 0. Let f = 12593 - t. Suppose -4*h = -2*h - f. Is h a composite number?
True
Suppose 2*j = -3*o + o + 20, -3*o = 5*j - 38. Is (9/o)/(-3)*(-3470)/5 a composite number?
False
Suppose -5*b = b - 4*b. Suppose -h + 2475 = -5*c, -4*h - 4*c - 2197 + 12193 = b. Is h prime?
False
Suppose 10*m = 5*m - 700. Is m/(-8)*17060/50 a composite number?
True
Suppose -18 = -f + 13. Let q(d) = 16*d + 5 - f*d - 2 + 11*d**2. Is q(-7) a prime number?
True
Let q be -6 - 4*110/(-40). Suppose -4*z + 56445 = q*i, 2*i - 6*z + 11*z - 22561 = 0. Is i a composite number?
True
Suppose 5*s - 43 + 318 = 0. Is (-226039)/s + 8/(-10) a prime number?
False
Suppose -k - x + 34192 = 0, -3*k + x - 19724 = -122280. Is k a prime number?
False
Suppose 106*m + 199*m - 127395755 = 0. Is m composite?
False
Suppose -26*s - 6*s + 64 = 0. Is (s*5)/((-156)/(-88062)) a prime number?
False
Suppose 0 = -14*m + 24*m + 3720. Is (-456670)/(-42) - (6 - m/(-63)) a composite number?
True
Suppose -s - 4 = 0, 2*t + 5*s + 6 = -36. Let h be (t + -5)*(-615)/6. Suppose -2*d - 286 = -4*c - h, c - 2038 = -3*d. Is d prime?
False
Suppose -5*o + 2*p = -212423, 50*o - 52*o = 4*p - 84998. Is o composite?
False
Let b(a) = 816*a**2 + 32*a - 241. Is b(15) prime?
False
Let x = 8507 - 2118. Is x/((-4)/(-5 + 1)) a composite number?
False
Let h(c) = -c**3 + 2*c**2 + 15*c + 18. Let u be h(-2). Suppose u*k - 4172 = 2*o, 0 = 4*k - k - o - 3128. Is k a prime number?
False
Let g = 134078 + 1228743. Is g prime?
False
Let h(w) be the third derivative of w**6/120 - 17*w**5/60 - 9*w**4/8 - w**3/2 + 7*w**2. Let f be (-4 - -3)/(((-15)/(-57))/(-5)). Is h(f) a composite number?
True
Suppose 3*r = 5*a - 7346, 5*a + 5*r + 1752 = 9122. Is a a composite number?
False
Is 20/35 + 558/126 - (-10641)/1 a prime number?
False
Is ((-8 - 0 - -6) + 91510)/(4/3) composite?
True
Let x(i) = -i**3 - 7 + 3 + 1 + 14*i + 5*i**2. Let a be x(7). Is (-4)/(a + -1)*158 composite?
True
Let m(f) = -4305*f + 1371. Is m(-154) a composite number?
True
Let p(b) = 2*b**3 + 26*b**2 - 11 + 4*b - 3*b**3 + 4*b. Is p(12) a composite number?
True
Let s(l) = 4*l**2 + 14*l + 2. Let g be s(-3). Is 1/(g/(-6696)) - 3 composite?
True
Suppose 2*h - 255728 - 999264 = 5*k, -3*k + 2509958 = 4*h. Is h a prime number?
True
Let f(b) = 865*b - 24. Let m be f(3). Suppose -11497 = -2*l - 3*y, -3*l + 3*y + m = -14667. Is l composite?
True
Let n be (-12)/(-2*(-5)/(-210)). Let c be n/8*58/3. Suppose -c = -6*j - j. Is j a composite number?
True
Suppose 630787 = 41*y - 4215700. Is y composite?
True
Let f = 258 + 188. Let i = -232 + f. Suppose -y + i = -351. Is y a composite number?
True
Suppose a = -2*y + 45289, 239*y - 135897 = -3*a + 238*y. Is a prime?
False
Suppose 51*h - 50*h = 7275. Let l = h + -4508. Is l prime?
True
Let o(a) be the first derivative of -a**4 + 2*a**3/3 + a**2/2 - a + 10. Let p be o(-1). Suppose p*y + n = 9341, -y + 4*n + 588 = -1743. Is y a prime number?
False
Let i = 5254 + -28110. Let y = -13621 - i. Is y composite?
True
Suppose 0 = -3*t - 0*t - x + 99890, -2*t + 66582 = -5*x. Suppose 14*y = 328780 - t. Suppose 14*n = 52324 + y. Is n prime?
False
Let r = -599 + 279. Let h = -80 - r. Let g = h + -41. Is g a composite number?
False
Suppose 0 = 4*o + 4*a - 28, 5*o - 6*a + 2*a = 8. Let d(w) = w**2 - 5*w + 6. Let h be d(o). Suppose -3*l + 239 = h*q, -3*l - 10 = -l. Is q a prime number?
True
Let w be 52/(-10) + (-5)/(-25). Let s(i) = -47*i**3 - 8*i**2 - 4*i + 1. Let q be s(w). Suppose -10*z - 1746 = -q. Is z composite?
True
Suppose 46*j - 23*j = 27*j - 70892. Is j a composite number?
True
Let f(s) = 1400*s**2 - 46*s - 29. Is f(-5) prime?
True
Let b = 81324 - 47293. Is b composite?
False
Suppose -10 = -6*c + c. Suppose -843 - 2516 = -f + u, -2*f - c*u + 6702 = 0. Suppose 8*g - 2029 = f. Is g a prime number?
True
Let x(r) = r**3 - 2*r**2 - 4*r + 4. Let s be x(3). Is s - (-51876)/21 - 8/28 a prime number?
False
Let z(u) = -6*u**3 - 8*u**2 - 4*u + 4. Let x be z(-7). Let d = 3149 - 1504. Suppose 0 = o - d - x. Is o a composite number?
False
Suppose 0 = -4*w + 4*v + 20, -2*v = 2*w + 2*w - 2. Is ((-14757)/(-15))/(w*(-4)/(-40)) a prime number?
True
Let p be (-2)/(-9) + 640/(-45). Let v = p + 24. Suppose 0 = 4*t + t + v, s = 4*t + 31. Is s a prime number?
True
Is 26366 - (-1*3 - (-22)/(-11)) a prime number?
True
Let m = -163018 + 890727. Is m a composite number?
True
Suppose -y + 20687 + 8556 = -4*c, -3*y + 2*c + 87779 = 0. Is y a prime number?
False
Let k = -44362 - -64133. Suppose -24556 - k = -19*l. Is l composite?
False
Is (-8394655)/(-161) - 32/84*(-6)/8 a composite number?
True
Let p(f) = f**3 - 22*f**2 - 26*f + 12. Let n be p(23). Let g = n + 62. Suppose 3*i + 3*w = 4209, -g*i + 7005 = 4*w - 9*w. Is i prime?
False
Let x(a) = -52*a**3 - 10*a**2 - 15*a - 25. Let t(i) = -i**3 - 2*i**2 + 102*i + 27. Let h be t(-11). Is x(h) a composite number?
False
Suppose -4 = l - 8, 5*g + 5*l = 315. Let k(b) = -3 + 32*b - 1 - g*b. Is k(-1) a composite number?
False
Let l = 422 - 417. Suppose -2*x = 5*i - 31037, 2344 = -l*i - x + 33385. Is i a composite number?
True
Is 8/(6569631/1313903 - (5 - 0)) a composite number?
True
Suppose 11*x + 2492 = -9355. Suppose -b - 4*b = -10, 2*u + 4518 = 5*b. Let z = x - u. Is z a composite number?
True
Is (77/14 - 5)*87354/9 composite?
True
Suppose 1994582 = 79*d - 41*d. Is d composite?
False
Suppose -7*u = -2*u - 20. Suppose -u = -0*s - 2*s, n = s + 115. Suppose 5*w - n = -c, -3*c + 7*c = -4*w + 500. Is c a composite number?
False
Suppose -20*v + 163 = -37. Suppose 5*n = -j + 2030, 6*j = -3*n + v*j + 1241. Is n composite?
True
Let n be 6/(-2) + (-13 - -18). Suppose y - 16551 = -n*y. Suppose 4*r + 505 = 4*i + 4925, -5*r + 3*i = -y. Is r prime?
False
Let t be (6/(-9))/(6/(-54)). Let d = 737 + t. Is d prime?
True
Let m(q) = -5*q**3 + 5*q**2 - 2*q + 155. Is m(-28) a composit