 = v - 3*v, 4*v + 3 = -g. Is v >= -8/15?
False
Let h = 11 + -6. Let m = 0.137 - 37.137. Let r = m + 41. Which is bigger: r or h?
h
Let k = 0.1 + -0.1. Let x = 1686 - 1676. Is x less than or equal to k?
False
Let q = 395 + -376. Does q = -9?
False
Let z = -2449 - -71033/29. Is -1 less than or equal to z?
True
Let z(d) = d**2 - 7*d + 1. Let g be z(5). Let k be (35 - -1)*-6*1/(-6). Let n = 28 - k. Which is smaller: g or n?
g
Let f(v) = 4*v**2 - 6*v + 4. Let d(p) = -p**2 + p. Let o(l) = -10*d(l) - 2*f(l). Let s be o(0). Which is smaller: -3 or s?
s
Let o = 1474/17 - 68999/765. Let h = o + 13/5. Is 0 < h?
False
Let x(w) be the third derivative of -w**6/60 + w**4/4 - 2*w**3/3 + 7*w**2. Let y be x(-3). Which is smaller: y or 31?
31
Let h = 358 + -357.52. Which is smaller: -5 or h?
-5
Let g be (-2)/((90/(-18))/10). Let r(u) = -u**2 - 2*u - 1. Let p be r(-1). Suppose 8 = 2*v - p*v. Is g != v?
False
Let a be (20 + (-640)/30)*6/4. Which is smaller: a or 127.1?
a
Let r(i) = 6*i - 24. Let l be r(4). Let u = -41 - -44. Is l less than or equal to u?
True
Let d be (78/(-258))/(1 - -1). Let p = 5132/43 - d. Let m = -122 + p. Which is smaller: m or -3?
-3
Let j = 0 + -20. Let v = -20.5 - j. Which is bigger: v or 1?
1
Let j = 5 + -4. Let w be 0/(-1*(3 - j)). Let z = 89/325 + -3/25. Is w <= z?
True
Let u = -228/7 + 1581/35. Let o = 1003/80 - u. Is o not equal to -1?
True
Let o = -32 + 174. Let g = o - 147. Suppose -7 = 3*t + 14. Which is smaller: g or t?
t
Let c = 1.5 - -0.9. Let i = 4.4 - c. Let m = 39 - 40. Which is bigger: i or m?
i
Suppose 3*l - l - 84 = 0. Let t be (-45)/(-1) + 150/(-60). Which is smaller: l or t?
l
Let r = -46.79 + 47. Let j = 303.59 + -287.8. Let u = j + r. Do u and 0.1 have different values?
True
Let u be (-4)/((-45)/(-4170)*12/(-9)). Do u and -5 have the same value?
False
Suppose p - 5*g + 31 = 7, 0 = 3*g - 6. Suppose 10*l - 13 = 11*l. Which is bigger: l or p?
l
Let b = 6491/5 - 1298. Let v(p) = p**2 - 6*p + 5. Let g be v(6). Suppose 5*l - g*x = 20, l - 2*x - 2 - 7 = 0. Is l < b?
True
Let o be 3/(4 - 1)*-1. Which is smaller: -3/74 or o?
o
Let d = -13 - -13. Suppose -2*m - 2*a + 6 - 2 = 0, 3*m - 3*a = d. Let f be -3 - (4 + 860/(-124)). Which is greater: m or f?
m
Let x = -734039/70 - -75310/7. Let j = x - 273. Suppose -7*m - 14 = -0*m. Which is smaller: j or m?
m
Let g = -22 - -23.9. Let b = -2 + g. Which is smaller: 1 or b?
b
Let w = 180 - 207. Let o be (-3 - 0)*52/6. Is o not equal to w?
True
Let h(t) = 1 - 2*t + 0 + 18*t**3 - 19*t**3. Let b be h(1). Which is greater: b or -1.1?
-1.1
Let i = 20 + -19. Let q = 5 - i. Which is smaller: q or 17/4?
q
Let m = 37 - 37. Let p be -1 + 1 - 2/3. Let t = m + p. Is t at most 0?
True
Suppose -i = 2*j - 8, 4*i - 14 = -2*j - 12. Is i bigger than 38/9?
False
Let y = 1757/4 - 272337/620. Is y less than 0?
True
Let c(k) = -2*k**2 - 2*k - 1. Let f be c(2). Let v = -13 - f. Suppose 3*w = -5*h, v*h = -2*w + 5*h. Which is bigger: 2 or w?
2
Let v = 1162 + -1160.97. Is -2 smaller than v?
True
Let c = -6 - -11. Suppose 7*r - c*r + 14 = 0. Let m = r + 4. Which is smaller: m or -4?
-4
Let l = -231 + 270. Which is smaller: l or -4/5?
-4/5
Let a = 141.87 - 131.357. Let x = a - -0.187. Let p = x - 11. Which is bigger: 1 or p?
1
Let g = 76 + -75. Suppose -5*a = 20, 3*s + 2*a + 12 = g. Does 1 = s?
False
Suppose 0 = -33*n + 26*n + 35. Let s = -28/5 - -11/10. Let i = n + s. Is i greater than or equal to -0.3?
True
Let l be (-18)/4*10/15. Let s = -58/19 - l. Which is greater: s or 0?
0
Let q = 2 + 19. Let u be -6*(q/6)/(-7). Which is smaller: 4 or u?
u
Let i be (-1580)/4455 - (-6)/33. Which is greater: 1 or i?
1
Suppose 15*b - 17*b = -72. Let c = b - 36. Let f be ((-2)/(1 + -13))/1. Which is smaller: c or f?
c
Let f = 11 - 11.2. Let d be (-2)/(-5) - 27982/80. Let i = 350 + d. Are i and f nonequal?
True
Let s(x) = x - 1. Let l be s(-5). Let i be (15/(-9))/((-2)/l). Is -1 smaller than i?
False
Suppose -5*l = 5*y - 70, -4*l + 3*l + 2*y = -11. Let w be (-1612)/(-12675) - 2/l. Is w less than 1?
True
Let z(t) = 3*t - 15. Let w be z(10). Suppose 44 = 5*g - 16. Suppose 9*k + 10 = d + 4*k, d - 3*k - g = 0. Is w < d?
False
Let h = 8 + -2. Suppose s - h = 2*s. Let i = 65 - 69. Which is smaller: s or i?
s
Let s be 112431/(-29988) + (-12)/48 + 4. Which is smaller: 0 or s?
0
Let g = 2426 - 2422. Let u be ((-4)/(-10))/((-9)/(-80)). Is u less than g?
True
Let f be (-1 + -2)/((15/2)/5). Which is smaller: f or -23/8?
-23/8
Suppose 5 = 3*x - 4. Let z(t) be the third derivative of -t**6/120 + t**5/30 + t**4/12 + t**3/3 - 8*t**2. Let l be z(x). Is l greater than or equal to -1/18?
False
Let r = 606 - 1819/3. Which is bigger: r or 0.0295?
0.0295
Suppose 49*x = 14*x - 455. Is 0.25 at least as big as x?
True
Suppose 5*p + 3*d - 23 = -111, 3*p = d - 64. Is 3 at most as big as p?
False
Let f(m) = m**2 + 4*m + 1. Let h be f(-3). Suppose 4*v = 5*a - 3 + 10, 4*a + 14 = -v. Let w be a*(2 - 14/6). Which is smaller: h or w?
h
Let y be ((-38)/(-8) - 2)/((-7)/28). Which is smaller: -4 or y?
y
Let g be (-24)/(-60) - (-6)/(-15). Let a be (-2)/(-1)*-1 + 0. Let u be 2 - a/(30/(-33)). Which is smaller: u or g?
u
Let c be -32 + (-5 - 1 - -2). Let x = -20 - c. Is x bigger than 16?
False
Suppose 3*l = 4*a - 114, -2*l - 146 = -a - 4*a. Which is smaller: a or 27?
27
Let j = 0.1 - 2. Let r = -17 + 17. Suppose -2*z + 1 - 3 = r. Which is smaller: j or z?
j
Let n(a) = 0*a**3 - 2*a + a**3 + a**2 + 565 - 564. Let q be n(-2). Is 2/41 <= q?
True
Let a = 8441/8 - 1057. Let r = -2 - a. Let s = -2 + 1. Which is greater: r or s?
r
Let c = -2 + -12. Let z be ((-2)/10)/(c/70). Is z > 5/13?
True
Let f(z) = -z**2 - 11*z. Let g be f(-11). Let v = -482 - -16869/35. Is g less than or equal to v?
False
Let p be (-1800)/(-250)*(-820)/6. Is p bigger than -984?
False
Let i = 1565 + -1558. Which is greater: -3 or i?
i
Let a be 30/20 - 2/(-4). Let h be a/1*(-1 - 80/(-76)). Is 0 smaller than h?
True
Let v(c) = c**2 - 2*c - 18. Let g be v(6). Suppose -3*s - g = 15. Is s less than -7?
False
Let d = 0.172 + -0.232. Is 0 equal to d?
False
Let g = -13 + 15. Suppose 0 = g*a - 9*a - 70. Suppose -q - 9 = -0*q. Is q less than or equal to a?
False
Let u be 12/42 - 114/7. Let n be ((1 - 5)/8)/((-3)/454). Let o = n + -75. Do u and o have different values?
True
Let o = -24/17 + 137/85. Which is smaller: 0.1 or o?
0.1
Let r(i) = -i**3 - 20*i**2 - i - 19. Let p be r(-20). Let s be (-22 - p)*(0 - 1). Let h = 3.1 + -3. Is s greater than or equal to h?
True
Suppose 119 = -429*k + 446*k. Which is smaller: k or 34/5?
34/5
Let w(d) = -4*d - 23. Let h be w(-7). Suppose 0 = 5*p - 0*p + h. Is -3/4 <= p?
False
Suppose -3*y - 4 - 2 = 0. Let j be 42/(-9) + y/6. Is j < -3?
True
Let h be ((-6)/(-20))/((-5616)/(-65)). Which is smaller: h or 0?
0
Let w = 2514 - 12633/5. Which is smaller: w or -12?
w
Let w be (-4)/14 + (-391)/(-1344). Let l = -373/2112 - w. Suppose -55*g = -67 + 12. Which is greater: l or g?
g
Suppose -2*a + 410 = 3*a. Let h be (a/4)/(5/2). Which is smaller: h or 7?
7
Let j = 2.5 + -2.38. Let l = -0.12 + j. Is -3 <= l?
True
Let m = 621 + -909. Is -577/2 >= m?
False
Let t = 6 - 5.99. Let u = t - -0.06. Let f = -9/2 + 59/14. Which is greater: f or u?
u
Let t(q) be the first derivative of q**4/4 - 4*q**3 + 4*q**2 - 6*q + 1. Let b be t(7). Let d be 69/b - (-3)/15. Which is smaller: -1 or d?
-1
Let k = -32814 - -24183914/737. Which is smaller: k or 0?
k
Let j(s) = s**2 - s. Let t be j(-1). Let k(i) = -10 + 5*i**2 + i**3 + i**t + 6*i + 3*i**2. Let b be k(-8). Which is bigger: 24/5 or b?
b
Suppose 71 = 5*m + 9*s - 12*s, -m - 5*s = -31. Is m less than or equal to 10?
False
Let y(i) = 48*i**2 - 6*i + 3. Let r be y(-5). Let l be (0 - -3)/(r/30). Let a = l + 24/3425. Is a >= 1?
False
Suppose 0*d + 4*d = 0. Suppose 19 = -2*k - q, 4*k - 3*q = -k - 20. Let i be (-49)/84*2/k. Does d = i?
False
Let a be (-2)/20 - 13977/30. Let b = a + 1381/3. Let i = 36 + -182/5. Which is bigger: b or i?
i
Let z = 1 - 1. Suppose -r - 5*c + 0*c - 2 = z, -4*r - 3*c = 8. Let p be 3 - (1 - r) - -11. Is p smaller than 12?
True
Let d be 4/232*(6/(-4) - 1). Is d at least -1?
True
Let h be (-1 + (-8)/(-4))/(1/(-7)). Which is smaller: h or -28/5?
h
Let j(f) = -2*f**2 - f + 2. Let l be j(1). Is -1/412 greater than or equal to l?
True
Let k =