u + 26*u. Is u a prime number?
True
Let a(j) = 166*j**3 + 12*j**2 - 16*j + 239. Is a(19) composite?
True
Suppose 0 = 5*m - 5*j - 2000101 - 250884, 5*m + 3*j - 2251001 = 0. Is m prime?
True
Let f(t) = 126*t**2 + 36*t + 609. Is f(-30) a prime number?
False
Let c(y) = -78*y - 4. Let v(p) = -78*p - 5. Suppose 10*j - 6*j = -16. Let d(w) = j*c(w) + 3*v(w). Is d(2) a prime number?
True
Let n = 60 - 51. Suppose 3*s = s - 4*i + 32, -s + 3*i = n. Let v(h) = 5*h**3 - 4*h + 5. Is v(s) prime?
True
Suppose -7*r + 947013 + 155578 = -0*r. Is r prime?
True
Let k(m) = m + 259. Let z = -42 + 42. Let w be k(z). Is 1*((9 - 10) + w + -1) a composite number?
False
Suppose -2*h = -2, 49*a + 3*h = 53*a - 453953. Is a a prime number?
True
Suppose 229*s = -2*c + 233*s + 119174, 5*s + 59608 = c. Is c composite?
True
Let n(m) = -16292*m + 19. Let r(v) = -v**3 + 16*v**2 - 18*v + 39. Let h be r(15). Is n(h) a prime number?
True
Is (8 - 217236/(-24))*2 prime?
True
Let d = -179 - -738. Let f = -1436 + d. Let v = 1368 + f. Is v a composite number?
False
Suppose w - 1111 = -3*k, -3*w + 8*k + 3305 = 10*k. Is w prime?
False
Suppose -29*b + 133168 = -15*b. Let v = b + -5505. Is v a prime number?
True
Let x be (-5)/(-45) + (-2)/((-72)/408884). Suppose 29293 = 5*q + x. Is q a composite number?
True
Let y(j) = 13*j + 51. Let v be y(-3). Suppose v*b - 30*b = -56934. Is b a prime number?
True
Let l(k) = k**2 + 7*k + 10. Let q be l(-6). Suppose -q*s + 3*t = 4*t + 9704, -2*t = -8. Let a = -956 - s. Is a prime?
True
Suppose -3*r + 24 = -0*r + 3*n, r - 16 = 3*n. Let j be (4/5)/(4/r). Suppose j*u - 368 = -w + 3*w, -w - 363 = -2*u. Is u a composite number?
False
Suppose 0 = 5*a + 4*w + 5199, 5*a - 349 + 5556 = -2*w. Let o = a - -2103. Suppose -5*n + n = -o. Is n a prime number?
False
Suppose 0 = -28*d + 45*d - 109599. Let i = d - -20672. Is i composite?
True
Let z(h) be the first derivative of 147*h**4/4 - 4*h**3 - h**2 - 26*h + 3. Let c(g) = -49*g**3 + 4*g**2 + g + 9. Let k(x) = 11*c(x) + 4*z(x). Is k(3) composite?
False
Suppose 8701867 = 30*w - 225743. Is w a composite number?
True
Let m be (-80)/25 + 2/10 - -41. Let q = m + -45. Is (q - -9)*1282/4 composite?
False
Suppose -15*f - 18 = -17*f. Is (f + 16/(-2))*7867/1 a composite number?
False
Suppose 90 = 2*p - 2*t, -3*t = 4*p + 2*t - 153. Let r = -38 + p. Suppose -5*a + 15 = 0, r*d - 5*a - 2721 + 196 = 0. Is d composite?
True
Suppose 287*y - 387900 = -4*d + 291*y, 484879 = 5*d - 3*y. Is d prime?
False
Let j be (-4)/(-14) + 2110239/(-189). Let z = -6988 - j. Is z a prime number?
True
Suppose 5*i + 2*x = 13877135, -8452426 - 5424709 = -5*i + 5*x. Is i composite?
True
Suppose -5*k = 5*b, 72*b = -2*k + 76*b. Suppose k = -347*v + 351*v - 4156. Is v prime?
True
Let g be ((-1368)/(-32))/19*(-68)/(-3). Suppose 48*y - g*y = -8733. Is y a prime number?
False
Let q be 10/4 - 2/4*1. Suppose -7236 = -q*d + 14054. Is d composite?
True
Let k(d) = 9937*d**2 + 111*d + 109. Is k(-20) composite?
True
Let x be 2 - (16/32)/((-2)/84). Suppose -x*t + 51534 = -5*t. Is t prime?
False
Let x = -157536 + 282302. Is x a prime number?
False
Let j(x) = -21*x**3 - 3*x**2 + 13*x - 14. Let p be j(4). Let y = -897 - p. Is y prime?
True
Suppose 13*d = 1353406 + 1513019 - 371738. Is d a prime number?
True
Let u be (-9 - 879/(-21)) + (-1)/(-7). Suppose 4*f - 16552 = -2*v, 3*f - u*v = -31*v + 12421. Is f composite?
False
Let g(f) = -21*f + 51. Let v be g(-19). Suppose -v*k + 454*k = 19004. Is k composite?
False
Let c be ((-16)/6 - -2)*-6. Let n be (-930)/70 - 6/(-28)*12/9. Is c*1915/14 + n/91 a composite number?
False
Suppose 2*b = -4*f + 259698, -2*f + 4*f = b + 129859. Suppose -f = -2*a - 4*u + 22771, a - 43845 = -4*u. Is a prime?
True
Suppose -27225 = -4*u - 5*r, 5*u - 27749 - 6226 = 5*r. Is 3 + u + -3 - (-3 + 2) composite?
True
Let x(f) be the third derivative of 265*f**4 - 7*f**3/6 - 32*f**2 - f. Is x(1) composite?
False
Let k be 78*(9/(-2) + 2 - -3). Let m = -39 + k. Suppose o + m*o - 633 = 0. Is o prime?
False
Let n(r) = -r**2 + 4*r - 11. Suppose -5*d + 28 = -3*a, -19 = -2*d + 5*a - 4. Let s be n(d). Let m(v) = -2*v - 1. Is m(s) composite?
False
Suppose 0 = 2*f + x - 725, 104 = 3*f - 5*x - 1016. Is (35753/5)/(73/f) composite?
False
Let v(t) = -2358*t**3 + t**2 + 3*t + 1. Let l be (-65)/78 - (20/(-24) + 1). Is v(l) prime?
True
Suppose 0 = -3*z + 2*k - 32, 2*k + 2 + 2 = 0. Is -3*(-4)/(-6)*7122/z a composite number?
False
Let m be (-11 + 7)*(-9)/12. Suppose -m*f = 2*p - 13238, -2*p + 5*f = p - 19857. Is p prime?
True
Let t = 25065 + -9514. Is t prime?
True
Suppose 5411 = 2*p - 0*p + 3*b, 4*p - 4*b = 10872. Let g = -1734 + p. Suppose g = -t + 2*t. Is t a prime number?
False
Suppose -2*d - 1 = -5. Suppose 0 = -58*o + 53*o. Suppose o = -2*v - 5*b + 1017, 269 = -2*v - d*b + 1289. Is v prime?
False
Let l(o) = 12817*o - 2787. Is l(10) composite?
False
Suppose -61*k = 51*k - 143*k + 725369. Is k a prime number?
True
Let y(b) = 6*b**3 - 14*b**2 + 7*b + 27. Let m(k) = -k**3 - k**2 + k - 2. Let j be m(-3). Let u be y(j). Is 4/(-12) - u/(-6) a composite number?
True
Is ((-20237)/(-2) + 1/(-2))*4030/620 prime?
False
Let u(v) = -13*v - 35. Let w be u(-3). Suppose 0 = -h + w*i + 1917, 5*h + 3*i - 9562 = -0*h. Is h prime?
True
Let f = 38 - -64. Suppose 3*z = 6, o + 3*z - f = 298. Is o prime?
False
Let z = -312677 - -693230. Is z prime?
False
Let r(n) = -n**3 - 10*n**2 - 16*n + 1. Let k be r(-8). Let t be (-9 - -10)*(1 - k). Suppose t = 5*f + 2*f - 2954. Is f a prime number?
False
Suppose 40*v - 35*v - 2*f - 559591 = 0, 0 = -5*v + 6*f + 559583. Is v a prime number?
True
Suppose 2*o - 3*o + 2*m = 19324, 0 = -3*o - 2*m - 57996. Let q = 28347 + o. Is q prime?
False
Suppose 0 = 115*b - 77*b - 105266641 + 32926155. Is b prime?
False
Let c(g) be the second derivative of g**5/10 + 13*g**4/12 + 5*g**3/6 - g**2 - 18*g. Let h be c(-6). Suppose -5*o + h = -6, 4*f - 1294 = 5*o. Is f prime?
False
Suppose -332*r - 30514110 = -180*r - 182*r. Is r a prime number?
False
Let w = 1133868 + -599389. Is w a prime number?
False
Let t(j) = 63*j + 80. Suppose 7*x - 18*x + 187 = 0. Is t(x) composite?
False
Is (-20)/21 + 8/12 - (-578545)/7 a composite number?
True
Let r(x) = 5*x**3 + 17*x**2 - 9*x - 44. Let i(q) = 4*q**3 + 17*q**2 - 9*q - 43. Suppose 3*d + 11 = -7. Let f(z) = d*i(z) + 5*r(z). Is f(17) a prime number?
True
Let c = -12 + 16. Suppose -q - c = 26. Is ((-116)/(-6))/((-4)/q) composite?
True
Let o be 10/(-30) + 56/6. Let s = o - 7. Suppose -f + 3*c + 22 = 0, -4*f = -s*c - 35 - 23. Is f composite?
False
Let a = -246363 - -541136. Is a prime?
True
Suppose 7*g = 11*g - 32. Suppose -46*x + g = -44*x. Suppose l + 1489 = 3*a - l, 0 = -2*a + x*l + 982. Is a prime?
True
Suppose 3*s = 5*s - 5*w + 2205, 3*s + 3*w + 3339 = 0. Let p = 1751 + s. Is p prime?
True
Let t = 11430 - -6757. Is t prime?
False
Let b = 7111 + -2089. Let g = -3479 + b. Is g composite?
False
Let l(c) = 2*c**2 + 4*c + 31. Let k be (-50)/18 - (-14)/(-63). Let a be (-5)/(-3)*k*-3. Is l(a) prime?
True
Let p(h) = h**3 + 10*h**2 - 10*h + 13. Let i be p(-11). Suppose 0*w = -i*w + 4726. Is w prime?
False
Let i(k) = -720*k - 153. Let v be i(10). Let u = -2818 - v. Is u composite?
True
Let x(l) be the first derivative of -3*l**2/2 + 27*l + 9. Let f be x(9). Suppose f = -2*y + 570 + 700. Is y composite?
True
Suppose -32*s - 7*s = -1088997. Is s prime?
False
Let w(b) = 295*b - 809*b + 173*b - 3 - 2343*b. Let d be w(-13). Suppose 5*t - 4086 - d = 5*n, 23377 = 3*t + n. Is t prime?
True
Let y = 1278 - -903. Suppose -5*j + 5*u + 5715 = 0, -3*j - u = -1240 - y. Is j a prime number?
False
Suppose -4821921 = -11*d - 4*h, 74833 + 363542 = d + 5*h. Is d composite?
True
Suppose 1634*p - 1705568 = 1631*p - c, -3*p + 1705573 = -4*c. Is p a composite number?
False
Suppose 190 = 21*p - 314. Is (712/12)/(16/p) prime?
True
Let y be 3*(-11)/33 - (-2 - -1). Is (-2)/6 - ((-17008)/3 + y) a composite number?
False
Suppose 3*j - 1098 = 1566. Suppose 4*k - 2945 = -h, 3*k - 3090 + j = -3*h. Is k composite?
True
Let x = 76 - 74. Suppose 2*k = -2*p - 6856, -4*p - x*k - 6960 = 6754. Let d = p - -5360. Is d a composite number?
False
Let y(u) = -2*u**2 + 18*u + 9. Let v(b) = -b**2 + 9*b + 5. Let i(r) = 11*v(r) - 6*y(r). Let x be i(9). Let s(t) = 115*t**2 + t - 1. Is s(x) composite