 or v?
v
Let w be (4/(-7))/(12/(-42)). Let u = -1775/2 + 890. Which is smaller: w or u?
w
Let f(w) be the third derivative of 5*w**4/12 - w**3/2 + 4*w**2. Let p be f(1). Which is greater: 31/4 or p?
31/4
Suppose 34 + 406 = 8*n. Let p = -53 + n. Is 3/4 >= p?
False
Suppose 0 = t - 0 - 2. Let r be 40/(-60)*(-21)/t. Is 8 at least r?
True
Suppose -l = -2*b - 2*b - 12, -5*l = 5*b + 15. Let t be (-1)/(((-4)/b)/4). Let x be t/(-6)*-4*1. Is 0.1 at most as big as x?
False
Let t(j) = j**3 - 13*j**2 - 19*j - 10. Let m be t(14). Which is greater: m or -79?
-79
Let c = -1/1146 + 72211/14898. Which is bigger: 6 or c?
6
Let n = -7/13 - -453/793. Let v(d) = -d**2 + 49*d + 49. Let g be v(-1). Is n smaller than g?
False
Suppose 3 + 22 = -5*g. Let z(f) = -3*f**3 + f**2 - 2*f + 1. Suppose 4*k - 2 = 2. Let c be z(k). Is g at least as big as c?
False
Let f = 17/643 - 21712/845545. Is f at least 0?
True
Suppose 4*w - 2*v + 2 = 2*w, 2*v = w + 3. Suppose 5 = 2*s - s. Suppose 3*a + 2 = s. Is w <= a?
True
Let a = -137859/122 - -1130. Let l = a + 119/366. Is 2/17 greater than l?
False
Let a = -31.3 + 31.3. Which is bigger: a or -2/59?
a
Let y = 12 + -7. Let l = 346 - 346. Which is bigger: l or y?
y
Let z(s) = s**3 - 3*s**2 - 3*s - 3. Let r be z(-2). Let n = r - -19. Suppose x = -n*x. Which is greater: -1/18 or x?
x
Let d be (-3)/(-9) + (-62)/6. Suppose 7*c - 5 = 9. Let i be (18/15)/(c/d). Do i and -1 have the same value?
False
Suppose -3*n - 35 = 32*n. Let b(d) = d**2 - 4*d + 1. Let m be b(3). Let u be (-2)/4 + n/m. Which is bigger: -4/7 or u?
u
Let j be (-2)/(-1) + 24/(-14). Let y = -324 + 315. Which is greater: y or j?
j
Let m = 10 + -10. Let j = 1 + m. Let a = j - 1.3. Does a = -0.1?
False
Let r = 0.52 - 0.47. Suppose -2*g = n - 6*n - 1, -13 = 5*n + 4*g. Which is bigger: n or r?
r
Let i = 31.081 - -0.179. Let n = i - 31. Let v = 6.26 - n. Which is greater: v or -1?
v
Let b be (99/(-42))/((-3)/156). Suppose t - 113 = -5*m, -m = 4*t - t - 367. Let f = b - t. Is -1 smaller than f?
True
Let c be (444/36 + -12)/((-2)/10). Which is bigger: 16 or c?
16
Let j(d) = -d - 1. Let m(x) = -3*x**3 - x**2 + 1. Let o be m(1). Let u be j(o). Suppose w + w - u = 0. Which is smaller: 2 or w?
w
Suppose 4*z - 5*t = -60, -58*z = -61*z - 5*t - 80. Is -22 > z?
False
Suppose -1 = 15*j + 14. Which is smaller: 1/3038 or j?
j
Let y = 0 + 1/12. Let m = 0.1034 + 0.8676. Let h = 0.029 + m. Is y < h?
True
Let v = -1012 + 1046. Which is smaller: 4 or v?
4
Suppose 0*j - 2*j + 14 = 5*h, -j + 17 = 5*h. Which is smaller: -15 or h?
-15
Let y = 0.32 + 13.68. Let s = 11 - y. Let q = 6.1 - 6. Is s less than q?
True
Let s be (7/(-4))/((-6)/(-24)). Let o = -8 - s. Is 2/103 <= o?
False
Let g be 8/(-3)*30/(-25). Suppose c - 4*h + 12 = 0, -c = h + 2*h - 2. Let l be (-2)/c - 45/(-30). Which is bigger: g or l?
g
Let b = -246/385 + 3/77. Which is smaller: b or 24?
b
Let q = -176 - -176.017. Which is smaller: q or 1?
q
Let y be 64/36 - (-4)/18. Let i be (y/(-4))/(12/54). Let g be (-1 - 4/(-2))*-3. Is g greater than or equal to i?
False
Let p(m) = 74*m - 1110. Let f be p(15). Let d be 2 - 15/618*82. Which is greater: d or f?
d
Let j(c) = 27*c - 23. Let g be j(-4). Let h = -193 - g. Is h <= -121/2?
True
Suppose 2*q = 13 - 5. Suppose -31 = -5*t + q. Which is bigger: 6 or t?
t
Let c = -13349/10 + 1335. Let l = 3 + -2. Is l greater than c?
True
Let j be (-508)/(-1) - 0/(-23). Suppose -11*n - 1311 = -j. Does n = -73?
True
Suppose 0 = -z - 0*z - j + 25, 3*j + 99 = 3*z. Let s = z - 25. Do s and 1 have the same value?
False
Suppose 0 = 5*h - 3*w + 25, 0 = -w + 4 + 1. Suppose q = -q - 6. Which is greater: h or q?
h
Let p(k) = -k - 16. Let z be p(-11). Let h = 22 - 11. Suppose a - 2*m - h = -7*m, -a = -5*m + 19. Is z smaller than a?
True
Let p = 987 - 948. Are 1.1 and p equal?
False
Let o be 18/(-66) - 339/(-33). Is o greater than -69?
True
Let g be 5*-3*198/1395. Do -1 and g have the same value?
False
Let i be (-4361)/91 + 8/(-104). Are i and -50 nonequal?
True
Let i = -0.6 + -6.4. Let n = 14 + i. Let p = -78 + 76. Is p != n?
True
Let m be ((-5)/(-5) + 40)/(1 + -2). Is -4 < m?
False
Let o(j) = -2*j - 4. Let z be o(-3). Suppose -z*p - 3*p = 0. Suppose g - 1 = -p*g. Is 2 at least g?
True
Let y = 11 - 17. Let z be (-7)/y - 2/12. Is 5/7 greater than z?
False
Suppose 0 = -k - 16 + 5. Let y(b) = -4*b + 36. Let s = -46 + 58. Let x be y(s). Which is smaller: k or x?
x
Let r = -46 + 183/4. Let z = -22.1 + 23. Let s = z + 1.1. Is s >= r?
True
Let q be 1/(12/(-31))*(4 + 0). Let y(n) = 2*n + 14. Let p be y(-12). Is q != p?
True
Suppose 0*n + n - 5 = 0. Let m be (n + -4)*-1*-4. Is m < 5/2?
False
Let q be 87 + (7 - 4) + -5. Is 83 equal to q?
False
Suppose 0 = -4*m - 2*n + 7*n + 111, m - 18 = -2*n. Suppose -8 = -k - k. Let s be k/m*3*-2. Which is greater: 0 or s?
0
Suppose -204 = 5*k - 219. Let w be (1 - 1) + (-54)/(-14). Is w smaller than k?
False
Let x = -1376 + 1385. Is -1/11 greater than x?
False
Suppose 55617 = 39*r + 8739. Are 1201 and r equal?
False
Let n = 28604195 - 1287134777/45. Let q = n + -1200. Are q and -1 nonequal?
True
Let f = 6 - 2. Let u be f/(-26) + (-308)/(-988). Let r = u - 53/95. Is 1 less than or equal to r?
False
Let v be (42/(-56))/(1/(-4)). Let b be v/(-5) - (-12)/(-30). Which is smaller: b or 2/11?
b
Let h = -69256/199 - -348. Is h < 0?
True
Let n(v) = -v**2 + 16*v + 91. Let c be n(20). Which is bigger: 1.7 or c?
c
Suppose -4*a - 3*r = r, a = 5*r. Let f(u) = -u**3 + 3. Let w be f(a). Suppose 0 = -x + w*x + 6. Which is smaller: x or -9/4?
x
Suppose 14*m = 13*m - 5*p, p = -5*m. Let b be (-2)/8 - 130/(-8). Let t be (-3)/b*(6 - 2). Which is smaller: m or t?
t
Let b = 2074 - 2062.7. Which is bigger: -10 or b?
b
Let s(d) = d**3 + d**2 - d + 19. Let x be s(0). Let u(a) = -14*a - 78. Let p be u(-7). Do x and p have different values?
True
Let m(v) = -v**3 + 20*v**2 + 2*v - 41. Let u be m(20). Are u and -24/29 non-equal?
True
Let i(g) = g**3 + 8*g**2 - 4*g + 14. Let r be i(-10). Let o = -139 - r. Is o at least 6?
True
Let w = 0.626 + -0.68. Is 0 < w?
False
Let r be -6 - ((-3160)/(-17) + (-16)/(-136)). Which is smaller: -191 or r?
r
Suppose 1 = 5*y - 19. Let n be 6/y*(-20)/(-3). Let a = n + -3. Are 0 and a non-equal?
True
Let v be 13/(7 - 12/24). Suppose l + 1 = 6. Let y = 8 - l. Is v not equal to y?
True
Suppose -11 = -2*y - 27. Which is smaller: -6 or y?
y
Let d = -0.74 - 31.26. Let v = d + 29. Let m = v - -2.9. Is m greater than -25?
True
Let d be 21 + 1*(0 + -1). Suppose 3*g = 5*i - d, 3*i + g + 17 = -3*g. Let j = 1403/23694 + 1/718. Which is smaller: i or j?
j
Let n(j) = -17*j**3 + 2*j**2 + 2*j + 1. Let k be n(-1). Let t = 36 - 12. Suppose -2*u = -0*u - 4*i - t, 4*u = -3*i + 81. Is u at least k?
True
Let j be (10/(-6))/(427/(-42)). Is 1 greater than or equal to j?
True
Suppose 4*p + 2*k = 12, -26*k = -p - 31*k + 21. Which is smaller: -1/891 or p?
-1/891
Let s(z) = -7*z + 247. Let g be s(35). Let n(r) = r**2 + 1. Let b be n(1). Let h be b/(-4)*40/(-12). Which is greater: h or g?
g
Suppose -2*t = -2*v + 16, 0 = 5*v + t + 4*t. Suppose -3*m = x - 14, -1 - 5 = -v*m + 5*x. Let z be (-3 - 0)*(-3 + 2). Which is smaller: m or z?
z
Let m be 13 - (-1139)/(-85) - 11/(-15). Is -24 at least m?
False
Suppose -12 = -2*g + 3*g. Let x be (8/(-14))/(33/(-693)). Suppose 23*q + x = 22*q. Is q less than g?
False
Suppose 3*u - 2*u = 3*q - 114, 0 = -2*q + 5*u + 63. Let x = 59 - q. Let b = 21 - 0. Is x equal to b?
False
Suppose 4*m + m = 0. Suppose -22*x + 30*x = 0. Do x and m have the same value?
True
Let s(q) = -2*q - 13. Let t(b) = b - 20. Let f be t(14). Let v be s(f). Which is smaller: 2/47 or v?
v
Suppose 48 = -73*v + 25*v. Which is smaller: -2/141 or v?
v
Let z = 49 + -51. Let t be (-4)/(-16)*1*z*-2. Which is greater: 1/13 or t?
t
Let v be 315/(-54) + (-1)/6. Let o = v + 5. Let r be 4/(-60) + 2/(-6). Does o = r?
False
Let o be -44*-3*(-6)/(-9). Suppose -o + 26 = -2*l. Is l >= 30?
True
Let y = 127 - 0. Let v = -891/7 + y. Is 7 greater than v?
True
Let t = 38.6 + -29. Let m = -11 + t. Let k = m - -1.6. Is k bigger than 2?
False
Let p(h) = 12*h + 31. Let r be p(-3). Let m be 655/20 - r/20. Are m and 32 unequal?
True
Let t = -4705 - -3895741/828. Is t greater than or equal to -1?
True
Let i be 12/((-93888)/(-80))*(-1 - -2). Do 0 and i hav