se 2*u + 2*n + 10 = -0*u, 2*u + n = -15. Let z be d(u). Which is smaller: z or 2/7?
z
Let c = 5/124 - 281/10044. Is 1 >= c?
True
Let y be 192/1110 + (-2)/10. Is 1 < y?
False
Let l be 113/218 + -1 - 5/(-10). Which is smaller: 1 or l?
l
Suppose 2*o + 36 = 3*m, -o + 44 = -3*o + 5*m. Let a be 4182/o*4/(-10). Let r = a + -139. Which is greater: 3 or r?
3
Let c be 0 - ((-22)/9 + 2). Let g = 6419/9 + -714. Let v = c + g. Which is smaller: -1 or v?
-1
Let q(a) = -5*a + 4. Let g be q(-2). Is g less than or equal to 2?
False
Let y(x) be the second derivative of -x**5/20 - x**4/6 + x**3/2 + 3*x**2/2 + 3*x. Let o be y(-3). Let c = 2 + 1. Is c at most as big as o?
True
Let l = 0.4 - 13.4. Which is greater: 0.06 or l?
0.06
Suppose -2*o - 4*q = 3*o - 14, 2*q = o. Suppose -o*c + 3*n + 0 = 1, 0 = -5*c + 3*n - 7. Suppose -4*i + 12 = -7*i. Which is bigger: i or c?
c
Let v be (-24)/144 + 7*1/(-30). Do v and 0 have the same value?
False
Let p be ((-4)/(-3))/(2*3/9). Let w(h) = -h**3 - 2*h**2 + 1. Let f be w(-2). Which is smaller: p or f?
f
Let g be 1/(0 + 4/28). Suppose 3*k - 13 = -g. Let b be (-6)/(-21) + (-2)/7. Does k = b?
False
Let i = -85/3 - -29. Let m = 2.9 + -3. Let x = m + -0.1. Which is smaller: i or x?
x
Let w be 194/(-2)*(-3)/(-9). Let c = -33 - w. Is 0.02 at least c?
True
Let l = -35 - -36. Is -1/16 <= l?
True
Suppose 0 = -j - 2*r - 6, -5*j - r + 6 = 0. Suppose -3*q + 2*q - j*h + 7 = 0, 14 = 5*q + 3*h. Let s be 2/14 + (-4)/(-70). Which is smaller: q or s?
s
Suppose -a + 6*a = 20. Let j be a/8*(0 + 6). Suppose 5*u + 2 + j = 0. Which is smaller: u or 2/7?
u
Let w = -3 - -2. Suppose 1 = 12*n - 11*n. Which is bigger: n or w?
n
Let c = 2792/19 - 147. Which is smaller: 1 or c?
c
Let n = -0.7 - -3.7. Let m = 6 - n. Let y = m - -1. Which is smaller: y or 0?
0
Let h be -3 + 4/((-108)/(-21)). Let o = -27 - -25. Is o smaller than h?
False
Let v be (4/(-5))/(-1*235/25). Is v < -1?
False
Let j = -827629/123 + 6728. Let a = -1/41 - j. Let b be (-3)/(-9) - (-1)/(-12). Are a and b non-equal?
True
Let c = 10 - 7. Suppose 0 = -2*p - 21 + 3. Let t be (-24)/p - 3/(-9). Are t and c non-equal?
False
Suppose 4*l - 2 = -3*f - 10, 0 = 2*l - 2*f + 4. Are 1 and l equal?
False
Suppose -13*q + 2*q + 1353 = 0. Is 124 at most as big as q?
False
Let q = 2 + -2. Suppose -6*y - 14 = -2*y + 2*o, 45 = -5*y + 3*o. Let l = -4 - y. Which is smaller: l or q?
q
Suppose 0 = 3*n + 60 - 18. Let u be (-10)/n + (-2)/(-7). Is 0 less than u?
True
Let d = -0.49 + -0.51. Are 5 and d unequal?
True
Let z = 40.7 + -43. Let k = z + 2. Let c = 3 + -2. Is c <= k?
False
Let o = -27.985 - 0.015. Let d = -20 - o. Do -2 and d have different values?
True
Let z = 33/40 - 13/15. Is z less than or equal to 0.4?
True
Suppose 0 = k - 4*k + 15. Are k and 5 non-equal?
False
Suppose 4*v + 2*d + 2*d = -12, -7 = 5*v + d. Suppose -15 = l - 4*l. Suppose -4*q + l*a - 2 = -2*q, 4*q + 4 = -4*a. Are q and v unequal?
False
Let b = 5/307 - -3025/2763. Which is smaller: b or 2?
b
Let r = -47 - -49.7. Let s = -17.3 - r. Is s greater than -1?
False
Let y(r) = -r**2 + 4*r + 2. Let o be y(4). Suppose 5*j + 1 = 4*f, 0 = o*f + f + j + 4. Are 0 and f equal?
False
Let t = -5 - -8. Suppose -d + 11 = -4*g, 4*d = -5*g + t - 22. Which is smaller: -2 or d?
-2
Suppose -2*u + 16 = 6. Let l be (1788/9)/(-4) + 2. Let t = -48 - l. Which is smaller: u or t?
t
Suppose -4*y = -4*g + 128, -2*y + g - 38 - 29 = 0. Let v be 54/y + (-1)/(-7). Is v != -2?
True
Let c(s) = -4*s**2 + 1. Let g be c(-1). Let d(x) = -x + 3. Let q be d(0). Suppose 0*m = 5*m + 2*i - 3, 2*m - q*i = -14. Which is smaller: g or m?
g
Let v(u) = u + 6. Let a be v(-5). Let l = a - 6. Let j be -2 + 1/(-2)*l. Is -1/4 >= j?
False
Let d(t) = -14*t + 1. Let a be d(-1). Let q = 89/6 - a. Suppose c - 3*c - 14 = -4*z, 4*c + 4*z - 8 = 0. Is q equal to c?
False
Let j = 2.9 - 3. Let k = 0.03 - -0.17. Is j > k?
False
Suppose -2*h + 0*x = -3*x - 7, -x - 3 = 0. Let a(o) = -2*o**3 + o**2 + o - 1. Suppose t - 1 + 0 = 0. Let w be a(t). Is w greater than h?
False
Let u be 0/4 + 12/(-3). Do -8 and u have the same value?
False
Let i be (-1)/(2 - (-31)/(-16)). Let h be (-4)/(-14) + i/56. Which is bigger: -3/4 or h?
h
Suppose 0*x - 189 = 7*x. Is -26 > x?
True
Let o = 2785/9 + -309. Let r be (-159)/(-540) - (-2)/(-8). Let w = r - o. Which is smaller: 0.3 or w?
w
Let c = -11 - -11.25. Is c != 0.3?
True
Let p = -5 + 5. Let r(t) = t. Let h be r(p). Let k be (-1 + h)*(-1 + 1). Which is greater: -1/5 or k?
k
Suppose 5*n - 4*y = -2, -2*n + 0*n - 3*y + 13 = 0. Suppose -3*a + 10 = -a, 3*o - 32 = -4*a. Suppose 0 = -x - 7*c + n*c + 3, -o*x + 4*c + 12 = 0. Is x > 5?
False
Suppose -35 = -2*w + 13. Let z be -2 + w/(-10)*-1. Which is bigger: z or 1?
1
Let l(v) be the first derivative of -v**3/3 + 5*v**2/2 + 2*v - 1. Let g = -28 + 32. Let k be l(g). Is 6 less than k?
False
Suppose 4*m = -5*a + 11, -4*a - 12 = -m - m. Let z(w) = -w**3 + 3*w**2 + 3*w + 5. Let x be z(m). Is 4/3 bigger than x?
True
Suppose -4*u - s - 6 = -3*s, 4*s = -u - 24. Let j be (-11)/5 + u + 7. Is 0 at least j?
False
Suppose -2*l = -u - 2*u + 20, 2*u = 5*l - 5. Which is smaller: u or 12?
u
Let c be (-64)/96*(-2)/10*3. Is c at most as big as 1/24?
False
Suppose -p = p. Suppose p = 2*s - 2 - 0. Let m be s/(-4) - (-184)/(-32). Which is bigger: m or -7?
m
Let z = -4 - -1. Let q = z - -5. Let b be q - (0 + (-14)/(-6)). Is b greater than 0.2?
False
Suppose -2*u - 3*u + 88 = 2*h, -2*u = -h - 28. Is 15 at least u?
False
Suppose -5*u + 13 = -0*h - 3*h, 1 = 5*h + 3*u. Do h and 0 have the same value?
False
Let k = 15 - 15. Are k and 0 unequal?
False
Suppose 20 = 3*n + 2. Suppose -3*u - 3*i = -9, -4*u + 5*i = -3*u - 33. Which is bigger: u or n?
u
Let y(r) = 2*r + 37. Let k be y(-18). Which is smaller: 4 or k?
k
Suppose 5*y - 43 = -v, 5*v = 3*y + y + 215. Is v less than -1/2?
False
Let u(o) = -3*o**2 - 5*o + 5. Let s be u(-4). Which is greater: -1 or s?
-1
Let b(s) = s**3 - 10*s**2 + 10*s + 2. Let r be b(9). Suppose 5*d + 6 - r = 0. Is 2 greater than or equal to d?
True
Let h be (-239)/354 + 4/6. Let g = -245/1062 - h. Which is greater: g or -4/3?
g
Let d be (1/(-1))/(2/(-292)). Let u be d/44 - (-2)/11. Which is smaller: u or 3?
3
Suppose -a - 5 = -v, v + 5 = -4*a - 0. Do v and 3/2 have the same value?
False
Let w = -0.033 - 0.047. Is w at least as big as 0?
False
Let o be 8/(-3)*75/925. Which is smaller: o or -1?
-1
Let p be 1/3 - 1 - (-28)/42. Is 17 <= p?
False
Let f = 2.03 - 0.03. Let s = 4.02 - 2.09. Let r = f - s. Are r and 0.1 nonequal?
True
Let a be 2 + 78/(-95) + -1. Let s = -2/95 - a. Let o be -1 + 1/(-1) - -3. Which is greater: s or o?
o
Let b be ((-8)/4 + 4)/2. Let x = 0 + b. Let n = 2 + -2. Which is smaller: n or x?
n
Let v = -1.6 + 1.5. Are 1 and v unequal?
True
Let a = 251/15 - 52/3. Which is smaller: 0 or a?
a
Let j = -0.57 - 0.43. Which is bigger: j or -7?
j
Let z = -4.2 + 0.2. Let m = -1.1 - -0.1. Is m greater than z?
True
Let t(l) = l**2 - 118*l - 7 + 119*l - l**3 + 5*l**2. Let r be t(6). Is r smaller than 1?
True
Let y be 2/3 + (-68)/(-6). Let c be y/10*2/(-4). Let p = 0 - 1. Does p = c?
False
Let x = 4 + -3. Suppose -x = -m - 0. Suppose 0 = -2*d + 13 + m. Is d > 7?
False
Let d = 119/3 + -41. Suppose 0*q - 3*q = 0. Suppose b - 2*b = q. Are b and d nonequal?
True
Suppose -i - 5 = 0, -5*x = i + 4*i - 10. Is 7 less than x?
False
Let t(c) = -c**3 + 6*c**2 - 4*c. Let j be t(4). Which is greater: j or 15?
j
Let c = 22 - 54. Which is greater: -31 or c?
-31
Let f = -9.7 + 12.7. Which is bigger: f or 2?
f
Let m(j) = -j**2 - 5*j - 3. Let g be m(-3). Let k be (-3*(-11)/g)/1. Which is smaller: 10 or k?
10
Let x = 4 - -8. Let g(t) = -t + 4. Let h be g(-7). Which is bigger: x or h?
x
Let w = -26 - -25. Let a = 0.06 + 4.94. Which is bigger: a or w?
a
Let s = 5 + -14. Let v be 22/(-180) + (-2)/s. Let b = v + 7/5. Is b greater than or equal to -0.1?
True
Suppose 5*b + 3*o - 7 = 0, -3*o = b + o - 15. Let k = 8848/25 + -354. Which is smaller: k or b?
b
Let x be 2/(-4) - (-5)/10. Which is smaller: 18/31 or x?
x
Suppose 0 = -0*g - g - 2*k, 0 = g - 3*k + 10. Is g less than or equal to 1?
True
Let y(a) = -2*a + 5. Let o be y(6). Let u be 14/4 + o/(-14). Let t = -1 + u. Is t at most as big as -2/5?
False
Let b = 2661 + -502927/189. Which is smaller: 0 or b?
0
Let i = 