et f = -18 + x. Suppose 0 = 2*o + 5*r - 195, 0*o = 4*o - f*r - 320. Is o composite?
True
Let g be 0 + -3 - (-7 - 1). Suppose -g*m = -m - 492. Is m composite?
True
Suppose 0 = -5*v - 0*v + 2585. Is v composite?
True
Let o be (-1818 - 10)*1/2. Let y = o - -1295. Is y a prime number?
False
Let m be (-2)/6 + 1748/(-12). Let h = 575 + m. Suppose 0 = -4*z + 3*k + h, 8*z + 2*k - 454 = 4*z. Is z a composite number?
True
Suppose 4*i - 4*q = 2*i, 4 = -i + 4*q. Suppose -i*h = h - 2485. Is h a prime number?
False
Let x = 32 - 30. Suppose -1770 = -8*l + x*l. Is l a prime number?
False
Suppose -4*p = -0*u - 3*u + 43993, -4*p = u - 14691. Is u prime?
False
Suppose 3*n + 6 = 3*j - 0, -5*n + 4*j - 8 = 0. Suppose -4*z + 3*k = -7*z + 9, 3*z + 4*k = 10. Suppose -z*b + 58 + 12 = n. Is b a composite number?
True
Suppose 3 = 3*q + 6. Is ((-4)/16)/(q/2084) prime?
True
Suppose -45*z - 187774 = -758779. Is z prime?
True
Suppose 2*s - 2 = -3*d, -4*s + 1 = -4*d - 3. Suppose -t = -1 - s. Suppose -t*r + 3*r - 79 = 0. Is r composite?
False
Let u be ((-2)/6)/((-6)/36). Let j(p) = 3*p**2 + 2*p + 158 - u*p**2 - 3*p. Is j(0) a composite number?
True
Let i = -17883 + 34636. Is i prime?
False
Let s(a) = -98*a - 1. Let o = -41 + 38. Is s(o) prime?
True
Let s be (-286)/110 + 6/10. Is -2*1/s + 1570 prime?
True
Let n = 15 + -12. Let m = n + 2. Is m - 7 - 1*-93 a prime number?
False
Suppose -i - 3*v = -8542, 4*i - 5*v - 13622 = 20563. Is i a composite number?
True
Let x(d) = -6164*d + 57. Is x(-2) a prime number?
False
Let k(v) = 6*v**3 + 4*v + 1403. Let j(q) = -5*q**3 - 3*q - 1402. Let g(t) = -4*j(t) - 3*k(t). Is g(0) composite?
False
Let p(x) = x**2 - 4*x + 4. Let y be p(4). Suppose 450 = y*v - 122. Is v composite?
True
Let u(b) = b + 1. Let v be u(3). Let f = v + -19. Is 10/f - 29/(-3) a prime number?
False
Let j be (-12)/24 - (-17)/2 - 3. Suppose -t = -2*t - j*z + 493, -2*t + 986 = -3*z. Is t a composite number?
True
Suppose 3*a - 2*r = 28, 0*r - 4*r = 3*a - 16. Let d be (0 + a)/(1/(-46)). Let t = d + 979. Is t a prime number?
False
Let f(z) = 7*z**2 - 12*z + z**3 + z**2 + 8 - 12. Let v be f(-9). Is (-1 - 0 - -8)*v composite?
True
Let b be 6/8 + (-33)/(-4). Let p(z) = 19*z - 9. Let c be p(b). Suppose -c = -2*h + 448. Is h a composite number?
True
Suppose -4*h = -944 - 1004. Let q(o) = -7*o - 9. Let l be q(-7). Is l/(-70) - h/(-7) prime?
False
Is (5 + 19410/(-20))*-2 prime?
True
Suppose -15*b = -0*b - 77505. Is b a prime number?
True
Suppose -3*z + 42 = 33. Let f be -320*3/4*-6. Suppose 0 = -h + z, -5*s - h = -6*h - f. Is s prime?
False
Let t = 29 - 26. Let a(o) = -o + 3. Let k be a(t). Suppose 3*z - 5*z + 134 = k. Is z composite?
False
Suppose 0 = -16*w + 20*w - 16. Suppose -k + w = k. Let n(c) = 47*c - 1. Is n(k) prime?
False
Let r(k) be the first derivative of -k**4 - 2*k**3/3 + 3*k**2 + 7*k + 20. Is r(-9) a prime number?
True
Let z(g) = g**3 - 11*g**2 - 3*g + 16. Let v be z(9). Let w be v/(-1) + 15/(-5). Let r = w + 123. Is r prime?
True
Is 16/72 + (-344130)/(-54) prime?
True
Suppose -34*o = -2455247 - 235275. Is o a prime number?
True
Let f = 15 + -19. Let l(m) = -10*m**3 - 8*m**2 + 2*m - 2. Is l(f) a prime number?
False
Let f be (-1 + 1)/(3/(-3)) + 14. Is (-4)/f + (-3)/((-21)/6085) prime?
False
Suppose -15 = 3*x - 0. Let c = 7 + x. Suppose c*j = -0*j - 4*w + 790, 4 = 2*w. Is j a composite number?
True
Is 731 - ((-14)/10 + (-3)/5) prime?
True
Let t be 3/6 - (-11670)/12. Suppose 0 = -2*o + 3*v + t, -3*v - 147 + 611 = o. Is o prime?
True
Let d = 652 - 243. Is d composite?
False
Let a(d) = 11*d - 7. Let x = -24 - -30. Is a(x) a composite number?
False
Let n be 7/28 - (-1990)/8. Suppose 3*x = -u + 249, x - n = -2*x - 5*u. Is x composite?
False
Suppose 4*x + j - 73 + 25 = 0, 0 = -x + 5*j + 33. Let v(s) = 33*s - 10. Is v(x) prime?
True
Let v = -24 - -26. Suppose -3*o = 2*o - 5*k - 2280, -3*o + v*k + 1363 = 0. Is o a composite number?
True
Is (1 + (-9153)/6)/((-6)/12) a composite number?
False
Let w(g) = 41*g - 7. Let c(y) = -y + 1. Let l(q) = 6*c(q) + w(q). Let k be l(1). Let d = 101 - k. Is d composite?
False
Suppose -2*a + a = 5*b - 18, 3*a + 18 = 3*b. Suppose 0 = -5*d - 3*n + 26, 0*d + 25 = b*d + n. Suppose -d*i = 19 - 82. Is i a composite number?
True
Suppose 0 = 138*d - 135*d - 14163. Is d a prime number?
True
Suppose -5*v + g = 19, -v - v + 3*g = 5. Let k(s) = -9*s**2 + 5. Let l be k(v). Let r = l + 218. Is r a composite number?
False
Let d = 6419 - 19982. Let k be (-2)/12 - d/54. Suppose -m - 64 = -k. Is m a composite number?
True
Let h = -18172 - -90625. Is h prime?
False
Let u be (1 - -4)*1/2*2. Suppose 0*v + 11665 = u*v. Is v composite?
False
Let k(z) = -2*z**2 - 6*z - 2. Let j(h) = 2*h**2 + 6*h + 2. Let y(u) = 4*j(u) + 3*k(u). Let g be y(-5). Suppose w = q - g, -3 = q + w - 31. Is q composite?
True
Let j = 1 + 2. Let g(h) = -4*h**3 - 3*h + 2*h + h**2 + 3 + 5*h**j. Is g(4) a prime number?
True
Suppose -p - p - 68 = -i, i - 59 = 5*p. Suppose 6 = -4*v + 2, v = 3*o + i. Let u = 169 - o. Is u prime?
False
Let j = -57 + 56. Let m(q) = -1032*q - 1. Is m(j) a composite number?
False
Let q = 45549 - 30626. Is q a prime number?
True
Suppose g = 14490 + 52319. Is g a prime number?
True
Let s be (14 + -1)/((-12)/60). Let d = s - -243. Is d a prime number?
False
Let z be (-2 - -2) + -7 + -3. Let d be (-75)/z*(-260)/6. Let b = -192 - d. Is b composite?
True
Let o = 17531 - 12324. Is o a composite number?
True
Let b(m) = 3499*m**2 + 9*m + 90. Is b(-4) composite?
True
Let g = 687 + -1063. Let r = 1785 - g. Is r composite?
False
Suppose -4*r - r - 36 = -4*d, 0 = -4*d + 3*r + 28. Suppose -4*n + d*j = 3*j - 1014, 5*n + 5*j - 1280 = 0. Is n a composite number?
True
Suppose -n = 4*a - 23559, 907 + 16761 = 3*a + n. Is a prime?
False
Let b(f) = 2*f + 0*f**3 + f**3 - f + 1 + 6*f**2 - 2*f**3. Suppose 4*j + 0*j - 20 = 0. Is b(j) composite?
False
Suppose -28*t - 45 = -25*t. Is ((-1578)/(-9))/((-10)/t) prime?
True
Let z be ((-1656)/20)/(6/(-40)). Suppose -2*f - 842 = -3*d - 3*f, z = 2*d + 3*f. Suppose -3*p + d = -p. Is p prime?
False
Let v(s) = s - 2. Let n be v(5). Suppose -5*q - 3845 = -n*p, -3*q = -2*q - 2*p + 769. Let h = q - -1404. Is h a composite number?
True
Is (4/(-5))/(44/(-24530)) composite?
True
Suppose 0 = -7*z + 161 + 994. Let o = z + 142. Is o composite?
False
Is 0 + (-4)/(-52) - (-3893256)/299 a prime number?
False
Let s(r) = 21*r**2 - r + 1. Let z be 2/17 - 540/255. Let w be s(z). Is w/2*(1 - -1) composite?
True
Let i be (6/(-4))/((-63)/168). Suppose -4*x = -i*h + 28, 0*x + 8 = -5*x - 4*h. Let p(k) = -k**3 + 2*k**2 - 1. Is p(x) composite?
True
Suppose 8*f - 165555 = -11243. Is f a composite number?
False
Suppose x - 20 = 3*v, -x - 3*v = x - 49. Let n = 36 + x. Is n composite?
False
Suppose -3*s - 2 + 8 = 0. Suppose -9*p + 1918 = -s*p. Is p composite?
True
Let x = 1109 + 1968. Is -1 + x + (5 - (-2)/(-1)) prime?
True
Let q(p) = 2*p**2 - 6*p + 3. Let s be q(3). Suppose -s + 2 = -r - k, 4*k = -8. Suppose r*l - 3*t = -l + 472, -383 = -3*l - 5*t. Is l prime?
False
Suppose -2*z = -z. Suppose 3*j + z*j - 483 = 0. Suppose -52 = n - j. Is n a prime number?
True
Let x = -33 + 33. Let a be (x - (-2)/(-4))*0. Suppose -u + 3 = -a, -3*u = p - 148. Is p prime?
True
Let t = 3786 + -1252. Suppose 0 = -8*m + t + 4562. Is m a composite number?
False
Let h(q) = 600*q + 5. Let o be h(4). Suppose 1593 = 2*d + j, -4*d - j + 780 = -o. Suppose 0*u = 4*u - d. Is u a prime number?
True
Let i = 65 + -200. Let f = i - -1056. Is f a prime number?
False
Suppose -5*i = -6*i - 8. Let j be (4/i)/((-2)/16). Suppose 0*c + 644 = j*c. Is c composite?
True
Suppose -2026127 = 38*i - 109*i. Is i a composite number?
False
Suppose 5*g - 3838 = -1318. Suppose -4*u + 960 = 4*d, 4*u + g = 5*d - 3*d. Suppose -x = 67 - d. Is x composite?
True
Suppose 20*f - 4340 = 15*f. Suppose 5*c - 2913 = -f. Is c prime?
True
Suppose -61*s = -39*s - 464266. Is s prime?
False
Let h = -13 + 13. Suppose 0 = -5*t + 2*t - 3*k + 123, h = -t - 4*k + 35. Is t a prime number?
True
Let y(z) = -11 - 1 + 5 + 186*z**2 - 2*z + 8. Let i be y(1). Suppose 4*m = -m + i. Is m prime?
True
Let x = -22 + 24. Suppose -x*b + 4*b = 62. Is b a composite number?
False
Let j(w) = 53*w + 18. Suppose 0 = -3*s + 4*b + 63, 2*s + 0*b + 4*b - 22 = 0. Is j(s) a prime number?