(-114)/(-399)). Is v greater than or equal to r?
True
Let a(x) = -3*x + 8. Let b be a(-5). Let c = 27 - b. Suppose 3*f = -c*f. Are 1 and f non-equal?
True
Suppose -6*d = -11 - 7. Suppose d*v - 9 = -99. Let a be 16/(-244)*v + -2. Is a not equal to 1?
True
Let a = 2/261 + 3/29. Let r be (-2 + 0 - -2)/(-12 - -13). Is r not equal to a?
True
Suppose 0 = 3*p + 3*o - 5*o - 841, 2*p + 2*o = 574. Which is smaller: 281 or p?
281
Suppose 4*g - 6*o = -2*o + 84, -2*g - 5*o = -77. Suppose z = -z + 50. Do z and g have the same value?
False
Suppose f + 5*u = -0*u - 30, 2*u + 8 = 0. Let j(z) = 2*z - 8. Let t be j(f). Let k be 2/(-4) + (-74)/t. Is k bigger than 3?
False
Suppose h = 73*t - 71*t + 89, h - t - 86 = 0. Is 77 not equal to h?
True
Let g(f) = 3*f + 18. Let v be g(-6). Let o(s) = -s**2 + 8*s + 2. Let x be o(8). Let a be x/((-3)/(-1 + 4)). Which is smaller: v or a?
a
Suppose -1582 - 2033 = 5*o. Let v = -49888/69 - o. Is v at most 0?
True
Let a = -36 - -35.81. Let l = a + 9.19. Let k = l - 8.9. Which is greater: -4/7 or k?
k
Let z(v) = v**2 - 15*v + 26. Suppose 0 = -2*b - g + 25, 4*g = 2*b - 21 - 9. Let m be z(b). Are -2/3 and m equal?
False
Let y be 2860/(-18) + (-4 - (-266)/63). Let k = -1438/9 - y. Is k less than -2?
False
Let h be 1/6 - (-13775)/150. Let n = -639/7 + h. Let q(g) = -g**2 + 4*g + 6. Let x be q(5). Which is smaller: x or n?
n
Let g = -1191 - -19049/16. Are g and -2/7 non-equal?
True
Let g = -31 - -55. Suppose 0 = w - 6 + 1, g = -t - w. Which is smaller: -30 or t?
-30
Let t(r) = -2*r**2 + 67*r - 278. Let i be t(28). Suppose -2*g + g = -30. Is i at least as big as g?
True
Let a(v) = 4*v**3 - 7*v**2 - 10*v + 24. Let q be a(7). Suppose 2*h = -2*t + 382, q = 3*t + 2*t - 2*h. Let u = t + -5654/29. Which is bigger: u or -1?
u
Let v be 1/4 + 10/24. Let h = -2.3 + 1.4. Let m = -1 - h. Which is greater: v or m?
v
Let c = 1199 + -1298. Which is smaller: -98 or c?
c
Let i = 0.0788 - -94.9212. Which is greater: i or 4/9?
i
Let b = 942 + -141299/150. Do 0 and b have the same value?
False
Suppose 22 - 52 = -6*o. Which is smaller: o or 10?
o
Let a = -0.14 - -0.04. Is a not equal to -13/7?
True
Suppose -5*p = 3*l - 20, 4*p - p + 3*l = 6. Suppose -5*f = 4*w - 85, 0*f - 2*f + 34 = w. Suppose 2*i = -f + p. Is -7 less than i?
True
Let t be (1 - (-1)/(-2)) + (-373)/14. Which is smaller: t or -27?
-27
Let q = 229 - 121. Let h be 20/42*q/(-60). Is 3/4 < h?
False
Let k = -318 + 317. Is -13/7 bigger than k?
False
Let l = 0.284 + -0.174. Is 35 not equal to l?
True
Let f(n) = -n**3 - 9*n**2 - 10*n - 10. Let i be 50/(-6) + 5/15. Let l be f(i). Suppose 0 = -0*a - 3*a - l. Is 1 at least as big as a?
True
Let h be -126 - (-13 + 4 + 4). Which is greater: -119 or h?
-119
Suppose 16*d - 198 = 18*d - 2*i, 2*d - 4*i + 204 = 0. Which is smaller: -484/5 or d?
-484/5
Suppose -f - 10 + 34 = 0. Suppose 3*j + 5*j = -f. Which is bigger: j or -2?
-2
Let o = -55 - -55. Let w = 0.3 - 1.8. Is o at least as big as w?
True
Let i = 0.7 + -2. Let r = 23.8 + -25. Let p = r - i. Which is smaller: p or 9?
p
Let d be -414 + 8/1 + -3. Which is smaller: d or -408?
d
Suppose 30 = 9*p + 6*p. Let o(i) = i**2 + i + 1. Let f be o(-2). Let y = p - f. Which is greater: -3/7 or y?
-3/7
Suppose -12*p - 264 = -36. Let r be p/(-6) + (-6 - -3). Which is greater: 0 or r?
r
Let q be (18/(-20))/(2/(-15)). Let g = 113 - 107. Is g bigger than q?
False
Let c = 0.4 - 0.2. Let a = -0.7 + c. Let u = 67 + -67.1. Which is greater: u or a?
u
Let f be 4/(-6) - 2210/(-3450). Which is smaller: f or 0?
f
Let s = 4142 + -4144. Let z = -607/2772 - 1/308. Are s and z non-equal?
True
Let a = -0.043 - 0.057. Which is smaller: a or -22?
-22
Let n be 6 - (1*4 + 18 + -21). Suppose -n*m = 20, b = -3*b + 2*m + 32. Is 2 at most as big as b?
True
Suppose 2*m - 8 = -n, -3*m + 14 = 8*n - 6*n. Suppose 2*o + 2*y = -0*o + 6, -n*o + 17 = -y. Which is greater: 5 or o?
5
Let w be 466/24*12/(-2920). Let c = w + 4/73. Which is smaller: c or -1?
-1
Suppose -3*c - 18 = -3*y, -c = 4*c + y. Let u = 23 + -23.19. Which is smaller: u or c?
c
Let l = -29.5 + 23. Let p = l - -6.7. Let z be 0/2 - (7 - 0). Which is greater: p or z?
p
Suppose 113 = -3*i - 13. Let c be (0 + -1)/(-1 - i/(-36)). Which is bigger: -1 or c?
c
Let c = 1.0721 - 0.0721. Is c less than or equal to -42?
False
Let i(s) = -23*s + 3. Let z be i(-1). Let x = 38 - z. Let f = 9 - x. Is -1 bigger than f?
True
Let u = 340 - 677/2. Is u > 3?
False
Let m(y) be the third derivative of y**4/24 + 17*y**3/6 - 6*y**2. Let j be m(-13). Let l = j + -4. Which is bigger: 1 or l?
1
Let v = -116287/27906 + 2/4651. Let p = v - -7/2. Let g = 15 - 15. Which is smaller: p or g?
p
Let x = 0.8 - 1.8. Let q = -1 - x. Is -1.1 greater than q?
False
Let k = 447 + -447. Is 0.012 greater than or equal to k?
True
Suppose -5*d + 0*o = 5*o + 5, d - 11 = 3*o. Which is greater: d or 3?
3
Let j = 16358 - 507048/31. Is 2 greater than j?
True
Let f = 911/342 + -39/19. Let b = 377/558 - f. Which is bigger: b or 0?
b
Suppose -v - 2*v = -m - 75, -5*m + v = 333. Let z be -6*(-28)/(-21) - 58. Is m at most z?
True
Let l = -637 - -330. Do l and -2 have the same value?
False
Let n(c) = c**2 - 13*c + 36. Let q be n(8). Let t be q + (-57)/(-12) + (-30)/8. Are t and -2 non-equal?
True
Suppose -5*u + 1 = -2*x - 0*u, -u = 4*x - 9. Let k be 3 + -2 - (-39)/(x + 1). Which is greater: k or 12?
k
Let z = -5.784 - 0.216. Is z at least as big as -1/4?
False
Suppose 0 = -5*c + 2*w, w = -2*c - w. Let n be (-1 - 0)*c/(-10). Which is smaller: -1/57 or n?
-1/57
Let i = 153 + -152. Which is bigger: 14/81 or i?
i
Let c = 1341 + -1357.7. Is 2 smaller than c?
False
Let x = 56 + -39. Let a = x + -13. Which is bigger: -1 or a?
a
Let v(c) = -2*c**2 + 5*c + 64. Let u be v(7). Let k be (-8)/(-7)*(-1)/(-2). Is k greater than u?
False
Let t be (-9)/3 - 594/(-21). Which is smaller: -1 or t?
-1
Let n(x) = 7*x + 1. Let g be n(-1). Let h be 2/3 + (-14)/g. Suppose -4*b + h*q - 4 = -1, -2*b + 5*q = 5. Is 2 not equal to b?
True
Suppose -2*x - 11 = 51. Let t = x - -36. Is t bigger than 9/2?
True
Suppose k = -k. Suppose k = -5*l - 5*w, -5*l + 0*l - 3*w = -8. Which is bigger: -1 or l?
l
Let f = 14375/4693 + 5/361. Is 4 greater than f?
True
Let f be (-60)/140 - (36/(-266) + -1). Let p = f - 8/19. Is 0 != p?
True
Suppose f - 11 = 11. Let y be (-3)/15 - f/40. Let s(u) = u**2 + 5*u + 2. Let k be s(-4). Are k and y non-equal?
True
Let t be 7 - ((-78844)/(-5256) - 8). Is t at least -1?
True
Let h be 3 - 7/((-21)/(-81)). Suppose 70*d - 62*d + 168 = 0. Which is greater: h or d?
d
Suppose -5*h + 5 = s - 6, 0 = -5*h. Let k = -4 + s. Let w(l) = -l**2 + 7*l + 2. Let b be w(k). Is b at least as big as 4?
False
Let f = 27.931 - -0.069. Let c = 28.4 - f. Let s = c - 0.3. Which is greater: s or -0.15?
s
Let w(d) = d**2 + 6*d - 74. Let a be w(6). Is 98 less than or equal to a?
False
Let y = -2/14909 - 28472/10033757. Are -1 and y equal?
False
Let n be -19*(50/12 - 4). Is n at most -4?
False
Let w = -13 - -13. Let j = -9827/4 + 2445. Let t = j + 23/2. Is t >= w?
False
Suppose 0 = y + 2*a - 29, y - 49 = -3*a - 15. Are y and 19 nonequal?
False
Let l = 0.002 + 0.298. Let q = 0.14 + -0.34. Which is smaller: q or l?
q
Let p = 43/32 + -2687/1952. Let i be 201/(-12)*(-8)/(-366). Let t = p - i. Is -13 greater than or equal to t?
False
Suppose 5*k + 0*k - 4*i + 21 = 0, -2*k - 5*i = -18. Suppose 5*n - 5 = -5*l, -n = -l - 7 + 4. Is k <= l?
True
Let u = -1037 + 1037.08. Let w = 0.2 - -0.8. Is u at most w?
True
Suppose y + 5*a + 10 = 0, 3*y - 36 = y + 4*a. Suppose 0 = -2*m + 20 + y. Suppose 2*s - 5*s - m = 0. Is s less than -3?
True
Let w be -7 + 6 + 162/(-203). Let m = w + -10/29. Is -1 at most m?
False
Let m = -48 - -35. Let l = m + 15. Which is smaller: l or 12?
l
Let m = -1171284837/8963 - -130680. Let d = 3665777/268890 + m. Let z = 27/2 - d. Which is greater: z or 0?
0
Let u be 11 + 4/(-6) + 5/(-15). Let w(s) = s**3 - 9*s**2 - 11*s + 13. Let c be w(u). Let a = -3 + 6. Do a and c have different values?
False
Suppose -f + 4*f + t - 170 = 0, -f = -4*t - 48. Suppose 6*d = -d - f. Is d less than or equal to -8?
True
Suppose 3*m + 15 = -0*m. Let p(n) = -8*n**2 + 7*n + 4. Let h be p(-5). Let q = h - -679/3. Is m at least q?
False
Let h = 470 - 467.43. Let y = h - 2.6. Which is smaller: y or 1?