 Let v be o(12). Let m be (-3 - 0) + (v - -4). Which is smaller: m or 7?
7
Let h(a) = a**2 - 5*a. Let k be h(6). Let i be k/(-15) + 4/10. Let y = -3/2 + 1. Which is bigger: y or i?
i
Let d = 115/4 + -29. Do -2 and d have the same value?
False
Let x(h) = h + 6. Let m be x(-8). Let a be (-5)/((-14)/6 - m). Suppose -a = 6*y - 3*y. Is -4 at least y?
True
Let l = 13 - 12. Let b = 3 - 0. Suppose -16 = 4*r, 0 = 4*a + b*r + 12 - 0. Is l < a?
False
Let j = -0.88 + 0.7. Let s = j + 1.18. Is 0.5 bigger than s?
False
Let o be ((-3 - -1) + 2)/(1 + -3). Which is greater: 2/157 or o?
2/157
Let u be (-3)/9 - (-4)/12. Let y be (-1)/5*(2 - u). Let k = 0 - 1. Does k = y?
False
Let p be 0 + 0/2 + -1. Let n be ((-308)/64 - -5)/((-6)/4). Which is smaller: n or p?
p
Let k be -4*(-2 + 9/2). Let u be k/(1*-2 + 0). Is u less than 5?
False
Suppose -5*n + 10 = 5*h, 2*h - 6*h + 2*n = -8. Which is smaller: -23 or h?
-23
Let b = 30 - 59/2. Suppose -4 = -3*v + v. Suppose -2*s + v = -0. Which is bigger: b or s?
s
Suppose -3*d + 2*a - 7 = 0, 3*d + 2*a - 1 = -0*a. Which is smaller: -0.7 or d?
d
Let y = -3 - -3. Which is greater: y or -13?
y
Let s(r) = r**2 + 11*r - 4. Let m be s(-12). Let f = m + -6. Suppose -h + 2 = -0. Are h and f non-equal?
False
Let r(y) = -y**2 - 2*y. Let p be r(-3). Let m = p + 1. Suppose -v - 2 = -1. Is m bigger than v?
False
Suppose 3*d + 5 = -4*w, 2*w - 1 - 14 = -5*d. Is w < -7?
False
Let d = -3.6 - 0.4. Let f be 1/2 + (-1)/2. Is d > f?
False
Suppose p - 11 = 12. Let n = -7 + p. Are 17 and n non-equal?
True
Let g = -20 - -22. Suppose -5*r = 3*j - 100, -g*r - 3*j + 31 = -18. Which is bigger: r or 18?
18
Let x be (-5)/190 + 0 + 0. Is x less than or equal to 1?
True
Suppose -6*x - 177 = -3*x. Which is smaller: -58 or x?
x
Let x = 6/139 + 732/2363. Which is smaller: 1 or x?
x
Suppose -5*a = -13*a - 1144. Is a smaller than -143?
False
Let u = 27 + -137/5. Let p = -6 - -11. Let k = p + -6. Are k and u equal?
False
Suppose -4*i = -6*u + 2*u + 20, 3*u + 3*i = -9. Let v be 1/5*(u + 1). Let b(t) = -t + 5. Let j be b(5). Which is smaller: j or v?
j
Suppose -q - 63 = -3*j, -2*j + 5*q + 55 = -0*q. Let u be j/(-11)*13/26. Are u and -2 equal?
False
Let z be 0 + 0/(-2*1). Let x be ((-126)/20)/((-2)/4). Let s = 13 - x. Which is bigger: z or s?
s
Let y(f) = f**2 + f + 4. Let d be y(0). Suppose 11 = d*c - 5*s, 4 + 1 = c + s. Let a(l) = 4*l**3 + l. Let x be a(1). Is c equal to x?
False
Let l be (-3 - -6)*(-3)/(-27). Which is smaller: l or -11?
-11
Let u = 52.9 - 53. Which is greater: 2/29 or u?
2/29
Let i = -4.02 - -4. Let p = -0.02 + i. Let s = -2.04 - p. Is -1/3 less than s?
False
Let q(u) = -u**2 + 4*u - 2. Let w(v) = v**3 - 3*v**2 - 3*v. Let r be w(4). Let f be q(r). Suppose 0*c = 5*c. Which is greater: c or f?
c
Let h(a) = -a - 5. Let j be h(4). Let f be (2/10)/(j/(-15)). Which is smaller: -3 or f?
-3
Suppose 0 = -8*i - 6 + 14. Is 4/23 greater than i?
False
Let t = -9 + 6. Suppose -n = -2*n - 2. Is t at least n?
False
Let k = 9 + -10. Which is bigger: -3/49 or k?
-3/49
Let o be 0/(2 + 0/(-2 - -1)). Are o and 2/71 unequal?
True
Suppose -10*o + 279 = -7*o. Is o != 94?
True
Let y be -1 - ((-150)/4 + 1). Let f = -37 + y. Which is bigger: -3 or f?
f
Let x be (4 - (-123)/(-15))*10. Let t be 3/(-2)*7/x. Which is smaller: -1 or t?
-1
Suppose -3*k = -k + 112. Let p = 279/5 + k. Is p bigger than 1?
False
Let p be (-10)/(-6) - 1/(-3). Let y be 0/2 + p/(-2). Let r = -8 + 6. Are r and y unequal?
True
Let n = -0.6 - -0.4. Let g = -0.3 - n. Let j = 3 - 2.8. Which is smaller: g or j?
g
Suppose -3*i + 6 - 9 = 0. Is -4/5 greater than i?
True
Let a = -31 + 30.7. Is 2/7 at most a?
False
Let m be ((-1)/(-3))/((-7)/42). Is m at most as big as -2?
True
Let o = -85 + 81. Suppose -20 = 5*j - 5. Which is smaller: o or j?
o
Let s = -177 - -181. Is 19 less than or equal to s?
False
Let r = -3.44 + 0.34. Let k = 3 + r. Let s = 0.4 + -0.2. Which is smaller: k or s?
k
Suppose 0 = 3*y + 3*s - 9, -2*y - 4*s = y - 8. Do 2/9 and y have different values?
True
Let k = -2831/66 + 217/11. Suppose 115 = -10*z + 5*z. Let y = z - k. Is y at most 0?
False
Let c = 16 + -79/5. Let m = -3.3 + 3. Let n = m - -0.4. Is n >= c?
False
Let w = -4 + 2.9. Let n = -1 - w. Which is smaller: n or 0.5?
n
Let a = -1009/58 + 35/2. Is 1 >= a?
True
Let y = 976/7 - 141. Which is greater: -1 or y?
-1
Let k = 282 - 1398/5. Which is smaller: k or 3?
k
Let p be ((-34)/10)/(8/(-10))*6. Is 26 at most p?
False
Let m = 0.076 + 7.924. Which is smaller: m or 2?
2
Suppose 4 = 5*h + 24. Let d = -5 - h. Is d bigger than 1/3?
False
Let u be (-6)/((-10)/4 - -1). Let g(s) = 2*s + 3. Let k be g(0). Suppose -k*o - u = o. Is -2/9 greater than or equal to o?
True
Let k = -53977/1894 + -1/947. Let d = k + 29. Let b = -3 + 5. Is b greater than or equal to d?
True
Let a = 1/9 - -2/9. Let v = -75 + 74. Is a != v?
True
Let h(s) = s**3 + 5*s**2 - 7*s + 6. Let u be h(-6). Suppose u = v + v. Let b be (5/10)/(v/8). Is b equal to 3?
False
Suppose -8*q + 30 = -13*q. Which is smaller: q or -5?
q
Let f be 429/(-12) - 1/4. Let q be 2 - (f/14)/(-1). Suppose -2*i - 4 = -0. Are q and i equal?
False
Let p(x) be the first derivative of -x**4/4 - 5*x**3/3 - x**2/2 - 3*x + 1. Let n be p(-5). Let g be 1/(-1 + n + -4). Is 0 at most g?
False
Let l(g) = -8*g - 2. Let a be l(-2). Let r = 10 - a. Is -3 greater than r?
True
Let f = 47 - 281/6. Let s be 2/7 - (-60)/(-14). Let q = 3 + s. Is f <= q?
False
Let q = 6 + -1. Let c(f) = -f + 17. Let i be c(11). Which is greater: q or i?
i
Let j be (14/(-49))/(4*(-8)/(-28)). Suppose 1 = 5*y + 6. Which is greater: j or y?
j
Let m be (-3)/12 - 1/(-4). Let p be (-3 - 115/(-39))*-3. Which is smaller: m or p?
m
Let w(v) = -v**2 - 6*v - 4. Let d be w(-4). Let j = 53 - 99/2. Is j less than or equal to d?
True
Let j be 0 + (-1)/(52/48). Are -1 and j equal?
False
Let j(r) = r**3 + 2*r**2 + r + 1. Let o be j(-1). Suppose 0 = -4*q - q + 10. Let d be (14/(-4) - -1) + q. Do o and d have different values?
True
Let v = -8 + 2. Let b = 3 + v. Let t = -4 - -3. Which is bigger: t or b?
t
Let i = -6 - -4. Is i smaller than -3?
False
Let d = 1.2 + -0.2. Let y = -13 - -13. Suppose y = 5*q - 6 - 9. Which is greater: q or d?
q
Let w = 44794/15 + -8534/3. Let v = 142 - w. Is v bigger than -2/27?
True
Let p = 9 - 5. Suppose 3*g = -2*o + 4*g + 15, 0 = 3*g - 15. Let s = o - p. Is s bigger than 7?
False
Let v be (0 + 1)/(3/3). Suppose v = -4*k + 5. Which is bigger: k or 1/4?
k
Let k(y) = 2*y**3 - 6*y**2 + 2*y - 1. Let p be k(4). Let v be (-45)/p + (1 - 0). Is 0.1 at least as big as v?
True
Let r be ((-2 + 0)/(-1))/(-2). Let w be 1 + (0 - (0 - 0)). Let p be 2/((-2 - -1)*w). Which is smaller: p or r?
p
Let z = -0.89 + -249.11. Let c = z - -252.94. Let b = 3 - c. Is 2/7 smaller than b?
False
Suppose 3*f + 2*f - 20 = 0. Let y be f*1*32/72. Let p = -37/36 + y. Is p at least 1?
False
Suppose 2*m = -5*v - 15, 23 - 4 = v - 4*m. Is v <= -3/68?
True
Let d = -9 - -6. Let x be (1 + (d - 5))*-1. Is x bigger than 7?
False
Suppose -k + 0 + 1 = -5*j, 0 = 4*j - 3*k + 3. Is j less than or equal to -1?
False
Let g = -10 + 8. Let n be g/7 - (-9)/7. Suppose 6 - n = 5*w. Is 4 at least w?
True
Let l(s) = s - 2. Let a be l(-6). Let w be (-4)/(-30)*(-10)/a. Let j be 13/(-20) + (-1)/(-4). Which is bigger: w or j?
w
Suppose -3*l + 4 = -4*g, -2*g = -2*l + 4*l - 12. Let v be -3*-3*l/(-18). Which is bigger: -3/2 or v?
-3/2
Suppose r - 4 = 2*r. Is -6 not equal to r?
True
Let l = -7 - -10. Suppose l*k = k + 4. Which is bigger: k or -4?
k
Suppose 0 = 2*b + 2*b + 16. Let q be 249/(-9) + 0/b. Let c = q - -28. Are 2 and c equal?
False
Let b be -3 + (88/72 - (-4)/(-18)). Is b at least as big as -5/3?
False
Let p = -0.7 + 1. Let r = 606 - 3052/5. Let d = -24/5 - r. Are d and p nonequal?
True
Suppose -o = 2*o - 6. Suppose i = o*i + 4. Is i at least as big as -4?
True
Let x = -10 + 7. Let v = -6 - x. Let y = -1 - v. Which is bigger: 2/5 or y?
y
Let v(t) = -2*t**3 + 4*t + 2 + 3*t**3 + 4*t**2 - t - 1. Let g(b) = b + 2. Let c be g(-4). Let p be v(c). Is 3 bigger than p?
False
Suppose -11 = -4*b - b + 2*s, 4*b - 4*s = 16. Which is smaller: b or 0.01?
0.01
Let c = 1 + -1.2. Let t = 3 - 1. Let m = t + -3. Is c <= m?
False
Let p be 10/(1/((-2)/(-4))). Suppose 0 = -p*y - 6*k + 4*k + 17, 8 = 3*y - k. Is y