 be (-1)/(1/(-1))*0. Which is bigger: v or c?
c
Suppose 4*a + 2 = -2. Let c(l) = -l**2 + 4*l - 3. Let u be c(2). Let j be (u - (-5)/(-2))/6. Which is smaller: a or j?
a
Let d(u) = -3 - 3 + u**2 - 6 + 8*u. Let w be d(-9). Let y(i) = -i**2 - 2*i + 4. Let t be y(w). Is t at least -2?
True
Let o be 34/4 - (-1)/2. Let u = o - 5. Let f = u + -6. Which is smaller: -1 or f?
f
Suppose -f + 6*f + 20 = 0. Which is bigger: f or -5?
f
Let z be (1/(-9))/((-2)/3). Let x = 14 - 15. Is z > x?
True
Suppose -5*o + 24 - 59 = 0. Which is greater: -8 or o?
o
Let c be (-72)/(-20) - 4/(-10). Let x be 2/(c*(-2 - -4)). Which is greater: x or -1?
x
Suppose -5*r = 5*z + 4 - 19, 0 = 2*z - 2. Suppose 28 = 3*h + r*v - 29, h = 5*v + 36. Let f be 3/h*2 + 0. Are 0 and f non-equal?
True
Let b = -1 + -2. Is -4 >= b?
False
Let q be 4/(-12)*10*3. Let t = 6 + q. Let x(d) = 3*d**3 - d - 1. Let j be x(-1). Is j equal to t?
False
Let t = -36 + 44. Which is bigger: 1 or t?
t
Suppose 7 = 5*f - 8. Which is smaller: -15 or f?
-15
Suppose -3*u + 2*h + 3*h - 31 = 0, -h = -5. Let o be (2 - 12/(-2)) + u. Is o not equal to 6?
False
Let x = -8373517/8127 - -55/1161. Let z = x + 1032. Which is smaller: z or 2?
z
Let t(v) = v**2 + 4*v - 5. Let j be t(-6). Which is smaller: 22/3 or j?
j
Let j = 0.2 - -0.3. Let m = j - 0.5. Let y = -1.3 - -0.3. Which is smaller: y or m?
y
Suppose 80 = 3*p - p. Let k = p + -121/3. Is k equal to -4?
False
Let k = 0.17 + 8.83. Are k and 1/5 unequal?
True
Let g = -0.68 - -0.08. Let r = g + -1.4. Which is greater: 2 or r?
2
Let h(f) = 2*f - 1. Let k be h(-4). Is -8 <= k?
False
Suppose 2*r + r - 12 = 0. Let l = -5 - -10. Suppose a + l = 3*m, m + 0*a + r*a = 6. Which is smaller: m or -2?
-2
Suppose -2*m - 4*f - 8 = 0, 5*m - 5*f - 10 = m. Suppose m*b = -2*b. Let y be (1 + -2)/(b - -1). Are -1 and y equal?
True
Let y be 1/3 - (-2)/3. Suppose -i + y = 5. Let a be i/(-6) - (-5)/(-12). Is -1/2 bigger than a?
False
Let b = -6 + 9. Suppose -j + 13 = 2*t + 2*j, -5*j = b*t - 19. Let r = -7 + t. Is -4 not equal to r?
True
Suppose -2*k - 5 = 3*k. Let p = 5 + -4.8. Which is greater: k or p?
p
Let w(x) = -x**3 - 4*x**2 - 2. Let i be w(-4). Let r = 5 + i. Let q be 1*(r + -3 - 1). Which is smaller: 0 or q?
q
Let i = -65 - -62. Which is bigger: i or 3?
3
Let g(p) = p**2 + 2*p - 3. Suppose 5*l + 4 = -3*c, 5*c - 5*l + 17 = -3*l. Let m be g(c). Let a be (3 - 1)*(-1)/(-10). Is m < a?
True
Let a = 1.5 + -1. Let q = 0.66 - 0.06. Let w = a - q. Which is bigger: 5 or w?
5
Let n be (-1 - -2)*(7 + -2). Suppose -r + 32 - 11 = -4*v, -33 = -n*r + 2*v. Suppose 2 + 0 = -2*d, r*m - 9 = 4*d. Is m smaller than 1?
False
Let q be (15 + -9)*39/(-114) - -2. Is q != -1?
True
Let v(p) = -p**3 + 6*p**2 - 4*p - 3. Let i be v(5). Let t(l) = -l**2 + l + 1. Let a be t(0). Suppose k = 2*k - a. Which is smaller: k or i?
k
Suppose 0 + 15 = 3*f. Let i be ((-7)/(-7))/(f/(-2)). Are 1 and i non-equal?
True
Let r = -241 - -977/4. Let w = 31/4 - r. Is 4 != w?
True
Let g = 9 - 15. Let s be ((-8)/(-6))/((-4)/g). Is 0 >= s?
False
Let s be (4 - (-12)/(-3))*1. Which is bigger: s or 3?
3
Let j = 5476/5 - 1091. Let i = j - 4. Which is smaller: i or 0?
0
Let v be (1 + -1)/((-4)/4). Let u = v - 0. Which is bigger: 1/11 or u?
1/11
Let z = 1.41 + -0.01. Let w = z + -1.33. Let q = 0.03 + w. Is q at most as big as 2/3?
True
Let m be -2*(27/30 - 1). Let k(y) = 2 + 3*y - 4 - 4*y. Let g be k(-3). Which is bigger: m or g?
g
Let t = -3.05 - -0.05. Let m = 4 - t. Is -2/5 less than m?
True
Let u be 1*2 + 120/(-54). Let s = -13 + 14. Is s <= u?
False
Let r(o) = o**2 + 9*o - 11. Let t be r(-10). Let a = 8 + t. Suppose 0 = -9*l + a*l + 4. Is l less than 1?
False
Let w = -5 - -6. Suppose -r = 4*r - 2*m + 195, -5*m - 49 = 2*r. Let g = r - -147/4. Is g not equal to w?
True
Let j = 5 + -7. Let h = 2.01 - 0.01. Let r = -4 + h. Is j at least as big as r?
True
Let j = 19 + -19. Which is smaller: j or -2/107?
-2/107
Let k = 30 - 30.04. Which is smaller: k or 3/7?
k
Suppose -5 = 3*k - 2. Let s be k/3*(0 - 0). Is s at least 2/17?
False
Let c be (0 + 0)*(-2)/(-4). Let b(u) = -u**2 + 7*u + 10. Let l be b(7). Let w = 12 - l. Is w less than or equal to c?
False
Let n = 0.1 - 1.1. Which is bigger: -1/2 or n?
-1/2
Suppose 28 = -4*b - h - 3*h, -4*b - 30 = 3*h. Let x(l) = l**3 - 9*l**2 - 3*l + 19. Let y be x(9). Is b not equal to y?
True
Let t = 12.19 - 0.19. Let c = t + -14. Which is greater: 0.09 or c?
0.09
Let r be -3 + 1 + 15/6. Which is smaller: r or 12/11?
r
Suppose 4*h + 1 = -3. Let y = 3 + -2.7. Let v = y - 0.2. Are v and h unequal?
True
Let d = 25 + -13. Suppose d = -5*g + 32. Suppose 16 + g = -5*y. Is -4 smaller than y?
False
Let j = -16 + 14. Is j at least as big as -2?
True
Let u be -10*(1 - (-14)/(-4)). Let i be (-10)/u + (-24)/(-10). Suppose -n - b - 5 = 0, -i*b + 1 = n + 7. Which is smaller: -3 or n?
n
Let x(j) = -17*j - 5. Let h be x(-7). Let f be 2*(2 + (-225)/h). Which is smaller: -1 or f?
-1
Let c = -0.3 - -0.1. Let m = 61.4 + -61. Which is greater: c or m?
m
Let u = -29.568 - -1.438. Let n = -28 - u. Let c = n - -0.07. Does c = 3?
False
Let i = 54 + -40. Is i bigger than 13?
True
Let h(g) = -4*g + 66. Let z be h(19). Which is bigger: z or -11?
z
Let n = 6.1 - 6.1. Let u be -3 + 0 + 2/2. Which is bigger: n or u?
n
Let a = -0.2 - -0.3. Which is bigger: 1/7 or a?
1/7
Let q(a) = a**2 - 5*a + 3. Let o be q(5). Suppose 4*h = -v - 12, 0*v + o*v - 20 = 2*h. Suppose -v*m = -z + 6, m - 3*z + 4*z = 1. Is m <= -1?
True
Suppose 0 = 7*b + 52 - 10. Let t be (2 - 3) + 1 - 7. Which is smaller: t or b?
t
Let l be ((-12)/46)/2 + 0. Let j = 17/46 - l. Suppose c = 3*v + 9, 5*v = c + c - 15. Is j greater than c?
True
Suppose -n + 16 - 15 = 0. Is n > 8/13?
True
Suppose 3*r = -0*r + 2*m - 23, 5*r + 33 = -2*m. Let t be r/(14/4) - 0. Let b = 1 + 2. Is t > b?
False
Let v be (-4)/18 + (-8)/(-36). Is v at least 3/7?
False
Let i = 26 - 26. Do 19 and i have different values?
True
Let v = 36/7 - 310/63. Let i be (4/9)/2 - 33/27. Are i and v non-equal?
True
Let d be 2/(-8) - 1/(-68). Let h = 80/51 + d. Let z = -0.2 - -0.2. Is z less than or equal to h?
True
Let c = 0.36 - 0.4. Let l = c + 0.14. Which is bigger: l or 0.2?
0.2
Let n be (-6)/(-12) - (-9)/2. Suppose -5*x + 2*u = -0*x + 20, -4*u + 30 = -n*x. Let o be 0/(2/x) - 1. Are o and -1/2 equal?
False
Let d(v) = v + 7. Let q be d(-5). Suppose 3*s = -q*s. Which is smaller: s or -1?
-1
Let q be (-18)/(-15) + (-1)/5. Let y = q + -2. Let f be (-1 + 3 - 1)/y. Is 1/3 at least f?
True
Let l = -6 + 2. Let p be (-3)/(-1 - l/5). Which is greater: p or 14?
p
Let v be -2 + 1 - (-8 + 2). Suppose -k = -v*k - 8. Let l = k + 3. Which is bigger: l or 0.1?
l
Let y = -6 + 4. Let s be (3 + y)*0/3. Let t be (16/44)/(s + -2). Is t >= 1?
False
Suppose 0 = s + s - 16. Suppose -5*x + 6 = -3*r + 14, s = r + x. Suppose 0 = 3*t - 3*b + r, 5*t + 3*b + 10 = -b. Is t > -5/4?
False
Let r = -1.8 + -0.2. Let g = 2.36 - 0.16. Let a = g + r. Is a at least as big as 1/3?
False
Let t = 31854 + -350090/11. Let x = t - 28. Is x > 0?
False
Let k be (-26)/7 + (-12)/42. Is k at least as big as -5?
True
Let j = -4087/84 - -7247/132. Let p = j + -53/11. Which is greater: 1 or p?
p
Let y be (-6)/5*(-40)/(-16). Is -4 greater than y?
False
Let d = -2.6 - -1. Let u = 0.4 - d. Which is bigger: u or 2/7?
u
Let s be 3/6*12/3. Let u(l) = l**2 - 3*l + 2. Let n be u(2). Suppose n = -k - s. Is k greater than -4?
True
Let x(v) = -4*v - 7. Let a be x(-5). Suppose -5*l + 28 = -5*t + 3, a = -3*l - 4*t. Is 4/3 smaller than l?
False
Let r = -9 + 8.8. Which is smaller: r or 2?
r
Let h = 36 + -36. Let k be ((-326)/184 - -2)*-2. Let c = k - 1/23. Is h <= c?
False
Let a be (2/3)/((-4)/6). Let x = 3 - a. Suppose -f - x*f + 5 = 0. Is 1/2 >= f?
False
Let l be (-2)/(-3)*(-9)/6. Let g be (l/2)/((-4)/8). Which is smaller: g or 0?
0
Let c = -196 - -3330/17. Does 1 = c?
False
Let w be 6/(9/(-3)) - -6. Let u = 0 - w. Suppose 0*o - o - 3 = 0. Is o greater than u?
True
Let x = -13 + 4. Let n be 28/x + 4 + -1. Is 0 <= n?
False
Suppose 5*x - 30 = 5*d, -8*x + 2*d = -3*x - 18. Suppose -3*o - 26 = -5*l + o, -3*l - o + 2 = 0. Is l less than x?
False
Let z be ((1 + 3)/4)/1. Do z and -2/23 have different values?
True
Let c be (-3)/(-4) + ((-1)/2 - 0). Let n = -1 - -0.8. Let f = n - -0.3. Do f and c have d