ime?
True
Let g(a) = 3*a - 10. Let l be g(7). Let k = l + -11. Suppose -5*f + 3*u + 195 = -k*u, -5*f = -u - 195. Is f a composite number?
True
Let f = -15 - -3. Let y be 0/1*f/24. Suppose -4*v + 2*v + 134 = y. Is v a composite number?
False
Suppose 2*d = -3*o + d - 12, -5*o + 2*d = 31. Let m(p) be the first derivative of 5*p**3/3 - 3*p**2 - 6*p - 3. Is m(o) prime?
True
Let y(r) = 5*r**3 - 7*r**2 - 12*r - 17. Let s(c) = -9*c**3 + 14*c**2 + 25*c + 34. Let t(q) = -6*s(q) - 11*y(q). Is t(-8) composite?
False
Let r be 10*3/6*-1. Let z(f) = 2*f**2 + f - 5. Let v be z(r). Suppose -v = -n - 3*i, 3*i = 4*n - 135 + 5. Is n a prime number?
False
Suppose 3*f = -f + 848. Let m = f - 115. Is m composite?
False
Let z = -7763 + 17382. Is z prime?
True
Suppose -8*x + 3*x = 895. Let d = -105 - x. Is d composite?
True
Let k(y) = y + 1. Let f be k(-4). Let l(r) = r + 6. Let m be l(f). Suppose -u + m*u = -3*h + 136, 5*u + 3*h - 331 = 0. Is u composite?
True
Let u = 210 + -125. Let m = 144 - u. Is m a composite number?
False
Suppose -52*m = -44*m - 233432. Is m prime?
True
Let w(y) = 3*y**2 - 2*y + 64. Let b(h) = 4*h**2 - h + 64. Let d(g) = 4*b(g) - 5*w(g). Is d(17) prime?
False
Suppose -4*t + 5175 = x - 651, -x + 5840 = -3*t. Is x composite?
True
Let j(g) = -6191*g - 116. Is j(-7) composite?
True
Let w(g) = g. Let l(t) = -2*t**2 - 6*t - 15. Let a(b) = -l(b) - 2*w(b). Let u = 7 + -20. Is a(u) composite?
True
Let k = -3773 + 5494. Is k a composite number?
False
Suppose -3*u = -0*u - 3. Is 1465/1*(u - 0) a prime number?
False
Suppose 28*v + 5833 = 38509. Is v a composite number?
True
Let w be -3 + 1/(2/(-14)). Let l be w/5*(1 + -6). Is ((-382)/l)/(2/(-10)) prime?
True
Suppose 0 = 3*u + 5*o - 9854, -u + 6*o + 3262 = 2*o. Suppose 5*x - u - 3537 = 0. Is x a prime number?
False
Is -5 + 395820/52 + (-5)/(-65) prime?
True
Let s(k) = 2*k**3 + 5*k**2 - k - 17. Let b(w) = 3*w**3 + 7*w**2 - 2*w - 26. Let z(q) = 5*b(q) - 8*s(q). Let p be z(-3). Is 2763/(-6)*4/p prime?
True
Let b(g) = g**3 + 31*g**2 + 9*g + 38. Is b(-29) prime?
True
Let o = 67 - 69. Is (-11010)/(-14) + 2/(-7)*o a composite number?
False
Suppose 0 = 4*d + 3*q + 2*q + 137, -3*q + 47 = -d. Suppose -3*g - 5*s + 936 = g, -4*g - s = -920. Let u = g + d. Is u composite?
False
Let y(d) = -d**3 + 15*d - 10*d**2 - 8 - 9 + 12. Is y(-13) a prime number?
True
Let t(l) = -12 + 11 - 4*l + 0*l. Let r be t(1). Is (86/(-2))/(r/15) a prime number?
False
Is (127482/(-15))/(44/(-220)) a prime number?
False
Let q(k) = -3*k**3 - 39*k**2 + 4*k + 13. Is q(-20) a composite number?
True
Let k(f) = 116*f**2 - 14 + 10 + 9. Is k(3) prime?
True
Suppose 2*f - 5*r = 32712, -38924 - 26526 = -4*f - 3*r. Is f a prime number?
True
Let v(j) = 9*j**2 + 2*j - 20. Let m be v(10). Let u = m + -521. Is u composite?
False
Suppose 47*u = 43*u + 6000. Suppose -b + 6533 - u = 0. Is b a prime number?
False
Let n = -27 - -26. Is ((-2)/8)/n*3148 a prime number?
True
Let v(r) = -2*r**3 + 2*r**2 - 4*r - 1. Let z = 34 - 37. Is v(z) a composite number?
False
Suppose 11*c + 8*c - 18373 = 0. Is c a prime number?
True
Let l be 6/(5/((-10)/(-4))). Suppose s = -d - s + 915, l*d + 2*s - 2749 = 0. Let o = d - 234. Is o prime?
True
Let h(c) = 135*c**3 + 6*c**2 - 16*c + 28. Is h(5) a prime number?
False
Let r = -32053 + 54160. Is r a composite number?
True
Let p = -3826 - -5799. Is p composite?
False
Let u = -12 - -12. Suppose -5*i - 3*r - 4 = u, 2*i = -0*i - r - 1. Is (i/(-2))/(9/(-2286)) composite?
False
Let t be 3/2 - (-25)/(-10). Let b be 5/(t/(-3 - -4)). Is 65/4*(-1 - b) composite?
True
Let i be 6724/36 + ((-116)/(-36) - 3). Let m = i - 44. Is m composite?
True
Let z(d) = 66*d**3 - d - 1 + d**2 - 12*d**3 + 2*d**2. Let s be z(2). Suppose -5*f + 3*u + 706 = 0, 0*f - 3*f - 4*u + s = 0. Is f composite?
True
Suppose 0*q + 10*q = -150. Let u = q + 142. Is u a prime number?
True
Let z(i) = i**3 + 11*i**2 - 6*i - 2. Let b be z(7). Suppose -2528 + b = 2*s. Let l = s - -1264. Is l prime?
True
Let d = 5217 + -2768. Is d a prime number?
False
Let u = -11958 + 24812. Is u a prime number?
False
Let y = 6337 + -4346. Let q = y - 1404. Is q a prime number?
True
Is (-1)/((-4)/358696) - (10 + -5) composite?
False
Let a = -59 - 49. Let j be (-4)/(-18) - (-17952)/a. Let h = j + 284. Is h prime?
False
Suppose 0 = -0*n - 15*n + 8985. Suppose o - n = 5*w, -3*o - 6*w + 7*w + 1839 = 0. Is o a composite number?
True
Let d = -8 + 11. Suppose y + d*o = 494, 4*y - 2*o = -0*o + 2018. Suppose -7*m = -8*m + y. Is m prime?
True
Is (-7 + 5 + -1)*(-403734)/18 a composite number?
False
Let m = 42541 - 25922. Is m composite?
False
Let g be 44/20 - (-2)/(-10). Let q be (-13)/((-39)/4428) + g. Suppose q = -14*j + 16*j. Is j a composite number?
False
Let z(k) = k**3 - 7*k**2 + 3*k + 18. Let y be z(7). Is 109791/y - (-28)/(-182) prime?
False
Is (-7)/1 + 720/12 composite?
False
Is 4918/2 + -10 + 4 a prime number?
False
Let h = -610 - -1448. Let z = h - -715. Is z prime?
True
Let y(s) = -129*s - 20. Let f = -148 - -137. Is y(f) a composite number?
False
Let x(p) = -p**3 - p**2 + p - 210. Let g be x(0). Suppose 12*c = 2968 + 692. Let r = c + g. Is r a composite number?
True
Is (-38080399)/(-637) - (-3)/((-117)/(-6)) a prime number?
False
Let d(m) = 72*m - 19. Is d(59) composite?
False
Suppose 12*j + 153848 = 20*j. Is j a composite number?
False
Let d = -49 + 52. Suppose -d*g + g = -3802. Is g a prime number?
True
Let v = 490 - -155. Suppose 3*m - 3*a - 858 = 0, 0 = -3*m + 2*a + 218 + v. Is m composite?
True
Suppose -9 + 3 = -2*k. Suppose 1425 = 4*o - 5*a, k*o + 0*a = 2*a + 1067. Is o a prime number?
False
Let w(a) = a**3 - 15*a**2 - 15*a + 2. Let b be w(14). Let z = 850 + b. Is z a composite number?
True
Suppose 5*k = 4*k - 20. Let s = k + 22. Suppose 0 = -5*o - 3*v + 1022, -4*o + 3*v = -s*o - 413. Is o a composite number?
True
Let p(q) = -104*q + 11. Let i be (-2 - 135/(-10))*-2. Let u = 11 + i. Is p(u) a composite number?
False
Let g(r) = -4*r**3 - 5*r**2 + 2*r + 3. Let y(t) = 9*t**3 + 10*t**2 - 3*t - 5. Let u(o) = 7*g(o) + 3*y(o). Let k be 7*(-3 - -7)/(-4). Is u(k) prime?
False
Suppose -4*c + 2 = 2*t - 4, 0 = -2*c. Let s be t/9 - 2/(-3). Is (-36)/60*(-186 + s) prime?
False
Let l = -464 - -2043. Is l a prime number?
True
Suppose -19535 = -275*u + 270*u. Is u prime?
True
Suppose 2*c = 4*k + 100, 4*c + 174 - 23 = -5*k. Let x = 216 + k. Suppose -3*d + x = 3*r, 0 = -d - 0*r + r + 53. Is d a prime number?
False
Let a(d) = -376*d**2 - 2*d - 5. Let c = -7 + 10. Let i(v) = -377*v**2 - 2*v - 4. Let l(r) = c*a(r) - 4*i(r). Is l(-1) a prime number?
True
Is (10465/(-14) - -7)/((-4)/24) a prime number?
False
Suppose -2*q = -2*v + 4, q + 4*q - 10 = 0. Suppose -n = 3*u - 74, 2*u + v*n = -u + 71. Suppose g - c - 19 = u, 3*c - 9 = 0. Is g a prime number?
True
Let p(w) = w**3 + 37*w**2 + 30*w + 73. Is p(-30) composite?
True
Let n = 2723 - -16004. Is n prime?
False
Is 24/(-80) + 64493/10 a prime number?
True
Suppose -h = 4*h - 3*i + 200, -4*i + 195 = -5*h. Let y be h/(-4)*(-6 - -42). Is y*(-1)/(-9)*3 composite?
True
Let f(y) = -14*y**2 + 4*y - 2 - 3*y - 4*y + 4*y**3 - 8*y**3. Is f(-11) composite?
True
Let n = -98 + 98. Suppose b + 5*t = 13 + 79, n = -b - 2*t + 83. Is b prime?
False
Let z(g) = -1 + 7*g - 4*g + g**2 - 7*g + 2*g. Let u be z(-1). Suppose u*x + r = 213 + 1028, r = -x + 618. Is x prime?
False
Suppose 87 = -r - 19. Suppose v - 10*v + 2853 = 0. Let h = v + r. Is h prime?
True
Suppose 5*v + b = 4*b + 28315, -2*v = -b - 11327. Is v composite?
True
Suppose -15*y + 102756 = -5529. Is y composite?
False
Suppose 154512 = 4*v + 13*k - 8*k, -193177 = -5*v + 3*k. Is v a composite number?
True
Let m = 856 - 117. Is m a composite number?
False
Let k be (-5 + 6)/((-3)/(-42)). Suppose -4539 = -3*d - k*d. Is d a composite number?
True
Let o = -5 - -4. Is (-21)/63*(o + -230) a prime number?
False
Suppose -2*s = -3*k + 10196, -2*s = -3*k + 5*k - 6794. Suppose -k = -5*i + 3*v, v + 2*v + 682 = i. Is i composite?
True
Is (247490/105*7)/(4/6) prime?
True
Let q = -7 + 10. Let u(k) = 7*k**2 - 2*k - 1. Let a be u(-1). Suppose -q*b = -a*b + 295. Is b a prime number?
True
Let w be 10*1/2 + (24 - 22). Let a(b) = 2*b**3 - 6*b**2 - 11*b + 14. Is a(w) composite?
True
Suppose 133 = 5*i + 33. Suppose 0 = -i*h + 24*h - 3188. Is h prime?
True
Let 