mposite number?
False
Suppose 4*k + 30 = -k. Let q be 2 + (4 - (-105)/k)*-4. Let m = q + 575. Is m prime?
True
Let t = -67 + 60. Is (-6736)/(-10) - (-18)/210*t prime?
True
Let t(j) = -4814*j**3 + 7*j**2 + j - 3. Is t(-1) a prime number?
True
Let y be (-973)/(-3)*(-1 - -4). Let v = 1440 - y. Is v prime?
True
Suppose -4659*a - 5*s + 12156982 = -4655*a, -4*s + 6078482 = 2*a. Is a composite?
True
Suppose 71*b + 199158 + 132285 - 2071582 = 0. Is b prime?
True
Let l be 2*8*(-63)/28. Suppose 5*v = -25, 0 = -24*m + 26*m - 2*v + 20924. Is m/l - 3/(-12) prime?
False
Suppose 3*s - 4 = t, -5*t + 5*s + 6 = -4. Suppose -t*i = -2*o + 38, i - 3*o - 6 = -6*o. Is (-1904)/i + (-1)/3 composite?
False
Let g(n) be the first derivative of 3398*n**2 + 91*n - 73. Is g(6) composite?
False
Suppose -14*m + 16*m + 8 = 0. Let z be (2 + -33 + 1)/(m/218). Suppose -4*h - z = -7*h. Is h a prime number?
False
Let n = -49 + 81. Let b(y) = 11 + n*y - 31*y + y**2 + 19*y. Is b(12) a composite number?
True
Suppose 0 = 3*c - 2770 - 3725. Suppose -c = -9*p + 2281. Suppose 3*q - p - 272 = -h, -2*h + 1547 = 3*q. Is h prime?
False
Let l = -97009 + 221678. Is l composite?
False
Let n(t) = 1920*t - 89. Let d = -477 + 482. Is n(d) composite?
False
Suppose 0 = 3*l - v + 10472, -2*l - 6983 = -7*v + 6*v. Let i = -1818 - l. Is i composite?
True
Let v = -37 + -8. Let q be (-170)/v - (-6)/27. Is q + (-4)/(4/(-735)) a composite number?
False
Let y = 152 - 147. Suppose y*q - 3987 + 392 = 0. Is q composite?
False
Suppose p + 64322 = 3*n, -5*n - p + 85758 = -n. Suppose -5*u - t = -2*u - n, t - 35734 = -5*u. Is u prime?
False
Suppose 2*r = 3*l + 114 + 287, 132 = -l - r. Let d be 76/l - (-55658)/14. Let z = d - 2282. Is z composite?
False
Let d(v) = v**3 + 14*v**2 - 17*v - 413. Let c be d(-12). Let l(b) = 37*b - 6. Let q be l(6). Let k = c + q. Is k a composite number?
True
Suppose 5*f - 33 = -23. Suppose v + 12 = 5*d, -6*v + f*d = -3*v + 88. Is (v/4)/(-4) + (2 - -7339) a composite number?
True
Let y(u) = 823*u + 5. Let v(p) = -942336*p - 5726. Let m(b) = -5*v(b) - 5726*y(b). Let j be (-21)/(-3) - 320/40. Is m(j) composite?
True
Let d = 828 - 963. Let h(m) = -151*m - 4. Let p be h(-3). Let x = d + p. Is x prime?
False
Suppose 0 = 2*k + 2*u - 2902, 4355 = 3*k + 6*u - u. Suppose -c + 3*c + k = 0. Let x = c + 1182. Is x prime?
True
Let k = 45500 - 4701. Is k prime?
False
Suppose 2570320 - 825676 = -22*a. Let v = -31303 - a. Is v a prime number?
False
Let z be -2 - (-4375 + -4 + -4). Suppose -20*w + z + 3199 = 0. Is w prime?
True
Suppose -6629*d = -6603*d - 463138. Is d a prime number?
False
Suppose -4*x - 13 = -c, -1 = -3*x + 2. Let v = c + -11. Is (v/3)/(2/379) composite?
False
Let a(q) = -4*q - 20. Let p be a(-7). Let i be ((-12)/p)/(2/8). Is (225315/i)/(-15) - 1/2 composite?
False
Suppose 5*k - 22588 + 3673 = 0. Suppose 3*f - 2*d - 1143 = 1695, 0 = -4*f + 3*d + k. Let x = f + -529. Is x a composite number?
False
Suppose 27 = -2*o + 2*l + l, -4*o = l + 33. Let x be ((-58)/(-6))/(o/1566). Is 5 + (-5 - x) + 3 composite?
True
Let m(q) = -q**2 - 7*q - 2. Let x be m(-6). Suppose -p = -x*p + 6468. Suppose -p = -4*t - 4*k, k + 4*k - 1072 = -2*t. Is t prime?
True
Let j be -87 + -2 + (-2)/(-1). Let o = 58 + -108. Let b = o - j. Is b a composite number?
False
Suppose 123*x = 424*x - 23634821. Is x composite?
True
Let k(n) = -2*n**3 + 151*n**2 - 100*n + 1249. Is k(68) prime?
True
Suppose -23*v + 20*v - 4*q - 20416 = 0, -q + 2 = 0. Let c = v + 12975. Is c composite?
True
Let s be (-327*(-4)/24)/((-10)/(-240)). Let o = s + -267. Is o prime?
False
Let p = 1864 + -7420. Is (-1 + -4)/(-3*(-4)/p) a prime number?
False
Let r be (1 - (0 - -2)) + 2019. Let b be (12/20)/(5 - 22944/4590). Let t = r - b. Is t a prime number?
True
Let a(v) = v**3 - 7*v**2 - 43*v - 10. Let x be a(11). Is x/14 - (-3383523)/546 composite?
False
Let s be 67 + 2 + -4 + 7. Let b be 1/(-6) - (-244)/s*3. Is (b/(-15) - 4)*(-174)/4 prime?
False
Suppose -o + 6 = 2*o, o - 26 = -4*m. Is (-14997)/(-9)*(m - (-18)/(-6)) composite?
False
Is 2517/18*-3*-14 composite?
True
Suppose 4*r + 3*g = -91, 2*r + 5*g + 63 = -0*r. Let q = r + 19. Suppose -5*o + 6996 = 2*k, 3*k + q*o - 10487 = -4*o. Is k a composite number?
True
Suppose 5*r = -17 + 72. Let j(d) = -6*d - 8*d - 4 - 10*d + 38 + 7*d + 2*d**2. Is j(r) a composite number?
False
Let s = -13803 - -34214. Is s prime?
True
Is (-20 - 342/(-19)) + 306193 a composite number?
False
Let o(h) = -h**3 - 19*h**2 - 36*h - 31. Let t be o(-17). Is (-85159 - (-1 + t))/(-3) prime?
True
Let y = 36227 - 23562. Suppose 13*c - y = -4*c. Is c a composite number?
True
Let s be 2/(-3)*2*3/4. Let a be s + -1 - 2/(2/(-7)). Suppose -5*q - 18533 = -4*w - 0*q, -w = a*q - 4652. Is w composite?
False
Let u(p) = -p**3 + 12*p**2 - 2*p + 13. Let k be 483/12 - (-3)/(-12). Suppose 32*t - 37*t + k = 0. Is u(t) prime?
False
Let n(j) = 30*j**2 - 48*j + 19. Let d be n(11). Let v = d - 1452. Is v a composite number?
False
Suppose 5*c - 5*n + 3630 = 0, 5*n - 2747 - 161 = 4*c. Let f = 1809 + c. Is f composite?
False
Suppose 8*d - 5*d = 18. Suppose -8*m - 10 = -d*m. Is m*(-305)/4 - 5/20 prime?
False
Let f = 922143 + -403714. Is f composite?
False
Let b(k) = 46 + 47 + 40 + 748*k - 130. Suppose i - 8 = -3*i. Is b(i) a composite number?
False
Suppose -3*t + 3*q = -1 + 4, 0 = -q + 3. Suppose t*r - 8714 = 2444. Is r a composite number?
True
Let a = -12 - 17. Let o = a - -33. Suppose -3*h - 12 = 0, o*u + 5*h + 1171 = 5*u. Is u a prime number?
True
Suppose 249*f = 269*f - 3275260. Is f composite?
True
Suppose -6*k + 7355 = 3595 - 24458. Is k a composite number?
False
Suppose 153 - 69 = 2*c. Let s = c + -44. Is -2*(-1942)/(-8)*s a composite number?
False
Is (60/(-27) - -2) + (-133)/171 + 2200432 a prime number?
False
Let l(f) = 4832*f + 9. Suppose 0 = 7*x - 10*x + 3. Is l(x) prime?
False
Suppose -94 = -11*z + 12*z. Let v = -148 - z. Let t = 385 + v. Is t a composite number?
False
Let n = 6 + -3. Suppose n*w - w = 940. Let a = -264 + w. Is a prime?
False
Suppose 48*o - 183104 = 1793680. Is o a prime number?
True
Is (192496/(-20) - 11)/((-2)/10) a composite number?
False
Let w be (8 + (-2904)/(-16))*10*1. Suppose 4*v - w - 2453 = 0. Is v a composite number?
False
Let g be (-130)/(-6) - (-2)/6. Let q(m) = m**2 + 17*m + 18. Let o be q(-18). Is (g/4)/(6/o) prime?
False
Let y = -32433 + 83642. Is y a composite number?
True
Let p(u) = 472*u**2 + 3*u - 224. Is p(-17) a prime number?
True
Let z be (-23)/((-12)/3 - -3) - 2. Suppose -13 = -2*o - z. Let t(p) = 31*p**2 - 3. Is t(o) a prime number?
False
Let p(h) = 1005*h + 11906. Is p(27) a prime number?
True
Suppose -5*x + 3*d = -0*d - 45629, 18262 = 2*x + 4*d. Is 0/(-2 - (1 + -1)) + x prime?
True
Let c be (-3)/5*(-3193 - 12). Let a = 4084 - c. Is a a prime number?
True
Suppose h = -4*p + 6099, -7122 = 2*h - p - 19356. Suppose -4*i = 3*n - 24430, i - 38*n + 35*n = h. Is i a prime number?
False
Suppose -99*c = 5*j - 93*c - 400117, 2*c + 400101 = 5*j. Is j composite?
False
Let m = 17 - 13. Let i be 2*(-1)/(-4)*m. Suppose -5403 = -5*f + i*f. Is f composite?
False
Let m(n) be the third derivative of -n**6/120 + 3*n**5/20 + n**4/24 - 5*n**3/3 - 20*n**2. Let h be m(9). Let l(b) = 1735*b**2 + 2*b + 2. Is l(h) composite?
True
Let k = 532 - 496. Suppose k*q + 1013 = 9041. Is q prime?
True
Suppose 5*h - 4*w = -7, -3*h + w - 7 = -0*w. Suppose 0 = 4*o - 4, -i - 2*o = 107 - 109. Is h - -254 - (0 + i) a composite number?
False
Let l be (-12)/(68/(-12) - -5). Let d be (l + -19)*(-2 - 0). Suppose 5*a - d*a - 2*k = 5263, 2*a + 3*k - 3500 = 0. Is a a prime number?
True
Suppose -2*l + 4*r = -53658, 53664 = 2*l + 57*r - 55*r. Is l a prime number?
False
Suppose 0 = -3*z + b + 558183, -372122 = -111*z + 109*z + 5*b. Is z composite?
True
Suppose -b - 3*b - 2*o + 310 = 0, 91 = b + 5*o. Let h = b + -61. Suppose h + 100 = k. Is k prime?
False
Let s = 2 - -1. Suppose -5*y + s*p - 2*p = -5, -25 = -5*y - 3*p. Let x = y - -51. Is x prime?
True
Let m(y) be the first derivative of 14*y**2 + 63*y - 207. Is m(22) prime?
False
Suppose -8*p + 3*p + 7620098 = -4*o, -2*o - 7620084 = -5*p. Is p composite?
True
Let s(c) = 114*c + 5. Let o(u) = 5*u**2 + 5*u + 5. Let p(x) = 11*x**2 + 11*x + 9. Let q(f) = 13*o(f) - 6*p(f). Let y be q(0). Is s(y) composite?
False
