 2*b - 18. Let n be r(12). Suppose n = -j + 4. Suppose 0 = -5*i + c - 19, 2*i + 5*c - 17 = i. Which is smaller: i or j?
i
Let r = -13 + 27. Let j = 10 - r. Let t = 8 + j. Which is greater: t or -1?
t
Suppose 2*p - 10 = -3*u, -3*u + p + p = 10. Suppose 3*c - 4*c + 4 = u. Suppose -3*t = -3*d - 22 + c, t = -4*d - 4. Which is bigger: d or -5/2?
d
Suppose 3*v - 5 = -3*b + 19, 3*b = 9. Suppose -14 = 3*x - v. Let w be (-3 - -2)*x/1. Do 3 and w have different values?
False
Let x = 26 - 24. Is x at least 0.13?
True
Let f(a) = -a + 6. Let x be f(3). Which is greater: x or 1.6?
x
Let s = -4 - -6. Let n be 128/(-270) + s/5. Which is bigger: 1 or n?
1
Let x = -27899/4530 - 6/755. Which is greater: -6 or x?
-6
Let m be (-1)/(2 - (-21)/(-9)). Suppose m*b = -4*z - 24 - 3, 5*z + 4*b + 34 = 0. Let q be ((-4)/z)/((-2)/3). Which is smaller: q or -2/7?
q
Let t(d) = d + 21. Let i be t(-19). Which is bigger: 7/11 or i?
i
Let k = -199/828 + -2/207. Suppose 0 = 5*i, 0 = -4*p - p - 4*i. Which is greater: p or k?
p
Let h be 2 - (2 - (-9)/(-12)). Which is greater: 1 or h?
1
Suppose -8*q = -5*q + 240. Are -79 and q non-equal?
True
Let t(n) = -12*n**2 - n. Let m be t(1). Is m >= -14?
True
Let f = 6741/23 - 293. Which is smaller: f or -1?
-1
Let m be (0 - 8)*2/(-4). Suppose 4*b = 12 - m. Suppose 4*p - 16 = 4*j, 5*p + b*j - 5*j - 10 = 0. Which is greater: p or -1/5?
-1/5
Suppose 0 = 3*b - b - 4, -3*z - 5*b - 8 = 0. Which is smaller: z or -32/5?
-32/5
Let x be ((-12)/10)/((-9)/45). Suppose 0 = -2*j + x*j - 5*h + 3, j - 9 = -2*h. Let y = 4 - 1. Is y at least as big as j?
True
Suppose -5*l + 0*l = 60. Which is smaller: l or -14?
-14
Let l = -21 - -21. Let g(a) = -a**3 + a**2 - a + 8. Let j be g(l). Which is smaller: 10 or j?
j
Let n be (3 - 2)*(12 + -14). Which is smaller: n or 0?
n
Let s(z) = z - 6. Let y be s(8). Which is greater: y or 5?
5
Let h(q) = -q**3 - 2*q**2 + q - 4. Let t be h(-3). Suppose -6*c - 16 = -t*c. Let k be (-2)/(-3)*6/c. Which is smaller: -1/4 or k?
k
Let w = 1257 - 3715/3. Let m = w - 19. Which is smaller: -1 or m?
-1
Let t = -1 + 7. Let c = t + -4. Are 2 and c equal?
True
Suppose 2*x + 9 = -0*a + 5*a, 0 = a + 4*x - 15. Suppose h + a + 3 = 0. Let t be 6/9 + (-5)/h. Which is smaller: 1 or t?
1
Let j = -197 - -1769/9. Is j greater than -1/4?
False
Let x(f) = f - 2. Let b be x(3). Let j be (5/1 - b)*3. Let u be (1/(-2))/(2/j). Is u greater than -4?
True
Let o be 456/(-10) - 10/25. Let n be 16/20*(-5)/o. Which is bigger: -1 or n?
n
Suppose -28*g + 26*g + 4 = 0. Which is greater: g or 11?
11
Let n be (-70)/22 - (-2)/11. Let r = n - -5. Suppose v - 3*v + 4*d = -8, -v - r*d = 8. Which is bigger: v or -3?
v
Let a(j) = -2*j - 7. Let z be a(-6). Let s(o) = o**3 + 5*o**2 - 6*o + 4. Suppose 20 = -3*m + m - 4*h, 0 = 2*m - 4*h + 4. Let f be s(m). Is z at least f?
True
Let a = 4 + -4. Let x = 47/60 + -1/30. Which is bigger: a or x?
x
Let d be -2 - -8 - 0/1. Let b be d/(-15) - (-12832)/(-70). Let u = -184 - b. Is -2/7 at most u?
True
Let k = 10 - 5. Is 4 greater than k?
False
Let f = -1.6 - 1.4. Is f <= 2/9?
True
Let j = 9/25 - 17/75. Which is smaller: 0 or j?
0
Suppose 0*s = 2*s - 36. Let v(z) = -z**3 + 11*z**2 - 9*z + 8. Let i be v(10). Is s less than i?
False
Let a be (-2)/8 + (-102)/8. Let f(l) = -l**2 - 14*l - 15. Let z be f(a). Which is bigger: -2/3 or z?
-2/3
Let y = 171 + -179.24. Let r = -0.24 - y. Is -2/7 less than or equal to r?
True
Let c = -37 + 34. Is 3 smaller than c?
False
Let b be 10/4*5/(-50). Is -15 >= b?
False
Let s be (4*1/2)/2. Let v be (4/(-22) - 285/(-418))/(-12). Is s at most v?
False
Suppose 12 = -2*d - 3*f, -6*f = -4*d - 2*f + 16. Let b(c) = -4 + 0 - c + d. Let t be b(-4). Are t and 0 equal?
True
Let u be 2/6 - (-665)/12. Let o = u + -56. Suppose 11 = -21*y - 10. Which is smaller: y or o?
y
Suppose -5*l + 5*i + 0 = -40, -3*i - 9 = 0. Suppose 0 = l*a + 5*q + 45, 4*a - 4 + 28 = -q. Is -2 less than a?
False
Let s = 20 - 21. Let f = 3 + -2. Let n = 1 - f. Which is smaller: s or n?
s
Let k be (-490)/75 - (-16)/(-4). Let m = -31/3 - k. Is -2 <= m?
True
Suppose 4*z - 44 = 16. Is -3 equal to z?
False
Let g be ((-4 - -7)/(3 - 0))/1. Suppose 5*w - 2*c = -2 - 3, 2*c - 7 = 3*w. Let d be w/4 + (-6)/16. Which is bigger: g or d?
g
Let o = 31 + -156/5. Which is smaller: o or 0?
o
Let a = 6 + -7. Suppose 2*t + 0*r = -3*r + 7, 2*r - 9 = 3*t. Let x be t/3 - 5/3. Which is bigger: a or x?
a
Let n = -2/139 - 268/695. Let l(g) = -g**3 + 9*g**2 - g + 8. Let d = -14 + 23. Let k be l(d). Which is smaller: k or n?
k
Let i be 5/(-4) + 1/4. Let b(z) = -z**3 - 9*z**2 - 7*z + 5. Let a(k) = -7*k**2 - k. Let t be a(1). Let p be b(t). Is i greater than or equal to p?
True
Let s = 11 + -13. Let w(h) = -3*h - 23. Let u(o) = o + 8. Let m(q) = -11*u(q) - 4*w(q). Let z be m(-5). Which is smaller: s or z?
s
Let v = 9 - 9.1. Which is bigger: 4 or v?
4
Let t(x) be the third derivative of -x**4/24 - 11*x**3/3 - 10*x**2. Let m be t(-9). Is m at most -15?
False
Let y be 2*(4 + -3 + 1). Suppose y*a - 2 = 6*a. Which is greater: a or 2/11?
2/11
Suppose 5*g = 4*k - 5, g + g = -3*k - 2. Let v = 7773/26 + -299. Which is greater: v or k?
k
Let p be 2 + 0 + -5 + 4. Which is bigger: -2/51 or p?
p
Suppose 3*u + 27 = -5*r, -r + 5*u - 1 = 10*u. Let z be -1 + 0/(-1) - 1. Let n(d) = 4*d + 1. Let h be n(z). Is r < h?
False
Let j = -0.13 + 1.83. Let k be 4/(-1) + (-72)/(-20). Which is smaller: j or k?
k
Let s be 2/12 - (3 + (-471)/(-18)). Which is smaller: s or -1/3?
s
Let k = -23 - -24. Is k at least as big as 9/7?
False
Let r be (-3)/(-3 - 0)*2. Let z be r/(78/81) - 2. Is 0 smaller than z?
True
Let b = -4 - -4. Let o = 0 + 1. Let w be (-12)/56*4*o. Is w smaller than b?
True
Let r = -1 - -5. Let l be ((-2)/(-4))/((-2)/r). Which is smaller: 0.2 or l?
l
Let c(l) = 2*l - 21. Let g be c(8). Is g at least -5?
True
Let f be 6/5*(-50)/(-15). Suppose -f*h + 4*t + 20 = 0, -9*h - t + 1 = -4*h. Is h not equal to 1/12?
True
Let t = 0.17 + -0.05. Let x be 105/180 - (-1)/(-3). Do t and x have the same value?
False
Let q = -4 - -4. Let z be (-416)/169 - (-2)/1. Which is smaller: z or q?
z
Let z = 19/35 - 1/7. Let b(m) = -2*m**2 + 1. Let a be b(1). Is a less than or equal to z?
True
Let l = 7 - -5. Suppose l = -x + 8. Is -4 less than x?
False
Suppose 0 = 3*n - 14 - 1. Let i be (-30)/(-8) - 1/(-4). Suppose 12 = -0*a - a + 3*o, -i*o = 5*a - 35. Is a > n?
False
Suppose 4 - 1 = 2*j + u, 4*j + 12 = 4*u. Let c be -3 - (-1 - (1 - 2)). Let y be (-10)/6 - 2 - c. Which is greater: j or y?
j
Let d = 38 - 23. Which is greater: d or 16?
16
Suppose -p - 26 - 4 = -5*t, -2*t + 66 = -4*p. Let q = 11 + p. Let h = q - -3. Is h at most 4/9?
True
Suppose 0 = -4*t + t + 4*f + 2, -13 = 3*t - f. Let h be (12/(-18))/(4/t). Let q be (1*2/3)/(-2). Are h and q nonequal?
True
Suppose w = 6*w. Let t = -2 + 6. Suppose 3 = g + z + 1, 0 = t*g - 4*z - 8. Which is smaller: w or g?
w
Let u be (16/(-6) + 4)*6. Let k be (-1)/8 + (-1)/u. Let b = 1 - 0.9. Is b != k?
True
Let p be (1 + 0)/(2/10). Let i(n) = n**3 - 4*n**2 + 2*n - 4. Let z be i(4). Suppose 0 = -p*g - 2*y - 3*y - 20, -g - z*y = 16. Which is bigger: g or -2/13?
g
Suppose 3*k - 5 = -2. Let w be (-15)/5 - 21/11. Let v = w - -399/88. Do k and v have the same value?
False
Suppose -3 = -0*v + 3*v. Let f be ((-42)/(-3)*2)/v. Let b be (f/5)/(-4) + -1. Which is bigger: b or 0?
b
Suppose 2*o + 2*r = -24, 4*o + 3*r + 52 = r. Let h be (-92)/o - (-18)/42. Which is greater: h or 8?
8
Let u(n) = n + 12. Let k be u(-12). Is k at least as big as 0?
True
Let z = 5 - -1. Are -2 and z unequal?
True
Let j be 10/(-48)*(-7)/(-35). Do j and 1 have the same value?
False
Suppose 2*s = s - 1. Is s < -1?
False
Let w = 1 + 14. Suppose 4*q - 1 = w. Suppose -k + 34 = 3*n - 3*k, q*n + 4*k - 12 = 0. Does 8 = n?
True
Let n = 997/2 - 483. Let o = -16 + n. Are -0.3 and o non-equal?
True
Let p = 11 + -10.7. Do p and 2/15 have the same value?
False
Let v = 2/225 - -1121/450. Which is smaller: 2 or v?
2
Let s = 4 - 7. Let d be s/(-3) - (-1 + 1). Which is greater: 1/7 or d?
d
Let d be (-1)/(3/24*2). Let i be 40/15*9/d. Which is smaller: -4 or i?
i
Let g(r) be the second derivative of -r**4/12 + r**3/6 + r**2/2 - 4*r. Let l be g(-1). Is l bigger than -1?
False
Let c be 1/((-16)/60) - -3. Which is smaller: 0 or c?
c
Let g(m) = m**3 