 value?
True
Let w = 24 + -126/5. Suppose 6 = -k - l, k - 3*l = 2*l + 18. Which is smaller: k or w?
k
Let m = 2 + 0. Let h be (-1)/(-3) + (-26)/6. Let y be ((-2)/(-4))/(m/h). Is y equal to -3/7?
False
Let w(r) = r**3 - r**2 - 3*r + 3. Suppose -4*t - 4*p + 8 = 0, -5*p = -3*t - 2*t + 10. Let v be w(t). Which is bigger: 4/7 or v?
v
Let f = -1 + 0.91. Which is smaller: f or -2/5?
-2/5
Let x(z) be the first derivative of -z**2/2 - 2*z + 8. Let k be x(-7). Is k at least as big as 7?
False
Let s be (-2)/(-5) + (-234)/(-90). Which is bigger: s or 17/4?
17/4
Let q = 1078 + -1069.01. Let t = 9 - q. Which is smaller: 1 or t?
t
Let i(h) = -h**2 + h + 2. Let c be i(2). Let b be 1/(-2 - -1 - c). Let t be b + (-2)/(-3) + 0. Is t < 1?
True
Let f be 6/21 - 6/21. Let g(j) = -j**3 + 3*j**2 + j - 1. Let k be 2/(-8) + 26/8. Let d be g(k). Which is bigger: d or f?
d
Let p = -8 - -7.9. Which is smaller: -1 or p?
-1
Let v = -39 + 38. Which is smaller: -4/5 or v?
v
Let s = -1.3 - -0.3. Let d = -0.7 - s. Let a = d + -0.4. Is a at most 2?
True
Let c = 18 - 17. Let a be 2/9 + (-206)/1008. Let g = a - 17/56. Is c less than or equal to g?
False
Suppose -6 + 4 = u. Suppose -4*f - 27 = -f. Let y be -2*(f/6 + 2). Which is smaller: y or u?
u
Let f be 2*-1*(-6)/28. Suppose -2*j = -a, 5*a - 4*j + 0 = 12. Let c be (3 - a)*1*1. Which is smaller: c or f?
c
Let r = -2 - -4. Suppose a - 4*u + 13 = 0, 2*u = -3*a - r*u + 25. Let n(b) = -b**2 + b + 3. Let v be n(a). Which is smaller: 0.2 or v?
v
Let r = -6.3 - -2.3. Suppose 3*q = -0*q - 3. Which is bigger: q or r?
q
Let u = 0.5 + -0.3. Let r = 907 + -907.1. Which is smaller: u or r?
r
Let k(u) = u + 7. Let n be k(-7). Suppose 3*o + 5*p = 31, 0*p + 27 = o + 5*p. Suppose 0 = 3*j - o*j. Is j != n?
False
Let l = -17 - -23. Does l = -1?
False
Let f = 29/4 - 321/44. Which is smaller: -3 or f?
-3
Let b(q) = -q + 10. Let k be b(8). Let o be k/(2*(2 - 3)). Let t be (0/2)/o + 2. Is 3/4 < t?
True
Suppose -4*o + o = -3. Which is bigger: o or 2/65?
o
Let b be -9*(2 - 5)/9. Which is smaller: b or 1?
1
Suppose -4*z + 4*n + 22 = -n, 0 = -z + 5*n + 13. Suppose -1 = -2*o + z. Let h be 4/(-5)*5/o. Is h less than or equal to -2?
True
Let h(n) = n**2 - n - 40. Let i be h(0). Let o be (6/20)/((-16)/i). Which is bigger: 2 or o?
2
Let i = 0.037 - 0.087. Is -1 <= i?
True
Suppose -2*h - 8 = 5*i - 53, i = -5. Suppose 0 = 7*x - 2*x - h. Let d = 7 - x. Which is smaller: d or -1?
-1
Let w be (-12)/(-66) + (-24016)/198. Let j = -121 - w. Is 0 bigger than j?
False
Let j be (1/5)/((-8)/(-5)). Let v be 26/(-10) - (-8)/(-20). Let p be 3 - (v + 0)/(-1). Is j greater than p?
True
Let w = -1102/35 - -161/5. Is 1/4 less than or equal to w?
True
Let h be (-4)/(-8)*20/(-3). Does h = -3?
False
Let v = -7 - -5. Let t be (-2 + 4)*1 + v. Which is bigger: 5/8 or t?
5/8
Suppose 5*i + 10 = -5*p, -10 = -p + 2*i + 3. Let n be (225/(-10))/(-5)*2/1. Let o be 6/n*p/(-2). Which is bigger: o or -2/3?
-2/3
Let m = 16 - 5. Do -1 and m have the same value?
False
Suppose s - 4 + 2 = 0. Let y be ((-1)/2)/(s/8). Let n be 0 + (-4 - y) + 0. Which is smaller: -1/2 or n?
n
Let x = 3 + -1. Suppose 5*j = -3*g + 10, 2*g - 5 = -x*j + 7. Are 10 and g unequal?
False
Let i(c) = -2*c + 11. Let r be i(9). Let w be r/20 - (-1)/(-5). Let s = -1/20 - w. Which is smaller: s or 0?
0
Suppose x - 3 = -5. Which is greater: -8/9 or x?
-8/9
Suppose -k + 2*k - 3*a + 13 = 0, -19 = k - 5*a. Suppose -3*l - u = -6*u + 19, 0 = l + u + 1. Which is greater: l or k?
l
Let m(i) = i + 2. Let t be m(2). Suppose t*o - 2*o - 2 = 0. Which is bigger: o or 2?
2
Suppose i = 5*c + 17 - 4, 5*c - 5*i = -25. Let p be (5*-1)/(c + 1). Suppose 0 = p*t - 0*t. Is 0.3 smaller than t?
False
Let r(t) = t**2 - t - 1. Let a be r(3). Let b(x) = x**2 - 6*x + 3. Let p be b(a). Suppose 0*o - 4 = 2*o. Is o at most as big as p?
True
Suppose -n + 2*n + 2 = g, -4*g = 5*n + 37. Let f(x) = x**2 + x - 4. Let w be f(g). Let v = 0.03 + 0.07. Which is bigger: v or w?
w
Suppose -4 = -r + 3*r. Which is smaller: -7/6 or r?
r
Suppose -3 = 3*y - 3*z, 2*z - 4*z + 6 = -4*y. Let u = y + 1. Let a = 2 + u. Is a less than -0.1?
False
Let a = 53/6 + -9. Let w = 9 + -4. Suppose -w*f + 8 - 3 = 0. Is a > f?
False
Let h(a) = -a**2 + a - 2. Let d be h(2). Is d equal to -4?
True
Let f(z) = -z + 6. Let a(s) = -s + 5. Let n(v) = -3*a(v) + 4*f(v). Let w be n(8). Let i = -1019/7 + 146. Which is greater: i or w?
w
Let u be (2/(-6))/(22/6). Suppose -2*i - 2*j - 3 = 1, 5*j + 3 = 2*i. Are i and u nonequal?
True
Let i be (18 - 9)/(4 - 1). Which is smaller: i or 22/5?
i
Let p = 1514148/11 + -137782. Let f = 132 + p. Is -1 bigger than f?
False
Let r = -14 - -23. Do 8 and r have the same value?
False
Let g be 4/(-22) + 8/44. Which is bigger: -1 or g?
g
Suppose 0 = 5*r + 3*o - 1, 0 = -3*r - 4*o + 5. Let d = -33 - -97. Let q = 319/5 - d. Is r >= q?
False
Suppose 4*q - 50 = 5*q. Is q smaller than -50?
False
Let d = -10.7 - -1.7. Let m = 0.21 - 7.21. Let z = d - m. Which is smaller: 0 or z?
z
Suppose -14 = -5*z + d + d, 5*z = -4*d + 32. Let c be 2/(-8) + 5/z. Let n(f) = f + 10. Let t be n(-8). Is c equal to t?
False
Let z be (2 + -4)*(-1)/6. Let i = -39 - -25. Let p = -11 - i. Which is smaller: p or z?
z
Let q be 6/(-15) - 56/(-90). Suppose -4*u + 0*u = 12. Let w = u + 3. Which is smaller: w or q?
w
Let i = -5972/15 - -398. Is i not equal to 1?
True
Let n(y) = y**3 + 6*y**2 + 4*y + 1. Let v be n(-5). Let b be (-2)/v - 5/(-15). Let t be (2*(-1)/2)/1. Which is bigger: b or t?
b
Let o(t) = -t**2 - 6*t + 40. Let h be o(-10). Is h <= 18/5?
True
Let u = 83 - 329/4. Do 0 and u have the same value?
False
Let i be 1/(-2 + 621/309). Let v = i + -928/9. Is v bigger than 0?
False
Let o = -73 + 71. Is o != -15?
True
Let q = -4 - -2. Let g be -1*(2 + (-6)/4). Which is bigger: q or g?
g
Let l(p) = 9*p + 1. Let x be l(3). Suppose -5*b = -3*j + 7*j - x, -4*b = -4*j - 8. Suppose 0 = -3*s + 5*v - 3, b = -4*s + 4*v + v. Does -2/5 = s?
False
Let v = 6 + -3. Is v bigger than 15?
False
Let u = 8 + -6. Suppose -2*m = -2*i + 28, u*m + 0 + 6 = 0. Is 0 >= i?
False
Let o = -2/417 - -186/139. Suppose 6*f - 2 = 8*f. Let v be f/(((-15)/(-6))/(-5)). Is o <= v?
True
Let i(a) = a**2 + 3*a + 2. Let z be i(-2). Suppose -2*b - 4 = -z*b. Suppose -5*r - 1 = 3*c + 7, r + c + 2 = 0. Is r < b?
False
Let k be (-14)/63 + (-20)/(-9). Which is bigger: 2/11 or k?
k
Let y(j) = j**2 - 11*j + 9. Let b be y(8). Is -15 less than b?
False
Suppose -5*k = 4*t - 0 + 6, 0 = -5*k + 2*t - 12. Let h be (-1)/(-3)*(-2 + -1). Is k less than or equal to h?
True
Suppose m + 4 = -0*v + 2*v, 0 = -4*v + 5*m + 8. Let t be (0 + v)/((-20)/(-5)). Is t at most as big as 0?
False
Let s be (1 - -2)/3*0. Suppose s*k - 5*k = 20. Let u be 2/(-5 + 1)*k. Which is greater: 1/2 or u?
u
Suppose 5*r = 5*q - 35, -5*q + 6*r - 2*r = -34. Suppose -8 = 2*v + q. Let a(p) = p**3 + 7*p**2 + p + 7. Let t be a(v). Is t >= -1?
True
Let a(o) = -5*o**3 + o**2. Let y be a(1). Let x = -1 + -2. Is x > y?
True
Suppose -4*q + 34 = -a + 105, 46 = -2*q + 4*a. Let b = -11 - q. Let f be 7/b + (0 - 1). Which is greater: 1 or f?
1
Let d = 14 - 12. Suppose -d*n = 3*n + 5. Which is smaller: 1 or n?
n
Let s = -150 - -140. Which is smaller: 0 or s?
s
Let o = 1 + -5. Let s = 3.8 + o. Which is bigger: s or 2/3?
2/3
Let s(h) be the second derivative of h**4/12 - 4*h**3/3 - 3*h. Let n be s(8). Is 0 <= n?
True
Let i = 38 - 5. Let q be 1 - ((-54)/i)/(-2). Which is smaller: -1 or q?
-1
Let f = -0.07 + 1.07. Let n = 1.2 + -1. Which is smaller: n or f?
n
Suppose 3*s - 29 = 4*p, -s + 4*p - p = -18. Let q be (-1 + -8 - 0)*(-37)/111. Do s and q have different values?
False
Let h(b) = 4*b - 12. Let o be h(4). Let d = -5 + o. Is 4/13 smaller than d?
False
Let f be (-2*(-2 - 52/(-16)))/(-2). Does f = 3/5?
False
Let y = 40 - 39.14. Let z = y - -0.14. Is 7 not equal to z?
True
Let p = 67/15 + -24/5. Is -1/5 smaller than p?
False
Suppose 3*k + k + 2*v = 6, -3*k - v + 5 = 0. Let o(i) = -i**3 + 2*i**2 + i + 1. Let h be o(k). Suppose -2*m = m + h. Which is greater: -1/3 or m?
-1/3
Let k = -11 - -4. Suppose 0 = b + 2*b - 60. Let p = b + -28. Which is greater: k or p?
k
Suppose -3*p + 17 = 5*y, -3*y - p - 13 = -5*p. Is y equal to 1/6?
False
Let v = -0.35 - 17.65. Let n = v + 17.1. Is n >= -2?
True
Let c be 123/6 - (-2)/(-4).