m(4). Which is smaller: t or l?
l
Suppose 12 = -78*g + 30*g + 12. Which is smaller: g or -3/2504?
-3/2504
Suppose 0 = 4*z - 422 + 162. Let u = 17 - z. Let b = 48 + u. Is -1/43 at most b?
True
Let j = 0.5413 + -0.5233. Is 1/4 > j?
True
Let o(m) = -m**3 - 7*m**2 - 8*m - 9. Let r be o(-6). Let k = 3427077111523/5140 - 666746523. Let t = 2/1285 - k. Is r > t?
False
Let m = -7545 + 6873.4. Let r = m - -675. Which is smaller: r or 1/6?
1/6
Suppose -12 = 61*q - 58*q. Let j be (3 - 2 - -1)*(-46 - q). Which is bigger: -85 or j?
j
Let i = -15.15 - 86.85. Is 0 at least i?
True
Let c = 77.7 + -71. Let w be (309/(-2163))/(((-6)/14)/((-18)/(-12))). Is c smaller than w?
False
Let f(n) = 2*n + 30. Let q be f(-15). Let l(w) = 4*w - 110. Let r be l(q). Is r greater than -109?
False
Let g = 5398 + -5397. Which is greater: g or 14/527?
g
Let s be ((-12)/4)/(-3) + 10. Suppose 2*o = 2*r - 10, -2*o + 0 - s = -3*r. Is r bigger than 3/37?
True
Let i = -41148209/1990 + 41355/2. Which is smaller: i or 1?
i
Suppose -4*o = -p - 15, -9*o = 4*p - 8*o - 8. Is p at least as big as -4/511?
True
Let d be ((-36)/(-195))/(((-384)/(-59700))/(-16)). Which is smaller: d or -460?
-460
Let f = -501.1 + 491. Let v = 11 - 11. Are v and f unequal?
True
Suppose 0 = 3*f + 5*f - 32. Let h be 1 - ((-18)/15 + f). Which is smaller: h or -1?
h
Suppose -3*z - 2577 = 3*k, -z - 883 = 16*k - 21*k. Is z not equal to -869?
True
Let n = 6/2719 - 774939/10876. Let g = 75 + n. Is g != 3?
True
Let r(k) = -52*k**2 + 9*k + 7. Let d be r(-2). Which is smaller: -221 or d?
-221
Let i(h) = -h - 15. Let k(a) = -a - 15. Let b(y) = 4*i(y) - 3*k(y). Let t be b(-11). Let p be (t/(-6))/(3 + 515/(-15)). Is p at most as big as 0?
True
Let l(z) = -4*z**3 - 2*z**2 - 7*z - 1. Let g(r) = 9*r**3 + 3*r**2 + 15*r + 3. Let x(t) = -3*g(t) - 7*l(t). Let j be x(-2). Suppose 6*h - j*h = -h. Is 1/135 < h?
False
Let b = 93 + -48. Let h = 18 - b. Let x = h + 28. Is 2/13 less than or equal to x?
True
Suppose -488 = -3*g + 3*w + 127, -g - 5*w = -193. Let q = g + -116. Which is smaller: q or 84?
84
Let r(w) = 3*w - 56. Let t be r(17). Let q(g) = -g**2 + 9*g + 56. Let l be q(t). Is l equal to -11?
False
Let w = 13721891/539289 + 2/59921. Let o = w + -51/2. Let t = -42 + 42. Is o less than t?
True
Let v(g) = g**3 + 42*g**2 + 22*g - 164. Let l be v(-39). Is l greater than 3541?
False
Let n = -47 + 52. Suppose 17 = 5*p - 3*v, 3*p - n*v + 0*v - 7 = 0. Let s be 31/116 - p*(-3)/(-48). Which is greater: s or 1?
1
Suppose -3*d - 3*x = -0*d, 0 = -5*d + 2*x + 7. Suppose -5*b - d = -1. Suppose -3*n - 3*v - 6 = b, -2*n - 3*v = 2*v + 10. Which is smaller: n or -1/29?
-1/29
Let k be ((-1)/(-3525))/((-215)/86). Which is greater: k or -1?
k
Suppose -614*k + 617*k + 6 = 3*b, 3 = -3*k. Which is smaller: -4/5219 or b?
-4/5219
Let t(j) = 316*j - 4781. Let w be t(21). Which is smaller: w or 1860?
w
Let l(k) = -3*k - 51. Suppose -4*x - 64 = -4*c, 2*x = -0*x + 5*c - 26. Let o be l(x). Let j be (o/(-15))/(7/14). Which is smaller: 0 or j?
j
Suppose -26*i + 48*i + 22 = 0. Which is smaller: i or 5/1712?
i
Let m = 0.31492 + -0.35732. Are m and 0.06 equal?
False
Let z(p) = p**3 + 9*p**2 - 22*p + 6. Let y be z(-11). Let h be (((-6)/9)/(-2))/((-2)/y). Let i = 1 + -3. Do h and i have the same value?
False
Let l be ((1 + 1)*(-15)/(-1737))/(3/(-27)). Which is bigger: -1 or l?
l
Let w(r) = -79*r - 1257. Let z be w(-16). Are 219/34 and z equal?
False
Suppose 0 = -106*q + 98*q - 536. Which is greater: q or -72?
q
Let j = -8588/23 + 530069/1380. Let i = j - 45/4. Which is greater: i or 0.2?
0.2
Let n(z) = -225*z + 450*z - 224*z + 15. Let d be n(-33). Which is greater: d or -3/7?
-3/7
Let c = 146 + -92. Let r = c - 54.096. Let k = -0.084 + r. Is k <= 1?
True
Let t = 0.5539 - -0.6261. Is 0.16 at most as big as t?
True
Let i = -1208/13965 - -4/245. Let d = 6 + -4. Suppose d*l = -3*l + 5. Which is smaller: l or i?
i
Let w = 1785 - 1140. Let x = w - 656. Which is smaller: x or 15?
x
Let s be (-26*28/(-5096) + 1419/35)*-20. Are -814 and s nonequal?
True
Let q(r) = -2*r**2 + 2*r - 62. Let f be q(0). Let o be 57/(-399) + f/7. Which is smaller: o or -16?
-16
Let y = -17748 - -53243/3. Let k = 7.1 - 50.1. Which is bigger: y or k?
y
Let q = -62930/9 - -240526/45. Is q smaller than -1648?
False
Let c = -161.62 + 156.09. Which is bigger: c or 5/4?
5/4
Let a(w) = -w + 13. Let z be a(4). Suppose 5*t + 13 = 4*h, 5*h + 6 + z = 0. Let d = 1693 + -1694. Which is greater: d or t?
d
Suppose -3*z = 2*y + 46, 4*y - 442 + 462 = 0. Are z and 15 unequal?
True
Suppose -2*l - g = -17 - 48, -200 = -5*l + 5*g. Suppose 0 = 11*t - l + 13. Suppose -5*m = p - 309, -t*m = 5*p - 201 + 59. Is m bigger than 61?
False
Let p(c) = 3*c - 29 - 6*c - 5. Let z be p(18). Let q be ((-2)/8)/(726/z). Is -0.1 at most q?
True
Let f be (56/((-16128)/5454))/((-10)/(-8)). Which is bigger: -14 or f?
-14
Let k(d) = -5*d**2 + 2*d**2 + 3*d - 22*d - 9 + 4*d**2. Let n be k(15). Is -69 greater than n?
False
Let y(l) = l**2 + 17*l + 86. Let k be y(-8). Let m(j) = 4*j - 58. Let p be m(k). Let w be (2*-1)/(2 - 1). Is p greater than w?
False
Let v = 552 - 364. Let d = v - 10. Which is smaller: 2/5 or d?
2/5
Let j = 3286532/965071 - 2/26083. Let a = -25993/7622 + j. Is 1 at least a?
True
Let t(d) = -d**2 + 3*d + 29. Let p(q) = 7*q**3 + 5*q**2 - 3*q - 2. Let v be p(1). Let a be t(v). Is a greater than 2/637?
True
Suppose m = -4*j + 10945, -4*j + 5*m - 6384 + 17371 = 0. Which is smaller: j or 8216/3?
j
Suppose 2310 = 21*v - 2625. Is 236 >= v?
True
Let s = 4.6 - -90.5. Let q = 95 - s. Is 2/229 bigger than q?
True
Suppose h = 5*k + 13, -23913 = 3*k - h - 23906. Suppose 0*l + 5*l + 155 = 0. Let p = l - -22. Is p smaller than k?
True
Let h = -0.54 - 0.34. Let d = 0.1 + 0.38. Let w = d + h. Is w > 0.6?
False
Let q be -3 + 1230/(-1116)*-10 + -1 + -7. Let h(s) = s - 12. Let r be h(12). Which is greater: q or r?
q
Let f = -47 + 5. Let i = f - -42.3. Which is greater: 8 or i?
8
Suppose 5*x = -0*j - 2*j + 299, -3*x = j - 147. Let c = -137 + j. Which is smaller: c or 26?
c
Let l = -105 - -105. Which is bigger: l or 54/115?
54/115
Let a = -48 - -50. Suppose 17 = -a*f - 53. Let j = 18 + f. Which is bigger: j or -16?
-16
Suppose -25643 = 4362*z - 4485*z - 71522. Do -3 and z have different values?
True
Suppose -3*y = -7*j + 116732, -10*y = -2*j - 12*y + 33352. Are 0.1 and j equal?
False
Let f be 2/(-7) - (3/(-6) + 59605/8330). Which is bigger: -8 or f?
f
Let y = 14 - -15. Suppose 99 - 11 = 5*n - n. Is y < n?
False
Suppose 3*k = -d - d - 12, -3*d = -2*k - 8. Suppose -3*n + 3 = -d*n. Suppose -24 = 4*x - 12*x. Which is bigger: x or n?
x
Let n(b) = -2*b**2 - b - 1. Let i be (-12)/(-8) - 3/(-2). Suppose -4*s = -3*s - i*l + 9, -5*l = 3*s - 15. Let o be n(s). Which is greater: o or -3/2?
o
Let o be (3814 + -10)*(-3)/(-66). Let s = 173 - o. Suppose -2*u + 2*i = i + 1, 5 = -3*u + 5*i. Do u and s have the same value?
False
Suppose 0 = -f + 6*f - 10. Suppose b = f*q + 200, q - 2*b + 133 = 33. Let h = -98 - q. Is h equal to -4?
False
Suppose -294*v + 314*v = 20. Which is smaller: v or 1/5135?
1/5135
Suppose 0 = -4*i - 5*w + 3323, 5*w - 1235 - 2915 = -5*i. Let q = -851 + i. Are -23 and q unequal?
True
Let b(o) = -5*o**2 - o - 1. Let k(f) = -f**2 - 1. Let s(h) = -b(h) + 4*k(h). Let n be s(1). Which is smaller: 1/78 or n?
n
Let h = -99 + 98.9. Let x = 270.985 - -0.015. Which is greater: h or x?
x
Let p = -10155 + 10144. Let x be 3/(-2)*20/(-735). Which is greater: p or x?
x
Let r(w) = 9*w - 108. Let l be r(9). Is 14 less than or equal to l?
False
Let n(w) = -2*w**2 - 15*w - 43. Let q be n(-6). Let s be 65/(-26)*1*2*5. Is s less than or equal to q?
True
Suppose -4*u = 4216 + 1724. Let l be (6388/8 - -3)*(-1812)/978. Let r = l - u. Which is smaller: r or 0?
0
Suppose 46 = -6*n + 10. Let u = 114248079/196714 - -43/14051. Let y = 1149/2 - u. Is n greater than y?
True
Let i(h) be the second derivative of h**3/6 - 5*h**2/2 + 3*h. Let c be i(6). Let n = -89071/15 - -5938. Is c smaller than n?
False
Let v = -13.4 - -13.5. Let w(m) = 23*m + 71. Let i be w(-4). Does i = v?
False
Let a = -6589 + 7823. Is 1235 not equal to a?
True
Let a be ((-2)/6)/(4/12). Let y be 76/64 + 0 + a. Let c be (-3)/4*(-1)/((-6)/(-4)). Is c bigger than y?
True
Let r = 40 - 39. Let z be 1*-3*(3 + -2)