(m). Suppose 2*f = 3*f - 7. Which is greater: f or g?
g
Let d = -272 - -280. Suppose d*s = 4*s + 316. Is 79 <= s?
True
Let r = -1.4 - -1.6. Let q = r + 3.8. Let s = -214.94 + 215. Which is greater: s or q?
q
Let a be 10/3*1953/(-155). Let w(g) = g**3 + 13*g**2 + 4*g + 10. Let q be w(-13). Is q < a?
False
Let f(o) = -3*o**3 + o**2 + 4*o + 4. Let v(u) = 27*u - 79. Let p be v(3). Let m be f(p). Which is greater: m or -13?
m
Let z(g) = -13*g + 86. Let q be (-10)/(-2) + (-6)/(24/52). Let r be z(q). Which is bigger: r or 189?
r
Let i(c) = c**3 - 24*c**2 + 5*c - 120. Let w be i(24). Suppose -5*n - 171 = 3*x, w = 3*n - 5*n + x - 64. Which is smaller: -39 or n?
-39
Let t = -39.08 - -42. Let x = 123.92 - t. Let u = x - 121. Which is bigger: 1/25 or u?
1/25
Suppose 196*v = 171*v - 25. Suppose -13 - 12 = -z. Is z equal to v?
False
Let k(o) = -6*o. Let c(y) = -15*y. Let u(t) = -5*c(t) + 12*k(t). Let p = -3 - -8. Let w be u(p). Is w equal to 15?
True
Let q = -82/651 + 4/21. Suppose -5*k - 4*l + 727 = 0, -2*l - 586 = -4*k - 3*l. Let o be (-5)/(-6)*(3 + k/(-45)). Does q = o?
False
Suppose -2*z + 4 = -27*r + 31*r, 0 = -r. Suppose 4 = 2*q - 0*q. Suppose -48 - 87 = -z*y + 5*k, -q*y + 145 = 5*k. Is y < 70?
False
Let m be (-47263)/(-14) - (-184)/2576. Is m equal to 3376?
True
Suppose 0 = 185*y - 177*y + 2864. Let z = y + 357. Which is bigger: z or -27/25?
z
Suppose -4*m + 3*l + 87 = -48, 2*l = 2*m - 66. Let s be (-1)/1 + 0 + 39. Does s = m?
False
Let u be 6*55/(-30) - 1893. Which is smaller: u or -1906?
-1906
Let v(o) = -o**3 - 77*o**2 + 694*o - 15285. Let r be v(-87). Suppose 5*u - 63 = 92. Is r > u?
False
Let i be 47 + -23 - 36/4. Is i equal to 56?
False
Let t be ((-4)/(-6))/((-10)/(-18735))*(-3 - -4). Which is bigger: t or 1250?
1250
Suppose 3 + 0 = u. Let g = 2 - u. Let d be (-6754)/59558*2/11. Is d at most as big as g?
False
Let d be (-5)/2*(-80)/50. Suppose 5*b - 1 + 5 = 4*h, 4*b = 2*h + d. Suppose -34 = -11*n - 1. Are h and n equal?
False
Let y = 217 - 188. Suppose 0 = -6*x + y + 7. Which is smaller: x or 11?
x
Let y be ((-6)/65)/(-5 + 1). Let x = -434228 + 434229. Which is smaller: y or x?
y
Let g = -208 + 1046/5. Let n(w) = 3*w - 4*w + w**2 - 72617 + 72608 + w**3. Let o be n(2). Which is smaller: o or g?
o
Let a = 5124487079/5892678 - 1/535698. Which is bigger: 870 or a?
870
Let s be -4 + (1524176/331760 - (-3)/(-5)). Which is smaller: -1 or s?
-1
Let m be (1 - (-2)/(-1)) + 22. Let q(h) = -2*h**2 + 29*h + 7. Suppose -16*b + 22 = -202. Let g be q(b). Is g smaller than m?
False
Let m be 110/198*3/5 - 65/(-39). Do 923 and m have different values?
True
Let x = 299/56 - 45/8. Let w = 3863 + -4005. Is x at least as big as w?
True
Let y(w) = 62*w + 6386. Let a be y(-85). Which is greater: 1106 or a?
a
Suppose -2*q + 2*v - 4 = 0, -q - 149*v + 151*v = 4. Which is bigger: q or 45/413?
45/413
Let o(q) = 9*q - 7. Let c be o(13). Let l = 22 + c. Suppose 11*m + m = -l. Which is smaller: 5 or m?
m
Let s(r) be the second derivative of -r**5/20 - r**4/4 - 2*r**3/3 - 25*r**2/2 + 149*r. Let o be s(-4). Which is greater: o or 1?
o
Let h(s) be the second derivative of -s**5/10 + s**4/12 + s**3/3 - 109*s**2 - 83*s. Let n be h(0). Which is smaller: n or -219?
-219
Let r = -1994 - -1993.9. Let y(f) = 6 + f - 6 - 20*f**2. Let l be y(1). Which is bigger: l or r?
r
Let x(a) = 1048 - 1057 + 14*a + a**2 + 0*a**2. Let q be x(-14). Which is bigger: q or 5?
5
Let i be -1 - 3/(-9)*-3. Let q be ((-106)/(-53))/((-210)/i). Is 0 bigger than q?
False
Let z = 4 - 16. Let l be 60/(-2) + (11 - 4). Which is smaller: z or l?
l
Let f = -17.46 + 17.1. Let o = f + 5.36. Is 1 > o?
False
Let p(g) = -5*g - 5. Let i be p(-2). Suppose 7*q - 3*q - 1 = 3*d, -i*q + 5*d + 5 = 0. Let w be (q + (330/(-21))/(-5))*1. Is w equal to 1?
False
Let v be (19894/4)/((66/(-12))/(-11)). Which is greater: 9949 or v?
9949
Let p = 11221 + -8465. Which is greater: 2759 or p?
2759
Let p = -1.90767 + -0.09233. Which is bigger: p or 11/190?
11/190
Let h(m) = -m**2 + 16*m + 195. Let y be h(-8). Let x be 2 + -3 + (9 - -1). Let s be y - (-2 + x)/(4*-1). Is 5 > s?
True
Let c = -1547 + 88181/57. Let m(j) = -9*j**2 + 33*j + 117. Let v(f) = 2*f**2 + f + 1. Let i(s) = m(s) + 4*v(s). Let k be i(-3). Which is bigger: c or k?
k
Let i = -0.18 + 18.18. Let m = -254 + 763/3. Is m less than i?
True
Let j(r) = 9*r**3 + 5*r**2 + 2*r - 1. Let z(a) = 4*a**3 + 2*a**2 + a. Let y(f) = -2*j(f) + 5*z(f). Let b be y(3). Let l = b + -58. Which is smaller: 2/13 or l?
2/13
Let y = 128.17 + -128.17. Which is smaller: -521 or y?
-521
Let o be (-816)/(-2600) + (-2)/(-52)*-4. Let m = o - 233/50. Is m at least as big as -4?
False
Suppose 114 - 306 = -881*x + 913*x. Let s be (-316)/(-10) + 4/10. Let q be ((-95)/s - -3)/(x/8). Which is greater: 0 or q?
0
Let y(d) = d**3 + 22*d**2 + 43*d - 567. Let x be y(-18). Let g = 108 + -152. Which is smaller: g or x?
x
Let b(o) = -12*o - 69. Let i be b(5). Let y be i/2*8/(-6). Is 87 != y?
True
Let o be (-2 - 3/2)*624096/(-1848). Which is greater: 2/3 or o?
o
Let w be (4/18*-183)/(2/(-15)). Let s be (-6)/15 - (-70068)/(-230). Let m = s + w. Is 1 smaller than m?
False
Suppose -2*u + 97 = 5*w, -4*w + w + 47 = 4*u. Suppose -w*q = -17*q + 172. Let j = q - -71. Which is smaller: j or 29?
j
Let v = -901 + 841.7. Let p = v - -59.4. Which is smaller: p or -0.047?
-0.047
Let k = 4458 + -4273. Let s be 186 + 0 - (-1 - -2). Is k less than or equal to s?
True
Let s(p) = 2*p**3 + 35*p**2 + 132*p + 194. Let m be s(-13). Let u be ((-6)/(-21))/((-54)/(-14)). Is u at most m?
False
Let p = -0.00389 + -0.09611. Which is bigger: 868/11 or p?
868/11
Let l be (-1)/(-1) + (2 - 6)*5/20. Which is greater: l or 3/62?
3/62
Suppose -15 = 2*w + 4*p - 83, 3*p - 161 = -4*w. Suppose 0 = -2*v - 10 - 38. Let y = 19 - v. Is w smaller than y?
False
Let f(d) = d**2 - 100*d + 2450. Let k be f(43). Which is bigger: k or -2/75571?
-2/75571
Suppose -3*c + 59 = f, -5*c + 2 + 13 = 0. Suppose -122547 = -56*w - 122491. Are f and w unequal?
True
Let r = 597 - 607.955. Let z = -492.955 + 493. Let o = z - r. Is o smaller than -2/5?
False
Let j = 50229539/11595 - 4332. Which is smaller: j or 1?
j
Let m = -24.21 + 5.21. Is 69 at least as big as m?
True
Let q be (-223)/5 - (-4)/(-10). Let t = q + 13. Let j be 27/15 + -1 - t/10. Is 4 greater than or equal to j?
True
Let a be (-470)/5*(-51)/17. Let g = 459 - 177. Is a not equal to g?
False
Let b = -126269061/1117 - -113043. Do 0 and b have the same value?
False
Let u = -27/11 + 69/55. Let s be (-8)/(-3)*(-6)/(-8). Suppose 5*q = s*f, q - 3*f = -q. Is u < q?
True
Let r = 308 - 308. Suppose 0 = -4*o - v + 4, r = 5*o - 5*v + 5 - 10. Let w be (1 - 273/279)*-3. Is w smaller than o?
True
Let m = 399 + -395. Suppose -3*q - 13 = 2*d - m, d + 4*q + 17 = 0. Suppose -2*y - 5*v = 1, 2*y + 16 = 6*y + 4*v. Which is greater: d or y?
y
Suppose 2*w - 4 + 10 = -3*n, -5*n - 10 = 2*w. Let k = -7625 + 7579. Which is greater: w or k?
w
Let n = 46.68 + -45.924. Which is greater: n or 0.3?
n
Let x(s) = -3*s**2 - 4*s + 9. Let a be (5 - 10)*18/10. Let f be x(a). Let n be ((-11)/f)/(2/(-8)). Which is smaller: n or 6?
n
Let i = 49 - 49.32. Let u = -2.32 - i. Let h = 8 + -4. Which is smaller: u or h?
u
Suppose 23*x = 10*x. Suppose -147*p + 140*p = x. Is p at most 4?
True
Let w = -247.09 + 252. Let v = w + 1.09. Which is smaller: 3 or v?
3
Suppose -2*g - 4*i = -236, 3*g - 190 = -4*i + 172. Suppose 0 = -4*t - 717 + 1221. Is t bigger than g?
False
Let q(b) = b**3 - 22*b**2 - 24*b + 15. Let u be q(23). Let l be u/(-20) - ((-737)/(-5) + 5). Which is bigger: l or -151?
-151
Suppose -4*y = -9*y + 65. Suppose 4*g - 2*x - 22 + 0 = 0, 2*g - 3*x - y = 0. Suppose i = t, 1 = -4*i + g. Is -1/54 at least t?
False
Let i = 4 - 13. Let y(d) = -8*d**2 - 7*d**3 - 11 + 6*d - 9*d**3 - 5*d**3 + 20*d**3. Let o be y(i). Is 16 at most o?
True
Let a = 4/25 - 33/50. Let d = 57329.39 - 57573. Let c = d - -244. Which is bigger: c or a?
c
Let s be ((-841)/(-7) - 13)*(1 - -6). Is s < 751?
True
Let b be 28/(-5) - -6 - (-396)/10. Let a be -3*(1 - 4 - -2). Suppose -b = -t - a*t. Do t and 11 have different values?
True
Let p = 2.017 - -0.283. Let m = -5 - -29. Let g = -25 + m. Are p and g non-equal?
True
Let g = 65 - 53. Let p be ((-13)/(-3))/(g/18). Let v(u) = u**3 - 8*u**2 + 7. Let a b