+ -2)/(-1). Suppose 5*p - 427 + 12 = u. Is p a prime number?
True
Let n = 742 - 425. Is n a composite number?
False
Let s(b) = 1150*b - 1. Is s(6) a composite number?
False
Let s = 4 + -31. Let z = 29 - s. Suppose u + z = h - 9, 4*u + 59 = h. Is h composite?
False
Suppose 0 = 75*i - 79*i - 8288. Is 4 + i/(-2) - -3 a composite number?
True
Let z be 0 + 56/((-12)/(-3)). Is (10/(-1))/(z/(-259)) composite?
True
Suppose f - 5883 = 2*c + 8792, -5*f + 73336 = 3*c. Is f a composite number?
False
Let m(k) = 3*k - 1. Let v be m(1). Let f be -1*(4 + (-9 - -4)). Is v + 0 + 125/f composite?
False
Let x be (-3 - (-2)/1) + 3. Suppose x*o + 3*k = 183, 5*o - 266 = 5*k + 154. Is o composite?
True
Is (164752/(-24) - 6)/((-2)/3) composite?
True
Suppose 38*t - 5 = 37*t. Let i = 7 - t. Is 165/i - (-8)/16 prime?
True
Suppose 2*a + 3*t = 153, -4*t - 102 - 102 = -3*a. Suppose -f - a = -409. Is f a prime number?
True
Suppose 16*z = 14*z + 59646. Is z composite?
True
Suppose -2*o + 491 = -3*t, 2*t + 1200 = 6*o - o. Suppose 2*s + o = 1406. Suppose -4*f + 717 = 5*i, 4*i - f - s = f. Is i prime?
False
Let y = -9 - -18. Is 9979/y + (-32)/(-144) a prime number?
True
Suppose 0 - 2 = -m. Suppose 0*k = m*k - 182. Is k a composite number?
True
Let r be (-17)/(-3) + (-7)/(-21). Let l = r - 9. Is (-3 + 311)/4 + l a prime number?
False
Suppose 2*m - 1 - 3 = 0. Suppose v + m*v = 2721. Is v a composite number?
False
Let g = 309 + -150. Is g a prime number?
False
Is (0 - (2 - 108))*5549/62 a composite number?
True
Suppose v - 20 = -3*c, v + 4*v - 48 = -2*c. Let x = v - 6. Suppose -z = 5*t - 48, x*z + 15 = 2*t + z. Is t prime?
False
Suppose -11*z + 15545 = -6*z. Is z a prime number?
True
Suppose 40*t = 1212607 + 612313. Is t a composite number?
True
Suppose 5*w = 1388 - 9928. Let n = w + 2630. Is n a prime number?
False
Let c = 27 + -15. Suppose 0 = -4*g + 4 + c. Suppose 2*q - 5*x = 138, 3*q - 207 = -x + g*x. Is q composite?
True
Suppose -3*q - 5*n + 8936 = 0, 3*q - 5*q + 5948 = n. Let o be (-6)/3*q/8. Is 1 + (3 + o)/(-2) a prime number?
False
Let g = 26 - 24. Suppose -g*j + 121 = -5*r - 27, 5*j + 2*r = 399. Is j a prime number?
True
Is 1790/(-15)*(-27)/6 a prime number?
False
Let h(i) = -12*i**3 + 8*i**2 + 11*i + 83. Is h(-6) a prime number?
True
Let m = 11 + -7. Let k(b) = -9*b**2 + 14*b**2 - 9*b**2 - 5 + 2*b**3 + 3*b. Is k(m) a prime number?
True
Let c be (3548/10)/(-1) - (-22)/(-110). Let g = 692 + c. Is g prime?
True
Suppose 0 = 4*j - 7661 - 19007. Is j a prime number?
False
Let m = -3396 - -4927. Is m prime?
True
Suppose -2*b = -189 - 233. Is b prime?
True
Suppose 4*g + 5*j = 153744, 4*g = 6*j - 2*j + 153708. Is g prime?
True
Is ((-12)/28)/1 - 13376/(-14) a prime number?
False
Suppose 0 = 2*t + f + 2*f + 15, 2*f + 10 = -4*t. Suppose t = 11*b + 3*b - 9562. Is b a composite number?
False
Let o = 1 - 1. Suppose o = u + 5*b - 109 - 344, 0 = 3*u - 2*b - 1274. Suppose -4*d - 113 = -c - 12, -u = -4*c + 4*d. Is c a composite number?
False
Let y(k) = -298*k**3 + 3*k**2 - 2. Suppose -31*r + 32*r + 1 = 0. Is y(r) prime?
False
Let i(a) = a**2 + 9*a - 19. Let w = 38 + -49. Let t be i(w). Suppose n = -k + 1169, -k = -2*k + t*n + 1161. Is k a prime number?
False
Suppose 0 = -a + 2*o + 5637, a - 5638 = -14*o + 15*o. Is a a composite number?
False
Suppose l - 5*p - 11201 + 674 = 0, -31559 = -3*l + 4*p. Is l composite?
True
Let u = -123 - -202. Is u prime?
True
Let j = 11 - 4. Suppose 5*a - j - 3 = 0. Is 114*-3*a/(-18) a prime number?
False
Suppose -83*q + 46*q = -267991. Is q a composite number?
False
Let s(a) = -459*a + 10. Is s(-1) a composite number?
True
Suppose -15*t + 5845 = -5345. Is t a composite number?
True
Let d(w) = -w - 7. Let m be d(-7). Suppose 929 = 4*s - p, s - 4*s - 5*p + 714 = m. Is s a prime number?
True
Suppose -147649 = -38*t + 19437. Is t a prime number?
True
Let x be 5/15 - 491/(-3). Let t = x - -35. Is t prime?
True
Suppose -14*l + 9*l = -4*n + 4153, 0 = -2*n + 5*l + 2079. Is n a prime number?
False
Let u(k) = 2*k**3 - 5*k**2 - 12*k - 10. Let c be u(7). Suppose 2*q - 797 = 5*l, q - 3*l - c = 53. Is q prime?
False
Is (2/(-5))/(3*(-3)/5715) composite?
True
Suppose -12*s + 14*s - 1346 = 0. Suppose 29*d + s = 30*d. Is d a composite number?
False
Let p(q) = -q**3 + 8*q**2 + q - 4. Let g be p(8). Suppose g*n - 404 = -4*a, 0*a + 299 = 3*n + 2*a. Is n prime?
True
Let m = -7395 + 12661. Is m a prime number?
False
Let d(p) = -p**2 + 5*p - 1. Let t be d(4). Suppose -t*n + 6 = -0. Let y(k) = 16*k**2 + 3*k - 3. Is y(n) composite?
False
Suppose -2*k - 2931 = -3*y, -573 - 2361 = -3*y + 3*k. Let a = 4084 - y. Is a prime?
True
Let n(y) = 1302*y**2 - 11*y - 3. Is n(-2) a composite number?
False
Let u(w) = w**3 + 2*w + 1. Let r be u(0). Is 26/(r/(5/2)) composite?
True
Let x(z) = -33*z + 10. Let s(t) = -t**2 - 10*t + 15. Let y be s(-12). Is x(y) a prime number?
True
Let r(v) = -108*v + 46 + 33 - 24. Is r(-8) a composite number?
False
Let j be (-4)/(-1) - (-9 - -13). Suppose 2*u + u - 1329 = j. Is u a prime number?
True
Suppose -3*q = v - 4013, -2*q + 30*v + 2678 = 32*v. Is q prime?
False
Let s be (24/20)/(3/10). Let m be -12*s*2/(-12). Is ((-14)/m)/(1/(-12)) composite?
True
Suppose 8*a + 19*a = 367767. Is a a composite number?
True
Let a(k) = 3*k**2 - 8*k - 21. Let s be a(11). Let u = -273 - -146. Let l = s + u. Is l prime?
True
Suppose 0 = -2*t - 10, 10*t - 5*t = -4*m + 10867. Is m composite?
True
Let q = 812 - 339. Is q composite?
True
Suppose 26*o - 97257 - 284917 = 0. Is o composite?
False
Let y = 11 + 109. Suppose -a + 163 = 5*z - y, -4*a - 4*z + 1068 = 0. Is a a prime number?
True
Let x be (((-22)/(-4))/(-1))/(4/(-8)). Suppose -x + 46 = 5*j. Is j a prime number?
True
Let y(p) = p**3 - 17*p**2 + p + 10. Let s be y(10). Let q = s + 1417. Is q composite?
True
Suppose 3*k - 4216 = -5*k. Is k a composite number?
True
Let i = -49 + 64. Suppose 4*j + 61 - 9 = 0. Let z = i + j. Is z a prime number?
True
Let w = 4 - 0. Let g be 1/((-4)/(-128)*w). Is g/(-16) + 371/2 prime?
False
Let o(b) = b - 162. Let q be o(0). Suppose 0 = 5*j - 2*j - 723. Let m = j + q. Is m composite?
False
Let u = 828 + 2561. Is u prime?
True
Suppose 5*s + 642 = -288. Let d be (-2)/(-4 - (-6536)/1636). Let g = d + s. Is g a composite number?
False
Let k be ((-3)/(-6))/(3/(-18)). Is (-5 - k)/((-8)/1060) a composite number?
True
Let l(m) = 24*m**2 + 4*m - 5. Let s(g) = -g**3 + 2*g**2 + 3*g - 3. Let r be (-4 - -4) + -4 - -6. Let c be s(r). Is l(c) composite?
False
Suppose 0 = -4*x + 14289 + 4451. Suppose 2*t + 4*h = -t + x, -10 = -2*h. Is t a prime number?
False
Is 2924 - (3 - (-6 + 6)) a composite number?
True
Let y = 13652 - 7603. Is y composite?
True
Let u = 76 + -74. Suppose -3*q = 8*k - 3*k - 271, u*q - 57 = -k. Is k composite?
False
Let j = 97 + -111. Let y(x) = 12*x**2 + 19. Is y(j) a prime number?
True
Let r be (-2)/22*-24851 - 10/55. Suppose 6*f + 3*f - r = 0. Is f a prime number?
True
Suppose 75012 = 11*y - 392543. Is y prime?
False
Is 14/21*3246/4 prime?
True
Let o(i) = 6*i**2 + 13*i - 17. Let s be o(-18). Suppose -m = -2*l + 1695 - 565, -s = -3*l + m. Is l a prime number?
True
Suppose -4*m + 5 = -15. Suppose m*j - j - 1580 = 0. Is j a composite number?
True
Let v(n) be the first derivative of 10*n**3/3 - 2*n**2 - 20*n + 5. Is v(-3) composite?
True
Let k = -877 - -9198. Is k a prime number?
False
Suppose 4*l + 116 + 4 = 0. Let n = -30 - l. Suppose n = 6*u - 4*u - 1298. Is u prime?
False
Suppose 91438 + 4115 = 9*r. Is r a composite number?
True
Is 25/((-1925)/42) - 69713/(-11) prime?
True
Suppose 5*i + 7*t = 3*t + 4, 2*t - 2 = -4*i. Suppose a - 23 - 3 = i. Is a prime?
False
Suppose -4*q + 0*w + w + 22583 = 0, -4*q + 22603 = 3*w. Is q a composite number?
False
Let i(u) = u**3 - u**2 + u. Let h be i(1). Let f(y) = -535*y**2 - 3*y + 2. Let s be f(h). Let c = 753 + s. Is c a composite number?
True
Suppose 0 = -x + 23 + 6. Let z be 0 - (-1)/((-2)/732). Let s = x - z. Is s a composite number?
True
Suppose -8*k + 6*k = 0. Suppose 5*l = -4*y + 1393, -y + k*l + 342 = -5*l. Is y a composite number?
False
Let a be 2 + 9/(-3) - -17. Suppose -a = 4*x + 4. Let j = x + 30. Is j a composite number?
True
Suppose 0 = -0*c + 4*c. Suppose c = b - 2*a + 6, 3*a - a = -4*b + 26. Suppose -b*d - 160 = -3*w - 23, w - 5*d = 53. Is w a com