 is smaller: v or 0?
0
Let a(j) = -j - 1. Let i(r) = r**2 + 12*r + 10. Let h(o) = 5*a(o) + i(o). Let s be h(-5). Let u be (2/(-5))/((-7)/s). Does u = 0?
False
Let h = -12.2 - -11.9. Is h equal to 6?
False
Let q = 1 - 0. Let v = -9.1 - -8. Let w = q + v. Is w < 0.3?
True
Let w = -2 + 5. Suppose 4*k - w*k + 2 = 0. Let u = 331/5 - 67. Which is smaller: u or k?
k
Let z be (0 - 1)/(-3 - -4). Suppose -f = 4*f + 70. Let g be (-32)/21 + 2/f. Is z at most as big as g?
False
Let l = 5 - 3. Let t be (-12)/(-4) + -3 + 1. Let z be t - -2 - l/1. Is z at least -1?
True
Let r(x) = 3*x + 1. Let v be r(-1). Let d be (-4)/3*25/10. Which is smaller: v or d?
d
Let r = -152729/14 - -10914. Let d = -65/7 + r. Which is smaller: d or -6?
-6
Let n(g) be the second derivative of -g**4/12 - 5*g**3/3 - 4*g**2 - 2*g. Let u be n(-8). Let v(w) = -w**3 + 7*w**2 + 7*w + 6. Let b be v(u). Is b < -1/2?
True
Let a be (4/(-6))/(3/6). Is a > -1?
False
Suppose -11*s = -72 + 17. Let n(z) = -z + 5. Let v be n(0). Is s <= v?
True
Let s be 4/(-2) - (0 - 0). Let f = 4 - 1. Suppose -15 = f*b, 2*y - 1 = b - 0. Is y less than or equal to s?
True
Let f = -81079/63 - -1287. Is f greater than or equal to 1?
False
Let a be 0 + 3 - (-2 - -2). Let u be 5/a - 2/3. Which is smaller: -1/7 or u?
-1/7
Let m = -2 + 6. Is 0.3 less than or equal to m?
True
Let k be -6*1*(-2)/4. Let f be k*(-2)/(2 - 8). Let l = -1 - f. Which is greater: -0.2 or l?
-0.2
Let i = -7 + 9. Is i bigger than -5?
True
Let k = -0.5 - -0.56. Let z = -0.01 + k. Let r = z + 0.95. Which is greater: 0 or r?
r
Let q = 1 + -4. Let u = q - -3. Is 1 bigger than u?
True
Let u = -1 + 1. Let n be ((-645)/(-36))/((-1)/(-4)). Let q = -71 + n. Does q = u?
False
Let s(b) = -b**2 - 11*b - 9. Let n be s(-10). Suppose 0 = w - 1 - n. Let v be -4 + ((-12)/(-2))/w. Which is bigger: -2 or v?
v
Let d = 146 + -98. Is 48 less than or equal to d?
True
Let f = -11 - -15. Suppose 2 = 3*s + i, 0 = -s - f*i - 5 + 13. Is 10/11 greater than s?
True
Suppose -5*f + 2 = -4*w + 7, 5*f = -5*w - 5. Let x be 256/18 + (-4)/18. Let a be (-4)/x*12/8. Is a at most as big as w?
True
Let b(a) = -a**3 + 10*a**2 - a + 12. Let q be b(10). Let x(g) = 2 + g - 2*g + 0*g. Let c be x(q). Is c greater than or equal to 2?
False
Let w = 450/7 + -64. Let b be ((-1)/(-3))/(6/108). Let c = -5 + b. Is w at most c?
True
Suppose -14 + 98 = -7*l. Which is smaller: l or 4?
l
Let c = -42.8 - -43. Is -16 bigger than c?
False
Suppose 0 = -3*t + 3, 2*t + 0 = h - 1. Suppose h*j - 5*j + 24 = 0. Suppose a = -a + j. Is a less than 6?
False
Let d be 4 + 12*(-12)/(-8) + 4. Is d less than 25?
False
Suppose -5*i + 4*a = -1, 2*i + 3*a - 5*a = 0. Let m = -0.3 - -0.3. Which is smaller: i or m?
m
Suppose -g = -4, 3*m - 3*g = 2*m - 9. Suppose -4*z + 12 = 4*b, -z + 13 - 1 = 4*b. Suppose -b*l - 1 = -10. Are l and m unequal?
False
Let n = 0.99 + 0.01. Let v = 1 - n. Which is greater: v or -3?
v
Suppose -2*i = -0*i. Suppose -4 + 32 = 4*d - 2*x, 5*x = -5*d + 35. Suppose d = r + 2*o, 3*r - 2*o + 4 + 15 = i. Which is bigger: r or -4?
r
Let d = -5 + 8. Suppose 5*o = -4*j - 12, 4*j = d*o - 5 - 7. Let m = -91 - -87. Which is smaller: m or j?
m
Let d be -2 + 5 + (-1 - 2). Let h(f) = -f**2 + 4. Let i be h(d). Is i bigger than 5?
False
Let h be 4/22 + (-27)/(-33). Let k(d) = -13*d - 1. Let c be k(2). Let n = 82/3 + c. Is h greater than or equal to n?
True
Let w be (-8)/(-60)*3 + (-268)/20. Which is smaller: -8 or w?
w
Let z = 10 + -12. Let d = -251/3 + 83. Is d greater than or equal to z?
True
Let h = 92/105 - 26/15. Let l be 26/(-8) + (-3)/4. Let g(b) = b + 4. Let o be g(l). Which is bigger: h or o?
o
Suppose -h + 10 = 12. Let j = -4 + 6. Suppose 5*y + j = 4*y. Is y at most as big as h?
True
Let h = 23 + -19. Suppose -u = h*m + 14, 4*m + 3 = -13. Which is smaller: 2/3 or u?
2/3
Let o = -29 + 35. Which is greater: o or -2?
o
Let h be ((-12)/(-18))/(4/306). Is 52 at least as big as h?
True
Let m = -556/35 - -114/7. Which is bigger: m or 0.141?
m
Let g = 9 - 18. Which is smaller: -8 or g?
g
Let p be (0 - 1) + -4 + -27. Is p at most as big as -61/2?
True
Let a = -1/1647 - 108695/11529. Which is smaller: a or -1/3?
a
Let x be -6 - -10 - (2 + 12). Are -10 and x equal?
True
Suppose x - 12 = 4*f + 4*x, 0 = -5*f - 2*x - 8. Which is smaller: -4/3 or f?
-4/3
Let i = -0.047 + 0.047. Is i at least 1/17?
False
Let w = 31 - 31.1. Is -0.2 greater than or equal to w?
False
Let w = 2 - 4. Let a(d) = d + 1. Let h be a(1). Is h greater than w?
True
Let x be 0/(2/(2 + -4)). Suppose 5*u - 3*u + 8 = x. Is -5 bigger than u?
False
Suppose q = 4*n + 37, 5*n = -0*q - 4*q + 64. Let c be (-1)/(-4) - q/(-12). Is 0 greater than c?
False
Let q = 28.9 - 29. Which is smaller: q or -4?
-4
Let m(f) = -f**3 - 4*f**2 + 3. Let d be m(-4). Are d and 3 unequal?
False
Let c = 3.4 + 0.6. Let d = -12 - -16.1. Let r = d - c. Is 0.2 at least r?
True
Suppose 5*u + 5 = 0, n + 1 = -2*u - 1. Suppose 2 = -5*j + 7*j. Let h be (n/j)/(2 + -4). Is h less than or equal to 2/19?
True
Let s(a) = -a**2 + 5*a**3 - 6*a**3 - 4*a + 4*a**3. Let n be s(5). Let v be 72/n - 4/10. Are v and 0 unequal?
True
Let b = 8/3 + -7/3. Let g be ((-4)/7)/(-4) + 0. Is g greater than or equal to b?
False
Let z be 3/((-4)/(-64)*-3). Let b = 19 + z. Which is greater: -3 or b?
b
Let s = 5 - 8. Is s greater than or equal to -3?
True
Let z = 4.6 + -5. Is 2/3 <= z?
False
Let z = 5 + -5. Let b be (2 - 3) + z + -2. Let m be (-36)/24 - 0/(-1). Which is bigger: m or b?
m
Let d = 126 - 129. Is d equal to -31?
False
Let c = -0.17 + 7.17. Let p = 10 - -2. Let g = p - 11.9. Is c at least as big as g?
True
Suppose 2*w = 6*w - 16. Suppose -3*a = -w*i - 26, i - 2*a + 9 = -0*a. Which is smaller: i or -4?
i
Suppose 2*q - 5*b = 0, 3*q + b = -4*b. Let i = -1614/7 - -231. Is q at most i?
True
Suppose d = -4*n - 31, -4*d + n = -4*n + 40. Let h be 9/(-45) + (-8)/d. Suppose 0 = -5*i, i = 2*p - 0*i. Which is bigger: h or p?
h
Let s = -42 + 41. Let u be (2/10)/(1 + 0). Which is smaller: s or u?
s
Suppose 18 + 12 = 5*w. Suppose 5*l - 5 = -3*s + 8, -2*s = -4*l - 16. Do w and s have the same value?
True
Suppose 3*p - 6 = j + 2, 5*j - p + 12 = 0. Let g be 1/4 - (-34)/(-40). Which is greater: j or g?
g
Suppose -q + 1 = 9. Which is greater: q or -7?
-7
Let r = -129 - -2323/18. Which is smaller: 1 or r?
r
Suppose 0 = -2*h - n - 0 - 4, 6 = -4*h - 3*n. Do h and 6 have different values?
True
Let a = -818 - -10600/13. Let g = 28/39 - a. Is 3 at most g?
True
Let g(p) = -2*p - 10. Let o be g(-5). Which is bigger: 3/7 or o?
3/7
Let w = -905/6 + 19009/126. Let d = w - 148/693. Suppose 3*n + 5 - 2 = 0. Which is bigger: d or n?
d
Let b = 342/11 - 8528/275. Is b < 0?
False
Suppose -2*k = k - 3, 3*k - 3 = -4*w. Is -7 smaller than w?
True
Suppose -5*r + 4 + 6 = 0. Are r and 2 equal?
True
Let y = -0.3 + 0.32. Which is smaller: y or -4?
-4
Let l = -1.17 + 1.27. Which is greater: 0.28 or l?
0.28
Let k = 25 + -39. Which is greater: k or 0?
0
Let h = -8 - -5. Let p be (-60)/27 - (-4)/18. Is p != h?
True
Suppose -4*a - 8 = -2*a. Which is greater: a or -6?
a
Let h be 3*-178*5/30. Is -89 > h?
False
Let r(t) = t**3 - 7*t**2 - 2. Suppose -6 = 2*w + 5*p, 4*w - 4 = -4*p + 8. Let a be r(w). Which is smaller: -1 or a?
a
Let w(h) = h**3 - h**2 + 1. Let b be w(-1). Let n be (-6)/15*(-1)/(-2). Which is smaller: b or n?
b
Let h = 37 + -36. Is h bigger than 2/5?
True
Let g = -2 - 5. Let o be (g/2)/((-5)/(-2)). Let z be (-7 - -4)*3/((-9)/(-2)). Is z greater than or equal to o?
False
Let o(l) = 14*l - 3. Let n be o(3). Let y = 157/4 - n. Is y bigger than -1?
True
Suppose -8 = -2*r - 2*r. Let d be (0 + 0)/1 - -2. Let u be d/(-1*4 + r). Is u > -1?
False
Let j be 9/2*(-16)/(-12). Let v = -2 - j. Let l be 8/(-42)*12/v. Is l at most as big as 3/7?
True
Suppose 2*l - 5 = 5*d - 2*l, -2*d + l = 2. Let s = -5/3 - -2. Is d greater than s?
False
Let w be 6/21 - (-164)/14. Let a = w + -22. Which is smaller: a or -9?
a
Suppose 12*d - 7*d - 60 = 0. Is 13 at least as big as d?
True
Let v be 44 - 8 - 12/(-3). Which is smaller: v or 39?
39
Let d = -105 - -17. Is d > -1/2?
False
Let n = 12 - 15. Let f = n + 3. Which is smaller: -1/10 or f?
-1/10
Let a = -22/7 - -26/7. Which is smaller: 0 or a?
0
Let a(p) = p**2 + 4*p - 12. Let j be a(-6). Suppose -t - 5*t - 6 = j. Is -3 at most as 