 = -5*v + 3*c - c, 4*c = v - 1. Which is smaller: v or 10?
v
Let k = 30 - -3. Are 34 and k equal?
False
Let g(b) = b**3 - 9*b**2 - 11*b + 13. Let l be g(10). Suppose -2*y - 2*h - 12 = -4*h, -17 = -l*y - 4*h. Which is smaller: 2/21 or y?
y
Let f be (-16)/(-6)*2/8. Which is greater: f or 29?
29
Let m = 6 + 0. Suppose m*y + 3 = 3*y. Does 4/15 = y?
False
Suppose 2 = -r + 2*r. Let u be r + -1*2 + 20. Suppose -5*w - 4*v + 16 = 0, -5*v + 0 = -u. Is w at most 0?
True
Let a(n) = 2*n - 3. Let h be a(2). Let o = -1 + h. Let t = -2 - -2. Is t smaller than o?
False
Let a = -19/44 + 2/11. Is -0.1 bigger than a?
True
Let h = -0.13 + 1.53. Let a = 0.4 - h. Which is greater: 6 or a?
6
Suppose -26*q + 33*q = 35. Which is bigger: q or 30/7?
q
Suppose -6*b = -b. Let m = 4 - 9. Let h = -6 - m. Are b and h nonequal?
True
Let u(a) = -4*a - 40. Let y be u(-10). Are y and 0 equal?
True
Let a = -124 + 122. Let s = 3 + -2. Suppose l = -2*r - 1, -4*r + 2 = -l + s. Which is smaller: a or r?
a
Let j = 155 + -152. Let g(q) = q + 1 + 3 + 3. Let k be g(-5). Is k at most as big as j?
True
Let k = 38 - 39. Let n be 3*(-1 + (-5)/(-3)). Let m(o) = o**2 - 2*o + 1. Let v be m(n). Does v = k?
False
Let t = -3 + 9. Let o be 52/42 + t/(-9). Let k be (-18)/(-14) + (-2)/7. Which is greater: o or k?
k
Let t = 30 + -53. Let a = t - -15. Let h = a + 7. Which is bigger: h or 1/2?
1/2
Let d(n) = -n**3 - n**2 - n + 2. Let j be d(0). Suppose j*b - 5 = -77. Let y be 8/b - (-1)/(-9). Which is bigger: y or 0?
0
Suppose -n + 6*n - 8 = -4*f, -2*f = 5*n + 6. Let d be (-26 - -5)*(-6)/f. Suppose d + 2 = -5*l. Which is bigger: l or -2?
-2
Let j(t) = -t**3 + 8*t**2 + 8*t + 8. Let b = -13 + 22. Let a be j(b). Let u be 2 + 6/(-8) + -1. Which is smaller: u or a?
a
Let i be (-8 + 12)/(8/6). Let h = 14/15 + 11/15. Is i greater than h?
True
Let g be (1 - (-6)/(-4))*4. Is g > -2?
False
Let l = -1241/48 - -77/3. Which is smaller: -1 or l?
-1
Suppose 0 = -2*c + 3*y + 1, 0 = 7*y - 4*y + 3. Let q = 2/39 + -1/273. Which is greater: q or c?
q
Suppose 30 + 21 = -3*c. Is -18 smaller than c?
True
Suppose 0 = -3*y - 4*l + 32, 6*l - 5*l + 3 = 2*y. Let f be 1/((2 - y) + 3). Which is bigger: 0 or f?
f
Let g = -27 + 12. Which is smaller: g or -2/5?
g
Let i be (-3 + (-6)/(-3))*9. Let b(k) = -k**2 - 12*k - 21. Let u be b(i). Let v = 13 + -8. Which is smaller: u or v?
v
Suppose -5*l + 3 = f, -2*l + 13 = 5*f - 2. Let u be (0 - (1 + 0))*0. Let w be (-1)/(-1 + l + u). Which is greater: w or 2/7?
w
Let a be ((-12508)/(-12))/((-17120)/6). Let w = -3/1070 - a. Let y = w + -9/16. Which is smaller: y or -1?
-1
Let c = 132 - 1585/12. Suppose j + 24 = 5*v, 3*j - 6*v = -v - 22. Which is smaller: c or j?
c
Suppose -8 = -0*t - 4*t. Suppose -t*c + 4*j + 18 = -c, 6 = -3*c - 3*j. Let k be 2/5 - (2 - c). Which is greater: k or 0?
k
Let v(p) = -p - 5. Let n(t) = 6. Let i(y) = 2*n(y) + 3*v(y). Let q be i(-2). Let f be 6/(-60)*2 - (-42)/10. Which is smaller: f or q?
q
Suppose 14 = 2*y - 4*q, 8*y - 4*y + 5*q - 54 = 0. Which is bigger: 12 or y?
12
Let r = -8.02 + 0.02. Is 1 not equal to r?
True
Suppose b - 1 = 3*m, 4*m + 16 = -b + 3. Let n = -4 - m. Let h = -15 - -12. Which is smaller: n or h?
h
Suppose -5*k + 75 = -3*q - 6*k, 5*k = -4*q - 111. Let n = -73/3 - q. Let g be 1*-1 - (-3)/2. Which is smaller: n or g?
n
Suppose 4*r - 16 = 2*o, 3*r + 2*o = o + 2. Suppose 2*w + 8 = -r*b, 1 = -3*w - 2*b - 6. Is w bigger than 2/25?
True
Let m = 0.4 + 0.5. Let a = 0.1 + m. Suppose 0 = 3*q - 4*q, 5*q = 4*n - 4. Is n at most as big as a?
True
Let r = -5 + 5.04. Let n = r - 2.04. Are -0.3 and n equal?
False
Let z be (-2 - -3) + 0 + 2. Suppose z*r + 10 = r. Is -3 at most as big as r?
False
Let p be 2 + (-12)/(-4 - -1). Does 6 = p?
True
Let f = -2.8 + 3. Let d = f - -0.3. Let o = -2.5 + d. Which is greater: o or -1?
-1
Suppose 0 = -k - u + 2*u - 1, 3*u + 3 = 0. Is k less than or equal to -12/13?
True
Let x = -46 - -48. Which is smaller: 1/13 or x?
1/13
Let m(s) = s**3 + s**2 - s + 10. Let q be m(0). Let i be (-4)/(-9)*(-3)/q. Which is greater: 0 or i?
0
Suppose -5*h - 3*m = 8 - 33, 3*h - m - 15 = 0. Suppose 5*j + 4*f - 4 + 12 = 0, -6 = -h*j + 3*f. Let l = 3665/19 - 193. Which is greater: l or j?
j
Let g be (-16)/(-36)*(-5)/(-4). Let a = -1/9 - g. Are a and -19 equal?
False
Let v = -23/18 - -3/2. Let f = 11/34 - -3/17. Are v and f nonequal?
True
Let p be (-12)/(-4) - (-3 + -1)/(-1). Which is smaller: p or -6/7?
p
Let d be (-2)/(-2 + 15/6). Let q be d/2 + 0 + 3. Which is smaller: q or 0?
0
Let g = 11/2 + -6. Do -0.1 and g have the same value?
False
Suppose 3*h - 2*h = 3*i - 157, -i = h - 51. Is 52 != i?
False
Let y be (24/(-63))/4*(-6)/(-2). Let s(q) = -7*q**2 + 5*q - 12. Let o(d) = 4*d**2 - 2*d + 6. Let r(z) = -5*o(z) - 3*s(z). Let l be r(4). Is y greater than l?
False
Let n = -53 - -53. Which is bigger: -1 or n?
n
Let g(r) = r**3 + 23*r**2 - 26*r - 48. Let j be g(-24). Which is greater: 74 or j?
74
Suppose -4*l + l = -2*x - 1, 2*l - 4*x = -2. Let g(i) = -i - 7. Let t be g(-6). Let s(b) = -b**2 - b + 1. Let u be s(t). Is u greater than or equal to l?
True
Let m be 1 + 2 - 5 - 6. Let p be m/(-3) + (-5)/(-15). Suppose 0 = -p*f - 12, -4*f = -2*t - 3*f + 8. Which is smaller: 4/5 or t?
4/5
Suppose -3*d - 15 = -5*l + 2*d, d = -4*l - 8. Let f be 2/7 + (-12)/(-7). Suppose 0 = f*n - n. Does n = l?
False
Suppose -4*b + r - 7 = -2*r, 3*b = 5*r - 8. Is b at least -3/13?
False
Suppose 2*h + 3*j = -25, h - j - 3*j + 40 = 0. Is h greater than -20?
False
Let f(g) = g**2 - 3*g + 1. Let n be (6/(-21))/((-1)/7). Let x be f(n). Which is bigger: 2/13 or x?
2/13
Let o be (3*-1)/(-1*97). Let l be ((-46)/(-2231))/(26/136). Let w = o - l. Which is smaller: w or 0?
w
Let q(v) = -3*v**2 - 2*v - 1. Let j be q(-2). Which is bigger: -6 or j?
-6
Let b(c) = -2*c + 7. Let x be b(8). Let o(r) = r**3 + 9*r**2 + 2. Let q be o(x). Suppose -4*n - 10 = q*a, 0 = -4*a - 4*n - 7 - 5. Is a at most as big as 0.1?
True
Let u = -48 - 9. Do -57 and u have different values?
False
Suppose 3*f = 4*d + 4, 3*d - 15 = -0*d. Suppose -o = o + f. Let z = o - -6. Which is smaller: z or 4?
z
Let w = 836/5 + -9286/55. Which is smaller: -1 or w?
w
Let q be (-52)/252 + 4/(-18). Let y be 7*(24/(-21))/(-4). Suppose y*z = 4*z. Which is greater: z or q?
z
Let o = 11/565 - 497886/6215. Let u = o + 80. Let l = -3 - -2. Are l and u equal?
False
Let p = 10 + -13. Let m be (-19)/75 + (-1)/p. Which is bigger: m or 0?
m
Let v = 7/2399 - -3970/1105939. Let j = -3254/4149 + v. Are j and 0 unequal?
True
Let w be 21/54 - 2/9. Let a = 13/24 - w. Which is bigger: 0 or a?
a
Suppose 0 = -8*k + 4*k + 24. Let j be (5 - k) + 2/6. Let i = -1 - 0. Is j < i?
False
Let o = 10 + 3. Let g = o - 14. Which is smaller: g or 3?
g
Suppose 0 = 4*l + 4*w - 8, l + 2 = 2*l - w. Suppose -g + 3*j = -11 - 3, -2*g + 12 = -2*j. Suppose 3*f - g = l*f. Is 1/4 less than f?
True
Let g be (0 - (1 - -1))/2. Let l = -356/63 - -38/7. Which is greater: g or l?
l
Let o = -0.35 + 0.05. Let m = -5.7 - -6. Let y = m + o. Are y and -1 non-equal?
True
Let p be ((-57)/3325)/(2/(-5) + 0). Which is greater: p or 0?
p
Let c = -1.3 + -1.9. Let k = c - -3. Let a be ((-2)/(-6))/((-6)/18). Is a at most k?
True
Let s(b) = b**2 + 5*b - 1. Let p be 3 + (-21 - 3)/3. Let y be s(p). Is y bigger than -5/6?
False
Let g = 1 + 2. Suppose 4*l = 4, 3*l = -4*p - 0*p + g. Do p and -1 have different values?
True
Let c be (3 - 0)*(-6)/18. Which is bigger: c or -6/23?
-6/23
Let a be (4 + 52/(-8))*-2. Are 2 and a unequal?
True
Let q be 3/(-4)*839/489. Let h = q + 6/163. Do -2 and h have the same value?
False
Let i = 9 + -8.2. Let b = -0.2 - i. Let a = 1 + -1. Is b bigger than a?
False
Let k(v) = -v**3 + 3*v**2 + v - 2. Let i be k(3). Let x be (2 - (0 - -5))*6. Let u be (-81)/x*2/6. Is i smaller than u?
True
Let f be (10/15)/((-2)/69). Let k = f - -36. Which is bigger: k or 14?
14
Let s = 116 + -582/5. Is -5/9 bigger than s?
False
Let d = -0.9 + 1. Let t = -6.9 + 0.9. Are t and d nonequal?
True
Let i = 0.31 + -0.21. Is i <= 7?
True
Let k be (-2 + 1)*((4 - 2) + -12). Which is smaller: 11 or k?
k
Let f be (108/(-198))/((-8)/(-2)). Are -0.2 and f non-equal?
True
Let x(u) = -u**2 - 5*u - 4. Let s be x(-4). Let g(i) = 4*i + 10. Let a be g(-7). Let c be ((-6)/(-8))/(a/(-12)). Which is bigger: c or s?
c
Let b