*m - 608. Is m a composite number?
True
Let f(r) = 374*r + 133. Is f(27) prime?
False
Suppose -2*d + 7300 = 4*a, 0 = 5*a + 49*d - 54*d - 9095. Is a a prime number?
True
Suppose -k = k - 10. Suppose v - 2*c + 5 = 0, -6*v = -v - 5*c + k. Is (v + 2)/(2/46) prime?
False
Let j = 44 - 42. Suppose -3*u + 521 = 5*p - 1803, 4*p = -u + 1862. Is (p/8)/(j/8) a composite number?
False
Suppose 0 = 5*w - 2*d - 27256 - 20581, 2*w - 19142 = -d. Is w prime?
False
Suppose -11*z + 35514 = -5*z. Is z a composite number?
True
Suppose 5*r - 2*x = 38480, 5*r + x - 8422 - 30043 = 0. Suppose r + 898 = 4*a + 4*m, -5*m - 6484 = -3*a. Is a a prime number?
True
Let o be 4 - ((-28)/8 - -4)*0. Suppose -v + 3817 = -0*v + o*t, 5*t + 19110 = 5*v. Is v composite?
False
Let i be -2 + (-7)/((-28)/(-16)). Is 9/i - 1273/(-2) composite?
True
Let w = -12 - 68. Let q be (-1)/(2/6) - w. Let n = q - -12. Is n prime?
True
Let g be 12/8*-2*3. Let m(n) = 4*n**2 + n - 10. Let x be m(g). Suppose 5*d - x = -2*u, -u - 4*u = -2*d + 93. Is d a composite number?
False
Let r(i) = 34*i - 12 + 20*i - 3. Is r(4) a prime number?
False
Let i = -13049 - -26698. Is i prime?
True
Let b(s) = -3*s + 9. Let a be b(-10). Is -4 + a + (0 - -2) composite?
False
Let x(l) = 3 + 0 + 32*l - 3*l. Let r be (-6)/(-15) + (-36)/(-10). Is x(r) prime?
False
Suppose -5*n + 2*g = -752, -2*g + 448 = 2*n + n. Suppose -n - 58 = -8*k. Is k composite?
True
Let o = -23 + 14. Let s = -15 - o. Is 8/12 - 614/s a prime number?
True
Is 13222/((6/(-5))/((-102)/170)) a prime number?
False
Let o = 39242 + -22993. Is o composite?
False
Is -2 + 2638 - (-55)/(-11) a composite number?
True
Let d = 32 + -27. Suppose 0 = d*s - 2281 - 2384. Is s a composite number?
True
Let a(f) = -f**3 - 3*f**2 - 7*f - 4. Let q be a(-4). Let n be ((-100)/40)/((-5)/8). Suppose -n*s + 116 - q = 0. Is s a composite number?
False
Let i(u) = -144*u + 15. Let y(t) = 36*t - 4. Let l(a) = -4*i(a) - 18*y(a). Let x be l(11). Is 14/(-21) - x/9 a prime number?
False
Let l = 5054 + -3573. Is l composite?
False
Let n be (-32)/8 - -8 - (-342)/2. Let d(v) = -v**3 + 8*v**2 + 3. Let a be d(8). Suppose n = -a*q + 814. Is q a prime number?
False
Let n = 5 + 3. Suppose 6*c - n = 2*c. Suppose c*i = -53 + 247. Is i a prime number?
True
Suppose 2*c - 187 = 425. Suppose -x + c = x. Let l = x - 4. Is l prime?
True
Let w = 9 - 4. Let l = w - 8. Is (-667)/l - (-4)/6 composite?
False
Let y = 664 - -6787. Is y prime?
True
Is ((-144)/378)/4 - (-1775680)/42 prime?
False
Let z = 240 - 95. Let s be -3 + ((-4)/(-12))/((-6)/846). Let g = z + s. Is g composite?
True
Suppose 0*f - 2*f = -12. Suppose 0 = -2*m + f*m - y - 161, 19 = m + 4*y. Let w = 166 - m. Is w prime?
True
Let c = 2842 + 3061. Is c a prime number?
True
Let f(b) = 145*b**2 + 34*b - 117. Is f(-14) composite?
False
Let j = 1654 + 5611. Is j composite?
True
Suppose 2*t - 126 = 74. Let i be 13 - -12 - 2/(-1). Suppose l - t = i. Is l a prime number?
True
Is (18 - 17) + 4/(-4) + 17159 a prime number?
True
Let v = 17 + 8. Suppose -2*c = -4*j + 3*j - v, -5*j + 31 = 2*c. Is c composite?
False
Suppose -2*t + t + 6995 = -4*w, 4*t - 5*w = 27936. Is t a prime number?
False
Suppose -100*v - 7146 = -118*v. Is v a prime number?
True
Let b = 21 - 20. Suppose l - 39 = -b. Suppose -2*g = -796 + l. Is g composite?
False
Suppose 3*j - 36 = -0*j + 3*t, -t - 25 = -2*j. Suppose s - j = 36. Suppose -5*q - 3*p = -5*p - 317, q - 4*p = s. Is q prime?
False
Suppose 0 = 2*t - 0 + 6. Is 489 - (4 - 5) - t a prime number?
False
Let g(i) = 9*i**2 - 8*i - 13. Let w be g(-9). Suppose 2*m - w = 798. Is m composite?
True
Let v(q) = -q**3 - 8*q**2 + 28*q + 37. Is v(-18) composite?
True
Suppose 2*o + 82 = 4*i, 0*i - 3*i + 2*o = -64. Suppose -5*d - 5 = 0, -i*d = -5*g - 15*d + 11978. Is g composite?
True
Suppose -5*u + 13 = -17. Suppose -x - 5*o - 8210 = -u*x, -2*o = 10. Is x prime?
True
Let k be (-16*1)/((-2)/24). Suppose -r = -25 - k. Is r prime?
False
Let t be 11/(-6 + 17) - 2/(-2). Let h(x) = x**3 + x**2 + x + 381. Let y be h(0). Suppose -b - t*b + y = 0. Is b a prime number?
True
Let b(y) be the first derivative of -y**3/3 - 4*y**2 + 3*y + 4. Let z be b(-6). Suppose 0 = -k + 216 - z. Is k prime?
False
Is 14 - 11 - (-1 + -2529) a prime number?
False
Let o(x) = x + 1. Let j be o(2). Suppose 0 = 9*q - j*q - 348. Is q composite?
True
Suppose -16 = 4*j - 6*j. Let i = -2 - j. Is 4/i - (-6485)/25 a prime number?
False
Suppose 1285 = 11*v - 10*v. Let j = v + -912. Is j composite?
False
Suppose -5*f - 4*q - 1820 + 54811 = 0, -4*q - 4 = 0. Is f composite?
True
Let r = 231 + 188. Suppose r + 700 = 3*t. Is t composite?
False
Let l = -75894 - -109423. Is l a prime number?
True
Suppose 0*z = -4*z - 24. Let p be (-13)/(-3) + (-4)/z. Suppose p*w = -4*j + 3*w + 36, -5*w = 2*j - 2. Is j a prime number?
True
Suppose -4*q - 675 = 5*q. Let d = -5 + -1. Is 40*q/d - 3 a composite number?
True
Let y(u) = 444*u**2 + 17*u - 10. Is y(-3) a composite number?
True
Let y = 3 + 5. Let d = y - 8. Suppose 8*g - 3*g - 2*o - 1583 = d, -2*o = 3*g - 953. Is g a composite number?
False
Let c(u) = 73*u + 3. Let p(l) = 8*l**2 - 12*l + 4 - 2 + l**3 + 3*l**2. Let a be p(-12). Is c(a) composite?
False
Suppose 0 = -4*n - 0*n - 2*l + 14, 0 = 4*l + 20. Let q(c) = -117*c - 4. Let j be q(n). Is (-4)/2*j/4 a prime number?
True
Let w be (-40)/(-220) - 284/(-11). Let u be (-804)/21 + (-2)/(-7). Is (-6114)/u - w/(-247) a prime number?
False
Suppose -8*q + 118 - 1030 = 0. Let v = q - -151. Is v a composite number?
False
Let c(x) = x**3 + 8*x**2 - 5*x - 4. Let v be c(-15). Let p = v + 2478. Is p a prime number?
False
Is (-13)/((-104)/3072) - 11 a prime number?
True
Let f = 1 - -4. Let c = 5 - f. Suppose -5*p + 4*p + 7 = c. Is p prime?
True
Suppose 20*j + 11456 = 19*j. Let q = j + 18739. Is q composite?
False
Is (1 - (20/8 + 4))*-74 a composite number?
True
Let k = 4992 + -1328. Let f = -2193 + k. Is f a composite number?
False
Let m(a) = 40*a + 10. Let f(r) = 0 + 3 + 10*r + 0 + 3*r. Let l(u) = 7*f(u) - 2*m(u). Is l(8) prime?
True
Let k(v) = -581*v + 14. Let x = 27 - 34. Let o be k(x). Suppose 5*d = -2*d + o. Is d a prime number?
False
Suppose 152 = -6*c + 374. Is c composite?
False
Let s = -3 - -45. Let i be 1/3 - 256634/s. Is 4/7 - i/14 prime?
False
Suppose 23*d - 10 = 18*d, 909 = b - d. Is b a composite number?
False
Is 8 - (-9014 + 35/(-5)) prime?
True
Let q(j) = j**2 + 3*j + 3. Let o be q(3). Suppose 0 = -5*n - 11 + o. Suppose 3*a - 4*w = 501, n = -3*w - 7. Is a composite?
False
Let r(u) = -824*u - 22. Is r(-4) prime?
False
Let b(k) = k**3 - 2*k**2 - 2*k + 1. Let i be b(3). Suppose -i*t - 3*d + 2217 = 2*d, 2*d = 5*t - 2763. Is t a prime number?
False
Let h(p) = -4090*p - 391. Is h(-5) composite?
True
Suppose -138836 = -5*h + 3*y, -3*h - 3*y + 138854 = 2*h. Is h a prime number?
False
Let z = 4165 - 2918. Is z a composite number?
True
Let u(d) = 4*d**3 - d**2 + d. Let q be u(1). Suppose q*m = m + 921. Is m a prime number?
True
Let b = 1954 - -906. Suppose -2*g + 1122 = 2*z + 2*z, 0 = -5*g + z + b. Is g composite?
False
Let w = -109 + 115. Suppose w*z = 7*z - 877. Is z a prime number?
True
Suppose 0*v - 2*v = -4*t + 6482, 4*v - 4 = 0. Is t a prime number?
True
Suppose m = -2*g + 46736, 17*m = 2*g + 20*m - 46732. Is g prime?
True
Suppose -3048 = -20*k + 8*k. Is k prime?
False
Suppose 10 = x - 5. Suppose -2*s + 5*l + 19 = 0, -2*s - s + x = -3*l. Suppose 2*n - 48 = -s*o, 4*o + 2*n = 52 + 34. Is o a composite number?
False
Suppose -5*b + 72 = 4*n, 3*b = 3 + 9. Suppose -3*j + n = -2. Suppose -341 = -2*v - j*d, 3*v = -0*v - 2*d + 495. Is v composite?
False
Let b = -153 - -158. Suppose 0*n - 318 = -2*p - 4*n, 0 = 3*p + 2*n - 473. Suppose b*j = p + 108. Is j composite?
False
Let b(r) = 1468*r**3 + 6*r**2 + 6*r + 5. Let g(m) = 1469*m**3 + 5*m**2 + 5*m + 4. Let d(h) = 3*b(h) - 4*g(h). Is d(-1) a prime number?
True
Suppose 21 - 698 = -u. Is u prime?
True
Let t(v) = v**3 + 38*v**2 - 110*v + 49. Is t(-40) prime?
True
Suppose 3*m = -41 + 5. Let j be -10 - m - (2 + -1). Let p = 20 + j. Is p prime?
False
Let m(a) = 3 + 6*a - 6 - 2 + 4*a**2 - a**3 + 3. Let s be m(5). Suppose 2*i - 4*x = 2238, -s*i - 3*x = -6*i + 3354. Is i prime?
True
Is (-31)/(-217) + 22860/14 composite?
True
Suppose -2*i + 3*g + 4754 + 8484 = 0, 0 = -3*g - 12. Is i 