-2.246 + g. Do 0.1 and m have the same value?
False
Let h be 6/15 + 4/90. Let k = 0.12 + -1.12. Which is greater: h or k?
h
Suppose -4*n - 203 = 3*l - 3486, 0 = -n + 3*l + 817. Which is smaller: 819 or n?
819
Let v(s) = 4*s + 6. Let p be v(7). Suppose 2*t + 4*w = -p, 3*w = 5*w + 10. Let h = -7 + 5. Which is smaller: h or t?
t
Let s(r) = 108*r - 794. Let q be s(7). Which is smaller: -47 or q?
-47
Let u(m) be the second derivative of -m**5/20 + m**4/3 + 7*m**3/6 - 3*m**2/2 + m. Suppose 6*k - 30 = -0*k. Let q be u(k). Which is greater: q or 6?
q
Let b be (-40)/(-180) - 68/(-18). Suppose -b*l - 3*w + 12 = 0, 2*l + 3*w + 7 = 19. Which is smaller: l or 10?
l
Let f be -2 - (-4 + 2) - 2. Let q be f/8 + (-5607)/(-12). Let z = q - 7937/17. Which is greater: 1 or z?
1
Suppose -2*u = -2*b - 1262, 73*b + 1242 = 71*b - 3*u. Is -627 greater than or equal to b?
True
Let m = -396 + 16631/42. Which is smaller: 1 or m?
m
Let b(q) = q**3 - q + 13. Let a be b(0). Let n = a - 14. Let j be n/(-6) - (-325)/210. Which is greater: 1 or j?
j
Let i be -3*2*(-4)/(-12). Let m be (i + 1 - 0)/1. Which is smaller: 1/4 or m?
m
Suppose 0*m + 15*m = -105. Do -10 and m have the same value?
False
Let s(b) = -9 - 6*b**2 - 4*b**3 + 2*b - 3 + 5*b**3. Let d be 8/2 + -1 + 3. Let z be s(d). Which is greater: 4/5 or z?
4/5
Let m be 9 - 6/(-4)*2/(-6). Let n = m + -49/6. Which is greater: n or -2/7?
n
Suppose -2*x + 44 = -2*r, -6*x + 3*x = r - 78. Suppose 5*b - 5 = -4*i + 15, x = 5*i. Suppose 0 = -b*w - 2*w - 12. Is w at least -6?
True
Let n be 4/(-22) + (-70)/(-22). Suppose -61 - 59 = -n*v. Suppose 0 = 4*a - 8 - v. Which is smaller: a or 11?
11
Let u = -60.87 - 12.03. Let w = u - -73. Do -5/8 and w have different values?
True
Let o be -8 + (-388)/(-6) + 5. Which is smaller: 63 or o?
o
Suppose a + 5*y = 5*a - 37, -4*y - 8 = 4*a. Suppose -5*x + 1 = -4*p - 0, -3*p = -4*x + 2. Do x and a have the same value?
False
Suppose 5*k = q + 101, -211*q - 5*k - 203 = -208*q. Is -74 bigger than q?
True
Let l = 10 + -9. Let o = -73/485 - -2663646/3395. Let y = -783 + o. Which is bigger: y or l?
y
Let a = -1813 + 59833/33. Let p(v) be the third derivative of v**4/24 - 5*v**3/6 - 2*v**2. Let x be p(6). Is a bigger than x?
False
Let y(d) = d**2 - 27*d + 55. Let v be y(22). Do -55 and v have the same value?
True
Let p be (-64)/(-224) - ((-894)/7 + -1). Is 126 > p?
False
Let s = -1409 - -3174. Let n = 12286/7 - s. Is n <= -10?
False
Let t = 1/16 + 7/16. Is 1 > t?
True
Let q = 196/370483 + -76027383893/372335415. Let t = 1021/5 + q. Which is smaller: t or -1?
-1
Let j(q) be the first derivative of -q**4/4 + 4*q**3/3 - q**2/2 + 8*q + 11. Let i be j(4). Which is greater: 23/5 or i?
23/5
Suppose -4*o = 2*o - 5*o. Which is smaller: 1/326 or o?
o
Let m(i) = 20*i**3 + 1. Let c be m(1). Let y be ((-24)/27)/2 + (-15272)/(-747). Is c equal to y?
False
Let c be 4 + 39 + 5/(-5). Let i = 42 - c. Is i <= 0?
True
Let b = -8 - -10. Let d = b - 2. Let p = -10 - -11. Is p equal to d?
False
Let n(z) be the second derivative of z**5/20 + 5*z**4/12 - 7*z**3/6 - 4*z**2 + z. Let m be n(-6). Let p be 6/m - (-1 - -4). Is -5 >= p?
True
Suppose 191*t + 2*p = 193*t - 30, -5*t + p + 79 = 0. Suppose -4*u + 0 + 60 = 0. Are u and t unequal?
True
Let q(f) = f**2 - 14*f + 12. Let a be q(12). Let n = a - -8. Are -3 and n equal?
False
Let z = -707 + 706.9. Is z at least -0.081?
False
Let m = -4 + 18. Let z = 15.8 - m. Let j = -12.2 - z. Which is smaller: 0 or j?
j
Let w(l) = -l**3 + 11*l**2 + l - 10. Let g be w(11). Which is smaller: g or 4?
g
Suppose -3*m = -3*n - 199 + 49, 153 = 3*m - 2*n. Let q be 0/(39/(-65) + 2/(-5)). Which is smaller: m or q?
q
Let r = 1 - -1. Suppose -2*h = -h - r. Let v be 15/45 - h/(-3). Is 1/10 > v?
False
Let n be (-264)/484 - (-130)/198. Which is smaller: n or 2/55?
2/55
Let d be (-2)/(-28) + (-125)/(-8050). Let b(c) = -c**3 - 6*c**2 - 6*c - 4. Let s be b(-5). Is s greater than d?
True
Suppose -3*a + 54 = -15. Let f = 24 - a. Is -2/43 at least as big as f?
False
Let l = -2 + 3. Let f be (-2)/6*((-1968)/(-276) - 7). Do f and l have the same value?
False
Suppose 92*q = -89 + 365. Is -198 != q?
True
Let o = -5/9 - -34/45. Let b = 31 + -43. Let m = -12.1 - b. Which is bigger: o or m?
o
Let s = 303 - 234. Which is smaller: 68 or s?
68
Let x(u) = 2*u**3 - 7*u**2 + 2*u + 4. Suppose 0 = -3*s + 5 + 4. Let c be x(s). Is c <= 2/23?
False
Let w be (1 - 0/(-2))*-6. Suppose -9 = 3*l + 3*h + 3, -2*l + 4*h - 8 = 0. Which is smaller: w or l?
w
Suppose y + 13 = -3*y + 5*z, 0 = -4*y - z + 17. Let f = -122 - -136. Which is smaller: f or y?
y
Let n = -16283 + 16283.7. Let b = -4 - -2. Is n < b?
False
Let j = -1430/9 + 159. Which is smaller: -15 or j?
-15
Suppose -3 - 7 = 5*c. Suppose -v + 22 = 2*t - 1, -5*v = 2*t - 19. Let p be t/(-14) + 0 - 0. Which is smaller: c or p?
c
Let o = -52883/17 + 57015/17. Let f = o - 243. Let p = 0 + -1. Which is bigger: p or f?
f
Suppose 0*a = -3*h - 5*a + 8, 2*a + 12 = -5*h. Let n(l) = 0*l - 3*l**2 + 2*l**2 + 4 - 2*l. Let b be n(h). Is b > -4?
False
Suppose -3*d = -2*o - 12 - 20, 0 = -5*d - 4*o + 24. Let k be (-1)/3 + 380/(-48). Let v = k + d. Which is greater: 0 or v?
0
Let u be 4/(-1)*(648/(-16) - 1). Does 166 = u?
True
Let j = 88 + -91. Let r be -2 + 3 - 51 - 0/j. Is -50 < r?
False
Suppose 5*h = 3*u + 301, -3*u + 4*h = 295 + 4. Is u at least as big as -97?
True
Let i be 2/(-9) + (-975)/351. Which is smaller: 3/10 or i?
i
Let z be 4/18 - 7196/(-18). Suppose -k - k = 3*b + 200, 4*k + z = -4*b. Let x be 6/25*k/30. Which is smaller: 0 or x?
x
Suppose -2*j - j - 15 = 0, j = -3*v - 2. Let o = 0.113 + -56.113. Let n = o - -56.6. Which is bigger: n or v?
v
Suppose 0 = 5*d - 2*j + 2, 4*d + j = 2 - 1. Suppose 5*s + d = -5. Is -1 <= s?
True
Let r(a) = 3*a + 6. Let u be r(-3). Let o be ((-78)/(-15) - 6)*u/(-4). Are -2 and o unequal?
True
Let g = -241130/113 + 2134. Are g and 1 unequal?
True
Let l be 12/(-9)*(4/(-22) + (-23440)/1760). Let j = -4 + 6. Suppose -2*f - 3*p + 50 = 0, j*p = 5*f - f - 68. Which is greater: f or l?
f
Let h be ((-41)/(-6))/(6/36). Which is greater: 124/3 or h?
124/3
Let s = 115 + -58. Let b = s - 69. Suppose -2 = 4*y - 2*y. Which is smaller: y or b?
b
Let y be ((-21)/(-14))/((-45)/2220). Which is greater: y or -73?
-73
Let c(f) = f + 7. Suppose t + 14 = -3*u, -5*t - 21 = u + 7. Let z be c(t). Suppose -z*x - 1 = 1. Which is bigger: -7/5 or x?
x
Let g = -6.88 + 7. Let k = 119.12 - 120. Let i = g - k. Is 1 at least as big as i?
True
Suppose -39 - 59 = 7*c. Which is smaller: c or 12?
c
Let f = -0.1 + -0.24. Let j = -0.23 + f. Let l = j - -0.6. Are l and 0 non-equal?
True
Suppose -3*h - 2*h - 15 = 0. Let n(p) = p**3 + 5*p**2 + 3*p + 7. Let s be n(h). Is 15 greater than s?
False
Let w be (-1)/((-3 + 4)/1). Let l be (w/(-2))/((-6)/(-60)). Let o be -4*1 - (-2 + -8). Which is smaller: l or o?
l
Let p = -24.58 + 0.58. Let u = 23 + p. Is 0.2 at least as big as u?
True
Let g(f) = -8*f + 12. Suppose v - 32 = -3*v. Let l be g(v). Let u = -78 - l. Is -25 > u?
True
Let v = 82 + -24. Let z = v - 43. Which is bigger: 104/7 or z?
z
Suppose q + q = 38. Let s = -17 + 31. Let d = q - s. Which is smaller: d or 4?
4
Let h be (5562/636 - 9)*(1 - -1). Is -2 less than or equal to h?
True
Let k be (-1 - 2)/(12 - 15). Which is bigger: k or -1/6?
k
Let t = -30.9 + 46. Let o = t + -7.1. Which is smaller: o or -7?
-7
Suppose -340 = -5*w - 10. Let t = 18 - w. Is -47 less than t?
False
Suppose 2*c = 5*z + 26, 2*z - 8 = 4*z. Suppose -c*s = -s + 62. Let p = s - -7. Is p <= -24?
True
Suppose -2*g + 6*x = 5*x + 2, -2*g - 5*x = -22. Let d = 0 + 2. Suppose 4*l = d*l + 4. Is l greater than or equal to g?
True
Let n(o) = -o - 3. Let a be n(-6). Let m = 65 + -65. Suppose 4 = 2*r - d, 0 = -2*r - 4*d - m + 4. Is a greater than r?
True
Let v(p) = 8*p**2 + 3*p + 3. Let j be v(4). Let t be (-12 - -5) + (-4208)/(-28). Let y = t - j. Is y less than or equal to 1?
True
Let k be 6*(-7)/(-126) + 5/(-33). Which is greater: 0 or k?
k
Let j = 552 + -554. Is j bigger than -27.6?
True
Suppose 3*x - 14 + 2 = 0. Suppose -s - x*p = p - 12, -5*p = -5*s. Does 7 = s?
False
Let t = 679 + 1260. Let m = 1905.96 - t. Let c = m + 33. Which is greater: c or 0.1?
0.1
Let h be (1/(-29))/((-3)/2). Suppose 0 = 18*y + 9*y - 27. Which is smaller: h or y?
h
Supp