64.003. Let v = y + 0.003. Is v less than 1.8?
True
Let g = -784 - -857. Which is smaller: g or 74?
g
Let m = 0.5586 - 0.1586. Which is greater: 18 or m?
18
Let k = 0.25 + 0.19. Let u = -0.34 + k. Is u < 3?
True
Let q(v) = -34*v + 18 + 11*v - 9. Let m be q(-9). Let o be 2/(-11) + m/462. Is o < 1?
True
Suppose -4*b + b = 5*m - 39, -3*m + 33 = -3*b. Let g = 32/3 - m. Which is smaller: g or 1?
1
Let a = 107.1 + -105.154. Let r = a - -0.054. Which is bigger: r or 1/16?
r
Suppose -3*d = 3*r + 141, 3*r = -0*r - 9. Let v = d - -45. Let c be ((0/2)/(-1))/(-2). Which is smaller: c or v?
c
Suppose -8*w + 26 = -10*w. Let v = 48 + w. Which is smaller: v or 38?
v
Let b be 647317/(-539)*(0 + 3). Let v = 3603 + b. Let m = 241/1568 - v. Which is smaller: 0 or m?
0
Let x be 4*2/((-32)/1444). Let c = x - -6139/17. Which is smaller: 1 or c?
c
Let y be ((-36)/16)/((-7)/(-28)). Let b(m) = -m - 3. Let l be b(9). Is y greater than l?
True
Let i = -33 - -41. Suppose 3 = -5*k + i. Is -1/8 bigger than k?
False
Let o = -429 + 910. Let w = o - 1462/3. Does w = -7?
False
Let a = -260 + 252. Let l = -6 - 3. Which is smaller: l or a?
l
Let g be -3 - (-20)/4 - -13. Suppose -2*y - s - 24 = 0, 0 = 4*y - s + 21 + g. Let c be 21/7 + 31/y. Are c and 1/2 equal?
False
Let g(q) = q**3 + 4*q**2 + 6*q. Let p be g(-6). Let x = p + 55. Which is smaller: -54 or x?
-54
Let l = 20 - 3. Suppose 0 = -l*a + 14*a + 36. Let y be ((-1)/(a/(-8)))/33. Which is smaller: y or 0?
0
Let a = -257 - -257.0535. Which is greater: -0.1 or a?
a
Let f be (40/120)/((-4)/(-33)). Is f not equal to 2?
True
Let m be (910/39 + -20)/((-2)/3). Let j(s) = s + 1 - 3 + 4. Let p be j(m). Is -1 bigger than p?
True
Let v be 9/2 + (-1)/2. Suppose 2*t - 3*t + 7 = 2*w, 0 = 5*w + v*t - 19. Let h be 0 - (-2 + -2 + w). Which is smaller: 2 or h?
h
Let i = 1.7 - 12.7. Let q = 36 - 36. Which is smaller: i or q?
i
Let i be (0 + 16/(-10))*-40. Let g = -29 + i. Is g less than 37?
True
Let m be (-1654)/4 - 7/14. Are -414 and m nonequal?
False
Let r = 5 + 0. Suppose -2*h - 9 - 1 = 2*k, 0 = r*k + 25. Let l be h - (-3)/27*-3. Which is greater: l or -2/15?
-2/15
Let k(j) = 4*j - 128. Let m be k(32). Is 6 less than or equal to m?
False
Let c = 11 - -10. Suppose 5*u - c = 74. Which is smaller: u or 20?
u
Let q = -26 - 5. Is -36 > q?
False
Let m = -0.6 - -0.5. Let p = -7.7 - -10. Let n = 3 - p. Which is greater: n or m?
n
Let g be (5*(-63)/(-14))/(3/4). Suppose -26*v = -g*v + 372. Is v >= 93?
True
Let r(v) = -v + 22. Let w be r(15). Suppose w - 18 = -11*q. Are q and -4/21 non-equal?
True
Suppose 10*q = -10*q - 120. Which is smaller: -7 or q?
-7
Let v = 48 - 32. Is v <= -5?
False
Let t(c) = -8 - 14 - 17*c - 10*c + 25*c. Let h be t(-12). Which is smaller: 17 or h?
h
Suppose 3*z + 0 + 3 = 0. Let w = 5043/52 + -484/13. Let n = w + -59. Is n less than or equal to z?
False
Let b be (-1947)/750 + 3 - 16/40. Is 0 not equal to b?
True
Let i be -8*4*(-2)/(-328). Let q = 404/451 - i. Is 0 at most q?
True
Let b(z) = z + 10. Let f be b(-9). Let y be f/4 - (-60)/(-48). Let w = 1 + y. Which is smaller: w or -2/5?
-2/5
Suppose -7 - 3 = -5*g. Let t be -1 - (-8 - 30/(-5)). Which is greater: g or t?
g
Let x = 2.08 + -2. Let v = x - 4.08. Let j = v - -6. Is 3/4 less than or equal to j?
True
Let m = 70222/21 + -601609/210. Let d = m - 480. Which is greater: d or -2?
d
Suppose -63*x + 77*x = 0. Are 5/71 and x nonequal?
True
Let s be 5/(-3) + (-1200)/36. Is -22 bigger than s?
True
Let g = 791 + -779. Which is smaller: g or 28?
g
Let y = 433 + -421. Is 13 != y?
True
Let t = 540 - 3778/7. Are 118 and t equal?
False
Let t be ((-14)/(-66))/((-44)/(-33)). Is t equal to 0?
False
Let m be 176/64 + (-6)/8. Let p be (4/(-8)*0)/m. Is p < -15/16?
False
Let p = -2185/972 + -1/486. Suppose -1 = z - 10. Let x = 7 - z. Do x and p have the same value?
False
Let i = 499 - 872. Which is bigger: i or -747/2?
i
Let w(y) = -5*y - 1 - 15 - 1 + 0*y. Let s be w(-5). Suppose 11*x - s = 13*x. Which is smaller: x or 1/3?
x
Let z = 132/163 - 89231/489. Is -183 greater than z?
False
Suppose -z + 2*z = 3*b + 467, 0 = b - 2*z + 154. Is b at least -156?
True
Let j = 1155 + -1125. Which is greater: j or 12?
j
Let k = -137 + 236. Suppose 3*a - k = -3*o, 0 = 4*o - 3*o - 2*a - 33. Is -1 greater than o?
False
Suppose -516*g - 68 = -499*g. Let m = 2811/4 + -707. Which is bigger: g or m?
g
Let d = 11306199/77 + -146836. Let v = 20/11 + d. Which is greater: -1/4 or v?
-1/4
Let x = -4.4 - -4. Let f(t) = -4*t - 48. Let l be f(-13). Which is smaller: l or x?
x
Let q = 52 - 52. Let t = 0.5 - q. Is -1 smaller than t?
True
Let a(c) = c + 6. Let p be a(6). Let g be p/10 - (-24)/30. Which is greater: g or -15?
g
Let p = 6 + -6.04. Is -1/10 > p?
False
Let f be (448/(-3024))/(-3*2/(-9)). Is f smaller than 4?
True
Let m = -886 - -583. Is -303 greater than m?
False
Let b = 49143/29 - 1695. Which is bigger: b or 0?
0
Suppose -2*x = -4*x - 382. Let t be ((-111)/27 - -4)*(-1717 - 0). Let q = x + t. Is q equal to -1?
False
Let x be (-15)/(-10) - ((-37)/2 + -2). Which is bigger: x or 3?
x
Let w be (-5)/2*48/30. Let o = w + 8. Suppose 0 = o*i + 4 + 8. Do -1 and i have the same value?
False
Let t be -14 - -13 - 1*-1. Suppose 5*h - 3*h = t. Suppose h = -2*a + 2*w, 0 = -a - 4*w - 0*w. Is 0 at least as big as a?
True
Suppose b + b = 12. Let t be ((-30)/9)/(25/(-15)). Does b = t?
False
Suppose -8*y + 3*y + 80 = 0. Suppose -3*k = -2*k + 5*d + 20, 4*d = -y. Which is greater: k or -1/38?
k
Suppose 4*t + 264 = -36. Let j = 51 + t. Which is smaller: j or -25?
-25
Suppose 5*q = 10*q. Suppose q*j = -j + 12. Let h = -13 + j. Which is bigger: -1/4 or h?
-1/4
Let k be 8 - (2 - 5 - 1). Is 12 > k?
False
Suppose -5*x = -4*n + 19, 3*x + 6 = 3*n - 6. Let a = -5/418 - -1887/17974. Which is smaller: a or n?
a
Suppose -9*p + 7*p = 0. Let g(b) be the second derivative of b**4/12 + 3*b**2 + 9*b. Let r be g(p). Which is smaller: 4 or r?
4
Let y(o) = 30*o - 184. Let h be y(7). Is h < 20?
False
Suppose -3*d + 8 = -d. Let u be 32/4*(d + -2). Let v be (-4)/u + (-63)/(-156). Which is bigger: 1 or v?
1
Let j = 45.32 - 45. Let i = 0.68 + j. Suppose -5*s - 1 - 9 = -2*c, 0 = 4*s + 4*c - 20. Is s less than or equal to i?
True
Let z = -3 - -8. Suppose z*j + 4 = 14. Let t be 0 + -1 - (1 - j). Are t and -1/9 non-equal?
True
Let r(u) = 5*u - 10. Let w be r(6). Let b be 3/6 - w/48. Let n = -1/3 + b. Is n less than -1?
False
Let n = -6.6 - -34.6. Let q = -160 + 131.6. Let w = n + q. Is w smaller than 2?
True
Let z = 302 + 398. Which is smaller: z or -1?
-1
Let u(g) = -g**2 - 22*g + 11. Let x be u(-16). Is 107 at most as big as x?
True
Suppose -15 = -2*u - 3*u. Suppose -5*q = 4*v, 0*v + 19 = u*v - q. Let a = 15 - 9. Is a < v?
False
Let z be (0 - 0)*(-6)/12. Suppose 2*i + 2 = 0, 4*i + 43 = 2*x - 165. Let j = 719/7 - x. Which is greater: z or j?
j
Suppose g = -3*m + 34, m + 4*g = -m + 36. Is m at most as big as 3?
False
Let x = 114 - 113.9. Let b = -4.4 - -0.4. Let q = -3 - b. Which is bigger: x or q?
q
Let k be (1 + (-3 - -2))/(2*1). Let b = 6 + -8. Let m be b/9 - (-110)/(-99). Which is smaller: k or m?
m
Let u = -16 - -10. Let l = 12 + u. Do l and 6 have the same value?
True
Suppose 2*g + 9*h + 22 = 5*h, g + h + 12 = 0. Suppose 0 = -m - 3 + 21. Let d = m + g. Does 0.4 = d?
False
Let v be (((-1035)/(-50))/23)/(24/260). Let i(d) = 12*d**3 - d**2. Let x be i(1). Is x greater than v?
True
Let x = -2.1 - 1.9. Let p = x - -3.8. Which is bigger: 1.1 or p?
1.1
Suppose 4*i + 30 = 3*o + 2*o, -3*i = 5*o + 40. Is -5 <= i?
False
Let m(v) = -v**2 + 12*v - 1. Let y be m(33). Is -695 > y?
False
Let y be (54/45)/((-42)/20). Let a(h) be the first derivative of h**4/4 - 4*h**3/3 + h**2/2 + 4*h - 1. Let i be a(3). Which is greater: y or i?
y
Suppose -6*v + 9 = 51. Let x be (-182)/(-1470) + (-1)/v. Is x less than or equal to 1?
True
Let l = 1.88 - 2.08. Which is bigger: -7/141 or l?
-7/141
Suppose 7*i - 16 = 11*i. Let o = -5 - i. Let x be 4/34 - 46/(-187). Is o less than or equal to x?
True
Let r be (390/18 - 4)*3. Which is smaller: r or 54?
r
Suppose 4*k + 2*v + 329 = 109, 5*v = k + 77. Which is greater: k or -58?
k
Let c be 72/60 + (-2844)/2120. Which is smaller: c or 1?
c
Let x = -27 - -13. Let q be 0 + (-4)/x - 435/812. Is 0 less than q?
False
Let v(l) = 11*l + 41. Let h be 