Let v = -7531 - -7526. Suppose 0 = r - 2*r + 9. Let t be (r/(-6))/(6/16). Does t = v?
False
Let m = -1.5 - -4.5. Let z = 615.22 - 615. Which is smaller: z or m?
z
Let c = -4640/11 - -422. Suppose 9*d = 4*d + 2*l + 7, 3*d - 8 = 5*l. Which is greater: d or c?
d
Let g(m) = -m**3 + 45*m**2 - 8*m - 37. Let b be g(45). Is b != 1?
True
Let u be (2/(-4))/(1245/(-310) - -4). Suppose 101 + u = 4*m. Which is greater: m or 34?
34
Let w = -526 + 559. Which is smaller: w or 35?
w
Let w = -14089/23474 + 72/121. Is 0 equal to w?
False
Let l = -4.78 + 5.1. Let a = l - -0.68. Are a and -4/13 nonequal?
True
Suppose 0 = -162*q + 167*q + 105. Which is smaller: -0.4 or q?
q
Suppose -10*j + 8*j = c + 3, j = 5*c - 7. Which is smaller: c or -2/93?
-2/93
Let g be ((-8)/(-10))/((-1)/5). Let y = g + 3. Which is bigger: y or -1/3?
-1/3
Let k = -151835 - -25052603/165. Let r = k + 10/11. Which is smaller: -1 or r?
-1
Let d be (-1 - (-15)/9) + 22810/(-38380). Let a = d + 2/303. Is a smaller than 1?
True
Let v = 323 - 246. Does v = 1/2?
False
Suppose -m - f = 3*f - 39, -228 = -4*m + 2*f. Is 46 smaller than m?
True
Let c = 3.7 + -4. Let l = -1.3 - c. Let z = 3.0552 - 0.0552. Which is bigger: z or l?
z
Let y = 36/133 - 130/19. Suppose -5*c + 9 = 44. Which is smaller: y or c?
c
Let z = 8571 - 8559. Let l(k) = k - 6. Let a be l(6). Which is greater: z or a?
z
Suppose 1 = 3*m - 20. Suppose 4*o - 3*j - 14 = 0, -2*o + 8 = -0*o - 2*j. Suppose -c = s - 12, -5*c + 30 = -m*s + o*s. Is c smaller than 10?
True
Let a be 40/(-30)*179/(-30). Let v = a - 68/9. Let b = 36 + -26. Is b equal to v?
False
Let r(k) = 4*k**2 + k + 1. Let o be r(-1). Let t be o/(-18) + (-549)/81. Which is smaller: t or -55/7?
-55/7
Let l be (-30)/22*(-280)/60. Which is smaller: l or -1/3?
-1/3
Let y = 0.034 + 93.966. Let n = 93.9 - y. Are n and 4.4 equal?
False
Let m = -0.429 + 0.329. Is -180 >= m?
False
Let j = 59 - 53. Let k be (3 + 0)*((-6)/(-11))/j. Is 1 greater than k?
True
Let m = 806 - 806. Which is smaller: m or 1/137?
m
Let o(f) = -5*f + 2. Let b be o(-1). Suppose -3*a = -b*a - 5*z + 2, -5*z = 3*a - 4. Let j be (-3)/a + (-8)/16. Which is bigger: j or -7?
j
Let r = -19275 - -327825/17. Is r != 9?
True
Let f be (-10)/15 + (-6)/(-36). Let p = 0.15 - -0.05. Is p greater than f?
True
Let d be (-3417)/15255 - 46/(-207). Are -1 and d nonequal?
True
Let b be 3*3/(-12) - (-1659)/(-108). Does b = -15?
False
Suppose -3*y + 2*y = 0. Let g = -247/840 - -2/15. Let t = g + 2/7. Is y not equal to t?
True
Let l = 0.45 - 0.7. Let u = 0.35 + l. Does u = 2?
False
Let o(u) = -u**3 + 9*u**2 - 11*u + 7. Let k be o(7). Let h = k - 19. Which is bigger: h or 7?
h
Let g(u) = u - 14. Let h be g(13). Let c(r) = 2*r - r + r**2 - 6*r - r. Let f be c(6). Which is smaller: h or f?
h
Let o be (60/9)/((-4)/(-24)). Let l be ((-6)/(-10))/((-15)/o). Which is smaller: -1 or l?
l
Let w = -247/92502 + -2/571. Let q = -175/2106 - w. Are -1 and q nonequal?
True
Let p(m) = -m**3 - 11*m**2 - 13*m - 29. Let k be p(-10). Is k equal to 2/45?
False
Suppose 2*x = x + 3, 2*x = 2*m - 30. Suppose 10*f + 7 = 27. Suppose -b + m = -f*b. Is -18 equal to b?
True
Suppose 3*y + 2*p - 18 = -p, 4*p = 4. Suppose -y*i - 5*w + 22 = -i, 0 = 2*i - 3*w - 22. Which is greater: -1 or i?
i
Let u = -1531 + 491450/321. Which is greater: 0 or u?
0
Suppose 272 = -50*y + 42*y. Is -35 smaller than y?
True
Suppose -21*h = 12*h + 8844. Which is smaller: h or 0?
h
Let o = -3/1499 - -2312/406229. Let w = o - 579/10027. Let g = 1 + -1. Which is smaller: w or g?
w
Let x be 1*42/11412*(-16)/(-28). Is 0 not equal to x?
True
Suppose -3*h - 35 = 5*w, 2*h + 0 + 2 = 2*w. Let d(v) = 16 + 4*v - 9 + v**2 - 5. Let x be d(w). Is x <= -2?
False
Let b be (-14)/(-12) + (-8)/12. Let t = 5 + -28. Let k = t - -25. Which is greater: b or k?
k
Suppose -v = -5*u - 1, v + 18 = -2*u - 3*v. Let j be ((-8)/48)/(3 - (5 + 0)). Is j at least u?
True
Let r = -19 - -21. Let g be (-1)/2*2 + r. Let d(j) = -j - 3. Let n be d(-2). Which is smaller: g or n?
n
Let f = -17.14 + 16.14. Which is smaller: f or -623?
-623
Let o be (1/12)/(3/(-4)). Let t be (-2)/(-3)*90/(-20). Let m be (t + 3)/(2 - 3). Is m less than o?
False
Suppose 4*u - 4*o = 0, -3*u - 2*o + o = 12. Let w = 38 + -46. Let i = w - -8. Is u != i?
True
Let v = -9 + 11.1. Let r = 0.2 - v. Let f = -2 - r. Which is greater: 1 or f?
1
Let y = 0.47 + -77.47. Let o = -75 - y. Is o bigger than 3?
False
Let d = -0.41 - 8.59. Let m = d + 10. Which is greater: m or 0.05?
m
Let i = 363 + -363. Is 9/61 >= i?
True
Let i = -104 + 119. Which is greater: 18 or i?
18
Suppose 0 = -k + d + 15, -4*d = -k - 0*k + 30. Let a = k - 8. Suppose a*x + 2*u - 6 = 0, 8*x - 5*u + 33 = 4*x. Which is smaller: -5/4 or x?
x
Let d(w) = 2*w + 20. Let i be d(34). Is 89 <= i?
False
Suppose m + f = -m + 90, -195 = -5*m + 5*f. Let g be -4 - (m/(-8) - -2). Which is bigger: -1 or g?
g
Let n(j) = -j**3 - j**2 + 4*j + 2. Let x be n(-3). Suppose 2*f - y = 5*f + 13, -y + x = -4*f. Is f greater than or equal to -3?
True
Let m(k) = 5*k**3 + 5*k**2 + k. Let b(f) = 4*f**3 + 5*f**2 + f. Let a(i) = 4*b(i) - 3*m(i). Let w be a(-4). Let h be (-18)/(-4) + w/(-8). Is h bigger than 0?
True
Let p = 77 + -102. Is -25 > p?
False
Let k = -71/455 + -4/91. Is k at least 1/14?
False
Let f(j) = -20*j - 95. Let w be f(-5). Do w and 6 have different values?
True
Suppose 3 = 6*h - 9. Let n(i) = i**3 - 5*i**2 - 4. Let q be n(5). Is h not equal to q?
True
Let b(k) = 6*k - 7. Let n be b(7). Let w = -974 - -1010. Which is smaller: n or w?
n
Let k(s) = -7*s**2 + 2*s - 4. Let n(m) = m**2 + m - 1. Let c(a) = -k(a) - 6*n(a). Let g be c(6). Let i = -1 - -2. Which is smaller: i or g?
g
Let o be 2/4 + 477/162. Let c = -191/45 + o. Is c < -1?
False
Let u = -29 + 27.3. Let z = 0.4 + 1.4. Let l = u + z. Is l equal to -2?
False
Let x(r) = r**2 - 23*r - 224. Let u be x(31). Let p(c) = -13*c - 2. Let t be p(-2). Are t and u equal?
True
Let m = -27991/4928 - -159/28. Is m smaller than -1?
False
Let w be 11 - 28/4 - (-20)/(-4). Which is smaller: -6/97 or w?
w
Let h be (-4)/(3/(9/(-12))). Let x be 36/16*2/(-12). Which is smaller: h or x?
x
Let o(w) = 2*w**2 + 20*w + 5. Suppose -2*n + 6*n = -40. Let h be o(n). Let v be (4/(-3))/(1/(-3)). Is v greater than h?
False
Suppose 4*h = 4*x - 484, 0*x + 4*h = -x + 116. Suppose 5*r + 30 + x = -5*v, -v = 4*r + 114. Is -29 < r?
True
Let m be 0 + (-4264)/78 + 1/(-3). Which is bigger: m or -3?
-3
Let f = -2861302/325 + 8804. Is f greater than or equal to 0?
False
Let o(m) = -m**3 - 3*m**2 + 54*m + 1. Let h be o(6). Which is greater: h or -0.015?
h
Let g = -211/2727 - -1/303. Which is smaller: -18 or g?
-18
Let u = 12 - 18. Let b be u/9 + (-60)/(-9). Which is smaller: b or 3?
3
Let c = 0.3 + -0.3. Let g = 6.6 + 41.4. Let h = g - 52. Which is smaller: c or h?
h
Let z be 1/3*(3 - -7 - 64). Do z and -7 have the same value?
False
Suppose 140 - 42 = -14*h. Let w = 22 + -10. Let d be 34/w*(h + 10). Which is greater: 10 or d?
10
Let p = 55 - 37. Let o = -53 - -60. Suppose -66 - 53 = -o*g. Are g and p non-equal?
True
Let u(s) = -s**2 - 3*s + 5. Let k be u(-3). Suppose 4*g = k*f + 2*g + 5, -3*g + 14 = -f. Let j be (3/2)/((-6)/(-8)). Which is greater: f or j?
j
Suppose -164*q = -160*q - 132. Which is smaller: q or 41?
q
Let i(p) = p**2 - 2*p - 2. Let t be i(3). Suppose -3*g - t = -10. Which is smaller: g or 1?
1
Let d = 517 + -512. Is 5 < d?
False
Let t = -26.28 - -26. Let u = t + 1.28. Which is smaller: 14 or u?
u
Let u be ((-168)/16)/21*(3 - 3). Which is greater: u or -36/67?
u
Let l(d) = 6*d + 19. Let r be l(-4). Let s be 3/18*(2 + -3). Is r smaller than s?
True
Let m = -21 - 6. Let x be (-367)/1692 + (-6)/m. Let u = -2261/940 + x. Which is bigger: u or -2?
-2
Let v = 894 - 85825/96. Is v less than or equal to 2?
True
Suppose 0 = -2*s - 36 - 102. Let a = 73 + s. Which is smaller: a or 22/7?
22/7
Let z(y) = 5*y + 34. Let m be z(-7). Which is smaller: -2/511 or m?
m
Let g = 0.07 + 0.93. Let m be (4/6)/(4 + 510/9). Is g greater than m?
True
Let y be 1 - -5 - 0/2. Let g = -83.06 - -83. Let r = -2.06 - g. Is y equal to r?
False
Suppose -2*d - 22 = 4. Let y = d - -18. Let c be 18/45 - 7/y. Is c greater than 1?
False
Let h = -413/10 + 204/5. Let c = 47 + -143/3. Is c less than or equal to h?
True
Let p = -76093/95 - -801. Do