rue
Let a be (270/(-2))/(3/(-2)). Let w = 149 - a. Is w a prime number?
True
Suppose r + 0*r + 4 = 0. Is 332 + (-1 - r/1) composite?
True
Suppose -20*s - 534964 = -96*s. Is s prime?
True
Let i(k) = -k + 1. Suppose -3*c + 20 = c + 4*f, 13 = c + 3*f. Let w be i(c). Suppose -2*z + 1305 = 5*l, -4*z + 0*z - 20 = w. Is l a prime number?
True
Suppose -4*z + 9*z + 9265 = 0. Let m = z - -2996. Suppose m = 3*k + 132. Is k prime?
True
Suppose 2*c + 30418 = 2*b - c, 2*c = -2*b + 30398. Is b composite?
True
Let n = -6357 - -9806. Is n prime?
True
Let g = 16650 - 11789. Is g prime?
True
Let l = 13433 - 3498. Suppose -3321 = -v - 4*p, v + 2*p + l = 4*v. Is v a prime number?
True
Let d(i) be the third derivative of 4*i**5/15 - 7*i**4/24 + 7*i**3/6 - i**2. Let m(h) = -5*h**3 - 4*h**2 - 11*h - 6. Let k be m(-1). Is d(k) a composite number?
False
Let c be (-12)/10*10/3. Let b(j) = j**2 + 4*j + 3. Let g be b(c). Is (-18)/(-27) + 1183/g a prime number?
False
Let q = -43 - -516. Is q a prime number?
False
Suppose -2*g - 18 = -2*k, -2*k + 15 = -6*g + g. Let w(m) = 3*m**2 + 8*m + 12. Let c be w(k). Suppose -219 = -o + c. Is o a prime number?
False
Let w(f) = -f**3 + 27*f**2 + 37*f - 41. Is w(26) a composite number?
False
Suppose 3*g + 33 = -3*f, 21 = -3*g - 2*f - 13. Suppose -2*u + 30 = 3*u. Is 808/u - (-8)/g prime?
False
Let a(o) = -o**3 - 5*o**2 + 6*o + 4. Let d be a(-6). Let f(z) = -36*z**2 - 12*z - 18. Let x be f(-2). Is (-14)/3*x/d composite?
True
Suppose 6*h = h - 2*k + 2, -4 = 3*h - 4*k. Let t(x) = -8*x + 154. Let z be t(19). Suppose h*f = -3*f - n + 630, 1061 = 5*f - z*n. Is f a composite number?
False
Suppose -25*g - 48370 = -30*g - 5*p, 2*p = -4*g + 38702. Is g composite?
False
Suppose 1458513 = 25*g + 2*g. Is g a prime number?
False
Suppose -13*v + 3433 + 12154 = 0. Is v a composite number?
True
Let v(f) = 396*f**3 - 2*f**2 + 1. Let r be v(1). Let l = r - 156. Is l a composite number?
False
Let x(a) = 3*a + 100. Let p be x(-16). Suppose -h = -5*q - p - 916, -3*q - 3838 = -4*h. Is h composite?
True
Suppose 2*v = -2*v + 2532. Suppose v = 3*s - g, -5*s + 3*g + 1062 = 3. Suppose -2*a + 44 = -s. Is a a prime number?
True
Suppose 0*a + 4*a + 2944 = 0. Let l = a - -1091. Suppose 3*g = 8*g - l. Is g prime?
True
Let p(d) = 2*d + 25. Let a be p(-11). Suppose 3314 = 2*r - a*c, 5*r - 4*c - 7889 = 396. Is r a prime number?
True
Let d(b) = 25*b**2 + b - 81. Is d(-11) prime?
False
Let i = 10 + -12. Let c be (0*4/(-12))/i. Suppose -v + 161 = -c*v. Is v prime?
False
Let a be ((-6)/(-8))/(4/16). Is (-2 + 1)/a*-4911 composite?
False
Suppose -4*a - 5*c = -4170, -c = -4 + 2. Let o = a - 586. Is o composite?
True
Let m(l) = l**2 + l + 1219. Is m(0) prime?
False
Suppose 3*d = -3*j + 8*d + 40, -2*j - 5*d + 10 = 0. Is ((-422)/(-4))/(j/20) composite?
False
Let n be (-30)/((-36)/15 - -2). Let f = n + 16. Is f a prime number?
False
Let s(o) = -11*o + 12*o**2 - 2*o**2 + 13*o**2 + 1. Is s(-5) prime?
True
Let u = 3 + 2. Suppose -4*f = -u*k - 4, -3*k + 3*f = 1 + 2. Suppose k = 4*j - 50 - 178. Is j a prime number?
False
Let o(c) = 5*c**3 - 10*c - 6*c**3 + 62 + 8*c + 18*c**2. Is o(18) prime?
False
Suppose -2*o = -3*o. Suppose 0 = -14*d + 42 + 14. Suppose o = -3*u - d*h + 565, 2*h = -5*u - 0*u + 937. Is u a prime number?
False
Let f = 443 - -260. Is f a prime number?
False
Let q = -36 + 39. Suppose 2*k + 932 = q*t - t, -4*t + 5*k = -1863. Is t a prime number?
True
Suppose -5*p + 684 + 1871 = 0. Suppose 3*d + 0*d = -4*b + p, 4*d + 250 = 2*b. Is b prime?
True
Let g(f) = 353*f**2 + 166*f - 842. Is g(5) a composite number?
True
Let u = -746 - -1073. Is u prime?
False
Let g(z) = 91*z**2. Let j(u) = -u**3 + 7*u**2 + 2. Let r be j(7). Suppose q - r = -q. Is g(q) a composite number?
True
Let s = -1863 - -9080. Is s prime?
False
Let c be 2/12 + (-705)/(-90). Suppose -5*w + 2376 = -c*w. Is 1/(-5) - w/10 prime?
True
Let r be (382*(-1)/(-8))/((-6)/(-24)). Suppose 34*k - 33*k - r = 0. Is k composite?
False
Let v = 3478 - 1870. Suppose -v - 277 = -13*m. Is m a prime number?
False
Suppose -2*z + 15 = 3*z. Suppose -1487 = -a + 2*n, -5*n + 4536 - 108 = z*a. Is a composite?
False
Suppose r = 136 - 6. Suppose -2*q + 0*q = -r. Is q composite?
True
Let r be ((-16)/48)/(1 + (-13)/12). Suppose r*d = 2468 + 2640. Is d composite?
False
Let r = 7863 + -1022. Is r a composite number?
False
Let o be (-1 - (-218)/6)*(-24)/(-16). Let y = o - -944. Is y a composite number?
False
Let k(z) = -z - 19. Let n be k(-16). Let t be 2 + n + (-1 - -1). Is (0 - -127)/(t/(-1)) a prime number?
True
Is (0 + 29)/((-12)/(-1668)) a prime number?
False
Let z(w) be the first derivative of 2*w**3/3 + 16*w - 4. Is z(9) prime?
False
Suppose 3*r - j + 3554 = 0, 4*j - 5910 = 5*r + 5*j. Let a = -498 - r. Let s = -144 + a. Is s a composite number?
False
Suppose i - 1 = -t, -t - 2*i - 7 = -2*t. Suppose -o + 2*s + 2838 - 135 = 0, 8116 = t*o + s. Suppose 0 = 10*a - 5*a - o. Is a prime?
True
Let i(o) = -o**3 + 12*o**2 + 11*o - 7. Let b = 26 + -18. Is i(b) composite?
False
Let s be (22 - 26)*(-282)/4. Suppose -5*j + 1490 = -3*t, j - 4*t = s + 16. Is j a prime number?
False
Let d(v) = v**3 - 6*v**2 + 8*v - 15. Let b be d(5). Suppose b = 2*q - 8255 - 1451. Is q a prime number?
False
Is ((-1)/(2/(-2)))/(4/17348) composite?
False
Let v = 4 + -5. Is 12672/10*1 - v/(-5) a composite number?
True
Let s = -3978 + 12451. Is s a prime number?
False
Let v be 2/3 - 21/(-9). Suppose 2*c - 9*c + 21 = 0. Suppose -u + 1101 = 2*u + v*x, c*u - 3*x - 1125 = 0. Is u composite?
True
Is (-18)/(-81) + 3 + (-92662)/(-9) a composite number?
True
Is 14411 + (-110)/33*3 a composite number?
False
Suppose 0 = 38*l - 78570 - 48844. Is l prime?
False
Let t = 0 - -3. Suppose -3*m + 753 = t*s, 2*m = -s + 501 + 5. Suppose 0*i + 5*i = m. Is i composite?
True
Suppose 3*z - 365 = 145. Suppose -25*d = -23*d - z. Is d prime?
False
Let d = 4296 - -3155. Is d prime?
True
Suppose -2*a = 2*x + 12, 4*x - a - 2*a + 3 = 0. Let l be 27/6 - x/(-6). Is 137/l + 5/(-20) a composite number?
True
Suppose -p + 0*h + 11 = -3*h, 5*p - 5*h = 35. Suppose 0 = -p*v - i + 8, 3 = -3*v - i + 3*i. Let k(r) = 305*r. Is k(v) prime?
False
Let h = 25 - 16. Let m = h - 4. Is (-2 + 3)*(214 + m) composite?
True
Suppose 2 = 4*l - 6. Let n be 0 + 2*(l + -1). Suppose 3*m - 1255 = -n*m. Is m a prime number?
True
Let s = -370 - -695. Let i = s - 114. Is i prime?
True
Is (20 - (46 + -24)) + (-47739)/(-1) a prime number?
True
Let w be -21 + 21 + 1*2. Suppose -s + w*k = -987, 5*s + 3*k + 693 = 5680. Is s a prime number?
False
Suppose 17*n - 20*n - 4*f = -61233, 4*n - 4*f - 81644 = 0. Is n a prime number?
True
Suppose 2*c + 51 = 1405. Is c a composite number?
False
Let w = 19 - 10. Let n be (-1)/w*-93*12. Let q = n - -78. Is q a prime number?
False
Let l = 3033 + -5684. Let a = l + 3738. Is a prime?
True
Suppose -16*m = -13*m - 18. Is 3922/m - 16/(-12) prime?
False
Let t = 250 + -135. Suppose 5*d - t = 5*i, 2*d - 28 = 2*i - i. Let g = i - -75. Is g prime?
False
Suppose -4*j = -2*j + 6, 4*l - 4*j - 3320 = 0. Let i = l + -1201. Is i*4/16*-2 composite?
True
Suppose 31*y - 14295 = 98452. Is y prime?
True
Let v(w) be the first derivative of 13/2*w**2 - 4 - 11*w - 1/3*w**3. Is v(11) a composite number?
False
Let u(c) = -c**2 - c + 1. Let i(l) = 4*l**2 + 3*l + 3384. Let o(z) = i(z) + 5*u(z). Is o(0) prime?
True
Let m(z) = -11*z**2 + 6*z + 3. Let o(n) = n**2 - n - 1. Let l(h) = -m(h) - 5*o(h). Let y be l(6). Is (-9)/(-3)*y/6 a composite number?
True
Suppose -5*c - 4*m = -3709, 4*c + 14*m - 18*m - 2996 = 0. Is c a composite number?
True
Let v = -8631 + 17089. Is v composite?
True
Suppose n + t = -3*n - 11052, -5*t = 3*n + 8289. Let y = -1202 - n. Is y prime?
False
Let l(k) = 2*k**2 - k - 1. Let n be l(2). Suppose 4*u - w - 6598 = 0, n*u + 0*u + w = 8243. Is u composite?
True
Is ((-97902)/(-15))/7 - 12/(-20) a composite number?
True
Let h = 30 + -28. Suppose -2*u = 5*g - 7*u + 5, -5*g + 7 = -h*u. Is (-4 + g)/(1/(-373)) prime?
True
Suppose 9*b - 8*b - 3 = 0. Suppose 12*t - b*m = 9*t + 5784, m = -5*t + 9610. Is t a prime number?
False
Suppose -8*t = -20939 - 5453. Is t a composite number?
False
Let s = 3309 - 1652. Is s prime?
True
Let l = 3569 - 322. Is l composite?
True
Suppose 5*l + 5*o = -70, 2*l = -2*l - 5*o - 54. Let c = l - -15. I