 same value?
False
Let f = -15338 - -106992/7. Let i = f - -53. Which is smaller: i or 2/11?
i
Let g(w) = 2*w + 20. Let l be g(-6). Let z be 116/l*4/8. Let u = -147/20 + z. Is u greater than -1?
True
Let d = -8812/67 - -263/2. Is 1 less than d?
False
Suppose 3*h + 20 = 8*h. Let n be (h/56)/(2/12). Let f be 1/(1 - (0 + 2)). Are f and n non-equal?
True
Let y = -52 + 140. Are y and 88 non-equal?
False
Let r = -2133 + 1478. Let y be (-1)/(-6) + r/(-30). Is 22 at least y?
True
Let k(u) = -16*u + 471. Let i be k(38). Is -136 equal to i?
False
Suppose 4*x - 171 = b, 2*b = -2*x + b + 93. Let s = 53 - x. Which is smaller: s or 39/4?
s
Let k(y) = y**3 + 10*y**2 + 10*y + 10. Suppose 3*x + 21 = 3*o, 4*x + 28 = -4*o - 16. Let g be k(x). Is 1/4 >= g?
False
Let z be 1*(5 + 21472/(-4292)). Is -1 less than z?
True
Let n(w) = w**3 + 4*w**2 - 8*w - 12. Let i be n(-5). Suppose -i*b + 0*j + 286 = 5*j, 5*j - 82 = -b. Is b smaller than 102?
False
Let j = -17.41 - -0.41. Let a = j + 33. Which is smaller: -1 or a?
-1
Let z = 16 - -39. Suppose z = -14*k + 19*k. Suppose 0 = r - 2*d - k, 4*r - 3*r = -2*d - 9. Which is smaller: r or 2?
r
Suppose -24 = -4*i + 5*x, 2*i - 5*x - 3 - 9 = 0. Let q be ((-2)/4)/((-3)/i). Which is smaller: q or -0.09?
-0.09
Let k be (-1)/(-7) + -12*48/63. Let p(c) = -c**2 - 4*c + 22. Let w be p(k). Which is greater: w or -2/5?
-2/5
Suppose -113*b + 76*b + 74*b - 37 = 0. Let h be 78/328 - (-2)/(-8). Is b >= h?
True
Let x = -31513693/39116 - 285/3556. Let u = -805 - x. Which is smaller: u or 0?
0
Suppose -2*u = -2, -2*u = 5*z - 3*u - 124. Are 290/11 and z unequal?
True
Let f = -27 + 15. Let c = 7 - f. Is c equal to 17?
False
Let y = 0.062 + 0.138. Is 292/5 less than or equal to y?
False
Let i = 156 + -254. Let x = 97.9 + i. Which is smaller: x or -74?
-74
Let u = -175444/243 + 722. Is u not equal to -1?
True
Let i = 63/2 + -457/14. Suppose -4*r + 5*v = 13 + 20, 0 = -5*r - 4*v + 10. Which is bigger: i or r?
i
Let t(r) = -5 - 4 + 2*r + 5. Let s be t(4). Is s less than 0.1?
False
Let r = 0.01 - 2.01. Let a = -47 - -47.05. Let q = a - 0.15. Which is smaller: r or q?
r
Let a be ((-9)/(-18))/(-1 + 26/24). Suppose -g = -5 + a. Is g > 2/33?
False
Let u(w) = 47*w - 240. Let o be u(21). Is o equal to 746?
False
Let b be (-1053)/(-345) + -2 - 6/6. Which is greater: 1 or b?
1
Suppose 0*m - 35 = -7*m. Suppose 0 = -5*u - 2*t + 33, 3*u - 2*t - 2 - m = 0. Let f = 199/42 - 1/14. Is f greater than u?
False
Suppose 0 = -3*v + 11*v - 400. Is v bigger than 51?
False
Let z = -21 - -32. Let c = 10 - z. Let q = -3559/2072 - -1/296. Which is bigger: q or c?
c
Suppose 2*h + o = -962, 324 = -h + 5*o - 168. Let i = h + 15423/32. Is -1 equal to i?
False
Suppose -2*o = -4*y + 38, -y + 2*o + 9 = o. Suppose 8 = -r + y. Is r < -0.7?
False
Let p be -4 - (0 - 3 - 0). Let y = p - 3. Let r be (6/14)/(3/y). Is r != 0?
True
Suppose j = q + 78, q + q + 3*j + 161 = 0. Is -79 at least as big as q?
True
Suppose 3*w - 99 + 93 = 0. Let i be w + (0 - 2 - 1). Is 15 <= i?
False
Suppose 38*h + 84 = 44*h. Let a be (4/3 - 2)/(0 + h). Which is greater: 1 or a?
1
Let z be (6 + -2)*(-5)/10. Is z greater than 23?
False
Let d = -13 - -18. Suppose 5*p - d - 15 = 0, k = -5*p + 29. Let z = k - 9. Is z >= 6/13?
False
Let f = 246 + -1. Which is greater: 244 or f?
f
Suppose 4*b = -3*j - 15, -4*b + 5*j - 6 = 1. Let a be -2*((b - -30) + 2). Let q be 0 - (a + -2)/4. Which is greater: 14 or q?
q
Suppose -5*v + 31 = 2*s, -5*s - 5*v = -4*s - 28. Let r be s + -5 + 170/82. Is -1 greater than r?
False
Let y = -13 + 44. Let c = 31.2 - y. Which is smaller: 8 or c?
c
Let l = -27 + 40. Does 68/5 = l?
False
Let x(i) = -i + 13. Let s be x(10). Suppose -5*v + 1 + 15 = c, 0 = 4*c - s*v + 5. Is -29 at most c?
True
Let q = -11 + 5. Let d be (-354)/48 - 6/(-16). Is d equal to q?
False
Let m = -177 - -1237/7. Is m greater than or equal to 3/8?
False
Suppose -25*x = -12*x - 208. Is x >= 14?
True
Let g = -0.16 + -0.4. Let z = g + 0.66. Which is greater: -12/7 or z?
z
Let j be 0/(3/(-1 + -2)). Suppose -h + j = -4. Is -0.4 equal to h?
False
Suppose -2*j = -4*j. Let h = -57 + 59. Suppose 3*b = -3*a - 9, 0*b + 2*a = h*b - 10. Does b = j?
False
Let m = -67 - -68. Suppose s + 1 = -m. Are s and -21 unequal?
True
Let i = 53 - 42. Let z(m) = 4*m - 45. Let v be z(i). Let j = -463 - -6016/13. Which is smaller: j or v?
v
Suppose 55*j + 21319 = -21251. Are -772 and j equal?
False
Let g = 0.4 - 2.9. Let q = -2.64 - g. Is q less than or equal to 1?
True
Let k be ((-4)/(-6))/(16/24). Let a = k + -1. Is a < 10/7?
True
Let u = 17.1 - 17. Suppose 0 = a + 3, c + 2 = -a - 5. Which is greater: u or c?
u
Let s = -7.7 - -9.5. Which is smaller: s or 1?
1
Let y(h) = -h + 5. Let c be y(2). Suppose -4*o + 44 = 3*l, c*l + o - 19 = 2*o. Let m be -2*(12/l + -1). Which is bigger: -2 or m?
m
Suppose 4 = -4*b - 2*w, -3*b + 3*w - 12 = -0*w. Which is greater: 0.032 or b?
0.032
Suppose 0 = -4*n - 224 + 252. Are 1 and n non-equal?
True
Let m = 13064 + -418053/32. Let g = 2 + -1. Which is bigger: g or m?
g
Let m = 9 + 63. Let i be -8*(-4 + 284/m). Which is bigger: i or -1/6?
i
Let y be 84/(-72) + 14/12. Is y smaller than -1/10?
False
Let b be 148/32 - (-6)/16 - -240. Which is bigger: b or 246?
246
Let r be ((-48)/(-124))/(-4) - (3 - 3). Let l be (-10)/(-45) + 22/(-18). Which is smaller: r or l?
l
Let c be ((-9)/(225/10))/(80/(-25)). Let g be 3/2*16/12. Suppose -s + 2 = -g*s. Which is smaller: s or c?
s
Let w = 140 + -177. Which is smaller: w or -4/3?
w
Suppose 0 = -3*v - 3*k - 33, -2*v + 16 = -3*v + 4*k. Let d = 0.019 - 1.019. Are d and v non-equal?
True
Let c = -17 - -30. Let a = -11.5 + c. Let l = -2.5 + a. Which is smaller: l or 0.11?
l
Let f = -1 - -17. Suppose f*t = 11*t - 95. Which is bigger: -18 or t?
-18
Suppose 54 = 5*h - 2*h. Let u = 95 + -61. Suppose -v = v - u. Is v bigger than h?
False
Let h(d) = d**2 - 16*d + 14. Let b be h(15). Let s be (b - -7)*4/8. Let k(t) = t - 1. Let z be k(7). Is z at most as big as s?
False
Let s(d) be the third derivative of d**5/30 + d**4/6 - 16*d**2. Let m be s(-2). Are -2/25 and m equal?
False
Suppose -u + 0*f - 4*f - 28 = 0, -2*u - 65 = 5*f. Is -36 less than u?
False
Suppose -4*m - 86 = 5*x, 3*x - 5*m + 15 = -44. Are x and -15 nonequal?
True
Let m be 3913/(-430) - (-18)/2. Let g(l) = l**2 - 8*l. Let j be g(8). Suppose 2*n + n - 3 = j. Which is smaller: n or m?
m
Let c = -6121/10 - -612. Which is smaller: 0.048 or c?
c
Let f be 5/(-5) + 22 + -1. Let i = f + -4. Let j = i - 8. Is 7 != j?
True
Suppose -101*j + 92*j + 2619 = 0. Is j >= 291?
True
Let d(w) = 1007 - 1007 + w - 17*w**2. Let b be d(1). Which is smaller: b or -18?
-18
Let v = 13.1166 + -0.1366. Let k = -13 + v. Let o = -0.12 - k. Which is bigger: 1/5 or o?
1/5
Let t(h) = h**2 + 2*h - 1. Let l(r) = -6*r**2 - 27*r + 22. Let f(u) = -l(u) - 5*t(u). Let c be f(-18). Let g be 1 - (-1 - (-10)/6). Is c at most g?
False
Suppose 4*m + 40 = 300. Is 65 less than or equal to m?
True
Let w be (3 + 0 + 3)/2. Let t = 3 - w. Suppose t = -3*f - 2 + 8. Does f = 2?
True
Let k be ((-28)/10 + 3)/(16/(-10)). Let t be 8/(-28) + 2/7. Suppose f + t*f = -1. Which is bigger: k or f?
k
Let k be (-1)/(-15)*20/220. Which is greater: 0 or k?
k
Let f = -117773/3596 - -1/899. Which is greater: -34 or f?
f
Let f be (-5745)/53*4/504. Let v = -1/318 - f. Which is greater: v or 0?
v
Let a be 7 + (15 - 14)*(-7 - 0). Which is smaller: a or -52/5?
-52/5
Let i = 226/19 + -12. Let f(o) = 4*o + 13. Let z(p) = -p - 1. Let d(j) = -f(j) - 5*z(j). Let l be d(9). Which is smaller: l or i?
i
Let d be (320/112)/((-4)/(-14)). Let m be ((-14)/(-35))/((-28)/d). Which is smaller: 1 or m?
m
Let g be (4/36*-3)/(138/(-578)). Let y = g + -11/9. Does y = 0?
False
Let t be (-2 - -6) + 1 + -8. Suppose -6 = w + z, 5*w + z + 10 = -0*z. Let a be 2/t - 0/w. Is -1 less than a?
True
Let p(b) = 2*b**2 + 4*b + 3. Let g be p(-3). Suppose g*i - 220 - 68 = 0. Is 32 equal to i?
True
Let m = 1083 + -1077. Is 7 >= m?
True
Let v(d) = d**2 + 13*d - 13. Let s = 22 + -36. Let j be v(s). Let n = 0 - 0. Which is greater: n or j?
j
Let x = -554 - -554. Is 9/59 greater than x?
True
Let s(d) = -d + 4. Let l be s(2). Suppose 0 = -2*h, -l*m - h = 3*m + 550. Let c be 18/(-45) - 64/m. Which is smaller: 0 or c?
0
Let s be (-391)/105 - ((-8)/15)/(-4). Is 