 r(v). Suppose 0 = -g*q - q - 3. Is q > -2?
True
Let h = 14 + -13. Which is smaller: -1/3 or h?
-1/3
Let h(v) = -2*v**3 - 3*v - 3. Let o be h(-3). Let f = 42 - o. Let g = -25 - f. Is g > -7?
False
Let o = 0 + -3. Suppose 3*v - 2*r = -v, 0 = -v - 2*r. Let g be 1/(1/(-4) + v). Is g at most as big as o?
True
Let w = -2 - -1. Let y = -0.038 - 1.822. Let p = 0.14 - y. Which is smaller: p or w?
w
Let n = -119/30 + 41/10. Is 0.1 at most as big as n?
True
Let l = -0.07 - 0.19. Let d = -0.26 - l. Which is greater: -1 or d?
d
Let v be (-12)/42 + (-5)/7. Let w(m) = -2*m**3 + 3. Let k(t) = -2*t**3 - t + 4. Let x(l) = 2*k(l) - 3*w(l). Let u be x(v). Is 1/10 equal to u?
False
Let k = -0.7 - 3.3. Let p = -2 - k. Let o = -25 + 24.9. Which is bigger: o or p?
p
Let h be (-2)/(-3)*1 - (-4)/3. Is h less than -10/3?
False
Suppose k = 2*k - 9. Let a = k - 4. Suppose -4*x + 2*x + 12 = 0. Is x smaller than a?
False
Let f(k) = 6*k - 12. Let s be f(5). Let x be (-3)/(-2) - 3/s. Is x less than 0?
False
Suppose -2*r + 2 = -4*r. Which is greater: -2 or r?
r
Suppose -m + 0*m - 3 = 0. Let i be 2/(1/(m/14)). Suppose -x - 7 = -6. Which is greater: x or i?
i
Let b = -94 - -92. Which is smaller: -5/9 or b?
b
Let h = 1 - 1. Let b be (h/2)/(-1 + 0). Let n = 114 - 568/5. Which is bigger: n or b?
n
Let s = 2 - 12. Is -8 smaller than s?
False
Let b be 3*(-4)/(-12) - 81/15. Is -4 > b?
True
Let v(w) = -3*w + 8. Let c be v(0). Which is smaller: 4 or c?
4
Let o(z) = z**3 - 9*z**2 + 5*z - 12. Let k be o(8). Let a be -5*(2 - k/(-15)). Suppose -a*y = -0*y. Which is smaller: -1 or y?
-1
Let i = 884/1015 - 2/145. Which is smaller: i or 2?
i
Let c(r) = -r**2 - 2*r + 2. Let o(y) = -y**2 - 3*y + 1. Let a(q) = -3*c(q) + 2*o(q). Let p be a(3). Suppose p*j - 17 = -5*w + 4*j, -4*w + 1 = 5*j. Is w < 4?
False
Suppose -14 = o + 2. Let h = 11 + o. Is -5 less than h?
False
Let t = -4 - -3. Let p = 6 - 5.96. Let b = 0.06 + p. Is b equal to t?
False
Let b be 3 + -1 + -3 + 2. Is b at least as big as 18?
False
Let u = 29 + -36. Is u greater than or equal to -1?
False
Suppose -1 = -3*n + 5. Let o be n/(-20)*20/(-8). Let s = 13 - 10. Are o and s unequal?
True
Let n = 0.38 - 0.08. Let m = -0.2 + n. Which is smaller: m or -0.2?
-0.2
Suppose -2*j = 6*j - 152. Which is smaller: j or 18?
18
Suppose -2*l = 4 - 0. Let u(g) = g + 9. Let n(x) = -2*x - 17. Let t(o) = l*n(o) - 5*u(o). Let d be t(-6). Is d greater than or equal to -5?
True
Let b = -7.24 - -0.14. Let r = 7 + b. Is r > -0.2?
True
Let w = 0.02 - 6.02. Let f = -6.04 - -0.04. Let k = f - w. Which is smaller: k or 1/4?
k
Let m(b) = 4*b + 14. Let s be m(-7). Which is bigger: s or -16?
s
Suppose -4*i + k - 32 = -k, -k - 2 = i. Let j = 1 + -6. Which is smaller: i or j?
i
Let w(z) = -2*z**3 + z. Let n be w(1). Let b be 24/14 - (-2)/n. Suppose -2*g = 2*g - 4. Is g greater than or equal to b?
True
Let y(k) = k**3 + 8*k**2 - k - 7. Let o be y(-8). Let h(d) = d - 7. Let n be h(6). Let p be 2 - ((-3)/(-6) - n). Is p not equal to o?
True
Let v = -3 - -12. Suppose -y - 5*z - 21 = 0, v + 6 = -5*z. Is -6 at least as big as y?
True
Let z = 9 + -2. Suppose -y + z = d - 6*d, 4*y = -4*d + 4. Is y at least 2/3?
True
Let f = 1.5 + 4.5. Let b = 8.6 + -3. Let a = b - f. Are -2/11 and a non-equal?
True
Let i(p) = p**2 + 12*p + 42. Let h be i(-6). Which is smaller: h or -3?
-3
Let d = -0.9 + 1. Let j = 11 + -13. Which is smaller: d or j?
j
Let j be 6/(-27) - 110/(-252). Let x(h) = -h - 1. Let s be x(0). Do j and s have different values?
True
Suppose 4*n + 20 = -2*c, 0*n - 3*n - 9 = 3*c. Is -5 bigger than n?
True
Let s = 42 - 39. Which is greater: s or 5/2?
s
Suppose 5*p - 3*q + 50 = 0, 4*q = -p + 2 - 12. Let d be 22/p + 2 + 0. Is d greater than or equal to 0?
False
Let b = -18 + 19. Is b at most as big as 1/5?
False
Let w = -478/1533 + -12/73. Is 0 not equal to w?
True
Let p(r) = -3*r + 3. Let n be p(2). Suppose 2*l + 2*h = -0*h + 4, 3*h = 15. Is l not equal to n?
False
Let l(r) = -2*r**2 + 7*r + 4. Let p be l(4). Is -1/6 greater than or equal to p?
False
Let w(o) = -o**3 + o**2 - 1. Suppose 0*f + 4*f = 0. Let q be w(f). Is 0 greater than q?
True
Suppose 0*v - 6 = -3*v. Let p(m) = m**3 + 13*m**2 + m + 7. Let q be p(-13). Let x be 4/q - 9/(-6). Is v at least x?
True
Let i be 1/(-3)*(2 - 1). Is i < -3?
False
Let a = -12 - 3. Let b be (2/a)/((-6)/(-10)). Is b at least -1?
True
Let d(o) = 5*o**2 - 6*o - 3. Let t(b) = b**2 + 1. Let f(v) = d(v) - 4*t(v). Let c be f(7). Let i = 0 + c. Which is bigger: i or 2/7?
2/7
Let n = 2 + -2. Let o be 6/(-8) - 1/4. Let x be o/(-4) + 6/8. Which is bigger: n or x?
x
Suppose -s + 4*s - 12 = 0. Suppose 6*c = s*c. Which is bigger: -3 or c?
c
Let q(w) = -5 + 2*w**2 - w - 3*w**2 + 0*w**2 - 7*w. Let y be q(-8). Let j = 12 - 18. Which is smaller: y or j?
j
Suppose -6*k + 3*k = -42. Let d be ((-6)/(-9))/(k/(-6)). Which is smaller: 1 or d?
d
Let o = -26 - -65. Are o and 2/3 equal?
False
Let v(g) = g - 4. Let s be v(3). Let u be (s/(-3))/(3/(-18)). Are 5 and u equal?
False
Let l = 6.7 - 7. Let v = 1.3 + l. Which is greater: v or -1?
v
Let n be ((-10)/(-15))/((-4)/(-54)) - -3. Is 11 at least as big as n?
False
Let p be (-2 + 16/6)/(13/(-12)). Is p bigger than -0.1?
False
Let o be 44/12 + 4/(-6). Suppose 2*i - 3*s = -2, i - 4*i + 5*s = o. Let t = -6 + 3. Which is greater: i or t?
i
Let g be 4/(-6) - 422/6. Do g and -0.1 have the same value?
False
Let g(a) = -5*a + 10. Let u be g(8). Which is smaller: -1/2 or u?
u
Suppose 6*i - i = 10. Suppose -5*l + b - 10 = 0, b = -5*l - 11 + 1. Let a be -1 - (4 + l - 1). Is a bigger than i?
False
Let k be (-12)/(-30) - (-836)/10. Let c be 3/(-12) + 13/k. Which is smaller: c or -1?
-1
Let d = 171 - 679/4. Is 0 equal to d?
False
Let k = -4 + 3.92. Let i = 0.02 - k. Is i smaller than 0?
False
Let g be 64/14 - (-21)/49. Suppose g*o + 100 = -5*d, 0 = 5*d + 3 - 23. Let u be (3/(-9))/(10/o). Which is bigger: 1 or u?
1
Let s = -10/117 - -1/117. Which is smaller: 0 or s?
s
Let b be (-75)/(-6)*(2 - 0). Suppose -2*n = 4*x - 10, 2*x + 0*n - b = -5*n. Let t = 1 - x. Which is smaller: 2 or t?
t
Let z = -76 + 72. Is z less than or equal to 2/5?
True
Suppose 0 = -3*a - 3*k + 7*k + 20, -3*a + 3*k + 15 = 0. Is -7 at least a?
False
Let b = -28 + 41. Are 1/4 and b unequal?
True
Let k(i) = -i**3 - 5*i**2 - 6*i - 7. Let u be k(-4). Let q = -38176941/296 + 128976. Let z = q - -1/37. Which is greater: u or z?
u
Let t = 3.1 + -3. Let b be (-8)/(-70) + 12/42. Is b <= t?
False
Let c = -139 + 2638/19. Which is smaller: -2 or c?
-2
Let k = -21 + 17. Suppose 7*y - 2*y = 3*m - 8, -m = y. Which is smaller: y or k?
k
Let g be -4*(-15)/18*-3. Let v = -14 - g. Is -5 less than or equal to v?
True
Let b = 891/11765 + 3/181. Is b != 1?
True
Let h = -0.55 - -0.5. Which is smaller: 0 or h?
h
Suppose 3*d - 3 = -6. Let i(o) = -o**2 - 5*o + 8. Let g be i(-6). Let h = -4 + g. Is h > d?
False
Let m = -8 + 12. Suppose m*z = 4 + 4. Let r be -2 + 4*1/z. Which is greater: r or -1/4?
r
Let b = -1.8 - -2.1. Which is greater: 2 or b?
2
Suppose 5*l - 11 = 9. Which is smaller: 3 or l?
3
Suppose -26 = -y + 14*y. Which is bigger: -35 or y?
y
Let v be 6/60 - 4/(-10). Let g = -3.5 - -0.5. Let d = g + 3.1. Which is smaller: d or v?
d
Suppose 5*a = a + 12. Does 1 = a?
False
Let a be 3/9 + (-3 - -2). Let n = 3 - -4. Which is smaller: a or n?
a
Suppose 1 = 3*u + 4*l - 12, -2*u + l - 6 = 0. Let i be (u/(-15))/(3/18). Which is bigger: i or 0.1?
i
Suppose -3*h + 7 + 2 = 0. Suppose -15 = -b - h*d, -4*d - 7 - 23 = -2*b. Let w be 4/b - (-2)/(-3). Does -1/2 = w?
False
Let s = -9073/33 + 275. Suppose 0 = 5*v - 20 + 5. Let k(b) = b - 2. Let f be k(v). Is f bigger than s?
True
Let y be 12/(-8) - 1628/(-1096). Is y less than or equal to 0?
True
Let z = -5.05 - -7. Let s = z - -0.05. Let f = 0.1 + -0.1. Does f = s?
False
Let l(v) = v**2 - 15*v - 35. Let a be l(17). Which is smaller: -3/50 or a?
a
Let i be ((-6)/(-80)*4)/((-18)/(-24)). Which is greater: -14/11 or i?
i
Let n(q) = -4*q - 19. Let g be n(-5). Is g equal to -2/31?
False
Let m = -13 + 3. Which is smaller: -0.2 or m?
m
Let d(n) = 7*n**2. Let o be d(-1). Suppose 2*c = o*c + 4*r - 25, c + 19 = 4*r. Which is bigger: c or -1/4?
c
Let o be (-20)/5 - -6 - 10/4. Are 2/21 and o unequal?
True
Let n be (4/(-6))/(26/(-3)). Is n at most -1?
False
Let