prime number?
False
Suppose 29*d - 84 = 25*d. Let f = 21 - d. Suppose f = 3*i - 0*i - 1191. Is i prime?
True
Let u = 3382 - -3397. Is u a prime number?
True
Suppose h = 2*h - 3. Let l be 1 - (289 - (h - 3)). Let x = 5 - l. Is x prime?
True
Let p(h) = 5*h**3 + 2*h**2 + 9*h + 1. Let v(u) = 4*u**3 + 2*u**2 + 8*u + 2. Let f(n) = 5*p(n) - 6*v(n). Suppose -241*s + 239*s + 12 = 0. Is f(s) a prime number?
False
Let y(x) = 34*x**2 - 9*x + 19. Is y(-18) a prime number?
True
Suppose 3*k - 4*p = 4593, -k + 833 + 709 = -5*p. Is k a prime number?
False
Suppose 5*k + o = 170135, 34027 = k - 20*o + 17*o. Is k prime?
False
Let s(o) = -o**3 - 7*o - 13. Let a(c) = c**3 + 7*c**2 + 9*c + 11. Let d be a(-6). Is s(d) composite?
False
Let d(s) = 8*s - 20*s**2 + 2*s + 2*s**3 - 27 + 21. Is d(13) prime?
False
Suppose 5*b - 15 = 0, -6 = d + 3*d - 2*b. Let i = -3 + 6. Suppose 4*v + u - 2210 = -434, -v + i*u + 431 = d. Is v composite?
False
Let l(m) = 2*m + 233. Is l(0) a composite number?
False
Suppose -146 = -5*v + 29. Suppose -47 = 34*z - v*z. Is z prime?
True
Suppose 2 = -4*y + 10. Is 0/y - (-305 + 2) a prime number?
False
Is 5/(-2)*((-59090)/50 - -5) a composite number?
True
Let j(q) = 741*q**2 - 2*q. Let g be (-5 - -3 - -3)*1. Is j(g) prime?
True
Let q = -45 + -4. Let l = q + 140. Is l a composite number?
True
Let h be -1 + 2 + -3 - 0. Let z be (-3 - -5) + h/1. Suppose z = -2*v + 3*i + 161, -3*i = 4*v + 148 - 461. Is v prime?
True
Suppose 1618 = 4*r - 13522. Is r a composite number?
True
Suppose -2*v + 439 = 2221. Let k = 28 - v. Is k a composite number?
False
Suppose l - g = -21, 0*l = 5*l - 4*g + 109. Let v = l + 19. Is 93/v*(0 + -2) a prime number?
True
Let t be (-3 + -14)*(-14 - -1). Let s = -118 + t. Suppose -2*o + 219 = -s. Is o composite?
True
Let x(z) = -z**3 - 9*z**2 + 15*z + 2. Let c be x(-10). Let a be (-8)/(-1*(-3)/c). Suppose -k - 3*l = -47, 5*k - 2*l = 56 + a. Is k a prime number?
False
Suppose -5*a = -51136 + 17201. Is a a composite number?
True
Suppose -3*l + 7129 - 1891 = 0. Suppose 5*f - l = 4004. Let z = -605 + f. Is z a prime number?
False
Let l(f) = -3*f**2 + 7*f - 13. Let s be l(6). Let o = -44 - s. Is o a prime number?
False
Suppose -5*s + 415 = 5*i, -2*s + i = -2*i - 151. Let q = s + 239. Is q composite?
True
Let s = 66802 + -29223. Is s a prime number?
True
Suppose -5612 = -8*u + 54204. Is u a prime number?
True
Let g = 19 + -14. Suppose 0 = -0*d - 3*d + 3*w + 66, 0 = w + g. Suppose d*m - 55 = 16*m. Is m composite?
True
Let b(t) = -3 + 4 + 2*t**3 + t + 4*t**2 - 3*t**3. Let o be b(4). Suppose 5*n + 76 = 2*l, -o*l = 3*n - 163 - 58. Is l composite?
False
Let b = 44523 - 27768. Suppose -b + 4530 = -15*f. Is f prime?
False
Is -5 - (-117)/18 - (-2079)/2 a prime number?
False
Suppose -594672 = -10*z - 17162. Is z a composite number?
False
Let v(x) = 2*x**2 + 2*x + 30416. Let n be v(0). Suppose -28*u = -12*u - n. Is u a composite number?
False
Suppose -17 = 3*k - 2. Is k/(1 - 6)*307 a prime number?
True
Let l = -1970 - -15619. Is l prime?
True
Let z be (-12)/42 - (-68)/(-7). Let q = -10 - z. Suppose q*b + b = 211. Is b a composite number?
False
Let c = 13 - 6. Let p = c - -50. Suppose 5*y - 18 - p = 0. Is y a composite number?
True
Let g(u) = 2*u**2 + 8*u + 6. Suppose 0*c = -c - 5. Let b be g(c). Is (392/b)/(1/2) prime?
False
Let q = -11 + 14. Suppose -l + 26 = y - 66, 2*l + 3*y - 184 = 0. Suppose -q*t + l = -307. Is t prime?
False
Suppose -12*l = -11*l - 163. Suppose -k = 4*j + 226, 3*j = 7*j + 2*k + 224. Let r = j + l. Is r prime?
False
Let p(v) = v**3 + v**2 - v. Let f(a) = -3*a**3 - 14*a**2 - 11*a + 21. Let z(u) = f(u) + 4*p(u). Is z(15) prime?
False
Let x be 5/(-15) - 112/(-3). Let o be (9 + -8)/(2/18). Suppose -8*u = -o*u + x. Is u prime?
True
Suppose -14*x - 8088 = 2888. Let w = -405 - x. Is w a composite number?
False
Let u = 403 + -108. Is u a prime number?
False
Let l = -2014 - -4298. Let m = l + -347. Is m prime?
False
Let i(r) = -11 + 6*r**2 - 5*r**2 - 14*r - 2*r**2. Is i(-6) composite?
False
Let l(t) = 562*t**2. Let h be l(-2). Suppose 4*i = 4*j - h, 3*j + 2794 = -4*i - i. Let r = -291 - i. Is r prime?
True
Let l be (-2)/6 + 5/15. Suppose l = 2*f + 9180 + 10872. Is f/27*3/(-2) composite?
False
Let w(l) = -224*l + 8. Let f be w(3). Let q = -171 - f. Is q prime?
False
Let l(j) = -9*j**3 - 5*j**2 - j - 9. Let k(d) = 2*d - 2. Let h be k(-1). Is l(h) composite?
False
Let c = -8067 - -14614. Is c composite?
False
Let c be -2 + 84988/28 + (-8)/28. Let z = c - 1130. Is z a prime number?
False
Let t = 7 + -6. Let a = t - -3. Suppose 4*m - 6*m = h - 88, 3*h = -a*m + 270. Is h a prime number?
False
Let w(h) = -188*h + 1. Let f be w(-2). Suppose 5*g = -258 - f. Is (5/(-5))/(1/g) a composite number?
False
Let i = 7716 + -1249. Is i prime?
False
Suppose -5*d + 19505 = 1290. Is d prime?
True
Suppose 6*n = -s + 8*n + 14, 29 = s - 5*n. Is 6145/20 - 1/s a composite number?
False
Let j(d) = -379*d - 105. Is j(-8) prime?
True
Let a = -11 - -18. Is 2/14 + 4360/a composite?
True
Let u = 2117 - -31409. Is u a prime number?
False
Let g be 0/(12/(-3) + 3). Suppose g = 6*x - 4*x - 328. Let l = -99 + x. Is l a prime number?
False
Let z = 3250 + -2234. Suppose 7*u = 11*u - z. Is u a composite number?
True
Suppose -55*h - 14*h = -1284711. Is h a prime number?
False
Let m(r) = r**2 - 5*r - 4. Let d be m(6). Let z be (d - -1) + 0 + -5. Is ((-42)/(-12))/(z/(-148)) composite?
True
Suppose 52 = -4*s + 1716. Let l(y) = 2*y**2 + 12*y - 9. Let b be l(-6). Let m = s + b. Is m a prime number?
False
Let l(m) = 43*m**2 - 14*m + 46. Is l(15) a composite number?
False
Suppose 0 = -2*k + 19948 + 8560. Is k a prime number?
False
Suppose -3*b + 12 = -5*b. Let g(o) = -6*o**2 + 7*o + 4. Let x be g(b). Let y = x + 741. Is y composite?
False
Let u = 10099 + -5184. Is u prime?
False
Suppose -2*v = -2*r + 2*v + 13384, 2*r - 2*v - 13378 = 0. Is r a composite number?
True
Let d(h) = 3*h**2 - 15*h - 109. Is d(-11) prime?
True
Is 3/2*(-23)/(1242/(-6234372)) composite?
False
Let r be 106 - 1/3*0. Suppose -4*g + 109 = s, 3*s = 5*g - 41 - 91. Let v = r - g. Is v a prime number?
True
Is (-27)/90 - 289013/(-10) a composite number?
False
Let v(s) = 43*s + 29. Let h(g) = 21*g + 15. Let t(l) = -9*h(l) + 4*v(l). Let q = 4 - 10. Is t(q) a prime number?
True
Suppose 0 = 2*x - 6*x + 28. Let a = -5 + x. Is 1*(58 + -1) + a a composite number?
False
Let f(u) = 5*u**2 + 2*u + 1. Let a be f(-1). Suppose 2*v = -1 - 3, a*l - 4*v - 632 = 0. Suppose -4*k + l = 4*s - 2*k, -3*s + 95 = -4*k. Is s a composite number?
False
Suppose -7*m + 1926 = 4*c - 2*m, m = -5*c + 2397. Is c a composite number?
False
Suppose v - 68 = -3*v. Let g = v + -19. Is 20 - 2*g/4 prime?
False
Suppose 0 = -5*m - m + 42. Suppose -m*u + 21 = 7. Is (-205)/20*(-16)/u a prime number?
False
Let i(t) = 202*t**2 + 14*t - 13. Is i(3) a composite number?
False
Suppose -9*b + 13967 + 10936 = 0. Is b composite?
False
Suppose -d - 4*b = -52821, 19 = -3*b + 4. Is d composite?
True
Let v(k) = k**2 + 8*k + 4. Let q be v(-8). Suppose 3*x = -q*r + 1983, -138 = -r - x + 357. Suppose 10 = 4*d - r. Is d composite?
False
Let g be (-66)/((18/39)/(-6)). Suppose -181 - g = -r. Is r a prime number?
True
Let x = 34 - 10. Suppose -3*b + 735 + x = 0. Is b prime?
False
Let g(v) = -11 - 6*v - 2*v**3 + v**3 + 49*v**2 - 55*v**2. Let l(c) = c**2 + c + 1. Let f(a) = -g(a) - 4*l(a). Is f(6) a prime number?
True
Let o = -25 - -3. Let i be o/(-143) - 275/13. Let n = 16 - i. Is n a prime number?
True
Suppose -33 = -3*x - 3. Suppose -13*g + x*g - 150 = 0. Let p = g + 97. Is p prime?
True
Is (-297522)/(-26) + (-90)/585 composite?
False
Suppose -38 = -3*p + 10. Let j = p - -81. Is j a composite number?
False
Let h(c) = 14*c**2 + 5*c - 11. Let o(y) = -4*y**3 + 2*y**2 + 3*y + 1. Let w be o(-1). Is h(w) a prime number?
True
Let p be (63/(-27))/(-2 + 11/6). Suppose -19*w + p*w + 8095 = 0. Is w a prime number?
True
Let o = 9 - 4. Suppose i + o*h = 0, -3*h = -i + 2*h - 20. Let a = i - -87. Is a a prime number?
False
Let n(u) = 718*u - 11. Let q be n(9). Suppose 0 = 6*k + 85 - q. Is k prime?
True
Suppose 10 = u + 4*u. Suppose -u*h - 2*h = -16. Suppose 431 = h*s - 1133. Is s a composite number?
True
Let l(d) = -d - 2. Let q be l(-3). Let a be 9/(-12)*(3 + q). Is 170/12 - a/(-18) a compo