0.39. Which is bigger: c or -1?
c
Suppose 0 = 4*h + 4*v, -5*h = -3*v + v + 28. Which is smaller: -2 or h?
h
Suppose 0 = l - 2*f - 2, 4*l - 2*f - 3 + 1 = 0. Let j be -1 - (1 - l) - -3. Let z(q) = q - 4. Let v be z(3). Is v greater than or equal to j?
False
Let r = -0.233 - 0.037. Let y = 0.07 + r. Let v = 2 - 2. Which is smaller: v or y?
y
Suppose 5*s + 0 = 35. Suppose 4*z + 34 = -3*c, -z + 2*c = 2*z + 17. Let k = -1 - z. Is s at most k?
False
Suppose 4*q + 6 = 5*q. Let i be (-36)/16*(-32)/q. Suppose 3*b + b = i. Is 3 less than or equal to b?
True
Let r(t) = 4*t + 1. Let b be r(1). Suppose -b*q = x - 2*x + 16, -3*q - 6 = 0. Suppose 4*o = x*o + 10. Is o >= 1?
False
Let o(m) = 7*m - 42. Let q be o(6). Is q at least as big as -2/153?
True
Suppose 4*u = 2*g - 22, -3*u - 21 = -2*g - g. Let m be 12/(-36) + (-5)/1. Is m greater than u?
False
Let r be (3/15)/((-2)/(-4)). Let l be ((-1)/5)/(6/(-30)). Is r bigger than l?
False
Suppose -55 = -7*f + 2*f. Which is smaller: 12 or f?
f
Suppose 2 = 2*a - 2. Suppose -2*f + 11 = -5*j, -3*j = a*f - 1 - 2. Let l(h) = h**2 + 6*h. Let m be l(-6). Which is smaller: j or m?
j
Let p(n) = -n**2 - 3*n + 3. Suppose 5*c + 15 = -0. Let r be p(c). Which is greater: r or 2?
r
Let o be 14/6 + 1/(-3). Let t = 0.71 + -0.91. Which is smaller: t or o?
t
Let s = 0 + -2. Let v(h) = -4*h - 3. Let y be v(s). Suppose 5*d - 3*q - 5 = 0, q - y = -3*d - 2. Is 0 bigger than d?
False
Let j = 1/6490 + 246611/58410. Are 3 and j nonequal?
True
Let x = 5/14 + 17/21. Which is bigger: x or 1?
x
Suppose -74*c + 70*c = 0. Which is bigger: 1 or c?
1
Suppose -3*z + 9 = 0, 4 = 5*p + z - 44. Let s = 9 - p. Which is greater: -2/31 or s?
s
Let l be ((-4)/(-6))/((-332)/108 - -3). Are l and -31/3 non-equal?
True
Suppose -4*y - 2*z = -2, 4*y + 7*z = 4*z + 3. Is 2/11 > y?
True
Let g(s) = s**2 - 6*s + 6. Suppose -2*q - 2*q + f + 23 = 0, -q = 5*f + 10. Let l be g(q). Let c be (-59)/20 - -3 - (-10)/50. Do c and l have the same value?
False
Let k(g) = -g**2 + 9*g - 13. Let j be k(7). Is j less than 12?
True
Let h(j) = j**3 + 3*j**2 - 5*j + 2. Let q be h(-4). Let w be 1*1/(3/q). Are w and 0 non-equal?
True
Let h = -8 - -8. Let r = -10 + 9. Which is greater: h or r?
h
Let t = -1.5 - -2. Let j = -0.0088 + -0.9912. Which is smaller: j or t?
j
Let p be ((-3)/(-6))/(3/6). Is 4/3 greater than p?
True
Suppose 4*u + 33 = 5*o - 0, -4*o - u + 39 = 0. Let r(g) = g**2 - 9*g - 3. Let t be r(o). Which is bigger: t or 0?
0
Let p(b) = -2 - 2 - 3*b + 0*b. Let m be p(-3). Which is smaller: 6 or m?
m
Let v = 19 - 19.3. Which is greater: -0.1 or v?
-0.1
Let l = 0.9 - 1. Let x = 0.9 - 1. Let s = x + -0.1. Which is smaller: s or l?
s
Let c = 10325/23 - 449. Which is bigger: c or -1?
c
Let z = -32 - -29. Do 18 and z have the same value?
False
Let t = -1159 - -4605/4. Is t bigger than -7?
False
Suppose 6*l + 2*z = 3*l + 22, -2*l + 5*z - 17 = 0. Suppose -5*v = -l*v. Let h be (-1 - -2)/(-3 - -2). Is v equal to h?
False
Let t = -25 + 19. Are t and -4 unequal?
True
Let q be (-3)/(-2)*(-9 - -11). Is 4 greater than q?
True
Let q = 0.1 - 2.1. Let w = q + 3. Is -3 <= w?
True
Let w(a) = -a**3 - 12*a**2 + 4*a - 23. Let p be w(-12). Do p and -72 have the same value?
False
Suppose p = -20 + 9. Is -11 greater than p?
False
Suppose -2*n = -6*n + 20. Let f be -3 + n + (-3)/2. Are f and 1 equal?
False
Suppose -2*k + 5*l - 3 = 4, 0 = -3*k - 4*l + 1. Which is smaller: k or -0.1?
k
Let c = 0.124 + 0.176. Is -22 greater than c?
False
Let v = -12 + 14. Let k = 5 + -3. Let i = k - v. Is 1/2 greater than i?
True
Let m be 3/12*(-8)/(-4). Is m less than -2/3?
False
Suppose -9 = 5*p - 4. Suppose -5*i + 4 = 4*h - i, -4*h = 3*i. Is p at most h?
False
Let u = 43/57 - 8/19. Let v = 0.72 + 3.14. Let a = v - -0.14. Which is bigger: a or u?
a
Let m = -31 + 16. Let c = m + 11. Which is bigger: 0.1 or c?
0.1
Let w be (-2)/(-8) + (-1)/36. Let b = 0.031 - 1.031. Which is bigger: b or w?
w
Let c be (5/5)/((-1)/(-3)). Suppose 0 = c*i + 4*f - 25, 31 = 5*i + f + 3*f. Suppose i*q = 8*q + 5. Which is smaller: 2/5 or q?
q
Let b = -0.04 - -1.14. Let p = b + -0.8. Let k = p - 0.4. Are -0.1 and k equal?
True
Let x = -58 - -22. Is x at most -2/3?
True
Let w be (-1 - -2)/1 + 3. Suppose 9 = -3*f - 3*q, -q - 3 + w = 0. Let s be (f - -6)/((-2)/3). Is -2 > s?
True
Let z = -0.221 - 0.009. Is 0.1 bigger than z?
True
Let v = -1281/11 - 1/22. Suppose -4*i + 119 = u, 2*u - 4*i + 476 = 6*u. Let t = v + u. Which is greater: 2 or t?
t
Let m = 1 - 1. Let x be -1 + m + (-4)/(-6). Let a be 2/(-2) - 9/(-7). Which is smaller: a or x?
x
Let r be -2*1/(-6) - 10/48. Let z be (-1 - -1)*(-2)/(-4). Is r at least as big as z?
True
Let t = 1.17 + -0.07. Let p = -1 + t. Is p > -1?
True
Let q be ((-20)/50)/(1/5). Is 8 not equal to q?
True
Let y(s) = s**3 - 8*s**2 - 8*s - 8. Let j be y(9). Let p = j + 0. Which is bigger: -2/17 or p?
p
Suppose 0 = h - 6*h - 15. Which is smaller: -2 or h?
h
Let q = -2/437 + -1622/27531. Is 0 at least q?
True
Let w = -16 + 32. Let v be w/(-28)*-2 + 2. Is 3 greater than or equal to v?
False
Let j = 61 + -547/9. Suppose -6*l = -3*l - 6. Suppose -3*o + 7*o = c - 7, 4*o = l*c - 6. Is j bigger than c?
True
Let q be 1/((-3)/9)*8/(-8). Is q >= -3?
True
Let g(x) = x + 1. Let n be g(-2). Let r(a) = a**2 - 6*a - 2*a**2 + 1 + 2*a**2 - 9. Let y be r(7). Is n greater than or equal to y?
True
Let q(u) = -u**2 - 8*u - 7. Let n be q(-7). Let i = 173/4 + -43. Is n at most i?
True
Let h(k) = 2 + k - 2*k + 0*k. Let c be h(3). Let j be ((-3)/(-3) - c) + 0. Which is greater: -1 or j?
j
Let m be (-2 + -5)*4/(-14). Suppose a + 4 = m. Let p be (-1)/(-1) + 1 + -3. Is a at least as big as p?
False
Let b be (-3)/6*2 + 5. Suppose -y + 7 = -2*o - b*y, -4*y - 17 = -5*o. Which is smaller: o or 2/9?
2/9
Suppose 4*h + 10 = -6. Suppose 0 = 2*w - 6*w - 20. Which is smaller: w or h?
w
Let c = 181 - 180. Let n = 7.3 + -7. Is c >= n?
True
Let w = -3/5 + 11/10. Let t = 0.02 - -0.18. Which is bigger: t or w?
w
Suppose -1 = -z - 8. Which is smaller: -9 or z?
-9
Let b = -1 + -4. Let i = -4.9 - b. Let j = 178/3 - 60. Is i greater than j?
True
Let p(g) = -5*g**2 - 4*g - 2. Let h be p(-2). Let i = h + 20. Is i greater than or equal to 8?
False
Let r = 4 - 4.4. Let z = r - -0.3. Let q = -1 - 2. Is z at most as big as q?
False
Let x be ((-6)/5)/((-2)/10). Suppose 3*o - b - 8 = 0, -5*o + o - 5*b + 36 = 0. Which is smaller: x or o?
o
Let p(f) = f**2 - 9*f - 21. Let m be p(11). Which is smaller: m or -2/15?
-2/15
Let p(f) = -f**3 + 4*f**2 + 4. Let x be p(4). Suppose 3*q = 4*r, -r - x*r + 3*q = 0. Which is bigger: -1/3 or r?
r
Let k = -5.8 - -4.8. Which is greater: k or 0.1?
0.1
Let h(y) = -y**2 + 6*y - 5. Suppose -3*u + 5 = -2*u. Let w be h(u). Let o be (-6)/(15/5) + (-12)/(-5). Which is greater: w or o?
o
Suppose j - 3 = -l, l + 2*j - 3 - 2 = 0. Let u be l*(5 - 0)*-1. Let h be (-3 - u) + (-1)/1. Which is smaller: h or 0?
0
Let x = -1/76 + -15/304. Let q be (0/6)/(1/(-1)). Is x less than q?
True
Let v(z) = -7*z**3 + 2*z + 1. Let n be v(-1). Is 6 less than n?
False
Let f be (2/(-9))/((-2)/3). Let b be ((-9)/12)/((-2)/(-16)). Let k be (b/2)/12*-4. Which is smaller: f or k?
f
Let p be (9/8)/((-273)/28). Which is smaller: p or 0?
p
Let j = -0.8 - 2.2. Let l = 2 + j. Let g = 0 - -0.2. Is l at most as big as g?
True
Let k = 155/3 - 51. Are -0.2 and k nonequal?
True
Let t = -2 + 3. Let d(o) = 4*o - 2. Let p(a) = -5*a + 1. Let u(z) = 6*d(z) + 5*p(z). Let i be u(-6). Which is bigger: i or t?
t
Suppose 5*w = -0*j + 2*j + 6, 0 = 4*j - 8. Suppose w*m - 5 + 11 = 0. Is -5 != m?
True
Let o be 4/10 + 24/15. Suppose -15 = -i - 2*a, 6*i - 15 = o*i + a. Suppose -i + 2 = -h. Are h and 2 equal?
False
Let y be (3 - 5)*(-5)/10. Which is bigger: 18/13 or y?
18/13
Suppose -5*h - 18 = 3*f, -3*f + 2*h + 9 = -2*h. Suppose -o - x = -2, -5*o - 4*x - 26 = -8*x. Is o < f?
True
Let t be ((-5)/(-2) + -2)*8. Let v(m) = -4 - 1 + 4 - 4 + 2*m. Let p be v(t). Which is smaller: 2 or p?
2
Let r = -12 + 154/13. Let u = -1 + -2. Let o(g) = -g**3 - 4*g**2 - 4*g - 2. Let b be o(u). Is r greater than b?
False
Suppose -3*w + 44 = -4*j, 2*j + 31 = 2*w - j. Let u be (-616)/(-52) - w/(-52). Which is greater: u or 13?
13
Let w = 42 - 17. Let s = 35 - w. Suppose z + s = -z. Which is bigger: z or -4?
-4
Suppose -6 = -3*n + 3. L