*2 - y + 2. Let d be u(1). Which is greater: d or 7?
7
Let p(b) = 2*b - 3. Let m be p(-3). Let y be (-4)/1 + 14/(-3). Is y greater than or equal to m?
True
Let i be (-846)/(-21) - (-2)/(-7). Let f be 49/(-7)*(-40)/7. Is f > i?
False
Suppose 5*g + 10 = -0*g. Let y(a) = -3*a**2 - a - 2. Let o be y(g). Let l be -3 + (8 - 3) + 75/(-5). Is o smaller than l?
False
Let s = -235605 + 3066698/13. Let j = -295 + s. Which is bigger: j or -3/8?
j
Suppose 5*r + 6 = -l + 23, 4*l + 32 = 5*r. Which is smaller: 0.83 or l?
l
Let h(d) = 43*d + 350. Let t be h(8). Is 694 bigger than t?
False
Suppose 5*b - 3*r = 186, -46*b - 3*r = -47*b + 30. Which is smaller: 33 or b?
33
Suppose 3*x = -12*i + 7*i + 1, -x = -2*i + 18. Let o(d) = -d**3. Let k be o(-1). Let q be k/3*3*-1. Is x at most as big as q?
True
Let x be 1 - 0 - (3 - (0 - -90)). Suppose 10*a - x = -a. Do 1 and a have different values?
True
Let h = -140 + 141.15. Let i = -2.35 - h. Which is bigger: 1 or i?
1
Let w(r) = 31*r - 462. Let y be w(17). Is y >= 10?
True
Suppose p + 3*m + 16 = 0, 0 = 2*p - 0*p - m - 3. Are p and 2/545 non-equal?
True
Let y be 2/(((-72)/(-1158))/6). Does y = 194?
False
Let y = -1 + 8. Let p = -11 + y. Let r = 481 + -3365/7. Is p at most r?
True
Let m = 4.2 - 4.1. Let v = -0.33 - -0.73. Is m <= v?
True
Let b = -14.6 + 35.6. Let s = 44.8 + -45. Which is bigger: s or b?
b
Let j(g) be the third derivative of 0*g + g**2 + 1/2*g**3 - 1/60*g**5 + 0 + 1/8*g**4. Let h be j(4). Which is bigger: -2/15 or h?
-2/15
Let r = 2 - 3. Let s = 10079715 - 29987152989/2975. Let b = 2/425 + s. Is b at most r?
False
Let j = -87/356 - 1/178. Is j smaller than 35?
True
Let b = 7 - 14. Let p = b + 23. Which is bigger: 17 or p?
17
Let m be ((-50)/30)/((-6)/20). Let i = m + -1681/288. Is i greater than 0?
False
Suppose 3*h + h = -3*r + 52, -h = 3*r - 40. Suppose 2*d + 80 = r*d. Which is greater: d or 70/9?
d
Let x = -0.114 - 2.886. Does x = -66?
False
Let z(n) = -n + 25. Let q be z(11). Let o = -8 + q. Suppose r - 21 = 5*p, o = -4*p + r - 10. Is -7 < p?
True
Suppose 3*c + 13 = 22. Suppose 2*o - 5*v + 11 - 51 = 0, 0 = -c*o + 5*v + 50. Does 12 = o?
False
Let a be (-878)/16 + 42/(-336). Is a <= -55?
True
Let x(c) = 3*c**2 + 51 - 20 - 30 - 27*c. Let h be x(9). Which is smaller: -4/23 or h?
-4/23
Let s be -1 - (-1 + -8*11). Suppose 10*v - 12 = s. Let n = 0 - -1. Which is bigger: v or n?
v
Suppose -156 = 3*d - 159. Which is smaller: 3/689 or d?
3/689
Let c = -31 - -30.64. Let l = c - 16.64. Which is smaller: l or 1?
l
Let n be ((-2)/(-24))/((-6)/384*-12). Suppose 2*o + 14 = r + 6, 0 = -4*r + 4*o + 16. Which is bigger: n or r?
n
Let g = -406 - -405.61. Let k = -0.19 + 0.09. Which is smaller: g or k?
g
Suppose 3*o + 65 = -2*o. Let y(i) = -i**3 - i + 19. Let s be y(0). Let m = s + o. Is 7 greater than m?
True
Let f = 18 - 18. Let n be 4 - (-5)/(180/(-124)). Which is greater: n or f?
n
Let a = -18 + 12. Let q be ((-3)/(-2))/(a/(-40)*2). Suppose 5*r + 3*p = r + 19, 0 = 2*r + 5*p - 13. Are q and r non-equal?
True
Let m be 6/9*36/3. Suppose -3*b + 4*z + 10 = 0, -m*b = -3*b - 4*z - 22. Which is smaller: b or 1?
1
Let c(r) = 2*r**2 - 3*r. Let g be c(2). Suppose g = -4*z - 6. Which is greater: z or -7?
z
Let d(w) = -2*w**2 - 23*w + 11. Let k be d(-12). Let h be 12/14 + (k - -1). Which is greater: 1 or h?
1
Suppose -4*s + 0 + 8 = 0. Suppose -s*b + 6*b = 4. Let c = 4289/9 - 477. Does c = b?
False
Let o = 1.02 + 0.08. Let r = o + -1.2. Which is smaller: 0 or r?
r
Let n = -0.75 + 0.95. Is n >= -4/7?
True
Let b(u) be the first derivative of -5 - 9*u - 10/3*u**3 - 1/4*u**4 - 5*u**2. Let q be b(-9). Do q and 4/15 have the same value?
False
Suppose -i - 4 = -17. Let j(v) = -v**2 + 13*v - 11. Let k be j(10). Let f = k - i. Is 6 bigger than f?
False
Suppose 5*b - 13 + 3 = 0. Let s be 0 + 3/24*b. Let n = 203/2 + -101. Which is greater: s or n?
n
Let o be 20/(-15)*30/(-4). Let n = o + -8. Suppose -2*p + 0*g - g = 0, -3 = -p - n*g. Is p < -1/4?
True
Let c = 7 - -2. Let t = 1.5 + -1.7. Is t != c?
True
Suppose 0*k - k + 1 = 0. Let h be (-19 + 17)*k/2. Are -3 and h unequal?
True
Let b = 4/99 - 268/99. Let s = 3 + b. Which is bigger: s or -0.2?
s
Let c(y) = -y**2 + 18*y + 29. Let n be c(20). Let a be 3 + (1540/48)/n. Is a > 1?
False
Suppose 0 = -5*l - 0 + 10, 5*y + 2*l = 534. Is y > 104?
True
Let u be ((-119)/42 + 3)*423. Which is bigger: 71 or u?
71
Suppose s - 2*j + 6 = 0, s + 0*s - 5*j + 9 = 0. Let b be (-2 + (-10)/(-6))*3. Is b not equal to s?
True
Let p be (-1)/(-4) + (-6)/(-40). Let r(f) = -2*f - 3. Let d be (1 - (-1 + 1))*1 - 2. Let u be r(d). Which is bigger: p or u?
p
Let k = 31.5 - 32. Let n = k - -0.41. Is n greater than or equal to 0.2?
False
Let l(v) = 41*v + 118. Let u be l(-12). Is u smaller than -372?
True
Suppose -20 = -5*d, y - 3*d + 4 = -82. Is -82 <= y?
True
Suppose z - 2 = -z, 2*k + z + 39 = 0. Let r = 5237 + -5256. Does k = r?
False
Let w = -0.05 + -5.95. Let s = 5 + w. Let k = s - -2. Are 4 and k equal?
False
Let x = 29 - 29.008. Let z = 0.108 + x. Which is greater: 11 or z?
11
Let x(c) = c**3 + 2*c**2 - 9*c + 1. Let h be x(-4). Suppose 42 = a + 3*a - 3*z, -h*z - 28 = -2*a. Let n be 40/6*a/6. Are n and 11 non-equal?
True
Let h = -145.31 + 144. Let o = h - -6.31. Is o < 4?
False
Suppose 0 = -2*v + 67 - 7. Let t be (v/5)/((-2)/8). Are t and -23 nonequal?
True
Suppose a + 3*a + 4 = 0. Let p = 3 + -12. Let u = -10 - p. Are a and u unequal?
False
Let t(y) = y**2 - 5*y + 2. Suppose 3*a - 4*h = -35, -3*a - 3 = 4*h - 8. Let b(x) = x**3 + 5*x**2 + 4. Let r be b(a). Let d be t(r). Is -2 less than d?
False
Let n be 4865/(-18) - 60/270. Are -272 and n unequal?
True
Suppose 4*d + 15 = 27. Suppose 13 = d*a + 10. Is a less than -1?
False
Let b be 7 + 29/((-87)/18). Is b <= 15/218?
False
Let s = 1.649 + -0.249. Suppose -w - 4*j = 4, j = -4*w - 1 - 0. Which is bigger: s or w?
s
Suppose l = -2*y - 0*y - 11, 0 = -l + 4*y - 5. Let a(c) = c**2 - 2. Let s be a(3). Let r be -1*(0/1 + s). Which is greater: l or r?
r
Let j = 536 + -479. Is 48 at most as big as j?
True
Suppose 7*x + 169 = 113. Is -13 greater than or equal to x?
False
Suppose 2*z + z + 349 = 2*m, m - 194 = -5*z. Do m and 179 have different values?
False
Let i be 6 + 0 - (-74 - -575). Which is bigger: i or -494?
-494
Suppose -3*m - 2*m + 55 = 0. Let t be ((-1)/(-1) - 1)/1. Suppose -3*w + 4*w - 9 = t. Is m less than or equal to w?
False
Let i = 47 + -48. Is i greater than or equal to 13?
False
Suppose -2*c = -3*c - 1386. Let n be 312/c + (-4)/(-14). Let m(d) = -d**3 - 3*d**2 + 13*d + 16. Let l be m(-5). Which is greater: l or n?
l
Let c be (90/(-28) + 4/(-14))*2. Is c at least as big as -10?
True
Let y(g) = 2*g**3 - 12*g**2 + 2. Let p be y(6). Suppose -21 = -2*a - a. Let w be 58/(-154) + p/a. Is 0 greater than w?
True
Let u = -1544/3 + 8746/17. Is 1 greater than or equal to u?
True
Suppose -14*y + 7 = -21*y. Which is smaller: 3 or y?
y
Suppose -5*y + 40 - 100 = 0. Which is greater: -24 or y?
y
Suppose 0 = -10*t - 2784 - 8616. Which is smaller: -1142 or t?
-1142
Let t(d) = d**2 + 17*d + 16. Let g be t(-16). Let a = -193 + 13315/69. Is a at least g?
False
Let v = -113 - -114. Which is bigger: v or -3/23?
v
Let j = 203 + -249. Which is smaller: j or -44?
j
Let g = -0.23 + 0.83. Which is smaller: g or -4?
-4
Suppose 2*i + 14 = 2*x, -i + x + 3 = -5*i. Let w be i/(-50)*(-15)/6. Is 1 at least as big as w?
True
Let l = 9 + 8. Let g = -16 + l. Is 1 != g?
False
Let r = 4 + -3. Let l = -16.037 + 0.037. Let o = -18 - l. Which is smaller: o or r?
o
Let i be (-20)/11 - -2 - (-189)/231. Which is greater: -3/127 or i?
i
Let d be 5/((-30)/(-16)) - 3. Is d > -0.9?
True
Let t(i) = -2*i**2 - 4*i + 335. Let z be t(12). Which is greater: 0.033 or z?
0.033
Suppose -4*j = 9*j + 5395. Let y = j + 9543/23. Is -2 greater than y?
False
Suppose -24 = 4*h - 5*h. Let w be h/6 - 582/147. Which is smaller: 1 or w?
w
Let q = -254/117 - -50/39. Let r be 6/(-8) + (-266)/(-56). Suppose 0 = -g + 2 - r. Which is smaller: q or g?
g
Suppose -84*m + 53*m = 124. Is m bigger than -1?
False
Let u(t) = -10*t + 146. Let y be u(10). Which is greater: 54 or y?
54
Let u be -2*(428/8 - 4). Let q = u - -155. Is q less than or equal to 57?
True
Let t be ((-40)/(-16) + -4)/(6/(-28)). Which is smaller: 67/11 or t?
67/11
Suppose 0 = -