-3*c + 1337. Is m + (-2)/(2 - 1) prime?
False
Let f be 115*5*4/50. Is (f/(-8))/(10/(-680)) a prime number?
False
Is (187/(-33))/(-17) + (-23186)/(-3) a composite number?
True
Let u(i) = 81*i - 14. Let l be ((-3)/9)/((4/(-132))/1). Is u(l) composite?
False
Let d be -6*2/(-3) - 1. Suppose 5*y = -4*b + 36 + 39, d*y + 5*b - 32 = 0. Is y a prime number?
True
Let a be 16 - 4/6*3. Let d be ((-16)/14)/((-4)/a). Suppose 2*t + 3*t - 90 = -5*f, d*f = 4*t + 32. Is f prime?
True
Let g be -1 - -2 - (-3 + 0). Is 658 - g/(-8)*-6 a composite number?
True
Let h(k) = -k - 39. Let p be ((-5)/10)/((-3)/(-54)). Let s be h(p). Let i = -27 - s. Is i prime?
True
Suppose -25 = -5*h + 3*w, h - 5*w = -3*h + 20. Suppose 5*p - h*r - 2075 = 0, 5*p - 975 = 4*r + 1096. Is p a composite number?
True
Suppose 12*g - 5*g + 36932 = 0. Is 6/(-4)*g*6/36 a prime number?
True
Let m(j) = j**3 - 5*j**2 + 8*j - 13. Let p be m(4). Is ((-874)/p)/((-9)/((-108)/(-8))) a prime number?
False
Let j = 22060 - 8411. Is j prime?
True
Let d = -183 - -1838. Is d prime?
False
Let b(x) = x**3 + 4*x**2 + 2*x + 4. Let i be b(-3). Suppose -m = -3*m + 4*s + 16, -m = s + i. Is m/3 - 240/(-9) a prime number?
False
Let d(h) be the third derivative of -33*h**4/4 - 5*h**3/6 - h**2. Let m be d(-11). Suppose -4*z - 3*k + m = 0, 4*k = z + 5*k - 544. Is z a prime number?
True
Suppose -30591 = -17*t + 5602. Is t a composite number?
False
Let y(a) = 4*a**2 + 58*a - 103. Is y(31) a composite number?
True
Let a be (-10)/70 + 2/14. Is (187 - 0) + a + 4 composite?
False
Let k be -623916*(2/15 - 17/15). Is k/468 - 2/13 composite?
True
Let o be (28 + -4)*(-2)/(-3). Let l be (-4)/o*0 - -2. Suppose 3*q + l*q - 5*r - 170 = 0, -q - 2*r = -43. Is q prime?
True
Suppose -k = r - 0*k - 4489, -10 = 2*k. Suppose -2*t + 8*t - r = 0. Is t prime?
False
Suppose 0 = m - 4*f - 5477, 4*f - 6965 + 1496 = -m. Is m prime?
False
Let s(h) = -h + 2. Let t be s(-6). Suppose -t*f = -4*f - 68. Let c = f - -6. Is c a prime number?
True
Is 40/32 - (-60909)/12 composite?
False
Let r(k) = 233*k**3 + 2*k**2 - 9*k + 7. Is r(2) a composite number?
False
Let x = 7 + -7. Suppose x = -3*i - 3*b + 1272, 5*b = b - 12. Is i prime?
False
Let o(g) = -g**2 - 2*g + 96. Is o(-9) a composite number?
True
Let p be ((-16)/(-6))/(20/(-150)). Let m = p + 23. Suppose -i = -m*i + 422. Is i a prime number?
True
Suppose 16 = -4*l, 3 = -5*f + 6*f + l. Is (-166)/3*(2 + f/(-2)) a prime number?
True
Let o be 2 + 6/((-18)/15). Is ((-3265)/25 - (-4)/(-10))*o a composite number?
True
Let a be (5/10)/((-1)/(-4)). Suppose 5*i - 2*v = 22, -4*i - 6 = -6*i - a*v. Suppose 1 = y - 4, -4*r + 248 = i*y. Is r a prime number?
False
Let z = -143 - -374. Suppose w - 2*w = -z. Let x = w - 148. Is x a prime number?
True
Suppose 567 = 3*k + 3*j, 4*k - 169 = -5*j + 592. Suppose -a + 285 = 4*a. Let o = k - a. Is o a composite number?
False
Let h(p) = -723*p. Let g be h(4). Let a = g - 2974. Is (1/2)/((-7)/a) prime?
True
Let i(j) = -4*j**2 - 11*j + 1. Let s(t) = t**2. Let m(z) = -i(z) - 3*s(z). Let u be m(-9). Let a = u + 23. Is a composite?
True
Is 1/(((-70)/(-3810))/7) composite?
True
Is 5*(-11820)/(-50) + 11 prime?
True
Let f be (5/(-4))/((-4)/(-16)). Let r be 0/(-4 + 2) - f. Let d(l) = 23*l**2 - 3*l - 7. Is d(r) a composite number?
True
Suppose 8*m + 10 = 3*m. Let b be (m + 215/(-2))*-2. Suppose 0*x + b = l + 4*x, 0 = 5*l + 3*x - 1061. Is l composite?
False
Let j be (22*8)/(1 + 0). Suppose -21*x = -16*x. Suppose x = -3*l - j + 647. Is l composite?
False
Suppose -4*u + 13302 = 5*u. Is u prime?
False
Let v be 6 - 3 - (-4)/1. Suppose 2 = p, -3*m - 5*p + 6 + v = 0. Is 121/((1 + 0)/m) composite?
True
Let x = -5 + -4. Let r be 3*(195/x)/5. Let j(l) = -3*l - 17. Is j(r) composite?
True
Let d be -4*6/(4 + 2). Let v(a) = -a + 4. Let i be v(4). Is ((-422)/d + i)*2 a prime number?
True
Suppose -441 = 4*n - 3*r, -3*n + 7*n + 5*r + 449 = 0. Let c = n + 362. Is c a prime number?
True
Suppose o = -24*j + 20*j + 2485, 4*o = 2*j + 9904. Is o a prime number?
True
Let t(u) = u**2 + 2*u + 2. Let a be t(0). Suppose -5*b + 9305 = 2*h, -5*h = -a*h - b - 13932. Is h composite?
True
Let q = 6875 - 4132. Is q a prime number?
False
Let w(c) = 18*c**2 - 3*c. Let h be w(-5). Let t = 27 + -39. Is (h/t)/5*-4 a composite number?
False
Suppose -f + 322 - 68 = 0. Is f composite?
True
Suppose -4*k + 3 = -h, 0*k + 6 = 3*h + 3*k. Suppose 0*u + h = 2*f + u, -3*f + 2*u = 2. Suppose -o + 3*o - 138 = f. Is o prime?
False
Let l(d) = 4*d**2 - 45*d + 220. Let m(s) = -3*s**2 + 30*s - 147. Let j(w) = -5*l(w) - 8*m(w). Is j(17) composite?
False
Let n = -237 + 10102. Is n composite?
True
Is 8 + (2 - (-1620 + -6)) + 1 prime?
True
Suppose -6 = 3*w, 3*w + 1988 = -4*t + 6*t. Is t a composite number?
False
Let t be (-4000)/96 - (-2)/(-6). Is (-1079)/(-1) - 12/(t/7) a prime number?
False
Let x(y) be the second derivative of 2*y**4/3 - y**3/3 + 22*y**2 - 21*y. Is x(7) prime?
False
Let c = -242 + 636. Is c - (6/4)/(5/(-10)) a composite number?
False
Suppose 0*h = 6*h + 198. Let g = -29 - h. Suppose -8*x + 636 = -g*x. Is x prime?
False
Suppose 0 = -3*f - 5*d + 116799, 83*d - 78*d - 38933 = -f. Is f composite?
False
Let u be (11/22)/(1/(-2)). Let i(m) = 8*m**2 + 2*m. Let p be i(u). Let w(y) = 8*y - 5. Is w(p) composite?
False
Suppose 3*r - 5 = -r - x, -4*r + x - 5 = 0. Suppose -3*z + r*z = 2*t - 2899, -t - 2902 = -3*z. Is z composite?
False
Suppose 6 - 2 = -k. Let f(r) = -92*r - 9. Is f(k) a composite number?
False
Suppose 16 = 4*m - 0. Let n be (-1)/2*-6*1. Suppose n*v - 33 + 153 = 3*x, x + m*v = 25. Is x a composite number?
False
Suppose -27*g + 9*g = -64566. Is g prime?
False
Let z = 2022 - 439. Is z prime?
True
Let v be (-29)/(-8) + 9/24. Suppose 3*m = v*w + 773, -298 = -4*m - 3*w + 741. Is m prime?
False
Suppose -15*p + 176877 = -8718. Is p composite?
False
Let h(c) = 75*c**2 + 11*c - 91. Is h(18) a composite number?
False
Suppose -5*c - 4*k = -43001, 12044 = 4*c - k - 22340. Is c a prime number?
True
Is ((-12)/9 - -1)/(20/(-881940)) a composite number?
False
Suppose 0 = 32*i - 30*i - 62214. Is i a prime number?
False
Suppose -170210 = -4*l - 3*o, l - 4*o + 8*o - 42559 = 0. Is l a composite number?
True
Let u(t) = -4*t**2 - 2*t. Let f be u(-2). Let w be ((-9)/f)/(2/(-16)). Is (57/6)/((-3)/w) a prime number?
True
Let s(z) = z**3 + 8*z**2 - 21*z - 31. Is s(-9) composite?
True
Let m(a) = 2*a + 3. Let n be ((-20)/15)/((-1)/(-24)). Let b be 2/(2/n*-4). Is m(b) a composite number?
False
Let s(b) = -b**3 + 8*b**2 + 9*b + 5. Let f be s(9). Suppose -f*c - 4*l + 1523 = -0*l, -c + 319 = -4*l. Is c composite?
False
Suppose 11 = -5*n - 9, a + 4*n = -9. Let w(c) = 5*c + 24. Is w(a) composite?
False
Let z be (-4)/10 + 54/10. Suppose -k + 7 = z. Suppose -655 = -3*t - k*t. Is t a composite number?
False
Suppose -24 = -4*a + 12. Let l(c) = 15*c**3 - 1 + 4*c**3 + 10*c - a*c. Is l(3) prime?
False
Suppose 5*m - 15358 - 6626 = -p, 2*p = -3*m + 44003. Is p a prime number?
False
Let l(c) be the first derivative of 5*c**3 + 19*c**2 + 2*c + 3. Is l(-11) a composite number?
False
Suppose 0 = 2*k - 4683 + 613. Suppose -1441 = -s + 3*g, 5*g = -5*s + k + 5170. Is s composite?
True
Let m = -7563 - -13292. Is m a composite number?
True
Suppose -3*g + 5561 + 232136 = 5*d, -95066 = -2*d + 2*g. Is d a composite number?
True
Let s(h) = -h**2 - 6*h + 13. Let w be s(-8). Is 1228/w*21/(-14) composite?
True
Suppose 2*s - 1 - 15 = -y, -26 = -y - 4*s. Suppose -22*u + y = -21*u. Is u a composite number?
True
Suppose -3605 - 971 = -2*o. Suppose -2*h + 935 = -3*z - 2*z, 5*h = -4*z + o. Suppose -6*y + h = -2*y. Is y prime?
False
Is (4 + -6)*21642/(-12) composite?
False
Let w be 0*(-5)/30*-3. Is 1/1 - (-1542 - w) a prime number?
True
Let s(k) = -3*k - 27. Let z be s(-9). Suppose z*w + 2*w = -4*b + 1934, 2*w = -6. Is b prime?
False
Is (6/4)/((-56)/(-134512)) composite?
True
Let y = -476 - -2557. Is y a composite number?
False
Is (-5 - -6) + 8415 + 6 + -3 a composite number?
False
Let v = 16 - 21. Let u(i) = 7*i**2 + 4*i + 4. Let r be u(v). Suppose -6*s = -r - 171. Is s a prime number?
False
Let s(h) = -h**2 - 10*h + 5. Let i be s(-8). Suppose 2*f = 3*t + 17, f - i = 7*t - 3*t. Is 2 - ((0 - 96) + f) a composite number?
False
Let b be (598/(-5))/(6 - 145/25). Let o = b - -1405. Is o a prime 