 greater: v or i?
v
Let x(y) be the third derivative of -y**4/24 - 39*y**2 - y. Let k be x(-4). Which is greater: 3 or k?
k
Suppose -4*m + 95 = -5*z + 96, 0 = -3*m + 2*z - 6. Is m at least as big as -240/49?
True
Let d(m) = -2*m**3 + 27*m**2 - 6*m + 3. Let g be d(13). Let s = -87 + g. Suppose 15*l = s*l. Are -1 and l nonequal?
True
Let l be (114/(-21) - (-30)/70) + (-144)/(-32). Is 21/101 less than l?
False
Suppose -4*n - q = 413, -27*n = -28*n + 4*q - 133. Is -97 smaller than n?
False
Let y = -114.98 - -105.2. Let z = y - -9.7. Which is smaller: z or -7?
-7
Let o = 31.51 - 0.51. Let q = 17 - o. Let l = 132.39 + -132.79. Which is smaller: l or q?
q
Let v = -3709 + 3206. Are v and -502 nonequal?
True
Let o be (28/3)/(-2) + 2. Let m = -55 - -57. Let v be (2/1)/(m*6/(-24)). Which is bigger: v or o?
o
Let n be (12/(-10))/(76/25 + -3). Let l be n/(-35) - (7 + -1). Is -5 not equal to l?
True
Let m = 4.4 + -22.4. Let d = -243326/3 + 81108. Is d equal to m?
False
Let t = 41899246/301 - 139200. Which is greater: 2 or t?
2
Let m = 28930 - 8823629/305. Is m greater than or equal to 0?
True
Suppose 5*n - w = 2189, 43*w + 2194 = 5*n + 47*w. Which is bigger: n or 434?
n
Let g = 3184 - 22332/7. Let n = -365/84 + -37/12. Let t = n - g. Do -1 and t have the same value?
False
Let o = -10/319 + -3469/1276. Let z = 69 - 143/2. Let n = o - z. Which is bigger: 5 or n?
5
Let y be ((-33)/(-174))/((-6)/28). Let x = y + 6975/7859. Which is greater: x or 1?
1
Let z = -0.1175 - -0.1475. Which is bigger: z or -237?
z
Let c(x) = 2*x + 21. Let q be c(-7). Suppose -q*k - 404 = -145. Which is smaller: k or -107/3?
k
Let u(m) = 4*m**2 - 9*m - 5. Let d be u(3). Let s = 63 - 39. Suppose -3*v + d*w = -2*v + 12, 0 = -2*v - 4*w - s. Is v less than -12?
False
Let x(u) = -2*u**3 + 17*u**2 - 30*u + 1. Let w be x(6). Is 2/12235 > w?
False
Let i be 358440/(-1240) + (-16)/(-248). Which is bigger: i or -6?
-6
Let y = 256.953 - 257. Let l = 58 - 35. Suppose 18*q - 5 = l*q. Which is greater: y or q?
y
Suppose 3*d + 3*o = 675, -11*d = -9*d - 3*o - 440. Let y = d + -242. Are y and -20 nonequal?
True
Let h be (11 + -12)/(2/(0 + -2)). Do h and 23/74 have different values?
True
Let c(k) = -k**3 - 8*k**2 - 11*k - 22. Let h be c(-7). Let l be ((-21)/h)/((-1)/2). Let r = -31/4 + l. Is r at most as big as 0.06?
True
Let i(z) = -47*z + 2242. Let t be i(53). Is t less than -243?
True
Suppose 6*t = 21 + 93. Suppose 670 = t*b + 195. Is b < 99/4?
False
Let s = -38259970/149169 - -14620/57. Is -1 not equal to s?
True
Let p = -2185.1 - -2183. Is -0.286 bigger than p?
True
Let t be 4/(-18) + (-128)/(-576). Which is greater: t or 2/6687?
2/6687
Let i(f) be the first derivative of f**5/120 - 5*f**3/3 - 30. Let t(x) be the third derivative of i(x). Let u be t(-6). Which is bigger: u or -58/9?
u
Let u = 884 + -885. Which is greater: u or -0.2378?
-0.2378
Let z(q) = 3*q**2 - 3*q + 71. Let h be z(7). Is h not equal to -29?
True
Let w = 577538/17 + -33973. Let c(f) = -2*f**2 + 2*f. Let b be c(2). Let m be b/10 - 1/(-15). Is m at most w?
True
Suppose -1445 = -3*j - 4*h, -14*j - 2*h + 966 = -12*j. Do j and 488 have the same value?
False
Suppose 4*r - 4*n = 1680, 3*r + 2*n - 1307 = -42. Which is smaller: r or 1/9?
1/9
Let m be (-3)/27 - 71/9. Let l(j) = 35*j + 304. Let v be l(m). Suppose 2*u - 6*u + 96 = 0. Is u != v?
False
Let m = -2/1175 - 2336/8225. Which is smaller: -1179 or m?
-1179
Suppose 26*y - 36 = 8*y. Let c be (-2)/4 + (-63)/(-14). Suppose 4*z = -2*g - 86, 4*z - 113 = c*g + 107. Are g and y equal?
False
Suppose -82 = 65*h - 43*h + 28. Let z = -13 + 8. Is h > z?
False
Let w = 282 - 274. Suppose w*k = 9*k - 1. Let s = -2/21 - -71/525. Which is smaller: s or k?
s
Suppose -24*r + 97*r + 100 = 48*r. Does r = -19?
False
Suppose -208 = -3*h - 28. Let a(l) = l**2 + 23*l - 930. Let g be a(22). Do g and h have the same value?
True
Let d be ((-484)/77)/11 + (-681)/(-126). Is d greater than 19?
False
Suppose 4*i - n - 1479 = 65, -n + 381 = i. Let b = i - 260. Which is smaller: b or 126?
b
Let b = -2736 - -2717. Is b at least -107?
True
Suppose 3*u - x - 4 = 0, 7*x - 9*x = -4*u + 8. Suppose -2*v + u*n + 285 = -3*n, -5*v + 717 = -3*n. Is v <= 144?
True
Let g(w) = w + 16. Let v be g(-5). Suppose -16 = 3*r - v*r. Suppose 0 = -z - z + 2*j + r, 4*z + 2 = -2*j. Which is greater: 3/10 or z?
3/10
Let p(u) = -u**3 - 27*u**2 - 16*u - 66. Let q be p(-7). Is 0.1 less than q?
False
Let g = 3604 + -3209. Is g != -2/11?
True
Let y = -543 - -545. Suppose g + y = 0, 184 = -2*v + 4*g + 38. Is v greater than or equal to -78?
True
Let i = 2 + -2. Suppose -2*t - 3*v + 7 = i, -3*v = -3*t - 13 + 1. Let h = -8993 - -8991. Is t > h?
True
Let k be (-4)/(-10) - (-72700)/2000. Which is smaller: k or -1?
-1
Let z = -21 - -19. Let i(r) = -r**2 - 57*r + 110. Let n be i(-59). Which is greater: z or n?
z
Let b be -1 - (37408/42 - 6/9). Is b greater than or equal to -898?
True
Let b be 29/(-9) - (-12)/54. Let z(s) = -2*s**2 - 7*s - 4. Let q be z(b). Let j = q - -2. Which is greater: 1/12 or j?
j
Let g(w) = -178*w - 1397. Let r be g(-8). Do r and 7 have the same value?
False
Let z be 1225/409 - 6/2. Let n(g) = -2*g**2 + 491*g + 991. Let o be n(-2). Which is smaller: o or z?
z
Let q be ((-2)/(-39))/(2/6) + (-633024)/1872. Is q > -333?
False
Suppose -9*j - 33962 + 107303 = 0. Is j equal to 8147?
False
Let p = 11064 + -11113. Is -167 > p?
False
Let c(w) = 5*w**2 - 50*w + 42. Let a be c(-12). Is a at most as big as 0.1?
False
Let k be (-9958)/(-11454) - (-30)/(-45) - 0. Let d = 6/83 - k. Which is bigger: 1 or d?
1
Let k be (1148/(-98) - -12) + 88/(-14) + 3. Which is bigger: -431 or k?
k
Let m = -9473 + 9349. Is m greater than or equal to -128?
True
Let w = 76.1 + -11.1. Let s = 25 - w. Let b = s + 37. Is b greater than or equal to -1?
False
Suppose 2*b = 7*b - 60. Let q(j) = -j**3 - 6*j**2 - 18. Let a be q(-6). Let z be (52/6)/(-1)*a/12. Is b at most z?
True
Let k be -4 - 7/(-2)*88/14. Let z = 38 + -22. Let j = k + z. Is 34 smaller than j?
False
Suppose 21*n = 33*n - 720. Let k be 1 + (3 - n/(-8)). Do 13 and k have different values?
True
Let t be (5*23)/((-3900)/168 + 23). Which is bigger: t or -538?
t
Let w be 5/((-40)/(-2112)) + 1. Suppose 261 = -4*x + w. Is x >= -96?
True
Suppose -310 = -2*d - 8*d. Suppose m + d + 11 = 3*i, 4*m - 56 = -4*i. Let z(b) = 2*b + 3. Let g be z(5). Is g >= i?
False
Let p = -457 + 457.0596. Let n = -128.0596 + p. Is -2 not equal to n?
True
Suppose -20*d - 28 = -24*d. Let v be (-138)/18 + d - (-110)/3. Let j = -36 + v. Is 0 at most as big as j?
True
Let z = 147 - 133. Suppose 0 = -5*b - 9*b + z. Which is smaller: -2/1417 or b?
-2/1417
Let z = 23 + -12. Let w = z - 5. Let n be w/18*9/(-48). Which is smaller: n or 0?
n
Let w = -910 + 945. Let r = -34.23 + 0.23. Let n = w + r. Which is smaller: n or 3?
n
Let j(a) = 89*a**2 + a - 2. Let v be j(-2). Let d be 20/((-120)/54) + 9. Suppose d = 14*b - v - 642. Is 71 != b?
False
Let a be (-5)/2*2 - (-381587)/76301. Do a and -1 have different values?
True
Let q(p) = 47*p + 2*p**3 - 42*p + 4 - 13*p**2 + 2. Let r be q(6). Is r < -2?
False
Let j(y) be the third derivative of y**6/120 - y**5/20 - 7*y**4/6 + 61*y**3/6 + 52*y**2 + 3*y. Let g be j(6). Is 6.6 at least as big as g?
True
Suppose -271*n = -281*n - 90. Let z be (-2)/146*(27 - n)/6. Is z bigger than -1?
True
Let w(t) = 33*t + 45. Let z(l) = 2*l + 36. Let h be z(-13). Let d be w(h). Let k be d/(-20) - 1/4. Which is smaller: -18 or k?
k
Let x = 288 + -287.9. Let l = -1.131 - -0.651. Which is bigger: x or l?
x
Let n = 718 - 248. Let t = 316 - n. Is -155 at least as big as t?
False
Suppose 60*v - 48*v = -948. Let a = v - -80. Is 1/52 greater than a?
False
Suppose 0 = 4*d + 4*b - 10316, 25*b - 22*b = 4*d - 10295. Is d greater than 2578?
False
Let g = -0.4 - -0.37. Let a = -569771 - -569761. Is a less than g?
True
Let s(p) = -19*p**2 + 148*p - 29. Let h be s(9). Which is bigger: h or 5?
5
Let f(n) = 2*n**3 - 70*n**2 - 17*n + 260. Let j be f(35). Which is bigger: j or -307?
-307
Let p(j) = 2*j - 10. Let b = 74 + -63. Let i be p(b). Let h be 4/8 + (-23)/(-2). Is i at least as big as h?
True
Let n = -131 - -129. Which is smaller: n or -29/26?
n
Let n = -147 + 3529/24. Let z(q) = -88*q - 259. Let h be z(-3). Suppose -5*j = -5*w + h, -3*j + 1 