+ i. Is 7 <= v?
True
Let y = 115.8 + -133. Let v = -17 - y. Do -0.36 and v have the same value?
False
Suppose -20 = -z - 3*z, 2*a + z = 7. Let q be (-2 - (a - 2))/1. Which is smaller: 2/73 or q?
q
Let s(r) be the second derivative of r**3/3 - r**2 - 16*r. Let n be s(1). Is -12/11 less than n?
True
Let t = 115 + -162. Let m = t + 47. Is -8/15 <= m?
True
Let u = -389 + 260. Which is smaller: u or -130?
-130
Suppose 126*z = 36*z. Which is greater: -1 or z?
z
Let z = -147 - -176. Is 29 > z?
False
Let i = 25694 + -230942/9. Is 34 at least i?
True
Let g = -2 - 0. Let o(n) = -n**3 + 2*n + 15. Let v be o(0). Let y be 0 - 2/(24/v). Do y and g have the same value?
False
Suppose -2*s + 4*j - 8 = 0, -20 = -2*s - 0*s - 3*j. Suppose u - 5 = -5*w, 7*w - 4*w = s*u + 72. Let k be ((-3)/u*4)/2. Which is smaller: k or -4?
-4
Let y = 6 + -4. Let b(h) = -y + 12 - h - 11. Let i be b(-2). Is 0 at least i?
False
Let l be 0 - (2/2 - (3 - -57)). Let f = 51 - l. Which is bigger: f or -36/5?
-36/5
Suppose q = 2*q + 2*w - 47, 0 = -2*q + w + 84. Let l = 56 - q. Is 13 greater than or equal to l?
True
Let t(h) = h**3 - 2*h**2 + h + 2. Let r be t(2). Let z be r/6 + 448/(-24). Let s be ((-12)/z)/((-2)/3). Is 1/3 at most as big as s?
False
Let k = -4 + 3. Let l be 45/185*((-35)/(-7))/30. Is k > l?
False
Let c = 43 - 34. Suppose -6 + c = u. Does u = -1?
False
Suppose -5*b + 3 = 3*g, -2*g + b + 2 = 6*b. Let m be (-18)/5*50/(-20). Let v be (m + -13)*(-2)/4. Which is smaller: g or v?
g
Suppose 625 = j - 5*r, -11*j + 4*r = -8*j - 1842. Let b = j + -5515/9. Which is smaller: b or -3?
-3
Let i(d) = 3*d**3 - 39*d**2 - 43*d + 2. Let w be i(14). Which is smaller: w or -120/11?
w
Let y = -8902687708 + 169113596094/19. Let f = -1972590 - y. Let k = -466 - f. Which is greater: k or 1?
1
Let s = -8 + 7. Let z be (-16)/(-6) - (-20)/(-30). Let t = s + z. Is t at least 2/17?
True
Let m = 1538.93 + -1539. Which is greater: -6/5 or m?
m
Let q be (-48)/15 + (-4)/(-20). Let s = 7 + q. Suppose c - h = s*h + 5, 5*c + h = -1. Which is smaller: c or 3?
c
Let o be (2/(-3))/(39/27). Do 13 and o have the same value?
False
Let q(r) = 7*r - 3 + r - 7*r. Let f be q(9). Is 3 < f?
True
Suppose 4*l + f + 5 = 0, -54*f + 5 = 3*l - 55*f. Let x = 1/147 + 241/588. Do l and x have different values?
True
Let w = -646 + 1211. Is w bigger than 0?
True
Let r = 6581 + -6581. Let q = 21 - 23.8. Let n = -3 - q. Are r and n equal?
False
Let l(j) = j**3 - 14*j**2 + 48*j - 1. Let y be l(7). Are y and -6 nonequal?
True
Let k = 0.054 - -36.946. Suppose 30*x - 6 = 27*x. Is k <= x?
False
Let i = 0.5 - -0.1. Let b = i + -3.6. Let u = 1.6 + -1.8. Which is greater: b or u?
u
Suppose -3*m = -82567 - 34859. Let w = 431946/11 - m. Let k = w + -126. Is 0 less than k?
False
Let y be (42/49)/(1/7). Let u = 0 + y. Suppose 4*j = -c, 3*c = u*j - j. Is -7/8 >= j?
False
Suppose 4*m + m = 25. Suppose 2*g - i - m = 0, -3*g = -5*g - i - 5. Is g >= -7/15?
True
Let i = -3.5 + -9. Is -2 greater than or equal to i?
True
Let p(m) = m**2 + 5*m - 43. Let c be p(0). Which is smaller: -213/5 or c?
c
Suppose 28*f - 26*f - 12 = 0. Is 1/4 smaller than f?
True
Let g(b) = 3*b**3 - 16*b**2 + 6*b - 6. Let z be g(5). Which is smaller: z or 2/97?
z
Let x be (-4 + 4/(-20))*5. Let w be (-10)/(-6) - 7/x. Suppose -3 = w*z + 5. Are -4 and z equal?
True
Let y be (1444/6)/(14/(-21)). Let z = -8301/23 - y. Is 2/9 < z?
False
Let h be -22 - -11 - (-10)/1. Let w = -83/4 + 21. Is w greater than or equal to h?
True
Let o(c) = 10*c - 140. Let j be o(-10). Is j less than or equal to -240?
True
Let w be ((-2)/92)/(53/(-1802)). Which is bigger: w or 1?
1
Let t = -1.081 - -1.03. Let n = 9271 + -9271.1. Does n = t?
False
Suppose -8*b = -5*y - 4*b + 259, -3*y + 158 = -5*b. Is 57 at most as big as y?
False
Suppose 23*z = -20*z + 86. Let w = 125398/2001 + -2/2001. Let k = w + -62. Which is bigger: k or z?
z
Let o = 2/597 - -1021/229845. Is o at most 0?
False
Let y(n) = n**3 + 18*n**2 + 18*n + 29. Let s be y(-17). Suppose 39 = -5*o - 11. Let v be 2 - (1 - s/o). Is v greater than or equal to -2/15?
False
Let u be (-1)/(6/(-26)) - (-40)/(-120). Are u and 13/4 nonequal?
True
Let i = -32/69 - -3/23. Let o = 0.25 - 1.95. Let x = o - -1.8. Which is smaller: i or x?
i
Let q be 0 + (-4)/426*-3. Let d = 55/568 + q. Let l = 5/36 + 1/9. Do l and d have the same value?
False
Let y be (-1 + -2)*43/(-258). Which is greater: y or 2?
2
Let t be 2/(-8) + (-58)/24. Let u = -60 + 70. Let n be ((-120)/9)/u + (-1 - -2). Which is greater: n or t?
n
Let z = 2 + -5. Let h(d) = -4*d + 2. Let s be h(0). Let q be z + 2 + s + 1. Is 2 bigger than q?
False
Let v = -85/174 + -10/29. Is 0 at most as big as v?
False
Let o = -25 - -41. Let f be (-4)/o - 3/4. Let i be -2 + f - (-12)/3. Which is bigger: i or 0?
i
Suppose -10*t - 52 = -22. Which is smaller: 1.29 or t?
t
Let k = 0.714 + -0.614. Is -0.26 != k?
True
Suppose -i - 3 = p + 19, i + 42 = -2*p. Is p less than or equal to -9?
True
Suppose 0*j = -3*h + j - 27, 2*j = 6. Let b be (0 - (4 - (-1 - h)))*1. Is b smaller than 3?
False
Suppose -5 = 2*v - 1. Let j(u) = -u**2 + 30*u - 57. Let l = 112 - 84. Let f be j(l). Which is smaller: v or f?
v
Let j(i) = 8*i + 36. Let v(q) = -3*q - 12. Let n(l) = 4*j(l) + 11*v(l). Let y be n(10). Let f be (-7)/3*6/(-10). Is y at most as big as f?
False
Let a(f) = -f**3 - 8*f**2 - 9*f - 15. Let w be a(-7). Let g(u) = -2*u**2 - 4*u - 2. Let l be g(w). Which is greater: l or 4/31?
4/31
Let i(n) = 2*n**2 - 7*n - 3. Suppose 27 = 3*s - 0*s + 5*v, -2*s + 5*v = 7. Let u be i(s). Is 2/39 greater than or equal to u?
False
Suppose 0*c + 4*g = -5*c, -5*c - g = 0. Let t be 5 - 99/17 - (c - 1). Let l(p) = p - 4. Let h be l(5). Is h >= t?
True
Let y(r) = -17*r - 24. Let p be y(18). Is p smaller than -332?
False
Let w be 238/(-12) + (-10)/(-12). Which is greater: w or -21?
w
Suppose -2 = -3*m + 7. Let h = -4 - 11. Let n be (m - (-33)/h)*10. Which is smaller: n or 9?
n
Let h(g) = g - 7. Let r be h(7). Suppose r = 13*k - 10*k - 15. Let m be k + (-6 - 0) + 4. Is 3 at most m?
True
Let k = -31 - -33.4. Let s = k + -0.4. Which is bigger: -1 or s?
s
Suppose -5*y - z + 330 = 0, 245 = 4*y - 0*z - 3*z. Is 65 less than y?
False
Let l = -181/120 - -41/24. Is -304 at most as big as l?
True
Let q = 383 + -199. Which is smaller: 185 or q?
q
Let w = 2391 + -1964. Is 427 less than w?
False
Let l = -0.04 + 0.14. Let d be 115/90 + 9/(-6). Does l = d?
False
Let m(g) = 4*g + 12. Let v = 21 - 23. Let k be ((-10)/v)/(-2 - -1). Let n be m(k). Is n bigger than -6?
False
Let z be (-4)/14 - 28560/(-147). Is z less than 194?
False
Let c be 34/10 - 8/20. Let h = -9 + c. Which is smaller: h or -5?
h
Let k be 0 + (-6)/3 + (-6)/2. Let r = k + 13. Which is smaller: 7 or r?
7
Suppose i + 18*z - 15*z + 3 = 0, 0 = -5*i + 3*z - 105. Which is greater: -15 or i?
-15
Let i = -35 - -80. Let c = i + -13. Do c and 33 have the same value?
False
Let y = 0.01 + 4.99. Let o = -4.97 + y. Let x = o - 1.03. Is -0.8 less than or equal to x?
False
Suppose -2*b = 3*d + 8, -2 + 9 = -2*d - 3*b. Let q = 6 + d. Suppose z + 2 = q*z + f, -z = 2*f + 6. Is z greater than or equal to 3?
False
Let m = -0.3 - -0.3. Let a = 0.17565 + 0.02435. Which is smaller: a or m?
m
Let z = 47 + -57. Which is bigger: -1 or z?
-1
Let r = -16 + 36. Let f = 8 + r. Let b = f - 1. Is 26 at least b?
False
Suppose q = -2*q. Suppose -f + 4*f + 6 = q. Let p(z) = z**2 - 3. Let v be p(f). Is 6 greater than v?
True
Let o be (-774)/(-28)*(-44)/(-1059). Let l be (188/(-47))/(705 + 1). Let z = l + o. Is z at least as big as 0?
True
Let i = -1 - 24. Which is smaller: i or 8?
i
Let c be (-2 - 0)/(2/(-11)). Let b = -12 + c. Suppose 10*t - 14*t = -8. Which is greater: t or b?
t
Let b be (12/8)/(-3)*398. Let h = b - -574/3. Which is smaller: -9 or h?
-9
Let c = 50 - 178. Which is greater: -3 or c?
-3
Let r be (5 + 0)*2/5. Suppose 0 = t + c - 7, r*c = -4*t + c + 13. Suppose -4*h + 0 - 8 = t*n, -2*h + 2*n + 8 = 0. Are h and -2 unequal?
True
Let r = 25 + -24. Is -2/441 not equal to r?
True
Suppose 3*g - 3*b + 6 = 0, b + 1 = -2*g + 9. Suppose -5*z - 10 = -5*y, 0 = y + g*z + 5 - 1. Which is greater: 3/4 or y?
3/4
Let z(v) = v**2 + 4*v + 3. Let d be z(4). Let y be (-5)/(d/4)*42/(-45). Is y bigger than 2?
False
Let x be (-1394)/(-3460) + 84/(-210). Is 0