50/150)/((-1)/(-3)) a composite number?
True
Suppose -2*s = -q - 1406389, 4*s - q - 86085 - 2726690 = 0. Is s prime?
True
Let z(g) = -1 + 0*g + 0*g - g - 47. Let f be z(0). Is (-8)/f - (-7359)/18 prime?
True
Suppose -464*f + 506*f - 34481748 = 0. Is f composite?
True
Suppose 2667*a + 268342 = 2669*a. Is a prime?
True
Suppose 0 = 15*h - 46 - 29. Suppose -16*n + h*n = -935. Is n a composite number?
True
Let k(c) = -68886*c - 23. Is k(-1) a prime number?
True
Suppose -3*u + 4*y - 2*y = -2, -3*u = 2*y - 22. Suppose -30233 - 340 = -5*g - u*w, -3*g - 3*w = -18345. Is g a prime number?
True
Let s(u) = u**3 - 16*u**2 + 16*u - 15. Let n be s(15). Suppose 0 = -b - n*b + 1087. Is b prime?
True
Suppose -2*r - 7 + 25 = 0. Suppose -r*l - 7 = -295. Suppose -4*b = -n + 611, 0 = 5*n - 3*b - 3108 - l. Is n a prime number?
True
Suppose d = -3*o + 82, -2*o = -3*d + 6*d - 64. Suppose o*u = 28*u - 5878. Is u composite?
False
Suppose 0 = i + 2*h - 10, 3*i - 13 - 37 = -2*h. Is 2229/6 + (i/8 - 1) composite?
False
Let l(q) = -8*q - 10. Let n(f) = f**3 - f**2 - f - 38. Let u be n(0). Let r = u + 34. Is l(r) composite?
True
Suppose -c = -i + 3, -i + 12*c = 15*c - 11. Suppose i*h + 156 = 7561. Is h a composite number?
False
Let o(c) = -22222*c + 7. Let q(v) = -2. Let u(y) = o(y) + 6*q(y). Is u(-1) a composite number?
True
Let h(w) = 301*w**2 + 70*w + 1143. Is h(-20) prime?
False
Suppose 336*d - 22206866 = 314*d. Is d a prime number?
False
Suppose 3*c - 2993 = u + 3853, 3*u + 2*c = -20494. Let g = 17131 + u. Is g a composite number?
True
Let p(a) = -2*a**3 - 12*a**2 + 12*a + 14. Let k(w) = -w**2 + 46*w - 35. Let s(u) = 15*u - 12. Let y(j) = 2*k(j) - 7*s(j). Let l be y(-8). Is p(l) composite?
True
Is (-3)/(164191/(-1559273) + 40/380) a prime number?
True
Suppose -2*b + 560 = 2*z, 2*b - 548 = 6*z - 4*z. Let f(s) = -140 - b*s - 137 + 285. Is f(-3) prime?
True
Let j be (2 - -1)/(7 + 186/(-24)). Is (-1390)/j*(-18)/(-15) prime?
False
Suppose -2*r + 23*k = 21*k - 6, -2*k = -3*r + 11. Suppose 4*d - 3810 - 870 = 0. Suppose -8065 - d = -r*o. Is o a composite number?
False
Suppose 0 = -h, -4*x + 3*h - 125 = -33. Suppose -z = 5*o - 41, -5*z + 90 = -o + 3*o. Let j = z - x. Is j prime?
False
Suppose -26*f - 39*f = -3232385. Is f prime?
False
Let f(q) = -2*q**3 - 48*q**2 - 103*q + 283. Is f(-38) a prime number?
False
Let u(v) = -v**3 - 8*v**2 - 8*v - 5. Let p be u(-7). Suppose -5*o + 2*d - 25 = 0, -7*o + p*o - 40 = d. Let y(m) = 5*m**2 + 3*m - 1. Is y(o) a composite number?
False
Let l(a) = 8474*a + 269. Is l(10) a prime number?
True
Let r = -230674 - -457331. Is r a prime number?
True
Suppose 3*w - 51 = -3*d, 4*d - 67 = -d + 4*w. Let n = 201 - 127. Let t = d + n. Is t a prime number?
True
Let p be -2 - 0 - (-4 + 6)*-1. Let v(o) = 5*o + 693. Let j be v(p). Suppose i - 4*i = -2*a - j, 2*i = -3*a + 475. Is i a prime number?
True
Let g(k) = k**2 + 17*k + 38. Let d be g(-3). Is (6/(-4))/((-2)/d) + 3302 a composite number?
False
Let x be 247/(70/(-12) + 6). Suppose 2*z - x = 940. Is z a composite number?
True
Suppose -4226302 = -21*k + 3360641. Is k a composite number?
True
Suppose -5*i + v = 4*v - 178, -3*v = i - 26. Suppose -20426 = i*r - 52*r. Is r prime?
True
Suppose -5*p + 85 - 35 = 0. Let y be -1 + p - (-30)/(-6). Suppose 0 = -3*h + 4*h - 3*n - 12614, h - y*n - 12615 = 0. Is h prime?
True
Let u be (28/6 + -4)*(9 - 3). Suppose 4*x + 24015 = 7*x + u*w, 5*x - 40033 = -4*w. Is x prime?
True
Is ((-40)/8)/(187938/(-234810) + 4/5) a prime number?
False
Let y(n) = 60*n**2 + 82*n - 1628. Is y(-59) prime?
False
Let f(z) = -162*z - 1495. Is f(-113) a prime number?
True
Suppose 64*l + 12 = 67*l. Suppose -4*s - 262 = f - 1632, -l = -s. Is f a prime number?
False
Suppose -4*i + 3*i = 0. Suppose -q - 3*u + 23 = i, -3*u + u = 4*q - 42. Is (639/(-36))/((-2)/q) a prime number?
True
Let k = -201419 - -342420. Is k composite?
True
Let y = 394772 - 12079. Is y a prime number?
True
Suppose 7 - 22 = -5*m. Is (290/4 + -2)*22/m prime?
False
Let b = 49 - 48. Let h be b*(-1)/(3/2292*-1). Suppose 0 = -5*c + h + 4721. Is c prime?
True
Suppose -3*k - 2*m + 29 = 0, 4*k + 2*m - 42 = -6. Let d(u) = 7 + 8*u + 2*u**3 - k*u + 6*u**2 - 8*u + 23*u. Is d(10) a composite number?
False
Let x be (-15)/(-10) - 1995/10. Let b(d) = d**3 - 6*d**2 + d - 6. Let r be b(6). Is 4 + r - (-11 + x) composite?
True
Suppose -2*s = -5*x + 1303179, -181*x + 182*x = -3*s + 260629. Is x a prime number?
False
Let n(z) = z**2 - 14*z + 19. Let i be n(4). Is (-7)/(i/18) + 2761 a composite number?
False
Let h = 215 + -102. Let p = 104 - h. Is (-43)/p - 5 - (-59487)/27 a composite number?
False
Suppose -2*a - 708 = 1200. Let o = a - -1433. Is o a composite number?
False
Let b(t) = 7031*t**2 - 40*t + 79. Is b(2) a composite number?
False
Let b(j) = 325*j + 30. Let v(o) = 2*o**2 + 11*o - 16. Let d be v(-7). Is b(d) a prime number?
False
Let j(u) = -5 - 4 + 1 + 7303*u - 4 + 3. Is j(2) composite?
True
Suppose 3*j - 122 = -4*q, q + 5*j + 0 = 22. Suppose -8*r + q = -0*r. Is (1225/2 - (7 - r))*2 prime?
False
Let w be (132/55)/(2/5). Suppose -6*z = w*z - 3804. Suppose -2*s + z = 4*a + 35, 5*s + 2*a = 697. Is s composite?
False
Suppose -5*j = 6*v - v - 1735, -2*v = 3*j - 699. Let a = v + -229. Let x = 294 - a. Is x a prime number?
True
Is (2 + -1)*((-1021165)/(-15))/((-20)/(-60)) composite?
False
Suppose 4*m = 2*m - 12. Let f(b) = -b - 6. Let k be f(m). Suppose -g = -5*q - 0*q + 11582, -3*q - 3*g + 6960 = k. Is q prime?
False
Let y(t) = 1169*t + 197. Let c be (30/25)/(1/5). Is y(c) a composite number?
False
Suppose 24*s - 3294023 - 2505847 = -30*s. Is s a composite number?
True
Suppose -48*d = -51*d + 7563. Suppose -2*l + 5*r + 4248 = 0, -4*l - d + 11035 = -r. Is l a composite number?
False
Suppose 13*b = 9*b + 36. Suppose 2*z - q + 0*q - b = 0, -4*q = -4*z + 28. Suppose z*y = 4*n + 5*y - 3865, -4*n = -5*y - 3873. Is n a composite number?
False
Let m be ((-6)/(-18))/(5/30). Is m/10 - 4*(-5135)/50 composite?
True
Suppose 7*r + 31 - 402 = 0. Suppose -r*l = -45*l - 536. Is l a composite number?
False
Suppose 3*s + 4203 = -690. Let r = 2724 + s. Let x = r + -291. Is x a composite number?
True
Let n = -372484 - -566733. Is n a prime number?
False
Suppose -2*d = 47*p - 44*p - 602913, 0 = 5*p - 4*d - 1004855. Is p prime?
True
Let s(x) = -x**3 - 36*x**2 + 76*x + 5. Let q be s(-38). Suppose -3*n = 3*f - 33249 + 2925, -q*f - 4*n = -50541. Is f composite?
True
Suppose 35635 = -13*t + 8192. Let r = t + 3172. Is r prime?
True
Suppose 5*j = 5*f - 60925, 2*f = 139*j - 141*j + 24346. Is f prime?
False
Let f be -3 - (-8)/3*(-9)/(-2). Let i be f/(-9)*3*(-1 - 0). Suppose 3*g - 3*o = -0*o + 10986, -10989 = -i*g + 4*o. Is g prime?
True
Suppose 5*z + 486518 = 2*x, -6*z + 5*z = -5*x + 1216203. Is x composite?
False
Suppose 263*d + 2081569 = 312*d. Is d a prime number?
False
Let z(i) = i**3 - 22*i**2 + 20*i + 9. Let j be z(21). Let a be 69 - ((-4)/j)/((-1)/(-3)). Suppose v - a - 90 = 0. Is v a prime number?
False
Let s = 59 + -63. Let v be ((-25)/(-10) + s)/(3/(-16)). Is (-3452)/v*(-4 - -2) composite?
False
Suppose -w - s + 692539 = -4*s, -4*w = 2*s - 2770268. Is w a composite number?
True
Let t(n) = 76*n**2 + 2*n - 15. Suppose -31*m + 32*m - 40 = 0. Let w = m - 35. Is t(w) prime?
False
Suppose 0*s - s + 4*s = 0. Suppose 8*l + 536 - 6376 = s. Suppose 2*u = -5*y - u + l, -3*y - 5*u = -422. Is y prime?
True
Let y be 2/(-14) - (-114)/14 - 3. Suppose 3*z = z + q + 3467, y*z - 5*q = 8660. Is z prime?
False
Suppose 47*t = 30017408 - 7455951. Is t a prime number?
False
Let v be -5 - 1*-48*2. Is (-6)/(-14) - (-17342)/v a prime number?
True
Let t be (18 + 3)/(-1) - 0. Is (-396)/(-54)*t/(-2) a prime number?
False
Let p(z) = 310*z - 154. Let m(w) = 618*w - 307. Let s(x) = 3*m(x) - 5*p(x). Is s(6) a prime number?
False
Let o = 16 - 20. Let s be (202/o)/((-2)/76). Let w = s - 1122. Is w prime?
True
Let m(t) = -t**3 + 8*t**2 - 11*t - 3. Let u be m(6). Suppose 2695 = u*v - 3*q - 1091, -1270 = -v - 3*q. Let y = 2063 - v. Is y prime?
False
Let r(u) = 1575*u**2 - 2*u + 4. Let q be 210/42 + (-1 - 7). Is r(q) composite?
True
Suppose -f + 4*y - 84 = 44, 491 = -4*f - 5*y. Let k = f - -128. Suppose 0 = -k*x + 7291 - 1703. Is x a composite number?
True
Let t(x) = x**3 - 4*x**2 + 33*x - 39. Suppose 103 