(v) = 83*v + 2. Let c be l(-3). Let r = c + s. Is r a prime number?
True
Let v(m) = -58*m - 3. Let t be v(2). Let d = t + 72. Let x = d - -162. Is x prime?
False
Let u = 6844 + -4725. Is u a composite number?
True
Let n = -8 + 7. Let r be (-8)/(-16)*(25 + n). Let m = 39 + r. Is m prime?
False
Let m(w) = 53*w - 13. Let j be (-84)/(-18) + (-2)/3. Is m(j) a prime number?
True
Let b be (-152)/40 + (-2)/10. Let g(i) = -i**2 - 5*i. Let k be g(b). Suppose -k*x + 2*u + 152 = 0, -38 = -x - u - 0*u. Is x a composite number?
True
Suppose 3*g = 14 - 5. Suppose -5*u = -u + 4*f - 40, -4*u + f = -20. Is (118/4)/(g/u) composite?
False
Let c = -343 - -531. Let f = c - 88. Suppose 0 = 3*t - 4*t - 3*o + f, 2*t + 5*o = 203. Is t a prime number?
True
Let q be -3 + (-172)/(7 + -3). Let p = -31 - q. Suppose p = -5*m + 1470. Is m prime?
False
Let t = 455 + 560. Suppose -t = -q - 6*q. Is q prime?
False
Suppose -z = 9*z - 90. Let g(n) = 92*n - 15. Is g(z) prime?
False
Suppose 0 = -l - 2*l + 4*f - 15, 2*l = f - 10. Is (l/(-10))/(3/11886) composite?
True
Let x(g) = 100*g**3 - 16*g**2 + 2*g - 63. Is x(10) composite?
True
Let h be (36/16)/(3/40). Let r be (h/(-25))/(6/(-20)). Is (r/(-6))/(6/(-1071)) a composite number?
True
Let u(y) = 0*y**2 + 5 + 5*y**2 - 2*y**2 - 4. Let a be u(1). Suppose -5*w = -20, 0*w + 2269 = 3*t + a*w. Is t a composite number?
False
Let s be 18/33 - (-45)/99. Let i(n) = n**2 - 2*n + 3. Let x be i(2). Is s/(-3*x/(-711)) a composite number?
False
Let f = -56 + 48. Let a = 114 + f. Is a a composite number?
True
Let f(j) = -132*j - 14. Let z be f(-7). Suppose -31 = 3*h - z. Is h a composite number?
False
Let g(c) be the first derivative of 445*c**2/2 - 6*c + 34. Is g(1) a prime number?
True
Suppose -3*z = 4*a - 2651, 0*z + 2*z - 1798 = 5*a. Suppose 13*n = 6*n + z. Is n a composite number?
False
Suppose 0 = -3*f - 8*q + 4*q + 3631, -q + 3637 = 3*f. Is f composite?
False
Suppose 6*r = 2*r - 4*d + 1004, -5*r + 5*d = -1255. Suppose 0 = 2*s - r - 103. Is s composite?
True
Let m = 100 + -97. Suppose 0*x + 5*s = x - 386, -m*x + 1104 = 3*s. Is x a composite number?
True
Let y = 7204 - -16033. Is y composite?
True
Let g(h) be the third derivative of h**6/120 + h**5/10 + 5*h**4/24 + 4*h**3/3 + 4*h**2. Let u be g(-4). Suppose 9*t = 4*t + u. Is t prime?
False
Let m = 1883 + -262. Is m a composite number?
False
Is -3 + (-486086)/(-8) - 21/28 a composite number?
False
Let q(t) = 4*t**3 + 25*t**2 - 28*t + 45. Is q(16) a prime number?
True
Let u = -6706 + 11240. Is u a composite number?
True
Let l = 25 - 27. Let p be (-652)/44 - (-2)/(-11). Is l/5 - 3036/p composite?
True
Let c(b) = -38*b + 153. Is c(-28) composite?
False
Let h(b) = -3*b**3 - 4*b**2 + 2*b - 3. Let j be h(-4). Let z = 361 + j. Is z prime?
False
Suppose 40*t - 37*t - 3819 = 0. Is t prime?
False
Let v(q) = 5028*q**2 + 3*q. Let h be v(-4). Is h/108 + 4/18 prime?
False
Is (-1 + 11)*1688/16 prime?
False
Let m be 234/10 - 4/10. Suppose n = 2*n - 2*j - m, 0 = 5*n + 4*j - 171. Suppose h = n + 174. Is h composite?
True
Let w(p) = 7*p - 27. Let r(l) = -3*l + 13. Let q(f) = 5*r(f) + 2*w(f). Let a be q(7). Suppose 2*y - 163 = -5*u, 9 + 3 = a*u. Is y a prime number?
False
Suppose 2*t - 168 = 144. Let n = -62 + t. Is n prime?
False
Let g be 20/(-15)*18/(-2). Let r(q) be the first derivative of 2*q**3/3 + 9*q**2/2 + 5*q + 2. Is r(g) a prime number?
True
Let m(v) = -v - 7. Let o(u) = 2*u + 8. Let d(h) = -3*m(h) - 2*o(h). Let g be d(13). Is 1034/4 - (-12)/g a composite number?
False
Suppose 0 = -u + 2*h + 946 + 6473, -4*h - 37071 = -5*u. Is u a prime number?
True
Let j(x) = -9*x**3 - 6*x - 10 + 7 + 0. Is j(-4) a prime number?
False
Let o(g) = -1114*g. Let y = 3 + -1. Let n be o(y). Is n/(-6) + (-2)/6 a composite number?
True
Suppose 4*a + 3*u = 2725, -5*u - 1522 = -4*a + 1243. Is a a prime number?
False
Is -7 + 10 + (53690 - 0) a composite number?
False
Suppose 4*t + 12 = 0, -7*k + 4*t + 47463 = -4*k. Is k a composite number?
False
Suppose 2*r - 247 = -11. Let o = 10 + r. Let b = o - 45. Is b a prime number?
True
Suppose -32*t = -4*f - 27*t + 95655, 119580 = 5*f + 5*t. Is f composite?
True
Let x(d) be the second derivative of -1/6*d**4 + 1/6*d**3 + d - 2*d**2 + 0 - 1/5*d**5. Is x(-3) prime?
True
Suppose 11*g - 13690 = g. Is g prime?
False
Let q(o) = -o**3 + 21*o**2 + 3. Let k be q(21). Is (9/k)/(-6)*-838 composite?
False
Let d = 247 + -120. Suppose d + 57 = o. Suppose -4*a + 92 + o = 0. Is a composite?
True
Let y = -80 - -81. Is (5138 - y)*(-1 + 2) prime?
False
Suppose 0 = -0*h + 9*h - 3105. Let t = h - -50. Is t composite?
True
Suppose -3*t - 5*t = 0. Let r(d) = -d**3 - d**2 - d + 58. Is r(t) a composite number?
True
Let v = -10524 + 18665. Is v prime?
False
Let k(z) = z**3 - 5*z**2 + z. Let r be k(5). Let q = -18 + r. Let h = 80 + q. Is h composite?
False
Suppose 314*a - 542710 = 304*a. Is a prime?
False
Let a be (-1*-1*31)/((-10)/(-250)). Let t be 8/28 + (-7248)/(-14). Let g = a - t. Is g prime?
True
Suppose -4*u + 3*c - 26669 = -72061, -8*u - 4*c + 90824 = 0. Is u prime?
True
Let w(m) be the third derivative of -m**6/120 + m**5/30 - m**4/24 + 449*m**3/6 - 30*m**2. Is w(0) a prime number?
True
Let o(m) = m**3 + m**2 - 7*m - 1. Let h be o(-3). Is (h + 8*-3)*(0 + -1) prime?
False
Let a = -432 + 1026. Let y = a + -340. Is y a prime number?
False
Suppose -3*h = o - 2 - 8, -3*o + 3*h + 30 = 0. Is ((-31)/2)/(o/(-20)) a prime number?
True
Let n(v) = -8*v**3 + v**2 - v - 1. Let x be n(-1). Let y be 2/x - 770/63. Is 334/10 + y/30 a prime number?
False
Suppose 0 = 4*c + 5 + 3. Let d be (c - -3) + -1 + 0. Suppose -j - 1 = 0, -l - 4*j = -d*l - 27. Is l a composite number?
False
Let l be 1*(0 + 3/1). Suppose -7*x + 380 = -l*x. Suppose 0 = -2*g + a + x, -2*a = -2*g + 32 + 66. Is g a composite number?
True
Suppose -10707 = -3*l - 153. Is l a prime number?
False
Suppose t = -3*c + 4733, 0 = 3*c + t + 4*t - 4741. Suppose c = 3*j + 2*d, -4*j + 6*d + 2076 = 2*d. Let x = 732 - j. Is x composite?
True
Let b(y) = -26*y - 25. Let w = 19 + -37. Is b(w) composite?
False
Let a = 16 + -13. Suppose -5*q + 4*d + 95 = -60, -a*q - 3*d + 120 = 0. Is q composite?
True
Let r(a) = a**3 - 4*a**2 + 5. Let w be r(5). Let y = 46 + -35. Suppose j + y = w. Is j a composite number?
False
Suppose -9*a + 19*a = 6410. Is a prime?
True
Let o(w) = -w + 11. Let b be o(12). Let n(d) = -232*d. Let c be n(b). Let z = -117 + c. Is z prime?
False
Suppose -5*b - 5*x = -20, -20 + 6 = -2*b + 4*x. Suppose 3*u = z + 612, -624 = u - 4*u + b*z. Is u prime?
False
Let q(h) = h**3 - 6 - 8 + 20*h**2 + 1 + 0 + 4*h. Is q(-10) a prime number?
True
Suppose -c - 3*d + 1024 = 2*d, -5028 = -5*c - 2*d. Suppose 0 = -2*z + 570 + c. Is z a composite number?
False
Suppose 10*d = 6*d. Let o be -22 + (3 - d) - -1. Is 1/(-6) + (-2829)/o composite?
False
Suppose -2*i = 5*r - 3328 + 849, 5*i + 1009 = 2*r. Suppose -7*q + 0*q = -r. Is q prime?
True
Let y be (-6396)/(-14) + (2 - (-13)/(-7)). Let f = 792 - y. Is f prime?
False
Let y be 5/((-5)/(-3)) + 31. Let f = y - -51. Is f composite?
True
Let s(v) = v**3 + 16*v**2 + 8*v + 40. Let h be s(-17). Let a = 732 + h. Is a a prime number?
True
Suppose -5*s - 1 = -5*i + 49, -2*i + 11 = s. Suppose -i*t = -5*t. Suppose -2*n - 5 + 67 = t. Is n a composite number?
False
Let d(p) = -399*p - 254. Is d(-23) composite?
False
Suppose -4*n + 6553 = 5*o, -4*o + 3*n + 5849 = 588. Is o composite?
True
Let v(x) = -25 + 477*x + 189*x + 35*x. Is v(4) composite?
True
Let r(y) = -y**2 + 14*y - 19. Let k be r(13). Let z = -2 - k. Suppose 0 = i + p - z, -18 = -2*i + 3*p - 0*p. Is i prime?
False
Is (20 + 787)*2/6 prime?
True
Let d(i) be the first derivative of -2*i**3/3 + 5*i**2/2 + 284*i - 9. Let a(q) = -q**2 + 2*q + 142. Let k(s) = 7*a(s) - 3*d(s). Is k(0) a prime number?
False
Suppose -4*b - 26293 = -x + 8634, -4*b + 174707 = 5*x. Is x a prime number?
True
Suppose -1 = -m + 2, -4*m = c - 1421. Is c a prime number?
True
Let j(m) = -m**3 + 11*m**2 - 11*m + 8. Let u be j(10). Let i be (u - 0) + 0 + 237. Suppose -3*h = -12, 146 + i = c - 4*h. Is c a prime number?
True
Suppose -2865 = 4*a - 5*d, 0 = -4*a - 0*a - 2*d - 2830. Let g = 1251 + a. Is g a prime number?
True
Let k = -36 + 61. Suppose -20*u = -k*u + 32515. Is u prime?
False
Is 6074/(-6)*(-54 - -51) composite?
False
