umber?
True
Suppose 19325 = 15*k - 9730. Is k a composite number?
True
Suppose 5*y + 5*l = 15815, -2*l + 7*l + 6326 = 2*y. Is y a prime number?
True
Let k = 49 - 51. Is (-19 + 16/(-4))*86/k a prime number?
False
Suppose 3*k + 3*s + s = 4, -k + 33 = -5*s. Suppose 2*m = m + 2, m = 3*r + k. Let d(t) = -34*t - 3. Is d(r) a composite number?
True
Let q(x) = -68*x + 33. Suppose 2*l + 20 = -3*r, 35 = -2*r - 2*l + 5*l. Is q(r) composite?
True
Let s = -1215 + 3641. Suppose -s = -3*v + b - 0*b, -817 = -v + 2*b. Is v a prime number?
False
Is 9*(-7)/(-378) + 21034/12 composite?
False
Let m be 14/(-2)*(6 - (1 - -4)). Let y(p) = 121*p**2 - 13*p - 21. Is y(m) prime?
False
Let q = -13 + 18. Suppose -15 = -q*c - 65. Let v = -4 - c. Is v prime?
False
Suppose -193 = -7*a + 24. Suppose r - 56 = a. Is r a prime number?
False
Suppose 0 = -w + 2 - 0. Suppose w*z = -5*u + 109, -3*u - 152 - 53 = -4*z. Suppose -h - z = -305. Is h a composite number?
True
Let d be (-79743)/19*1/(-5 - -2). Let w be 1/(0 - (-4)/8). Suppose -w*u = -d - 135. Is u a prime number?
False
Let d(w) = 2*w + 769. Let g be d(0). Let f = g + -506. Is f prime?
True
Suppose -6*o + 2*o + 2*c = -41154, 0 = -3*c + 15. Is o composite?
True
Let i(g) = 6051*g + 14. Is i(5) prime?
True
Suppose 0 = 4*r - 2*f - 4396, -5*f + 5465 = 9*r - 4*r. Is 1 + r + (-2)/(-6)*3 composite?
True
Let b = 18 + -19. Is (4 - 273/9)*(b + -2) a prime number?
True
Suppose -10*h = 15*h - 65825. Is h composite?
False
Let s(h) = -5*h**3 + 2 - 5 - 3*h + h**2 + 3*h**3 + 4. Let b be s(-3). Suppose -2*t + b = -93. Is t a prime number?
True
Suppose -n = 4*w + 2*n - 43, 2*w - 5*n = -11. Is 159/w - (-12)/42 a prime number?
True
Suppose f = 2*v + 3*v + 10, -3*f = -5*v - 10. Suppose -2*l + 14 = -2*z + 1090, 3*z + 4*l - 1593 = f. Is z a prime number?
False
Let b = -1688 - -2379. Is b prime?
True
Is 14606/14 - (-9 + (-650)/(-70)) a prime number?
False
Is -1 + 31162 - 22/11 composite?
False
Suppose -h = 3 - 15. Suppose 4*j - 4 = h. Is 1*-65*(-4)/j composite?
True
Let p(y) = y**2 - 2. Let l = 28 + -25. Let m be p(l). Suppose -6*g = -m*g + 19. Is g prime?
True
Let v be 374/44 + 1/(-2). Let j(o) = 24*o - 23. Is j(v) a composite number?
True
Suppose 5*u = 13*u - 148264. Is u prime?
False
Let d be 0/((3 - 1) + -3) + -2. Let w(g) = 356*g**2 + 2*g + 3. Is w(d) composite?
False
Suppose 3*n = k - 3*k + 187, 307 = 5*n + k. Let g be ((-1)/(-1))/((-4)/(-12)). Suppose -3*v = g*t - 174, 4*v - 3*v + 4*t - n = 0. Is v composite?
True
Let g = -5005 + 7463. Is g prime?
False
Let b(f) = -4*f**3 + 8*f**2 - 4*f + 49. Is b(-12) prime?
True
Let g(n) = -n**3 - 10*n**2 - 11*n - 12. Let h be g(-9). Is (-7 - 381/h)/((-3)/4) prime?
False
Suppose -22*n + 614281 = 114023. Is n composite?
False
Suppose 7 = 4*l - 5. Suppose 14*b = -l*h + 12*b + 451, 3*h - 2*b - 443 = 0. Is h composite?
False
Let d = -3889 - -5927. Is d a prime number?
False
Is (-29)/(-7 + 2480/355) a prime number?
False
Let w = 1755 - -7291. Is w composite?
True
Suppose -878 - 621 = -s. Is s prime?
True
Suppose -2*p + 2*h = -2, -4*p - 6*h - 32 = -h. Let g(f) = 5*f**2 - 3*f - 1. Let r(q) = -4*q**2 + 3*q. Let k(c) = p*g(c) - 4*r(c). Is k(-4) a composite number?
False
Let h(f) = 13*f**2 - f + 161. Is h(-23) composite?
True
Suppose -64 = -24*w + 32. Suppose -8*z = -j - 4*z + 319, 1238 = w*j + 3*z. Is j a prime number?
True
Is 2 + (15/6 - 685/(-2)) a composite number?
False
Suppose 6*s - 5*s - 3*x = -5, -8 = -4*x. Let i be s/((-1)/2 - -1). Suppose u - 78 = -i*u. Is u composite?
True
Let k be (-1)/4 - 10/(-40). Suppose -r - 4*l = 2*r - 2255, k = 3*r - 4*l - 2287. Is r a composite number?
False
Suppose -5*k = -7*k + 32. Let d = 141 + k. Is d a composite number?
False
Let k(d) = d - 25. Let i be k(21). Is 22316/8 + 2/i a prime number?
True
Suppose 3*v - 2*v = 5*n - 749, -3*v + 303 = 2*n. Suppose -4*x = -4*z + x + 291, -2*x + n = 2*z. Is z a composite number?
True
Suppose 2*c = 2*y + 202094, -4*c - y + 202106 = -2*c. Is c a composite number?
False
Let n be (-6)/15 + (-8)/(-20). Suppose n*d + 3*t = -d + 52, 4*d + 2*t = 258. Suppose c - 77 = -a - a, -4*a + d = c. Is c composite?
True
Suppose -3*f + 85 = -11. Suppose -z = f - 6. Is (z/(-4))/(5/290) a prime number?
False
Let z(w) = 3570*w**2 + 6*w + 13. Is z(-2) prime?
True
Suppose -26*f + 5*a + 35033 = -24*f, -52559 = -3*f - 2*a. Is f prime?
True
Is (-9 + (2 - 22))*-443 prime?
False
Suppose 4*q = 0, 5*b - 13*q - 279555 = -11*q. Is b composite?
True
Is 20248/1*(-11)/(-88) composite?
False
Suppose 5*u - 26 = -3*r, 2*r - r - 2 = 0. Suppose u*c + 2321 = 15*c. Is c a composite number?
False
Suppose 0 = 3*x - 5*m - 123, 102 = 3*x - m + 3*m. Suppose -i + x - 6 = 0. Is 3575/7 + i/105 a prime number?
False
Let i = -591 + 1224. Suppose -m = 5*w - i, 4*m - 373 = -w - 2*w. Is w composite?
False
Suppose 0 = -4*m - 5*f - 13, 4*f = -5*m - 0*m - 5. Is m/5 + (-3382)/(-5) a composite number?
False
Let b be (-40473)/36 - (-2)/8. Let c = b + 2659. Is c a composite number?
True
Let h = 10 - 21. Let d(l) = -24*l + 18. Let b be d(h). Suppose 2*o - 10 - b = -2*g, 4*g - 2*o = 554. Is g prime?
False
Let a(s) = -4*s**2 + 12*s + 10. Let h be a(-18). Suppose -n = 3 - 9. Is (-28)/(-42) - h/n a prime number?
True
Is 17857 + -1 - (15 - 10) prime?
True
Let p = 3601 + -1754. Is p prime?
True
Let x = 28889 + -12708. Is x a composite number?
True
Suppose 2*n - 20 = -16. Suppose -n*q - 2*t + 4*t = -1088, -5*t + 1608 = 3*q. Is q a prime number?
True
Suppose -z + 4 = z. Let i be (0 - -3) + 2/14*0. Suppose -v + 2*h = -z*v + 1473, i*v - 2*h - 4387 = 0. Is v prime?
False
Suppose -4*r + n = r + 1, r - n = -1. Suppose -3*f = 4*t - 717, -2*t + f - 4*f + 363 = r. Is t a prime number?
False
Suppose 3*d - 6520 = -4*t, -4*t - 3*d = -d - 6524. Suppose 7*l = 3*b + 5*l - t, 2*l = -2*b + 1092. Is b a prime number?
False
Let l(v) = 21*v**2 + 4*v - 2. Let g = 69 - 46. Suppose -5*j = n + 17, 4*j + g = n - j. Is l(n) composite?
False
Suppose 5*o - 338 = -s, 4*o - 271 = -3*s + 2*s. Suppose -3*i + o = j, 2*j + 2*i = 171 - 17. Is j composite?
True
Let l = -14 + 24. Let w be 1/((-2)/(-1*l)). Suppose w*o + 64 = 654. Is o prime?
False
Let v = 71206 + 32083. Is v composite?
False
Suppose 3*p - 125341 = -4*z, -126*z - 2*p - 93993 = -129*z. Is z a prime number?
True
Let g = 86 - -245. Is g a composite number?
False
Suppose -4*g + 5*d - 2*d - 1 = 0, -2*d = -5*g + 4. Suppose -5*n - 4*p + 7685 = 0, -2*n - 1405 = g*p - 4477. Is n composite?
True
Let i = -13479 + 27016. Is i composite?
False
Let z(p) = -p**3 + 5*p**2 - 4*p + 3. Let q be z(4). Suppose -q*i - 34 = -i. Is (1 - 0) + (-4 - i) composite?
True
Let q(v) = 19*v**2 + 23*v - 57. Is q(14) composite?
False
Suppose -5 = -5*u, -4*a + u = a - 144. Suppose 4*p - 5*p = -a. Let z = 144 - p. Is z a composite number?
True
Let x = 1272 + -606. Suppose 3*r = 3*h + x, -2*r + 3*h + 466 = 23. Is r a composite number?
False
Suppose -5327 = -d + 3*u + 11529, d = -3*u + 16862. Is d a prime number?
False
Let u(h) = -1 + 76*h + 71*h - 25*h. Let s be u(2). Suppose -r + s = 3*n + 2*r, 0 = -2*n + 2*r + 170. Is n a composite number?
False
Let h be (0 - -2)/(2/(-1)). Let f(n) = 11*n**3 + 2*n**2 - 1. Let t be f(h). Is (t - -4)*(-58)/6 composite?
True
Suppose -r + 90 = h, 4*r + 0 = 8. Suppose -h = -u + 2*l, 0 = 3*u - 0*u + 3*l - 255. Let a = 231 - u. Is a prime?
False
Let g be (0 - 2)*(-8)/4. Let c(d) = -g - 3*d**2 - 13 + 4*d**2 - d + 0. Is c(16) composite?
False
Suppose -34 = -5*c + 71. Is (-3)/c + (-2670)/(-21) a composite number?
False
Let x(n) = n**2 + 13*n + 3. Let d be x(-13). Let f be -99 - 2 - (4 - d). Let j = -67 - f. Is j a composite number?
True
Suppose 0 = -5*b + 25 - 5. Suppose 14*w - b*w - 48610 = 0. Is w prime?
True
Suppose 3*c - 873 = -3*r, 10*c - 1462 = 5*c + 2*r. Let o = 888 + c. Is (-1)/6 + o/24 composite?
True
Let h = -6488 - -10725. Is h prime?
False
Let k(z) = 33*z + 19. Is k(26) composite?
False
Suppose 8*r = 12*r - 59976. Suppose -r = -4*x - 4462. Is x a composite number?
False
Let t(z) = 464*z - 353. Is t(11) a prime number?
True
Suppose 0 = -3*x + v + 15, -v - 20 = -3*x - x. Suppose -2224 = -x*z - 0*z - u, 0 = 3*z - 5*u - 1340. Is z prime?
False
Suppose -3*p = h - 5*h + 105, 5*h + 175 = -5*p. Is (-1)/((-3)/(-1578)*10/p) a composite number?
True
Suppose 2 + 0 = v - 5*w, 5*v + w = 10. 