ppose o*v - 5*v - 15 = 0. Which is smaller: -9/4 or v?
v
Let y be 4/(16/6*3/4). Let m be 23/(-2)*17/(-2). Let i = m + -97. Which is greater: y or i?
y
Let d = -3/68 - -173/68. Is 0.1 >= d?
False
Suppose 0 = -z + 5*n - 3 - 11, 0 = 3*n - 9. Which is smaller: 14/11 or z?
z
Let q = -1 - -2. Suppose 5*o = -5*o + 10. Is q != o?
False
Let f = -247/3 - -83. Let q be 0/(-3) - (-1)/2. Do q and f have different values?
True
Let m = 0.3 - 0.2. Is -1 greater than m?
False
Let g be (-1)/(-2*38/24). Which is smaller: g or -1?
-1
Let j = -15.4 + 15. Let p = 0.2 + j. Which is smaller: -2 or p?
-2
Let t = -6 - -2. Which is bigger: -11/3 or t?
-11/3
Let n = -3 + 2. Let y = n - 5. Let q be 1 + (-3)/(y/4). Which is smaller: -2/5 or q?
-2/5
Let k be (-69)/18 - 2/(-4). Are -3 and k non-equal?
True
Let k = 2.3 + 0.7. Let z = k - 5. Is z at most as big as 0.2?
True
Let y(k) = k**2 + 5*k - 9. Let l be y(-7). Suppose 1 = 4*s + l*q, 4*s + 2*q = -q - 9. Are -6 and s non-equal?
False
Let y = -26 - -27. Is y smaller than -2?
False
Let f(q) = 14*q + 2. Let m be f(1). Which is smaller: m or 15?
15
Let m = -2 + 3. Let r = -4 + m. Is -5 at most r?
True
Suppose 45 = 5*w + 15. Suppose i = 3*x + w, 5*i - 50 = x - 6*x. Are i and 10 equal?
False
Let j = -0.024 + -0.076. Is -2/179 greater than or equal to j?
True
Suppose -4*l + g + g = 30, 2*l + 5*g = 15. Which is smaller: -13/3 or l?
l
Let b = 1.9 + -2. Let t = 2.1 + b. Suppose 4*i = 19 - 3. Is t != i?
True
Let m(c) = c - 9. Let w = 12 + -5. Let t be m(w). Which is smaller: t or -3?
-3
Suppose 2 + 6 = 4*i. Suppose -i*j - 12 = 4*r, j + 5*r + 15 = -3*j. Do j and -1/25 have the same value?
False
Suppose 3*b = 2*b - 3. Which is smaller: -5/3 or b?
b
Suppose 2*i - 4*i - 2*p = 18, 0 = 5*i - 4*p + 63. Let u be (-2)/i + 48/(-22). Which is smaller: u or -7/3?
-7/3
Let g = 3 + -4. Let u = -292 - -292.2. Which is smaller: u or g?
g
Let r(b) = -3*b - 11. Let i be r(-6). Suppose -2*o = -i*o + 15. Do o and 3 have the same value?
True
Let s be -6*(-2 - 2/(-3)). Let k be 4/(-6) - s/(-30). Suppose 4*z - 3*l = -0*l - 10, -3*l = -3*z - 9. Is z less than k?
True
Let r(h) = h**3 + 3*h**2 - 3*h + 2. Let w be r(-4). Let v = -2 - w. Let a = -0.98 - 0.02. Is a smaller than v?
True
Let x(h) = 8*h - 3. Let i be x(1). Let l be (-2)/(-5) - (-18)/5. Which is smaller: l or i?
l
Let i = 8.1 - 8. Is 0.08 >= i?
False
Suppose o = -o + 6. Suppose -3*r = -16 + 4. Suppose -r*s = -o*s. Are s and -1 equal?
False
Let l be 18/22 + (-4)/(-22). Let c be ((-4)/(-4) - 1)/l. Is -2/13 <= c?
True
Let o = -1.6 + 2.3. Let c = 2 - 1. Let d = c - o. Which is bigger: -1 or d?
d
Let q = 12 - 7.2. Let y = q - 6.78. Let h = y + -0.02. Is -2 <= h?
True
Let m be 15/13 - (-2 + 3). Suppose -1 = -6*t - 7. Is t bigger than m?
False
Let k be 2*2/12*147. Let q = -28521/20 - -5513/4. Let o = k + q. Is o not equal to 0.1?
True
Let r = -3 - -3.1. Let v = r + -0.1. Which is smaller: -1 or v?
-1
Let l = -21 + 24. Suppose 2*h - 4*h + n = 21, 0 = n - 5. Let o(j) = j**3 + 9*j**2 + 9*j + 11. Let a be o(h). Is a greater than or equal to l?
True
Let x be 1*3 - 171/63. Let a = -5.1 + 0.1. Let j = -3 - a. Which is bigger: j or x?
j
Let z(g) = g**3 + 6*g**2 - g + 6. Let x be z(-6). Let u be (-8)/12 + 14/x. Is 1 at least as big as u?
True
Suppose -4*k + 0*x + 4 = x, 0 = x - 4. Suppose k = -a - a - 2. Do -2/29 and a have different values?
True
Suppose -1 - 1 = 2*g. Let d = -251/52 + 40/13. Does g = d?
False
Suppose -4*t + 5*t = -3. Let r = t - -6. Suppose r = -3*h - 0. Is 2/5 bigger than h?
True
Let v = 16 - 145. Is v > -128?
False
Let d(y) = y**3 - 9*y**2 + 9*y - 6. Let x be d(8). Suppose 0 = -2*j + 5*v + 5 + 10, -x*j + v + 3 = 0. Suppose j = 2*f + 1 + 5. Is f less than or equal to -1?
True
Let g = 0 + 0. Let f = 8 - 4. Let q be f/16*32/10. Is q <= g?
False
Let f = 6 - 3. Let q = f - 2. Let u be 2 - (-2)/5*-4. Which is smaller: q or u?
u
Let q be (-6)/15 - 8/(-15). Let p = 2 + -2. Let j = p - -1. Which is greater: q or j?
j
Suppose 2*f - 7 = -5*u + 3*f, 2 = -f. Let x = -9 - -8.3. Let l = 0.3 - x. Is u equal to l?
True
Suppose -4*p - 3*h = -21, -5*p - 3*h + 5*h = -9. Let w be 1 + 0 - (p + -14). Suppose 3*g + n - w = 0, 15 = 2*g - g + 4*n. Is g less than or equal to 1?
False
Suppose 4*i + 8 + 12 = 0. Let c be ((-20)/24)/i*-1. Which is greater: 3 or c?
3
Let y = 1 - 0. Is y greater than 3/7?
True
Suppose 0 = -a + 2*h, 4*a + h - 3 = 6*a. Let v = 88 - 93. Is v not equal to a?
True
Let k(p) = -p**2 + 6*p + 1. Let d be k(5). Suppose -5 = b - d*b. Let g = -23/114 - -2/57. Which is bigger: b or g?
b
Let b = 12 + -20. Let u = -5 - b. Is 0 at least as big as u?
False
Suppose 201 = 3*z - 48. Let k be 38*(-3)/(18/13). Let f = z + k. Is f at least as big as 2?
False
Let i(v) = -v**3 - 4*v**2 - 4*v - 1. Suppose r = -f + 3 - 1, -29 = 3*r - 4*f. Let n be i(r). Suppose n*t = -5*o + 17, 4*o = 2*t - 8 - 0. Is t bigger than 5?
True
Let b = 0.36 - 0.53. Let f = -0.03 + b. Which is bigger: -2 or f?
f
Let d = -7019/9 + 779. Which is greater: d or -2?
d
Let k = -106 + 107. Let t be -2*(-1 - (-1)/2). Are k and t equal?
True
Let t = -12 + 9. Is -3 smaller than t?
False
Let r be 2/(-4)*1*-2. Suppose 2*z = -1 + 3. Let q = 2 - z. Is q at least r?
True
Suppose y + 15 = 3*b, -3*y = 3*b - y - 15. Is b at least 18/5?
True
Let t be ((-15)/(-9))/((-1)/6). Let c = 8 + t. Which is bigger: c or -1/2?
-1/2
Let x = 103 - 29. Are 75 and x nonequal?
True
Suppose 3*c - 4*c = 0. Let r be (-19)/(-27) - (-8)/(-12). Which is greater: r or c?
r
Let w = 30 - 22. Suppose w*h = 5*h - 3. Which is smaller: 0 or h?
h
Let r be (1 - -1) + (18 - 2). Suppose -2 = -4*k - r. Is -4 less than or equal to k?
True
Let f = 0.15 + 0.05. Is 0 != f?
True
Let j be 9/15 - (-129)/(-15). Let h be j/222*15/(-10). Let c = h - -27/185. Is c less than 1?
True
Let z(i) = -i**2 + 6*i - 6. Let a be z(5). Is 1/36 greater than a?
True
Let r be 4/(-22) - (-85)/(-77). Is 0 bigger than r?
True
Let b be 4/(-18) + (-14)/18. Let z(r) = -r - 4. Let g be z(8). Let u be ((-4)/14)/(g/(-18)). Is u at least as big as b?
True
Let o be 41/(-105) - (-1 + 1). Let u = -4/21 - o. Suppose -k = 2*k + 3*s + 12, -k - 2*s - 7 = 0. Which is greater: k or u?
u
Suppose -3*h + 5*d + 4 = 0, -5*h + 1 = -4*d - 10. Is 3 at most h?
True
Let a = 1/123 - 7393/1599. Which is smaller: a or -4?
a
Suppose -27 = 3*a - 0*a. Do a and 1/4 have different values?
True
Let j(r) = r + 6. Let b be j(-5). Suppose b + 1 = -2*d. Is -4/7 at most as big as d?
False
Let r = 14923/25 - 597. Suppose -s - c + 19 = 4*s, 3*s = -3*c + 9. Suppose -25 = -5*a - s*y, 0 = a + a - 5*y + 23. Which is greater: a or r?
a
Let v(t) = -t + 3*t + 1 - 4*t + t. Let f be v(0). Is 1 less than or equal to f?
True
Suppose -3*p + 30 = 2*p. Let m be (p/(-14))/((-9)/(-6)). Which is smaller: 1 or m?
m
Let r = 2.5 - 0. Let q = r - 0.5. Which is bigger: 1 or q?
q
Let x = 0.27 - 0.17. Is 0.1 != x?
False
Let l(r) = -r - 4. Let y be l(-3). Suppose 4*o - 5*o - 2*j + 1 = 0, -2*o - 7 = -5*j. Let x be o + 3 + -4 - -1. Is x at most y?
True
Suppose 0 = 2*m - 5*i + 5, 7*i - 4 = 3*m + 3*i. Let o be ((-9)/78)/(9/12). Is o less than m?
True
Suppose 0*t + 1 = t. Let o(v) = v**2 - 3*v + 2. Suppose 0 = 4*w + 3*g, g - 4*g = -5*w + 27. Let d be o(w). Which is smaller: d or t?
t
Let m be ((-88)/40*24)/(6/20). Is -176 less than or equal to m?
True
Let a(j) = -j**3 + 2*j**2 + 2*j. Let y be a(3). Suppose 2*s = u + 1, s - 1 = -3*s + 3*u. Let r be 0 + s*y/3. Which is greater: r or 1/6?
1/6
Let y be (-1)/(-3) - (-119)/(-231). Is y >= 0?
False
Let p be (-46)/(-8) - (-4)/16. Suppose 1 = -5*d + p*d. Which is bigger: d or -1?
d
Let s = -7 - -7. Suppose s = -3*j - 2*j. Suppose 7*u - 2*u = -2*i - 16, -3*u - i - 10 = j. Is -4 at least as big as u?
True
Let y be 1/(0/3 + 1). Let u = -109 - -541/5. Which is smaller: y or u?
u
Let l = -20 + 101/5. Is l greater than or equal to -1?
True
Let j be 5/15 + 10/(-3). Let a(w) = -w**3 + w. Let s(y) = 2*y**3 - y**2 - 6*y - 1. Let l(n) = -5*a(n) - s(n). Let o be l(-1). Which is greater: j or o?
o
Let a = -4/59 + -224/177. Is -1 not equal to a?
True
Let r be (12/(-18))/((-4)/(-18)) - -4. Is r greater than -3/98?
True
Suppose 5*g - 5 = 4*g. Suppose -4*b + g*j + 28 = 0, 2*j + 12 = -b + 3*b. Do 2 and b have the same value?
True
Let t = 1 - 2. Is -4/7 at most as big a