+ 8*f. Suppose v + 4*y - 1429 = f, 2*y = -5*v + 6521 + 588. Is 2/(-3) + v/21 a composite number?
False
Let h be (24947/38)/((3/2)/3). Let d = h + 104. Is d prime?
False
Let v = -4611 + 2812. Let b = 2676 + v. Is b a prime number?
True
Let p = 63403 + -23438. Is p prime?
False
Suppose s + 0*w = 4*w + 1, 4*s - 19 = w. Suppose -3*k - 619 = -b, -2*b - 46 = -s*k - 1288. Is b prime?
True
Let l be (-9)/(-5) + (-4)/(-20). Let y be 3*(-3)/(9/(-4)). Suppose -29 = -7*g + 2*g + l*d, 5*g - y*d = 23. Is g a prime number?
True
Is 46/46*30449/2*2 a composite number?
False
Let y(o) = o**2 - 7. Let a be y(3). Suppose n - 99 = 4*v, -a*n - n + 255 = 2*v. Is n a prime number?
False
Let p(b) = b**2 + 6*b + 13. Let t be p(-5). Suppose 1255 = -t*j + 13*j. Is j prime?
True
Let k(d) = 281120*d. Let n(u) = -249*u. Let p(q) = 4*k(q) + 4518*n(q). Let c be p(-2). Suppose -2*s + b = s - c, -b + 1006 = 3*s. Is s prime?
False
Suppose 0 = -5*k + 2*k + 9. Suppose 1149 = -5*z + k*f, -2*z - 3*f - 466 = -f. Let d = 388 + z. Is d prime?
True
Let o = 11720 - 5473. Is o a composite number?
False
Let v(d) = 2037*d - 43. Is v(8) composite?
False
Let a(o) = 3*o - 1. Let s be a(11). Let h = 37 - s. Let c(j) = 145*j - 6. Is c(h) a prime number?
True
Let l = 90 + -93. Let v(a) = -38*a**3 - 4*a**2 - 4*a - 4. Is v(l) composite?
True
Let v = 3297 - 2353. Suppose 0 = l - v + 153. Is l a composite number?
True
Suppose 0 = 7*l - 2*l + 4*p - 16439, p + 13168 = 4*l. Is l composite?
True
Suppose 4*r + 4*p = 26416, -2*r = -0*r + 4*p - 13198. Is r prime?
False
Suppose 3*j = 209 + 40. Suppose i = 357 - j. Suppose 3*s - 59 = i. Is s prime?
False
Suppose -5*j = -18 - 22. Suppose -5*d + j = -d. Suppose -5*l = 2*s - 45, 25 = d*s + 2*l - 11. Is s a prime number?
False
Let t = 14 + -11. Suppose 2*w + 564 - 2798 = t*a, a + 5611 = 5*w. Suppose w = 2*h + 5*y - 338, h = 4*y + 763. Is h composite?
False
Suppose -5*c + 159 = -76. Suppose -8 = 3*v - c. Is 37/2*(v - 3) a composite number?
True
Let c be 2/((-1)/(-3)*2). Suppose v = -4*x - 488, -2*v = 3*v + c*x + 2440. Let q = v - -747. Is q composite?
True
Suppose 3*g - g = -3*n + 10, -2*n = -3*g + 15. Is -3*(5132/(-12) + n) a composite number?
False
Let p(y) = -3*y**3 - 14*y - 7. Let x be p(-7). Let u = 2261 - x. Is u composite?
True
Is (-837913)/(-68) + 3/4 composite?
False
Let b(r) = r**3 + 2*r**2 - 8*r - 5. Let h be b(-3). Is -2*1/h - (-1152)/10 a composite number?
True
Let z = 832 - -2815. Is z prime?
False
Suppose -9 = -4*a + 3. Let p = a + -1. Suppose -p*n + 547 = -k + 189, 3*n = 2*k + 537. Is n composite?
False
Let r(m) = -35*m + 13. Suppose 22 + 18 = -5*v. Is r(v) composite?
False
Let h(u) = -19*u**2 + 17*u - 14. Let p(r) be the first derivative of 2*r**3 - 3*r**2 + 5*r - 1. Let o(g) = 2*h(g) + 7*p(g). Is o(5) composite?
False
Let b = -23 - -3. Let r be (b/4 - -2) + -183. Is r/(-4)*(-4)/(-6) a composite number?
False
Suppose -4*d + 37 = -59. Let p be d/9 + 3/9. Suppose 5*i = p*i + 1262. Is i prime?
True
Suppose 1488 = 2*a - 2*y, -4*y = 7 + 13. Let m = a + -492. Is m composite?
True
Suppose 3*d + 2*u + 2*u - 16865 = 0, -4*d = -4*u - 22496. Is d a composite number?
False
Let j be ((-22)/(-4))/(6/12). Let p = j + -8. Suppose 3*f + 0*f - 179 = -5*l, -31 = -l - p*f. Is l composite?
False
Let q be 664/(-28) - 4/14. Let t be (-14)/77 + 3661/(-11). Is 6/q + t/(-4) prime?
True
Suppose 433 + 971 = u. Suppose 0 = -5*t + x + 3714, u = 2*t + x - 83. Is t prime?
True
Let x = -19242 - -30685. Is x a prime number?
True
Suppose -3*q + 0*q - 3*h = 27, -h = 4*q + 21. Is 15/q + 3 - (-31279)/4 composite?
True
Let q = 179 - 51. Let c = 9 + -7. Is c + (-1 - -2) + q prime?
True
Let x be (0 - 1/(-2))*-2. Is (294 - x) + 0 + 0 prime?
False
Let m(p) = 2*p**2 - 17*p + 23. Suppose 0 = 5*w - w. Suppose -5*x + 72 + 8 = w. Is m(x) prime?
True
Suppose -s - 36002 = -5*q - 3004, 0 = q + s - 6596. Is q a prime number?
True
Suppose -5*y + 1718 = -5*x - 3102, 0 = 5*x + 10. Suppose -4*i - 2949 = -5*g - y, -3*g - i = -1182. Is g a prime number?
False
Suppose -5*o + 3*g - 1568 = 0, 2*o + 624 = -g + 3*g. Let f = -63 - o. Suppose 0*j + 228 = j + p, f = j - 4*p. Is j prime?
True
Suppose -3*d - 2*d = -2*z + 3872, 5*z + 3*d = 9711. Is z a prime number?
False
Let c be ((-16780)/(-25))/(2/5). Suppose 2*s = 2*f + 4666, -2*s - 4*f - c = -6344. Is s a prime number?
True
Is (3/6)/((-5151357)/468306 - -11) a prime number?
True
Let d = 79 - -56. Suppose -y - 44 = -d. Is y a composite number?
True
Let o = -198 - -2962. Suppose 3*a + a - o = 0. Is a a composite number?
False
Is 678524/140 - 10/(-25) prime?
False
Let k be -3*((-4)/12)/(-1). Is 149 - 6 - (-1 + k) composite?
True
Let q(r) = -r**3 + 2*r**2 - 2*r + 1. Let g be q(1). Suppose 3*m = 2762 - 65. Suppose g = -4*v + m + 377. Is v a prime number?
False
Let s(m) be the second derivative of -34*m**5/5 - m**2/2 + 6*m. Let z be s(-1). Let p = z - 16. Is p a composite number?
True
Suppose 680 = 5*i - 2415. Let n = i + 322. Is n prime?
True
Let x(f) = 9*f**2 + 32*f - 25. Is x(12) a composite number?
True
Let h(i) = -i**2 + 8*i + 9. Let x be h(7). Suppose 0 = 21*q - x*q. Suppose -3*o + o + 890 = q. Is o prime?
False
Let d be 13284/16 - (4/16)/1. Suppose -a + d = -731. Is a composite?
True
Let s(c) = -6*c + 2. Let i be s(2). Let t = 8 + i. Is 1592/(-12)*3/t prime?
True
Let w(a) = -a**2 + 13*a + 21. Let u be w(15). Let y(h) = 3*h**2 - 4*h + 12. Let z(s) = -s**2 - 1. Let o(j) = y(j) + 2*z(j). Is o(u) a prime number?
True
Let w(q) = -24*q**3 + 5*q**2 - q - 8. Let j be w(-6). Suppose 2*l = -0*l + j. Is (-4)/6 - l/(-21) a composite number?
False
Let s(k) = k**3 - 8*k**2 + 8*k - 3. Let x be s(7). Suppose z = x*y + 49, y - 247 = 2*z - 6*z. Let w = 116 - z. Is w a composite number?
True
Suppose 10*q = 646069 + 1252801. Is q a prime number?
True
Suppose -33 = -4*m + 3. Let x(a) = a**2 - 6*a - 8. Let u be x(m). Let w = u - -78. Is w prime?
True
Let s = 34 + -36. Is s - (-3 + 188/(-2))*1 a prime number?
False
Let f = 3592 + -161. Is f prime?
False
Let g be (4 - (-22)/(-6))*15. Suppose -4*f + 240 = -2*p - 2*p, 5*p + 44 = f. Suppose 3*l + g*z - f - 7 = 0, l - 23 = -z. Is l prime?
False
Let x(k) = k**3 - 4*k**2 - 4*k - 1. Let v = 16 + -10. Let a be x(v). Let l = 136 - a. Is l composite?
False
Suppose -2*u + 14678 = 5*t, 4*u + 5527 = 2*t - 349. Let x = t - 1683. Is x a prime number?
False
Let j(t) = -24*t**3 + 8*t**2 + 7*t + 9. Let p be j(-8). Suppose -10*f = -f - p. Is f a composite number?
True
Let c(y) = 11417*y - 48. Is c(5) a prime number?
True
Suppose 2*g + 16726 = 3*o - 5451, 4*o = 4*g + 29568. Is o a prime number?
True
Suppose 0 = -f - 0*f + 1. Suppose 6*j + 27 = 3*b + 3*j, 0 = j. Is (b/f)/1 - 2 composite?
False
Let w(p) = 3*p**2 + 4*p - 13. Let v be 68/(-10) - 2/10. Let a = -19 - v. Is w(a) a prime number?
False
Suppose -330*y - 138 = -329*y. Suppose -4*b + 3*b - 227 = 0. Let r = y - b. Is r prime?
True
Let t(m) = 1801*m**3 + 5*m**2 - 4*m + 5. Is t(3) a prime number?
False
Let b(c) = -40*c - 9. Suppose 0*u - 3*u - 15 = 0. Let k be b(u). Suppose 560 - k = 3*x. Is x a composite number?
True
Let b = -36 + 38. Suppose -4*c + 1984 = -5*r, 7*c - 2*c - 2513 = -b*r. Is c a prime number?
False
Let u = -334 + 825. Is u composite?
False
Let g(w) = 2*w + 9*w - 3*w - 3 - 9. Let y be g(5). Suppose -3*f + 295 - y = 0. Is f a prime number?
True
Suppose -3*w = -2*w - 2, -351 = -3*x + 3*w. Suppose -3*g - x = -752. Is g prime?
True
Suppose 147298 = 14*m + 39792. Is m a composite number?
True
Let y(w) = w**3 - 7*w**2 + 3*w. Let z be (-7 - -3)/(4/10). Let u = 17 + z. Is y(u) a composite number?
True
Let u(w) = 9*w**2 - 87. Let k be u(10). Let d be -2 - (0/(-1) + -5). Suppose d*p - 2*p - k = 0. Is p a prime number?
False
Is ((-1193)/2)/((-6)/12) prime?
True
Let j = 66 + -22. Suppose -5 = m, 0*p - 4*p - 4*m - j = 0. Let b(f) = -f**3 - 5*f**2 - 2*f + 5. Is b(p) a composite number?
False
Suppose -36*r - 113411 = -498935. Is r composite?
False
Suppose 1892 = -3*r - 5*s, -4*r - 2484 = -0*s - 3*s. Let f = r + 1030. Suppose 3*z - f = -2*v, 0 = v - 3*v - 2*z + 406. Is v composite?
True
Let y be -847*(3/3)/1. Let h = -432 - y. Suppose 61 - h = -6*g. Is g a prime number?
True
Is 52490/4 + (-9)/(-18) a prime number?
False
Let b = -8 + 14. Suppose 2 = -2*v + b. Suppose 4*z - v*k - 391 = z, z + k = 122