r 29/18?
b
Let a = -1033.4 - -1030.4. Let w be (2/(-6))/(1/(-1)). Which is greater: w or a?
w
Suppose -32 = -4*k - 5*a, -4*a = -3*k - 7*a + 21. Suppose 3*c - v + k = 0, -7*c + v - 3 = -5*c. Does -1/11 = c?
False
Let v = 37 + -31. Suppose 342 = -v*c - 3*c. Which is smaller: -37 or c?
c
Let q = -7 - -9. Let b be ((-8)/(-2))/(4/q). Let j be (0/b*1)/2. Which is greater: j or -1/2?
j
Let s(f) = -f**3 + 4*f**2 - f - 4. Let u be s(3). Suppose -2*r - u*r - 4 = 0. Which is smaller: -3/64 or r?
r
Let f = 48 + -47. Are f and 12/73 unequal?
True
Let j be 3/(-2) - 90/(-12). Let o = j + -6. Suppose -4*t + 3*t = 4, o = c - t - 2. Is c greater than -4/7?
False
Let q be ((-21)/(-27))/(-1) - 2/9. Let u be (-103)/28 + q + 15/12. Is u less than or equal to -3?
True
Let j = -19 - -13. Let c = 3565 + -3573. Does c = j?
False
Let z = -13 + 8. Suppose 0 = f - f - 3*f. Let k = f + -6. Which is greater: k or z?
z
Let i(g) = -g**2 + 6*g. Let d be i(5). Let n be (-9)/21 + (-538)/(-14). Suppose r = -q + d, -3*q + 4*r - 9 = -n. Is 8 >= q?
True
Let l = 30/7 + -164/35. Let m = l - -11/15. Suppose 100 = -5*y - 5*d, -5*y - 3*d - 47 = 43. Does y = m?
False
Let h be (6/(-8) + 595/580)/6. Which is bigger: 1 or h?
1
Let v be (6 + 2 + -3)/(12/(-2)). Suppose -3*z - 6 = -0*z. Is v bigger than z?
True
Let q(k) = -k - 6. Let i be q(-7). Let g be i/3*(-2 + 11). Let j be -3 + 2/(-2) + g. Is j smaller than 2?
True
Let f(m) = -3*m**2 - 3*m - 3. Let x be f(-2). Let j(u) = -13*u**2 + 96*u - 44. Let t be j(7). Is x < t?
False
Suppose 0 = -2*z - 5*h + 29, z + 4*z + h = 15. Let n(x) = x**z - 3 + x**2 - 7*x**2 - 8*x + 3*x**2. Let a be n(-5). Which is smaller: -11 or a?
a
Let v = 7 - 7.7. Let c = v - -0.3. Let g = c - -0.3. Which is bigger: -2/5 or g?
g
Suppose b - 6*b = 3*c - 4, -4*c = -2*b + 12. Suppose -4*g = g - b*j - 58, 7 = g - 5*j. Suppose -2*r = -4*r + g. Which is smaller: 13/2 or r?
r
Suppose 4*l + 5*p - 29 = 0, -22 = 3*l - 5*p - 0. Let v be (l/(-18))/((-32)/12). Let d be 2/((-2 - 2)*-1)*0. Are v and d equal?
False
Let u = 433 + -432. Which is greater: 13/97 or u?
u
Suppose 51*u - 8 = 55*u. Are u and -22/7 non-equal?
True
Let o = 4 - 4. Let y = 6834297/11525 - -10180/461. Let j = 615 - y. Is j greater than or equal to o?
False
Let o = 213 + -3193/15. Is o at least as big as 0.1?
True
Let c = 76/363 + 38113/31218. Let r = c + 3/43. Suppose -t + 4*x - 6 = 0, 3 + 0 = 3*x. Which is bigger: r or t?
r
Let r(v) = v**3 - 4*v**2 - 2*v + 8. Let z be r(3). Let o = 6 + z. Which is smaller: -2/33 or o?
o
Let w = 45772 + -8605113/188. Let i = 6/47 + w. Is i greater than or equal to -3/2?
True
Let f be ((-2)/3)/((-48)/(-9) - 6). Which is smaller: f or 0.03?
0.03
Let u(o) = o**3 - 17*o**2 + 73*o + 41. Let b be u(12). Is 199 smaller than b?
False
Let l = 0.249 + -15.249. Is 0.04 at least l?
True
Suppose 2*q = 3*f + 8 + 16, 0 = 2*q. Suppose 8*p - 4*p - 5*m + 21 = 0, 0 = -4*p + 4*m - 20. Is f <= p?
True
Suppose 5*d + 5 = -5*t, 4*d - 7 = 3*t + 3. Let l = -150355/11 - -13669. Which is smaller: l or d?
l
Let a = -7.8 + 1.7. Let m = a + 5.8. Is 2/3 at least as big as m?
True
Let x = -598 + 605. Which is greater: x or -1.2?
x
Suppose 5*u + 9 - 29 = 0. Suppose -3*j + w + u = 0, 2*j - j = 4*w + 16. Let v = 0.13 + 0.17. Which is greater: v or j?
v
Let z = 459.84 - 441. Let v = 0.16 + z. Let h = -18.1 + v. Is -1 greater than or equal to h?
False
Let y be (40/(-12))/(6/(-9)). Let i = y - 2. Suppose -2*t = i*t. Is t at least 1?
False
Let p(t) = t**2 + 15*t + 45. Let o be p(-4). Let x be 56/(-81) - 2/(-3). Which is smaller: o or x?
x
Let r(n) = n**2. Let p be 0/((-3 - 0)/(-1)). Let m be r(p). Suppose -4*l + 5*l = m. Which is smaller: 2 or l?
l
Suppose 8 - 18 = n. Let s = -20532 + 40179/2. Let g = -451 - s. Is n < g?
True
Suppose -4*m + 1575 = 11*m. Which is smaller: m or 112?
m
Let u = -105 + 102. Which is bigger: -2/13 or u?
-2/13
Let y = 298 + -907/3. Let w be 6/(3/3)*-1. Let q = -10 - w. Is y at least as big as q?
False
Let i(k) be the third derivative of -1/24*k**4 - k**2 + 0*k + 0 + 0*k**3. Let w be i(1). Which is smaller: -4 or w?
-4
Let c be ((-4494)/315 - -14)/((-12)/(-10)). Is c not equal to -115?
True
Suppose 0 = -3*f - 4*u + 51, 0*f - f + u + 10 = 0. Let v = 27 - f. Is 12 at least v?
False
Let s(l) = l**3 + 7*l**2 - 9*l - 5. Suppose 9 = 4*a + 5*d + 56, 2*a = -5*d - 31. Let t be s(a). Suppose -2*p - t - 11 = 0. Is p at most as big as 1?
True
Let p = 11415/7 - 1727. Let u = 96 + p. Let b = 7.4 + -8. Which is bigger: u or b?
u
Let u = -15 + 5. Let d = -774 + 762. Are d and u equal?
False
Suppose 4*v - 66 = -5*h, -4*h + 3*v = 5*v - 48. Let i = -8.08 + 5.08. Is i <= h?
True
Let d = 713.8 + -712.8. Let l = -173/10624 + -1/128. Let a = l + -75/332. Is a smaller than d?
True
Suppose -3*t + 5*h = -13, -4*t + 4*h + h = -14. Let f = -12 - -33. Suppose -2*l = f - 25. Which is smaller: l or t?
t
Let v(p) = 11*p + 358. Let d be v(-33). Suppose 0 = -4*i - 3*o + 2*o - 29, i = o - 11. Is i smaller than d?
True
Let t be (0 + 0)/(-69 - -64). Suppose 246 = 4*j + 5*z, -4*j - 3*z + 314 = j. Which is greater: j or t?
j
Let b be (-6)/((-10)/35 - 17/14). Let i be 15/(-7) + b*(-2)/(-4). Suppose -3*q - 9 = 2*q + m, 13 = 3*q - 4*m. Is q less than i?
True
Let i(n) = n**3 + 5*n**2 + 4*n - 2. Let b be i(-4). Let h be 2*(2 + 0 + -1). Let k be (h - (-1 + 0)) + b. Which is smaller: k or -4?
-4
Let u be (-1)/(-4) + ((-1092)/1424)/3. Is u bigger than -1?
True
Let v(b) = -2*b + 7. Let k be v(6). Let n(t) be the second derivative of t**3/3 + 20*t**2 - 21*t. Let h be n(-23). Is h at most k?
True
Let f be 12*(14/6 - 2). Let d be (0 - f)*(-2)/244. Which is smaller: -1 or d?
-1
Suppose -5*o - 3*w = -0*w - 6, -3 = o + 2*w. Suppose 115*l = -45*l - 320. Which is bigger: l or o?
o
Let f = -61.2 + 48. Let z = f - -13. Are z and 14 equal?
False
Let h = 87.5169 - 87.5. Which is smaller: 1/3 or h?
h
Suppose 38*g - 29*g = -9. Which is smaller: -1/8 or g?
g
Suppose -3*j - 6 + 18 = 3*d, 4*j - 16 = 0. Suppose 2*f + d - 4 = 0. Suppose f*y - 7*y + 20 = 5*k, 2*y - 3*k + 17 = 0. Is y less than or equal to 2/13?
True
Let p(d) = 104*d + 264. Let w be p(-6). Is w > -360?
False
Let l = 1.8 + -2. Let b = -109 - -293. Let x = -184.01 + b. Which is smaller: x or l?
l
Let b(n) = -n**2 + n + 6. Suppose -4 - 38 = -14*s. Let y be b(s). Which is smaller: -2/125 or y?
-2/125
Let w = 21.046 + -0.046. Let j = 21 + -41. Let x = j + w. Is -2/13 equal to x?
False
Suppose 4*w + 143 = 98*x - 101*x, -3*x - 139 = 5*w. Do -40 and x have different values?
True
Let r(o) = o**3 - 15*o**2. Let f be r(15). Which is greater: f or 52.7?
52.7
Let k be 0 + 2257/(-3) + -5. Let i be 1535/(-2) - 2/(-4). Let q = k - i. Are 11 and q non-equal?
True
Let m = -29854/7 + 4265. Suppose -p = 3*u - 14, 0 = -0*p - 3*p + 2*u - 13. Is p < m?
True
Let s(c) = -22*c + 2. Let b be s(-1). Is 25 at least as big as b?
True
Let j = 15 + -23. Let a be ((-4)/(-16))/(0 - (-4)/j). Is -0.6 greater than a?
False
Let f = 0.4 + 19.6. Let v = -0.127 - -19.127. Let h = f - v. Which is bigger: -1 or h?
h
Suppose 117*q - 116*q + 2*z - 244 = 0, -3*q - 2*z = -740. Is q at least 2?
True
Let w be 4/7*(4 + 218/(-56)). Let o be 33/(-27) - (-2)/9. Is o smaller than w?
True
Suppose 2*m + 4*c = 55 - 23, m - c = 4. Let u = 0.06 - 0.16. Let q = u + 0. Which is smaller: m or q?
q
Let o(s) be the first derivative of -s**4/4 - 7*s**3/3 - 7*s**2/2 - 7*s - 102. Let t be (6/4)/(2/(-8)). Let a be o(t). Which is smaller: 1 or a?
a
Let k = 18 - 17. Let a = 1 + -1. Let r = 0.1 - a. Which is greater: k or r?
k
Let d = -935 - -931. Is d smaller than -126/25?
False
Let j = 1.634 + 406.366. Which is smaller: j or 1?
1
Let d(z) = 2*z**2 + z. Let i be d(-1). Let f be i/((-1)/(-3)) + -9. Which is smaller: -7 or f?
-7
Suppose 0 = -5*r + 5*q - 35, 5*r + 9 + 25 = 4*q. Which is greater: -9 or r?
r
Let g be (-592)/8*1/(-2). Let c be (g/2)/((-12)/24). Let x = c - -30. Which is greater: -5 or x?
-5
Let x be (-4)/(-2) - (-3 + 12). Let k = 9 + x. Let p be k/4 - (-11)/(-2). Which is smaller: -4 or p?
p
Let p be (4/(-2) + 3)*0. Let n = -1030 - -52532/51. Which is greater: p or n?
n
Let z(c) = 31 - 16 - 2*c + 35. Let j be z(-6). Are j and 63 unequal?
True
Let n(v) = v**3 + 21*v**2 - 21*v + 46. Let b be n(-22). Which is smaller: b or 1?
1
Let k(n) = -n**3 - 8*n**2 