: v or 0?
0
Let n = 2/123 - -236/615. Which is greater: n or 22/5?
22/5
Let w(l) = -5*l**2 + 6*l - 1. Let j(g) = -9*g**2 + 12*g - 1. Let n(c) = -6*j(c) + 11*w(c). Let q be n(-5). Suppose q = 5*a + 3 + 2. Which is smaller: 1/4 or a?
a
Let l = -16/15 + 271/240. Which is greater: 1 or l?
1
Let z(c) = -c**3 - 5*c**2 - 5*c - 5. Suppose 0*a - 16 = 4*a. Let u be z(a). Suppose 0 = 2*v - h + 6*h + 27, 0 = -5*v + 3*h + 10. Is v greater than u?
False
Let o be ((-2)/(-72))/(118/(-4)). Let k = o - 2914/6903. Let h = k - -12/13. Are 1/3 and h equal?
False
Suppose 13 = -4*w + 4*v - 23, 4*w + 21 = v. Let i be (-1)/((-4)/3)*-4. Is w > i?
False
Let l = -13 - -21. Let m be (2/l)/(3/24). Is m less than 3/5?
False
Suppose -4 - 4 = -4*i. Let l be i*(-5)/2 + 2. Let o be l/6*-8 + -3. Are o and 1/2 equal?
False
Let h = 1 + -1. Let v = 4.7 + -4.6. Is h equal to v?
False
Suppose -3*x - 25 + 4 = 0. Let h = x + 6. Is h > 2/11?
False
Let z be (2/(-4))/(8/32). Let a be z/6*(0 + 1). Which is smaller: a or -0.1?
a
Let g = -6 - -4. Let t be 3 - (g - (-1 - 1)). Which is smaller: t or -3?
-3
Suppose c + 5*v = -3*c + 16, -4*c + 4*v - 20 = 0. Let j = 4 - 6. Let p be (-2)/j - 3/3. Which is smaller: c or p?
c
Suppose q = 3*q + 5*u + 103, 5*u - 73 = 2*q. Which is smaller: q or -43?
q
Let r be -1 - (2 - (5 - 2)). Let s be r + (3 - (-54)/(-15)). Which is greater: 1 or s?
1
Let f = 16 + -12. Is 2 less than or equal to f?
True
Let g(o) = o**3 + 10*o**2 + 2*o + 14. Let s be g(-10). Suppose 0*n - 4 = n. Are n and s equal?
False
Suppose 4*x - 2*y = 0, -2*y + 2 = -3*x + 1. Suppose -4*g = g - 35. Suppose -4*v - 15 = 2*o - g*v, 10 = 2*v. Which is smaller: x or o?
o
Let c be (-12)/6*2/(-16). Which is bigger: 0 or c?
c
Let w = 28 - 24. Is -5 equal to w?
False
Let s = -635 + 5725/9. Suppose 0 = 3*z - 6*z. Which is greater: z or s?
s
Let k(s) = s - 6. Let d(u) = -u**2 + 6*u - 3. Suppose 0 = -5*m + 3*c + 27, 3*m + 5*c + 14 = 3. Let z be d(m). Let n be k(z). Which is smaller: n or -2?
-2
Let q be -2 + 3/2*2. Let u = -1 - q. Let w be ((-12)/(-5) + -3)/(12/15). Which is smaller: u or w?
u
Let h = -3 - -5. Suppose h*j = -0*j - 8. Which is smaller: -1/3 or j?
j
Let l be 4/(-4) + 4 + -5. Which is bigger: l or 18?
18
Let b(i) = i - 3. Let a(k) = 2*k - 7. Let l(h) = -3*a(h) + 5*b(h). Let u be l(6). Are u and 6 non-equal?
True
Let h be 1 - (0/1 - 7). Suppose -12*z - 5*u + 27 = -13*z, -3*z - u - 17 = 0. Let g = h + z. Is g greater than 1?
False
Suppose 16*w - 21*w = 30. Is -8 < w?
True
Suppose o - 5*o = -4. Let t = 0.16 - 0.96. Is o > t?
True
Let d = 49 + -28. Is -2 equal to d?
False
Let k(o) = o**2 + 4*o - 5. Let z be k(-5). Do z and 5 have the same value?
False
Let z = -4 - -3. Which is smaller: z or -1/2?
z
Let z be (0 + 0)/(3 + 0). Is -2 greater than z?
False
Let l(i) = -3*i**3 + 4*i**3 - 1 - 4*i**2 - 2*i**3 - 2*i + 7*i. Let t be l(-5). Is t at most 4/15?
True
Let n be ((-38)/19)/((-2)/13). Which is greater: n or 0.1?
n
Let k be (4/(-3))/((-2)/(-18)). Let l = k + 8. Let y = -1 + -3. Is l greater than or equal to y?
True
Let q be (-956)/(-20) - 2 - 4. Let m = 43 - q. Is m greater than or equal to -1/3?
True
Suppose 3*b - 7 = -4. Let s = 5 - 2. Let j be (-2)/(-3) - (-4)/s. Which is smaller: b or j?
b
Let v = 4 - -1. Let i be v/2 + (0 - 2). Which is smaller: i or 1?
i
Let q(j) = -4*j. Let d be q(2). Which is greater: d or -1?
-1
Let k = 108 - 429/4. Let d(n) = -2*n - 2. Let x be d(-2). Which is smaller: x or k?
k
Let f be 2/(-54)*(-6 + 4). Which is greater: -3 or f?
f
Let m(u) = u - 7. Let r be m(-6). Let f = r + 5. Let k be (0 + -2)*(-2)/f. Which is smaller: -2 or k?
-2
Let z be (((-4)/3)/2)/1. Let o = -1 - 1. Which is smaller: z or o?
o
Let x be (4 - 4) + 4/(-4 - -36). Let h = -2 - -2. Is x >= h?
True
Suppose 5*y - 18 = 2*l + 13, -10 = -5*y - 5*l. Suppose -2*r + 4*o = 24, r + 2 = 2*r + y*o. Let z = -6 - r. Which is smaller: 1 or z?
1
Let t = -472 + 27850/59. Which is greater: t or 0?
t
Let j = -38 - -69. Is 33 at least j?
True
Let l = 6 + -14. Let q be 1/(-3) + l/12. Which is bigger: q or 4?
4
Let m(p) = 2*p + 26. Let b be m(-12). Let i be (b/(-7))/(1 + 1). Which is greater: i or -2/5?
i
Suppose -7 + 4 = 3*d. Which is smaller: 7 or d?
d
Let a = 13.7 - 1.7. Let y = 12 - a. Are 0.1 and y non-equal?
True
Suppose 10 = -3*w + l + 47, 5*l + 9 = -w. Suppose -3*a + w = -2*b, a = -b - 1 + 13. Let n be (a - 7) + 1/1. Is n less than or equal to 1?
True
Suppose 3*h + p + 10 = 3*p, -4*h = -2*p + 16. Let z(l) be the third derivative of -l**5/60 - l**4/4 + l**3/6 + l**2. Let i be z(h). Is 1 greater than i?
False
Let p(i) = -i**3 - 10*i**2 + 6. Let o be p(-10). Is o less than or equal to 6?
True
Suppose -4*f - 16 = -6*f. Let j be 7/((-140)/(-16))*-15. Let o be 2/f - (-9)/j. Which is greater: o or 0.1?
0.1
Let z = -1.3 - -0.3. Suppose -13 = 3*o - 1. Let p be ((-4)/18)/(o/6). Is z at least as big as p?
False
Let x(v) = v**3 + 12*v**2 + v. Let u be x(-12). Which is greater: u or -9?
-9
Let m = 203 - 62. Is 140 <= m?
True
Let l be 2*1/((-1 + -3)/2). Is -1/69 smaller than l?
False
Let u = -12.81 + -0.19. Let d = -13 - u. Which is smaller: d or 3?
d
Let b be 33/228 - (-10)/(-40). Is b greater than -1?
True
Let f = 20 + -6. Let u be (-24)/f + 2/1. Is -1 greater than or equal to u?
False
Let d be (-2)/(-5)*(-3)/18. Do d and 0 have the same value?
False
Let p = 0 + 0. Let c = -4 - 17. Let w be 11/c + 16/24. Which is smaller: p or w?
p
Let l = -52 + 53. Is l > -2/35?
True
Let v = 167.1 + -156. Let g = -2.1 + v. Is -0.1 less than g?
True
Let b be 2/11 - 2/11. Which is smaller: -2/59 or b?
-2/59
Let g = 0.241 - 11.141. Let l = g + 11. Let o = -1 + 1.2. Is o bigger than l?
True
Suppose 0 = -5*q + 80 - 5. Suppose -f = -4*f + q. Let i = 16 - 11. Are i and f non-equal?
False
Let t = -1 + 1. Suppose 27 = 4*p + 15. Which is greater: t or p?
p
Let s = 0.23 + 0.07. Let q = 2.3 - 2. Let o = s - q. Is -1/2 equal to o?
False
Suppose 0 = -2*m + 3*a - 23, 10 = 4*a - 2*a. Suppose 0 = -5*d - v + 24, 2*d + 3 = 4*v - 5. Let l = 2 - d. Is m not equal to l?
True
Suppose d = a + 3, 5*a + 2*d + 0 - 13 = 0. Does a = 3/10?
False
Let h be ((16/18)/4)/2. Let s = -179 - -179. Which is smaller: h or s?
s
Suppose i + m = -1, -4*i + 7*i + 2*m + 1 = 0. Is 1 less than i?
False
Suppose 0 = u - 3*u. Let i be (-1)/(u - 2/(-2)). Is i equal to 0?
False
Suppose -5*i - 3*l - 4 = -0*l, -5*i = l - 2. Is 1 >= i?
True
Let y be 24/14 + (-4)/(-14). Suppose 5*b - y*b = 3. Is b greater than or equal to 1?
True
Let s = 4 - 3. Let c(b) = -b**3 - 6*b**2 - 5*b + 1. Let k be c(-5). Is k bigger than s?
False
Suppose 4*a - 17 = 5*i, 3 = 5*a - 3*i - 15. Let v be (-40)/22 + a + -1. Are v and -1 nonequal?
True
Suppose -10*g = -8*g + 30. Is g < -15?
False
Let f = -105/776 - -1/97. Is f less than 1?
True
Suppose 5*k - 3*i = -i - 7, 6*k + 2*i + 4 = 0. Let w be (-2)/(-136)*2*-2. Which is smaller: w or k?
k
Suppose -5*o + 3*l - 4 = -0*o, o = 5*l - 14. Is -16 bigger than o?
False
Let x = 8 - -10.8. Let k = x - 19. Is k greater than or equal to 0.9?
False
Suppose -4*v + 2*x + 2 = 0, 3*v - 4*v + 13 = 2*x. Let k be 1/(v + 33/(-12)). Is 3 >= k?
False
Let f be (2/(-5))/(2/(-10)). Let l(i) = 5*i**2 - 7*i + 8. Let m(x) = x**2 + 1. Let g(j) = -l(j) + 4*m(j). Let o be g(6). Is f >= o?
True
Let y = 0 - 3. Let v = 0.03 - 0.03. Let l = v - 1. Which is smaller: y or l?
y
Let x = 0.09 - 7.09. Let a = 6.9 + x. Which is greater: a or 1/4?
1/4
Let s = -3 + 5. Let c be (-38)/(-14) - (-4)/14. Suppose 5*f - s*i = -15, -c = f + i + 2*i. Is f at most as big as -2?
True
Let k be (1*-9)/((-60)/(-8)). Suppose 0 = -2*o - 2*o. Is o smaller than k?
False
Let t(x) = x**2 + 8*x - 8. Let h be t(-7). Is -16 > h?
False
Let c(k) = k**3 - 10*k**2 + 10*k - 4. Let l be c(9). Suppose 10*v = l*v + 5. Let i be (6/(-3) + 0)*v. Is i smaller than -3?
False
Let i(p) = 19*p + 1. Let q be i(-1). Let y be 4/18 + 4/q. Let c = 71.9 + -72. Is c > y?
False
Let t = 286/7 + -292/7. Is t smaller than -2?
False
Suppose 4*i - 2*k = 24, -3*i - k = -2*i. Let t = -68 - -113. Suppose -15 = 4*z + z + 2*r, 5*r = i*z + t. Is -4 at least z?
True
Let r = 35 - 98. Let o be 24/r - (-2)/(-7). Which is smaller: 0 or o?
o
Suppose 2 + 0 = o. Suppose -4*a = 4, 4*q = -q + o*a + 2. Is q != 0?
False
Let u = 5 - -5. Suppose 0 = 3*c - 4*c + u. Are 9 and c nonequal