Is a a prime number?
False
Suppose 0 = -81*v + 85*v - 35996. Is v a prime number?
True
Let t be (105/(-9))/(-5) + (-6)/18. Suppose 0 = -4*i + t*o + 3878, -3*o + 10 - 1 = 0. Is i prime?
True
Suppose 3*w - 434 - 841 = 0. Suppose -20*d - w = -25*d. Is d prime?
False
Suppose -3*g = -0*h + 2*h + 15, -2*g - 10 = 0. Suppose -4*n - q - 2*q + 3392 = h, -q = 4. Is n a composite number?
True
Suppose 0 = 4*w + 3*l - 24, 2*l + 3*l - 20 = 0. Suppose 0*g - g = 4*y - 5112, -12 = -w*g. Is y a composite number?
False
Let y = 349 - -1162. Is y composite?
False
Suppose -b + 2*x = -2*x + 7, -3*b + x = 32. Let s(l) = l**2 + 7*l - 5. Is s(b) a prime number?
False
Suppose 2*w = -4*g + 12, 4*w = 5 + 3. Suppose -g*j + 2441 = 663. Is j composite?
True
Suppose 0 = -0*y - 15*y + 135. Suppose 0 = -10*t + y*t + 943. Is t composite?
True
Is (-13 + (-9 - 17676))/(-1 - 1) prime?
True
Let h(b) = b**2 + 12*b + 7. Let k be h(-11). Let p(j) = -40*j**3 - 4*j**2 + 7. Is p(k) prime?
True
Let s = 3 + -3. Let y(q) = -q**2 + q + 533. Is y(s) a prime number?
False
Let g = 1947 - -268. Is g prime?
False
Let t(l) = -l**3 - 2*l**2 + 2*l - 2. Let y be t(-3). Let g be (5 - (y - -2)) + 64. Suppose g = -5*x + 401. Is x a composite number?
False
Let q = 563 - 1820. Is q/(-4)*8/6 a prime number?
True
Let d be (-6*1)/(12/46352). Is (d/12)/(12/(-18)) a composite number?
False
Is 4 + (-66)/15 + (-60102)/(-30) composite?
False
Suppose -108 = 4*b - 16*b. Suppose -4*v = 3*l - 9, l + v - 6 + 3 = 0. Suppose -l*d - 318 = -b*d. Is d a prime number?
True
Let n(l) = 38*l**2 - 6*l - 117. Is n(-11) composite?
False
Is 11113/2 - (8 + (-204)/24) a prime number?
True
Suppose 6*n - 5*r = n + 96160, 2*r = 5*n - 96175. Is n a composite number?
False
Let l(t) = 3*t - 24. Let n be l(11). Suppose 574 = n*x - 7*x. Is x prime?
False
Suppose 0 = -8*x + 7*x + 11195. Is x a composite number?
True
Let t = 874 - 516. Is t composite?
True
Let y = 105 - -313. Suppose 3*j - y = 5741. Is j prime?
True
Let j = -1441 - -8844. Is j composite?
True
Suppose 2*d + 340 + 1307 = 3*u, -4*u + 2216 = 4*d. Is u composite?
True
Let d(t) = -31 - t**2 + 2*t**2 - 24*t + 8*t + 0*t**2. Is d(19) a composite number?
True
Let o = 31 - 31. Let a(p) = p**3 - p**2 - 3*p + 317. Let m(q) = -q. Let h(d) = a(d) - 4*m(d). Is h(o) prime?
True
Let p be 1 + 2 + (0 - -2032). Suppose 5*i = 4*f + p, -7*i + 1628 = -3*i - 3*f. Is i composite?
True
Let x = 325 - 45. Suppose -2*l + 150 + 168 = 0. Let a = x - l. Is a a composite number?
True
Suppose i + 4*w = 9513, -50*i + 3*w - 47514 = -55*i. Is i prime?
False
Let o = 273 + -408. Let j be o/6*(-4)/3. Suppose b - j = -2*b. Is b a composite number?
True
Let n = 36341 + -18822. Is n prime?
True
Suppose 0 = -5*t + 2*t + 42. Suppose -t*u + 4458 = -8*u. Is u a composite number?
False
Let q = -13 + 1. Is (-6)/q - 3348/(-8) prime?
True
Let y(u) = -11*u**3 - u**2 - 4*u - 3. Let n be (3/(-6))/(3/(-6)). Suppose n - 5 = 2*h. Is y(h) a prime number?
True
Let o = -97 + 106. Suppose o*a + 900 - 4473 = 0. Is a a prime number?
True
Let w = 142 - 29. Is w composite?
False
Let h = -18750 - -36364. Is h a composite number?
True
Let y = 113 + -182. Suppose -v - 4*v - 220 = 0. Let g = v - y. Is g a prime number?
False
Is (-91792)/(-4)*(-2)/(-8) a composite number?
False
Suppose k + 5529 = 3*k + x, 2*x = -10. Is k a prime number?
True
Let i = 5001 + -2917. Let l = -1171 + i. Is l a prime number?
False
Let i(f) = 59*f**3 - 2 + f + 2 - 63*f**3 - 4*f**2 + 3. Is i(-4) composite?
False
Let g(y) = 516*y - 2. Let b be g(2). Suppose -b = -3*o + 4*m, -5*o + 1697 + 48 = -m. Suppose 5*l - o = 920. Is l a prime number?
False
Let w = -41 + 43. Suppose 157 = 3*v - q, v + 57 = w*v + 2*q. Is v composite?
False
Suppose -30*t + 32*t = -220. Let q = 17 - t. Is q composite?
False
Let a = -156 - -341. Suppose o = 2*c - 181, 3*o - 2*o = -2*c - a. Let p = o - -262. Is p prime?
True
Let o be (-1)/(7/4 - 2/1). Suppose -o*x + 20 = 0, 0 = -3*f - 3*x - x + 419. Is f a prime number?
False
Let l = 4497 - 7840. Is l/(-15) - 18/(-135) composite?
False
Let d be (-9)/((-135)/(-168))*-5. Suppose 4*p + 5*j + 321 = 0, 3*p + d = -5*j - 191. Let t = p - -365. Is t prime?
False
Let t(a) = 27*a**2 + 16*a - 805. Is t(32) composite?
True
Suppose -4*r = -4 - 4. Suppose 0 = -r*u - 5*f + 506, 3*f - 4*f = -2*u + 530. Is u a composite number?
False
Let w be (-4)/(-18) - (-68)/18. Suppose 2*g + 1814 = w*g. Is g a composite number?
False
Let n = -6 - -9. Let x(q) = -43*q + 31. Let c be x(4). Is (-4 - 3)/(n/c) composite?
True
Is (602*(4 + -3) + -4)/2 prime?
False
Suppose -24 = -4*n - 16. Is 1399*(7 + -5)/n prime?
True
Let i(d) = -d**3 - 12*d**2 - 10*d + 13. Let m be i(-11). Suppose m*w - 96 = -0*w. Suppose u - w - 41 = 0. Is u a prime number?
True
Suppose 12*u = 10*u - 14. Let p = -5 - u. Is p/8 + 25875/36 composite?
False
Let i(q) be the second derivative of q**4/12 - 2*q**3/3 + 19*q**2 - 18*q. Is i(-7) a prime number?
False
Let n be (-2)/15 + (-501)/(-45). Suppose 18*l = n*l + 10801. Is l prime?
True
Let a(h) = h**3 - 18*h**2 - 54*h + 66. Is a(35) composite?
False
Let t be (3 + -2)*(-4)/(-1). Suppose 4*y - 283 = 4*c + y, -t*y + 144 = -2*c. Let o = c + 123. Is o prime?
True
Let v(a) = -1090*a - 321. Is v(-52) a composite number?
False
Let s = -4421 - -8895. Is s a prime number?
False
Let g(c) = c**2 - 2*c - 1. Let d be g(3). Suppose -3*i = 5*k - 1793, 3*k + d*i - 85 - 991 = 0. Is k a composite number?
True
Let o be (10*3)/((-14)/175). Let f be (-2 + 6)*(-1138)/8. Let b = o - f. Is b a prime number?
False
Suppose -2*x + 5*w - 449 = 0, -429 = x + x - w. Let k = x + 370. Is k a composite number?
True
Let p = 7706 + -1391. Suppose -20 = -4*d, p = -h + 6*h + 4*d. Is h prime?
True
Let i = 937 - 2330. Suppose 0 = -4*p - h - 3153 - 624, h + 1889 = -2*p. Let y = p - i. Is y prime?
True
Let a = -503 + 823. Suppose 2*m - a = 98. Suppose -l + 2*f + m = 0, 5*l = l + 5*f + 821. Is l a composite number?
False
Let l = -1662 - -8924. Is l a prime number?
False
Let h = -7 + 13. Let b(c) = -c**3 + 10*c**2 - 10*c + 13. Is b(h) a prime number?
True
Let y be -120*(-5)/(45/6). Suppose 3*o + y = 4*o. Suppose 2*x + 2*j - o = 6*j, 5*x + 5*j = 245. Is x a prime number?
False
Suppose 26 = -4*k - 6. Let u = k - -12. Is (7 - u) + (0 - -50) a prime number?
True
Let k = -1161 + 26174. Is k a composite number?
False
Let y(l) be the first derivative of 11*l**7/840 - l**6/360 + l**5/40 - l**4/24 + 5*l**3/3 - 2. Let k(q) be the third derivative of y(q). Is k(2) prime?
True
Suppose 3*t = -2 + 8. Let x be (-28)/t*(-4)/14. Suppose 4*k - 570 = -5*j, -5*k - 497 = -x*j - 0*k. Is j a prime number?
False
Let j(n) = -n**3 - 8*n**2 - 21*n - 15. Let u be j(-14). Let i = -2048 + u. Let r = -402 - i. Is r a composite number?
False
Suppose -3*w + 7*w = -2*l + 110434, 27596 = w + 3*l. Is w composite?
False
Let s = 41 - 54. Is ((89115/20)/s)/(6/(-16)) a prime number?
False
Suppose -q + 8 = 3*q. Let z(l) = 9*l + 30. Let h be z(-3). Suppose -755 = h*c - 6*c - w, q*c - 2*w = 498. Is c composite?
False
Let a be ((-310)/(-1))/(4/16). Suppose 11*c = 16*c - a. Is 1 + c - (-3 - -1) composite?
False
Suppose -7*x = -12*x + 430. Let j(c) = -21*c**2 + 26*c**2 + 6*c - 3*c + x*c**2. Is j(-2) a composite number?
True
Let y be 1 + -531 - (-4 + 0). Let g = -348 - y. Is g prime?
False
Is 131510/8 + (13 - (-510)/(-40)) composite?
True
Suppose -33 = 8*o + 359. Let z = -26 - o. Is z a composite number?
False
Let q be 6/(-14) + 54/(-21). Let m be ((-12)/(-4))/(q/(-2)). Suppose 59 = m*a - t, -t + 25 + 40 = 2*a. Is a a prime number?
True
Let l be (-8)/(-20)*(1 + -246). Let s = 8 - l. Is s composite?
True
Let f(v) = -1692*v**3 + v**2 + 2*v + 2. Is f(-1) a composite number?
False
Suppose -4*w + 6*w = 70. Is (-20)/w - (-10690)/14 a composite number?
True
Suppose 4*c + 15 = 9*c. Suppose p = -2*o + 419, c*o + p + 6 = 636. Is o a composite number?
False
Suppose 0*d + 9 = -3*d. Is (1/d)/((-1012)/1011 - -1) a prime number?
True
Let c(r) = r**3 - 4*r**2 - r + 6. Let y be c(5). Let h = y - 10. Suppose -17*x + h*x = -377. Is x prime?
False
Let r(q) = -10*q - 6. Let h be r(-9). Suppose 3*c = h + 45. Is c composite?
False
Let v(m) = m**3 + 6*m**2 + 6*m + 7. Let j be v(-5). Suppose 0 = 4*b + j*w - 1642, 2*b = b + 3*w + 400. Is b composite?
False
Let o(r) be the second deri