-2/49. Which is smaller: v or -1?
-1
Let a(j) = j**3 - 3*j + 3. Let z be a(2). Suppose q - 3*y = -z*y - 3, 0 = -3*q - 3*y. Which is smaller: 1 or q?
1
Let c = 19 + -10. Let d(m) = -m**2 + 10*m - 10. Let r be d(c). Which is smaller: -1/3 or r?
r
Suppose 0 = -5*f + 3*a + 17, 3*a + 0 = -4*f - 8. Let s(q) = q**2 + q. Let l(d) = d - 4. Let v be l(5). Let x be s(v). Which is bigger: x or f?
x
Suppose 0 = -6*w + 4*w + 3*u - 33, -2*w - 5*u = 9. Let y be (-1)/4 + w/(-80). Let h(f) = -f**2 - 8*f - 6. Let s be h(-7). Are s and y equal?
False
Let j(l) = -2*l - 8. Let s be j(-7). Suppose -3*y + s = -0. Let t be 21/(-3) + y - -2. Which is bigger: t or -1?
-1
Let s be -4 + (3 - 2) - -1. Let w(z) = z**2 + 4*z. Let a(y) = y - 4. Let p be a(0). Let j be w(p). Is s equal to j?
False
Suppose 0*f - f = 0. Suppose -1 = -r + 2*b + 15, 0 = -3*r + 3*b + 48. Suppose f = -3*l - l - r. Do -4 and l have the same value?
True
Let o = 12.7 - 14. Let g = o + 0.3. Are g and 4 nonequal?
True
Let u = -2.1 - 0.7. Let d = u + 3. Let l(p) = -p**2 - 3*p - 1. Let z be l(-2). Which is bigger: z or d?
z
Let j(o) = -o**2 + o + 5. Let d be j(0). Suppose 4 = -d*r + 9. Is r smaller than 3/5?
False
Let s = -15 + -4. Which is smaller: s or -1/4?
s
Let v = 4.96 - -0.15. Let q = 0.11 - v. Which is bigger: -1 or q?
-1
Let m(l) = l**2 + 13*l - 6. Let v be m(-13). Let s = -6 - v. Which is bigger: -2/15 or s?
s
Let q = -0.18 + 0.11. Suppose -i = -a - 3 + 1, 2*a = 3*i - 3. Which is greater: i or q?
q
Suppose 0*d - 3*d = 0. Let c = 2 + -1. Let g = c + -3. Is g greater than d?
False
Let w = -6 - -16. Let o be (-6)/(-9)*1/w. Suppose -u + 0 = 1. Which is smaller: u or o?
u
Let p = 0.026 + -2.996. Let a = p + -0.03. Let o = -3 - a. Is o less than or equal to -0.3?
False
Let q(v) = -3*v - 2. Let l(u) = 13*u + 9. Let x(o) = 2*l(o) + 9*q(o). Let d be x(4). Does d = -2?
False
Suppose -4*v + 25 = -b + 5, 3*b - 15 = -3*v. Let s be 4/14 - 19/(-7). Suppose 8 + 4 = s*q. Is v equal to q?
False
Suppose -z - 2*z = 69. Is z bigger than -23?
False
Let k = -2.7 + 6.8. Let x = 0.6 + -4.6. Let u = k + x. Does 0.2 = u?
False
Suppose h + 2 = 0, 2*n - 5*h = 3*n - 31. Is n > 41?
False
Suppose -33*i + 412 = -37*i. Are -104 and i unequal?
True
Let b = 1 + -1. Which is smaller: b or 1?
b
Let c = -4 + 2. Suppose 4*s + s + 10 = 0. Is c > s?
False
Let r be 66*-6*(-6)/(-27). Let w be 8/44 + 38/r. Do w and -0.3 have the same value?
False
Let x = -20 + 14. Let n(p) = 2*p + 4. Let j be n(x). Is j less than -6?
True
Let x = -15.16 + 17.1. Let h = x - -0.06. Is h < -0.1?
False
Let d be (3/(-6))/((-2)/4). Suppose 0 = 4*g - 4*h + 44, 0*h - 27 = 2*g - 3*h. Let m be (d - g/(-4)) + 1. Is -2 at most as big as m?
True
Let w be (1/5)/((-4)/10). Let z be ((-24)/16)/((-1)/2). Suppose z*f = -4*j - 14, 4*j + 16 = -3*f - f. Which is bigger: w or f?
w
Let r(q) = q**3 + 5*q**2 + 3*q + 3. Let u be r(-5). Let k be ((-11)/(-22))/((-2)/44). Which is smaller: k or u?
u
Let u = 28.6 - 28. Let q = 2 - 0.6. Let h = u + q. Which is greater: h or 0?
h
Let m = 6 - 5. Is m less than or equal to -24?
False
Let c be -2 - 1 - 15/35. Let h = 103/28 + c. Is h less than 5?
True
Let x be 8/6*9/(-6). Which is smaller: 2 or x?
x
Suppose j - 5 = 3*b + 2*b, 4*b + 4 = 3*j. Are 2/61 and b equal?
False
Suppose -5*f = -3*u - 25, 4*u - 5*f + 23 + 7 = 0. Do u and -15/4 have the same value?
False
Let t be 7/4*16/392. Which is greater: t or 0?
t
Let v be (-10)/4*20/(-25). Let n be (12/(-9))/(4/(-6)). Is v less than or equal to n?
True
Suppose -3*w + 5 = -3*g + 20, 5*g = -w - 5. Let r = 17 - 18. Which is greater: r or w?
r
Suppose 0 = -3*j + 4 - 34. Let b = 6 + j. Which is smaller: -2 or b?
b
Let m(b) = -3*b - 3. Let n be m(0). Let a be (2 - (-2 - n))*0. Is 0 greater than a?
False
Let d be (-94)/(-14) - (-2)/7. Let c = -7 + d. Which is greater: c or -3/5?
c
Let k = 1 - 5. Let t = k - -3.9. Let r = -35/2 + 17. Are r and t nonequal?
True
Suppose -3*i = -5*f + 44, f - i = 6*f - 52. Let u(n) = n**2 - 10*n + 1. Let l be u(f). Do 3 and l have the same value?
False
Let o = -1175/64 - -147/8. Is 1 at most as big as o?
False
Let d = -10.5 - -21.5. Which is smaller: -0.2 or d?
-0.2
Let f = 7 - 2. Let b be 2*2/(-4)*f. Let m = 5 + b. Is 0 > m?
False
Let u = -37.9 - -38. Is -3 smaller than u?
True
Let s = -3.97 + -0.03. Let k = s - -4.1. Let g = -8 + 6. Which is smaller: g or k?
g
Let b be (-2)/((-4)/2) - 7. Let l be 14/b + 2/(-3). Which is greater: l or -5?
l
Let s = 196 + -203.9. Let z = s + 8. Which is smaller: 0 or z?
0
Suppose h = -0*h + 32. Suppose -w - h + 2 = 0. Let n be 4*(w/(-44))/5. Which is smaller: 0 or n?
0
Let r = -970 + 5831/6. Suppose -2*u - 9 + 4 = -5*w, 5*w = 3*u + 5. Is w less than r?
True
Let b(p) = -p - 8. Let t be b(-8). Let h be (-6)/5 + 4/2. Is t equal to h?
False
Let y be ((-3)/(-1))/((-6)/32). Is -15 not equal to y?
True
Let c = 10 + -5. Suppose 0 = -c*o + s + 3 - 14, s = 1. Is -5/4 greater than or equal to o?
True
Let z = -3/59 - -643/10325. Let j = -159/1400 - z. Is j bigger than -0.1?
False
Let l = -22 - -21. Which is smaller: l or -3/14?
l
Let h be (-3)/6*30/18. Which is greater: h or -1?
h
Let l(m) = 2*m + 16. Let j be l(-12). Do j and -9 have the same value?
False
Let o be ((-1)/2)/((-2)/12). Suppose 4*v - 3*f = -2*f - 2, -o*v = 4*f + 11. Which is smaller: -6/7 or v?
v
Let g(x) = -x**3 - 11*x**2 - 11*x - 11. Let b be g(-10). Is -2/33 equal to b?
False
Let f = -0.54 - -0.54. Let c = -8 + 5. Let z = -1 - c. Which is greater: f or z?
z
Let s = -187/135 + 5/27. Which is greater: s or -2/7?
-2/7
Let u = 10 + -5. Suppose -7*s - o + 2 = -3*s, u*s = 5*o + 15. Let f be s/(-6)*4/(-3). Is 0 at most as big as f?
True
Let u(i) = 2*i**3 + 4*i**2 + 2*i - 2. Let x be u(-2). Let n be 8/(-24) + 4/x. Is 0 bigger than n?
True
Suppose -4*s = -3*o + 1, -3*o + 5*s - 1 = -3. Is o at least as big as 1/30?
False
Let u be (-2)/5 + (-1197)/(-2975). Let o = -821/12325 - u. Is 1 smaller than o?
False
Let t be 6 + -2 + 3 - 3. Suppose 4*m = 5*s - 1, -t*m = -0*s + 4*s - 8. Are s and 2 equal?
False
Let h(c) = -c - 2. Let q be h(-4). Suppose -63 = -4*o - 3*u, -3*o = q*u - u - 41. Let l be -2*(2 + (-22)/o). Is -0.3 bigger than l?
True
Suppose -2*r - 1 + 3 = 0. Which is bigger: -9 or r?
r
Let l be 742/1780 + 2/(-5). Let k = l - -323/1958. Do 0 and k have the same value?
False
Let x be (-2 - 28/(-15))/(9/(-10)). Which is greater: 1 or x?
1
Let o be (32/(-12))/4 + 1/(-12). Let k be (0 - 1) + 3/4. Let c = k - o. Is c >= 0?
True
Let p = -2561/11 + 233. Let b = -1/9 - -4/9. Which is smaller: b or p?
p
Suppose k = -k + 8. Suppose -k*j - m - 9 = j, -2*j - 5*m - 22 = 0. Is j greater than 1/3?
False
Let y(p) = -p**2 - 5*p + 6. Let a be y(-6). Which is greater: a or -1/6?
a
Suppose -4*n = 8 + 24. Let g(a) = -a - 1. Let h be g(-5). Let w be 156/(-18) + h/6. Is n greater than w?
False
Let f = -3 + 2. Let t = 1.9 - 2. Let z = t + 0. Which is greater: f or z?
z
Let t(i) = i**3 - 13*i**2 + i - 3. Let v be t(13). Suppose 2*g - v = 0, 3*b + 2*g - 2 - 2 = 0. Is b not equal to -4/5?
True
Suppose -a = -1, -4*a = 5*x - 3 + 4. Let y(v) = -v. Let k(d) = -4*d + 10. Let h(l) = x*k(l) + 3*y(l). Let b be h(9). Is 0 smaller than b?
False
Let x be (12/(-10))/((-9)/(-30)). Let q be 3*12/(-9) - -1. Which is greater: x or q?
q
Let m(w) be the second derivative of w**5/20 - 3*w**4/4 + 4*w**3/3 + 5*w**2/2 - 3*w. Let o be m(8). Let q = o + -3. Which is smaller: 1 or q?
1
Let i(v) = v + 4. Let y be i(-6). Let w be (-1 - -2)/((-1)/2). Is w less than y?
False
Let l(d) = -d - 20. Let r be l(-10). Let v = r - -18. Which is greater: v or 7?
v
Let q(h) = 6*h + 4. Let k be q(-2). Which is bigger: -6 or k?
-6
Let v = 44 + -45. Do -3 and v have the same value?
False
Suppose 16 = 2*x + 56. Let c = 21 + x. Is -2/45 at most c?
True
Let o = -0.12 + 0.23. Let b = 0.11 - o. Is b < -3/2?
False
Let g = 25/8 - 417/136. Is -1 at most as big as g?
True
Let w be 2 + (-188)/(-20) + 4/(-10). Is 12 smaller than w?
False
Suppose 5*a - k = 9 + 6, 0 = -2*a - 5*k + 6. Suppose -4*x + 11 = -17. Which is smaller: x or a?
a
Let y = -7 + 6.9. Let h = 16.2 - 15. Let i = h - 0.2. Is i less than or equal to y?
False
Let t be ((-20)/50)/(14/(-10)). Let n(m) = -m**3 + 4*m**2 - 2*m - 1. Let f be n(3). Suppose 3 = -5*i + f*i. Is t at least as big as i?
True
Let q(m) =