alse
Let y = 29 + -30. Is (7/21)/((-3)/19323*y) composite?
True
Suppose 5*d - 4522 - 1723 = 0. Suppose -d = -5*r + 3*l, 2*l + 0*l - 1008 = -4*r. Is r a prime number?
True
Let z(j) = -3*j + 51*j**2 - 7*j + 51*j**2 - 7 + 2*j. Is z(-4) prime?
True
Let l = 7 - 3. Suppose 2*p - 4*p + 124 = -l*t, 3*p - 186 = -2*t. Let v = 195 - p. Is v composite?
True
Let n(x) be the first derivative of 33*x**4/2 + x + 1. Suppose 4*f = 3*a + 7*f - 6, -3*f + 7 = 4*a. Is n(a) prime?
True
Let s(i) = 52*i - 44. Let y be s(6). Let m = 2363 + y. Is m a composite number?
True
Suppose 6 = 3*o - 0. Suppose 0 = -7*b + o*b + 10. Suppose b*j - 64 = 6. Is j a prime number?
False
Let l(o) = 75*o**3 - 3*o**2 - 4*o + 31. Is l(5) a prime number?
True
Let q(a) be the first derivative of -67*a**2/2 - 20*a + 10. Is q(-7) prime?
True
Suppose 0 = 7*t + 26144 + 34805. Let v = t + 19200. Is v prime?
False
Let r = 1241 + -2297. Let v = -425 - r. Is v a prime number?
True
Let f(r) = 551*r + 57 - 118 + 52. Is f(4) a composite number?
True
Suppose 0 = 8*s + 6941 - 76869. Is s composite?
False
Suppose 0 = -2*o - 4*i + 66794, -2*o - 5*i - 18642 + 85439 = 0. Is o a prime number?
True
Let l(o) = -o**2 - 59 + 2*o**2 - 3*o - 2*o + 66. Is l(-12) a prime number?
True
Suppose -5*l = -3*t - 1, -4*t - l - 4 = -5*l. Let b be t/(2 - (-15)/(-6)). Suppose 578 = 2*o - b*d, 3*d - 921 - 563 = -5*o. Is o a prime number?
False
Suppose -n = -5*f - 531, -n - f + 0*f + 549 = 0. Let m = n - -35. Is m a prime number?
False
Let v(h) = -3*h**3 - 12*h**2 - 10*h - 9. Suppose -6 - 6 = 2*w. Is v(w) composite?
True
Suppose 13950 = 4*i + 2*v, -217*i - 3*v = -213*i - 13951. Is i prime?
False
Suppose -2*s = y - 15947, 3*y - 2 = 13. Is s prime?
False
Suppose -4*c = 3*g - 22, -5*g + 1 + 13 = c. Suppose -c*i - 3*l = l - 536, 4*i + l - 545 = 0. Is 14/(-63) - i/(-9) a prime number?
False
Is (2 + 3)/30 - (-46340)/24 a prime number?
True
Let s(l) = 5487*l**2 + 6*l + 7. Is s(-2) a composite number?
False
Let i(k) = -k**3 + 8*k**2 + 3*k - 14. Let p be i(8). Suppose 69328 = 6*w + p*w. Is w composite?
True
Suppose -269*m + 255*m = -55678. Is m a composite number?
True
Let r(w) = 227*w**2 - 4*w + 4. Let i be r(1). Suppose y + 69 = 3*d + i, -3 = -3*d. Is y a composite number?
True
Is 2771 - 24/(-1 - -7) composite?
False
Let u be (0 - -14)/((-12)/150). Let k = u - -815. Suppose -4*b = 12 - 0, 2*x = 2*b + k. Is x a prime number?
True
Suppose -2*g = -4*b + 34, -4*b = b + 2*g - 29. Suppose b = 2*v - 1. Suppose v*q - 174 = 406. Is q a prime number?
False
Let r = -254 + 445. Is r a composite number?
False
Suppose 10*l - 20437 = 5373. Is l a prime number?
False
Let f(x) = x + 7. Let i be f(-3). Suppose -i*l + 155 = -3*l. Is l a composite number?
True
Suppose -q - 4*q + 20 = 0. Suppose -3*w + 4*r = -1619, -2*r + q*r = 2*w - 1078. Suppose 2*x - w = z - 0*z, 3*x - 3*z - 810 = 0. Is x composite?
True
Is (-10 - -7)/(12/(-34940)) prime?
False
Let v(d) = -6944*d + 1 - 6 + 2 + 0. Is v(-1) composite?
True
Let r be (-9)/63 + (-251)/7. Let x = r - -172. Suppose 3*t = 95 + x. Is t composite?
True
Let z = -3 + 5. Suppose x = z + 1. Is x + 0 + 0 + 82 composite?
True
Suppose -2*l + 5*l + 2*w = -151, -139 = 3*l + 5*w. Let t = l + 35. Is 155/3 + 12/t composite?
True
Let r be (-2)/(-11) - (-212)/44. Suppose 3*n = -3*f + 180, -321 = -r*n + 2*f - 42. Is n a composite number?
True
Let f(a) = a**3 + 18*a**2 + 6*a + 2. Let r = 40 + -55. Is f(r) a prime number?
True
Is ((-20)/15 - -2)*159/2 prime?
True
Suppose 2 = 2*a + 2*b, -3*b - 13 = 2*a - 7*a. Suppose 19 + 369 = a*v. Is v prime?
False
Let h(k) = k**3 + 8*k**2 + k - 14. Let f be h(11). Suppose 3*g + 535 - f = 0. Is g a composite number?
False
Suppose 2*b + 73 = 237. Let n = b - -18. Let q = n + -11. Is q a prime number?
True
Let m = 24528 + -16547. Is m a composite number?
True
Suppose 5*r = -h + 133343, 4*h = -3*r + 5*r - 53346. Is r a composite number?
False
Let l(a) = a - 2. Let x be l(3). Suppose -4*z = 4*c + 15 + 5, z = c - x. Is (-2 + 127/(-2))*c composite?
False
Let l be 2/3 + (-80)/12. Let j be 1/(-3 - 21/l). Suppose -3*o = -4*f - 434, 3*o + 0*f = -j*f + 422. Is o composite?
True
Let p(y) = y**3 + 6*y**2 + 8*y + 5. Let s be p(-3). Suppose s*z - 35755 = 3*z. Is z a composite number?
False
Let j = 1876 + 10597. Is j a prime number?
True
Let c = -2884 + 6024. Is (4/(-10))/((-4)/c) prime?
False
Suppose -11*k + 1515 = -6*k. Suppose -a + 2*a + g - k = 0, 0 = -3*a + 5*g + 877. Suppose -477 = -5*r - 3*x, -x = 3*r + 4*x - a. Is r prime?
False
Let n = -1027 + 1675. Suppose 0 = 5*m + 3*k - 1895, 3*m - n = -2*k + 489. Is m composite?
False
Is 5931*(8 - 7) + -8 a prime number?
True
Suppose 5*o - 2*d = -6, 5 + 1 = 2*d. Suppose -w + 6 = -o*w. Suppose -2*y + 6 = -w. Is y composite?
True
Let p(c) = -c + 6. Let v be p(5). Suppose d = -4*d - z - 44, -d - 4*z - 24 = 0. Is d/(-8) + v*388 a prime number?
True
Suppose 0 = -4*w - 34 + 58. Suppose w*l - 4290 = 996. Suppose -2*x = -117 - l. Is x composite?
False
Suppose 0 = 90*p - 84*p - 446934. Is p a composite number?
False
Let c be (-2)/(-2) - (0 - -348). Let t(r) = -r**3 - 18*r**2 + 11*r. Let g be t(-18). Let w = g - c. Is w prime?
True
Let m = -39 + 41. Suppose -3*z + m*w + 369 = 0, -3*w - 2*w = -5*z + 620. Is z a composite number?
True
Let y = 5200 + -900. Suppose -y + 847 = -3*r. Is r prime?
True
Let m be (-13)/(-2) + (-27)/18. Suppose m*t = 4*o - 1087, 3*o + 0*o - 854 = -4*t. Suppose d - o = -27. Is d prime?
True
Is 3*12/18*(-18033)/(-6) composite?
False
Let k be 17/85 + 2/(-10). Let r(v) = v**3 + 2*v**2 - v + 791. Is r(k) prime?
False
Let u(w) = w - 1 + 335*w**2 - 139*w**2 + 590*w**2 + w. Is u(1) composite?
False
Suppose 13165 = 4*i - 5*t, 0 = 4*i - 3*t - 0*t - 13163. Let j = 1541 + -1538. Suppose 0 = j*b + 923 - i. Is b a composite number?
True
Suppose -10 = -5*r + 5*p, 0 = 4*r + 4*p + 5 - 13. Suppose -y + 751 - 32 = -2*q, r*y = 2*q + 1440. Is y a prime number?
False
Suppose -4*x - 9 = i, 2*i - 8 = -5*x - 29. Let r be (-6)/39 - 41/i. Suppose -4 = -v - v, -389 = -5*h + r*v. Is h a composite number?
False
Suppose -4*a + 5*a + 21 = 0. Let k = -16 - a. Suppose 2*s - k = 1. Is s a prime number?
True
Let a be 899 + -6*(-3)/(-6). Suppose 2*u = -a + 4366. Is u a composite number?
True
Suppose 1398*f - 1394*f = 38732. Is f a prime number?
False
Let t = 1389 - 1343. Is t a prime number?
False
Let o(b) = -b**3 - b**2 - 6*b - 1. Let u be o(-3). Is 8/14 + 3305/u a composite number?
True
Let y be (1158/(-9))/((-1)/3). Is 8*2/(-4) + y prime?
False
Let i = -97 - -208. Is ((-11)/3)/(1*(-1)/i) a prime number?
False
Let p(x) = x**3 - 15*x**2 - 21*x + 14. Let l be p(17). Suppose 3*c = -5*r + 2525, -r - c + l = -272. Is r prime?
False
Suppose -7*r = -r - 5814. Let n = r + -252. Is n composite?
True
Let b be (-3)/(-10)*8*(5 + 0). Suppose -10*w - 746 = -b*w. Is w prime?
True
Suppose 5*q + 34 = l + 2*l, -16 = 3*l + 5*q. Let o(f) = 196*f + 211*f + 5 - 393*f. Is o(l) composite?
False
Let j = -5808 + 3266. Let w = -1356 - j. Is w a prime number?
False
Is 2/(-9) - (-11820542)/306 composite?
False
Suppose -7*s = 2*s - 6201. Let k = s - 56. Is k a composite number?
True
Let x(y) = 17*y**2 - 9*y + 6. Let i be x(7). Suppose -2*m + 7*m - i = -3*f, 2*f + 634 = 4*m. Let n = m + -90. Is n a composite number?
False
Let f = 4936 - -3327. Is f a prime number?
True
Let c(r) be the third derivative of 83*r**5/10 + r**4/24 - 36*r**2. Is c(1) a composite number?
False
Suppose 0 = -3*o + 5*o - 8. Suppose -2*w + f - 20 = 0, -o*w - 2*f - 40 = -6*f. Is 2440/25 - (-6)/w a composite number?
False
Let w = -21 - -25. Suppose w*o - 201 = 1811. Is o a prime number?
True
Let u(d) = -d**3 + 12*d**2 + 7*d - 2. Let q be u(13). Let p = -46 - q. Is p composite?
True
Suppose 65*u - 57*u = 263176. Is u prime?
False
Let x = -17 - -9. Let a(n) = -n**2 - 6*n + 7. Let w be a(x). Is 1 + 148 - (9 + w) prime?
True
Suppose 4*t - 78 = -2*b, -8*b = -9*b + 1. Is t a prime number?
True
Suppose 6*k - 33*k = -131193. Is k a composite number?
True
Suppose 12*b - 13*b = 3*p - 17950, -4*b + 71784 = -4*p. Is b composite?
True
Suppose 4*o - 279 = -23. Suppose 0*n - 5 = -4*n + 3*s, 3 = 3*n - 3*s. Suppose 2*g - 38 = -b, -n*b + g + g + o = 0. Is b a composite number?
True
Let l(a) = 7*a**2 - 1. Let n be l(1). Suppose -2*w - n = 0, w = -5*z - 0*w + 4367