5. Let f be n(-4). Let u be 250/(-15)*(-12)/5. Suppose -u = 5*r - 3*m, 5*r = 3*m - 2*m - 30. Do f and r have the same value?
True
Suppose 1 = 2*a - 3*a. Let i(y) = -y**3 + 8*y**2 - 13*y + 7. Let t be i(6). Let p be -2 - (a + t/(-1)). Which is bigger: -1/15 or p?
p
Let u = 93.76 - 97. Let w = 1.06 - u. Is w > 0?
True
Suppose 33 = 5*i - 3*p, -1 = -5*i - 5*p + 24. Suppose 0*t - 3*t + 3*s + i = 0, -5*t + 17 = 2*s. Suppose -2*o - 6 = -4*o. Is t greater than o?
False
Let q(o) = o**2 + 50*o - 397. Let x be q(7). Are x and 15/23 unequal?
True
Let l be (2/10)/((-6)/(-30)). Let h = -53/42 + 7/6. Let k = h + -1/14. Which is bigger: l or k?
l
Let p(r) = -2*r - 6. Let m be p(-4). Suppose -59 + 107 = 12*v. Let c be 3 - (6 - v)*m. Is c at least -1/8?
False
Suppose -15*m + 4 = -11*m. Let h be (-4)/(-6)*-6*(-78)/12. Which is smaller: m or h?
m
Let b(k) = -k**2 - 10*k + 13. Let n be b(-11). Let x be 3/15 + n + (-404)/20. Which is smaller: -20 or x?
-20
Let a = 88 - 87.97. Which is greater: a or 0.06?
0.06
Let x = -441 - -344. Which is smaller: -98 or x?
-98
Let d = -931544/321 - -2902. Are -0.01 and d non-equal?
True
Let t be 4/(-10) + 292/20*-1. Let q(a) = 2*a + 8. Let k be q(-11). Is t > k?
False
Let t = 178 - 181. Let k be 2*(13/39)/((-1)/t). Is 7/8 less than k?
True
Let k = 89 - 78. Suppose -u + 6 = 4*j - 8, -5*j = -2*u + 15. Which is smaller: k or u?
u
Suppose -4*v - 4*u = -24, 4*v = -0*v - 5*u + 28. Suppose -2*r = -3*c + 3*r + 8, -2*c = -5*r - 7. Suppose -3*a - o + 13 = 0, -2*o = -a + o + c. Is a at most v?
False
Suppose d - 4*d + 414 = 0. Let y = d - 210. Is -72 >= y?
True
Let v be (-15)/(-4) + (-9)/(-36). Let t(u) = -4*u**2 + 17*u + 15. Let a(g) = -g**2 + 4*g + 4. Let l(b) = -9*a(b) + 2*t(b). Let n be l(v). Is n at most 2?
True
Suppose 5*x + b = -4*b + 575, 0 = -3*b + 9. Which is bigger: x or 106?
x
Let y be 4/20 + (2 - 44/20). Which is smaller: y or -6/13?
-6/13
Let y(o) = -o**3 + 10*o**2 + 12*o + 4. Let f be y(11). Is 10 smaller than f?
True
Let u = 0 + -1. Let r = u + 1.2. Let j = -109 + 108. Do r and j have different values?
True
Let t be 8 + 2/10*4*-5. Suppose -3*g + 6 = a, 7 = t*g + 3*a - 6. Which is bigger: 15/14 or g?
15/14
Let b = 0 + 8. Let z = -8.01 + b. Let i = z + -0.99. Do i and -0.8 have the same value?
False
Let s be (-1204)/(-98) - (-4)/(-14). Suppose -2*c + 3*c = s. Let z be 1 + -1 - 3/c. Which is bigger: z or -0.1?
-0.1
Let n be (-78)/(-15) + 2/(-10). Suppose -n*r + 210 = -7*f + 2*f, -3*r + 140 = 4*f. Suppose -i = -5*i - y - r, 3*i - 5*y = -56. Which is smaller: i or -11?
i
Let p be 2/((-1)/((-6)/(-4))). Let i = -2/1877 + -45022/24401. Is i smaller than p?
False
Let c(y) = y**3 - 5*y - 3. Let p be c(-3). Suppose -11*r + 70 = -13*r. Let g be 3/2*r/p. Is 3 smaller than g?
True
Let d(h) = -h**3 + 4*h**2. Let j = -6 + 1. Let c(w) = -w**2 - 5*w + 4. Let t be c(j). Let f be d(t). Which is smaller: 1 or f?
f
Let w be 18/15 + (-96)/72. Which is smaller: w or 24?
w
Let u = 553.92 + -554. Let z(y) = y**2 - 4*y + 2. Let a be z(3). Is a < u?
True
Let n = -1303 - -1303.21. Which is greater: n or 11?
11
Suppose f - 1703 + 1702 = 0. Is f at least as big as 66/47?
False
Let z = -376 + 375. Which is bigger: z or -17/25?
-17/25
Let r = -13 - -16. Let n = -19 - r. Is 0 at least as big as n?
True
Let t(s) = -11*s + 1. Let u be t(-1). Let l = 12 - u. Which is greater: 3/28 or l?
3/28
Let j(w) = -4*w. Let u be j(-1). Suppose -5*r = -u*x + 6, -3*x = -0*r + r - 14. Let s be (0 - 0)/(r/(-2)). Which is smaller: -2/13 or s?
-2/13
Let s = 58 + 35. Let v = -96 + s. Is 10 at most as big as v?
False
Let j be (-24)/(-5)*(31 - 26). Suppose -4*k + 90 = -3*q, -2*q + 138 - 38 = 4*k. Is j not equal to k?
False
Let p be 23 + -75 - (1 - 1). Which is bigger: -53 or p?
p
Let v(g) = g**2 + 6*g - 4. Suppose c + 3 - 6 = 0, n + 3*c = 13. Suppose p + 11 = n. Let z be v(p). Is z not equal to 3?
False
Let s = 27/2 - 14. Let b be 4 - (28/5 - (-8)/20). Is s > b?
True
Suppose 4*w + 2 = -2*i, 5*w - 1 = 5*i - 11. Let p = 6810 - 27231/4. Is i less than p?
True
Let k be 3/(-6)*2/1. Let l = 2 + k. Which is smaller: l or -4/11?
-4/11
Suppose s + 2 - 9 = -2*a, -s - 5*a = -16. Let w be (-1*2)/((-2)/2). Let m = w - 1. Is m < s?
False
Let z be 18/63 - -1*(-116)/14. Let n(d) = 2*d**2 + 20*d + 11. Let o be n(z). Is -21 less than o?
False
Suppose 121*i = 190*i - 4623. Let v be 4 + -2 + (-27)/12. Is v > i?
False
Let y be (-135)/(-20) + (-2 - 5/(-4)). Is 47/9 != y?
True
Let j(r) = 8*r - 181. Let b be j(-24). Is -372 equal to b?
False
Let s(o) = 3*o**3 - 4*o**2 + o + 1. Let p be s(1). Which is bigger: p or -7/26?
p
Suppose 10*v - 362 = 128. Let u be (-51)/(-21) - 21/v. Is u at least as big as -5?
True
Let d(k) = k**3 - 2*k**2 - 27*k + 5. Let z be d(6). Are -11 and z non-equal?
True
Suppose -10 = -3*u + 20. Suppose r - q - u = 1, -3*r - 3*q + 3 = 0. Which is bigger: -4 or r?
r
Let x(l) be the second derivative of l**5/20 + l**4/12 + l**3/6 + l**2/2 - 12*l. Let u be x(0). Is u > 1/2?
True
Suppose q = 4*t - 831, 0 = 3*q - t - 4*t + 2514. Let s = q - -3401/4. Which is bigger: 8 or s?
8
Let g be ((-7)/(-12215))/(-3 + 2). Which is bigger: 0 or g?
0
Let n be ((7 + 4)*-6)/2. Is -33 < n?
False
Let v = -3/44 - -69/44. Let c = 222/11 - 20. Which is smaller: c or v?
c
Let s be 37233/(-223839) - (-1)/11*2. Which is greater: 0 or s?
s
Let q = 2368/13 - 182. Let i = 0.9 + -0.5. Let m = 0.5 - i. Which is smaller: m or q?
m
Suppose -482 = -5*j + r, -654 = -5*j + 5*r - 164. Let g be 6/3 - 193/j. Which is bigger: 0 or g?
0
Suppose 0*k + 28 = 4*c - 5*k, 14 = c - 3*k. Suppose 2*z + 6 + 4 = -c*y, z - 7 = 5*y. Which is greater: y or -3?
y
Suppose -4 = 3*n + 2. Let x be 4/(1/((-1)/n)). Suppose -10 = -5*m, -2 = x*y - 0*y - 3*m. Is y smaller than 0.2?
False
Suppose 3*v - m = -37, 4*v - m + 7 = -41. Let s = -14 - v. Suppose -2*h + g + 0 = 4, 2*g = -h + 8. Which is bigger: s or h?
h
Let n be 5/2 - (-25)/(-10). Which is greater: n or -3/13?
n
Let t = 330.8 - 330. Is t <= -5/6?
False
Suppose -756*g + 758*g - 112 = 0. Is 56 >= g?
True
Let z be ((-70)/8)/(6/24). Let p = -38 - z. Do -14 and p have the same value?
False
Suppose -2*o + 60 = -p - p, 2*p + o + 54 = 0. Suppose 0 = 19*n - 33*n. Is p greater than or equal to n?
False
Let n be -1 - (-40)/25 - 1. Which is greater: n or -2/109?
-2/109
Suppose -111 = -t - 2*t. Let b be 74*(3 - 4)/4*-2. Are b and t non-equal?
False
Let l be 3628/(-46206) + 1 + 42/(-189). Let h = l - -1/151. Which is smaller: h or 2?
h
Let i(l) = 2*l + 24. Let g be i(-14). Which is greater: -2 or g?
-2
Suppose -c + 3*d = 3 + 3, 4*d - 8 = 4*c. Suppose 2*q + q - 2*n + 3 = c, -4*n + 17 = 5*q. Which is bigger: q or 9?
9
Let o = 4/17 - 46/51. Let i = -54 - -90. Let q be 24/i + 2 + (-38)/15. Does q = o?
False
Let f = 3 - -10. Let h = f + -11. Let s be (-4)/(4/(-9)) - h. Which is greater: s or 6?
s
Let t(l) = l**3 - 10*l**2 + 18*l - 11. Let c be t(8). Suppose 2*z + 3*z = 10. Which is bigger: c or z?
c
Let f = 39/449 - 31513/352465. Which is greater: -1 or f?
f
Suppose 20 = -3*b - 5*g, 4*g + 7 + 9 = 0. Is -7 at most as big as b?
True
Let y(a) = -1. Let l(h) = 2*h + 12. Let r(s) = -l(s) - 6*y(s). Let g be r(-7). Which is smaller: g or 5?
5
Let l be 4/(-3) - (2 + -3). Let t = 72 - 48. Let w = 25 - t. Which is greater: w or l?
w
Let h = 21 + -24. Let y be 54 + (h - -3 - 3). Are y and 51 unequal?
False
Suppose -5*p + 188 = 3*a, 8*a - 3*a - 307 = -2*p. Let v(b) = 2*b**2 - 11*b - 3. Let u be v(9). Is u <= a?
True
Suppose 8 + 2 = 5*a, -2*d - 14 = a. Let w be d*(76/(-16))/1. Suppose -5*i + w = -2*x, -3*i + 12 = -4*x - 8. Is 8 < i?
False
Let a be (-48)/(-9)*(-3)/(-1). Let g be (-40)/a*(0 - 2). Which is bigger: -2 or g?
g
Let g(d) = 9*d**3 - d**2 + d - 1. Let v be g(1). Let f = v - 7. Let w be (-3)/9 - (-2*3)/3. Is f bigger than w?
False
Let c(u) be the second derivative of -u**4/12 + 7*u**3/6 - 2*u**2 - 7*u. Let d be c(6). Which is greater: d or 12/13?
d
Let x = 124.3 - 133. Let m = x + 8.5. Are 0.11 and m equal?
False
Let h be -1*(-3)/(-6) + 77/(-2). Let p = 71 + h. Which is smaller: p or 31?
31
Let d = -2 - -2. Suppose 5*w + 35 = 30. Let h = d - w. Do h and 2 have the same value?
False
Let y = -98/113 - 17786/339. Is y less than -53?
True
Let a be -48*(21/12)/(-7). Which is bigger: a or 11?
a
Suppose -4*a = -73 - 67. Is a