Let h be (40/12)/((-6)/(-27)). Which is smaller: h or y?
h
Suppose 6*w = -0*w + 36. Suppose 663 - 243 = w*z. Which is bigger: 71 or z?
71
Let m be ((-10)/(-36))/((-50)/(-80)*8). Which is smaller: m or 30?
m
Let r(x) = 3*x**3 - x**2 - 23*x + 14. Let a be r(4). Let b be ((-3)/(-12))/(a/(-21)). Which is smaller: b or 2?
b
Let h = 290 - 201. Let g = h + -95. Let t(r) = 3*r**3 + 20*r**2 + 6*r - 7. Let n be t(g). Does 29 = n?
True
Let a = 0.932 - 0.9. Let s = -698.032 + 694. Let r = a + s. Which is smaller: r or 2?
r
Let m = 0.38462 + -0.51462. Which is smaller: m or -61/8?
-61/8
Suppose d - 163 = -d + 5*n, d + 4*n = 114. Suppose 3*u - d - 95 = 0. Suppose 8*v - u - 25 = 0. Which is smaller: v or 8?
8
Let l = 0.4 + -0.2. Let m = -8 + 22. Let s = m - 14.1. Is s greater than or equal to l?
False
Suppose 12*r + 18 = 4*h + 14*r, -30 = -4*h + 2*r. Let x be (-1)/h - (-1)/(-2). Let f = -0.26 - -10.26. Does x = f?
False
Let b = -22287413/15699 + 22/5233. Which is smaller: -1419 or b?
b
Let s(z) = -168*z - 1512. Let u be s(-9). Which is smaller: -24/643 or u?
-24/643
Let z(l) = l**3 - 30*l**2 - 258*l - 76. Let i be z(37). Let n be (-970)/25 + (-2)/10. Is i smaller than n?
False
Let g = -22643 - -106580603/4707. Which is greater: g or -1?
g
Suppose -4*r + 20 = 0, j + 106 = r + 8*r. Which is greater: -179/3 or j?
-179/3
Let q = 8046/5 - 8149/5. Which is smaller: q or -0.1?
q
Let o(m) = 1 + 5*m + 0*m - 2. Let n be o(4). Let i be (-5)/30*-198 - 15. Is n at most i?
False
Let z be 1/2*-4 - (-14 + 16). Let f be z/(-8)*1133/(-22). Is 1/2 less than f?
False
Let y be ((-1)/25)/(9/(1013310/(-12))). Suppose v + 3*n = -0*n + 360, 5*n = 4*v - 1525. Let j = v - y. Which is greater: j or 0?
0
Let q be 32 + 5 + 12/(-4). Suppose -q*w = -30*w + 88. Suppose -3*f = 4*j + 61, -5*f + 2*j = -2*j + 123. Is f < w?
True
Let j be (-4)/(-42) + (-28248)/309540. Which is smaller: 1 or j?
j
Let m = 22328581/93230 - -2/46615. Let x be 160*(7/2 - 2). Which is smaller: x or m?
m
Suppose -25 = 5*d, 8*y - 4*d = 10*y - 78. Let q = 97 - y. Suppose 3*n - 24 = -q. Is n < -43/6?
True
Let x be 18 - (4 + 2472/160). Is -1 greater than x?
True
Suppose 0 = -4*k + 2*o + 826, -3*k + 5*o + 637 = -0*k. Let s = -221 + k. Do s and 4 have different values?
True
Let q = 5679 - 5684. Which is greater: q or -188/35?
q
Let v = -53/6 + 5465/618. Let y = 827/309 - v. Suppose -31 = -3*p - 2*r - 3*r, 5*p = -r + 15. Does y = p?
False
Suppose -6*p + 30 + 78 = 0. Let h be 11/(1122/p)*(-2)/6. Which is greater: -1 or h?
h
Let s be (-6)/(-27) + 5594/18. Is s greater than or equal to 308?
True
Suppose 2 = 5*f - 3. Suppose -7*b - 13208 = b. Let u = -51187/31 - b. Which is smaller: f or u?
u
Suppose u - 5 = -g, 25*u + 13 = 5*g + 26*u. Is g not equal to 49/20?
True
Suppose 2*j + 22 = 8. Let z be (57/(-7))/(9 + (-742)/98). Is z > j?
True
Let p(i) = -3*i - 60. Let m be p(-15). Let j be (m/(-2))/(8/(39 + 9)). Which is smaller: j or 1/2?
1/2
Suppose 774*i - 788*i = 14. Which is smaller: i or 1/13172?
i
Suppose 0 = -5*u + 2*c - 3878, -4*u - 3*c - 941 = 2166. Let t = -9319/12 - u. Which is smaller: 0 or t?
t
Let f = -2154 + 23714/11. Let t be 14/(-8)*(-8)/12*-6. Let d(p) = 15*p**3 + 105*p**2 - 2*p - 11. Let l be d(t). Which is smaller: l or f?
f
Let a be 1*0/(3/(-3)). Suppose 8 = 4*u, -4*c - 5*u = -a*u - 1078. Which is smaller: c or 266?
266
Let b = -58.74 - -444.04. Let d = b + -385. Is 28 greater than or equal to d?
True
Let l = 0.16669 + -1.16669. Which is smaller: -226.8 or l?
-226.8
Let s = 43871 + -83547. Let f = 356516/9 + s. Let w = f + 63. Which is bigger: 0 or w?
0
Let w = 19754/3 - 6502. Let j = w + -82. Does 1.64 = j?
False
Suppose -5*n - 25 = g, 0 = 4*g + 3*n + 220 - 205. Is g greater than 12/35?
False
Suppose -2257*w + 10 = -2267*w. Which is smaller: w or -1/27?
w
Let r be 10 + 7490/(-112) + -5. Is r not equal to -63?
True
Let d be ((-6)/(-5))/(3/(-15)). Let w = -92971 - -92945. Which is smaller: d or w?
w
Let z be (15/(-2)*8/6)/(1566/(-2268)). Is z greater than -3?
True
Let z(o) = 2*o**3 + 24*o**2 - 34*o - 43. Let v be z(-13). Which is greater: v or 62?
62
Let t be (3330/168)/(-37) - (-1)/4. Which is bigger: 10/279 or t?
10/279
Let l be (16/(-20))/(-4*104/(-80)). Is 204 greater than l?
True
Let b = -553.84 - -536. Let r = 18 + b. Let h = r + -0.26. Do h and 39 have different values?
True
Let o be 0 + 251 - (-1 - (-4)/(-2)). Let y = o - 296. Which is bigger: -41 or y?
-41
Let i be (-24)/(-15)*13/((-26)/45). Is i greater than -398/11?
True
Let v be 5*(-2)/4*2/(-25)*-5. Which is greater: -9/521 or v?
-9/521
Suppose 65 = 30*k - 25. Suppose -5*f = -3*n - 4, f + k*n - 2*n = -4. Is f smaller than 6/65?
True
Let o be 21/55 + (-78)/429. Suppose 142*h - 141*h = -1. Which is greater: o or h?
o
Let p(n) = 2*n**2 + 38*n + 40. Let c be p(-18). Suppose 2*m = y - 31, 0 = -7*y + 3*y - c*m + 124. Are y and 31 nonequal?
False
Let w(d) = -d**2 + 9*d - 38. Let v be w(7). Let t be 66/75 - v/(-60). Is t not equal to 1?
True
Let j = -13834 - -10187. Is -1/3 < j?
False
Let l be (-322)/92*(41 - -5). Is -152 greater than l?
True
Suppose 129*y + 1035 = 120*y. Let o = 576/5 + y. Let f = 1 + -1. Which is greater: o or f?
o
Let k be (-90162)/(-7524) + 14 + -26. Is -1 >= k?
False
Let d(j) = -4*j + 3. Let h be d(14). Let s = h + 59. Suppose -s*b = -5*c - 10*b + 288, 2*b = -2*c + 116. Is 57 <= c?
False
Let f(x) be the third derivative of x**6/120 - x**5/20 - x**4/24 + x**3/3 - 16*x**2. Let p be f(3). Let w = -21/11 - -9/22. Is w smaller than p?
True
Let v = 2415 + -2415. Do -2722 and v have different values?
True
Let u(v) = 2*v**3 - 28*v**2 - v + 13. Let s be u(14). Let j be (-54)/(-8) + (-2)/(-8). Suppose 30 = j*k - 9*k. Which is greater: k or s?
s
Let t(b) = -222*b - 10471. Let c be t(-30). Is -3811 bigger than c?
False
Suppose q - 3*q + 4 = 0. Let z be 6/(-6*q)*1. Which is smaller: -2.2 or z?
-2.2
Let b = -5/3 + 19/15. Let k(z) = 16*z**2 - 210*z + 20. Let m be k(13). Let x be (-8)/12*138*m/8. Is x equal to b?
False
Let m = 0.323263 - 0.223263. Let i = 100.38 - 96. Which is smaller: i or m?
m
Suppose 14*c - 17*c + 105 = 0. Suppose -4*b - c + 3 = 0. Let p be b/2 + 8 + 1. Which is smaller: 0 or p?
0
Let x(y) = -y**2 - 4*y. Let r be x(-4). Suppose r = -i - q - 13, -5*q - 4 = -i + 13. Let b(l) = -3*l - 72. Let v be b(-22). Which is greater: v or i?
v
Suppose -36*c + 43014 = -14*c - 3824. Is c bigger than 10651/5?
False
Let y = 174 + -154. Let w be (-18)/y*(-55)/(-66). Suppose -5*i + 2*v = -10, -i - 3 + 23 = -4*v. Are i and w unequal?
True
Let m be (11 - (3 - 4)) + -6. Let u be (m/2)/6 - (-4)/8. Does 34 = u?
False
Let u = -16.05 - -0.05. Let s = -17.5 - u. Suppose -x - 6 = q, -3*q + 4*q = -3*x - 16. Is s at least q?
False
Let n(p) = 2*p**2 - p - 7. Let o = 97 + -83. Let l = -11 + o. Let b be n(l). Which is smaller: 6 or b?
6
Let l = 2833/4 - 2831/4. Which is greater: 17/20 or l?
17/20
Let v = -11407 + 11931. Are -4 and v equal?
False
Suppose 15855 + 4449 = 24*p. Is p != 842?
True
Let m be 3*78*7/63. Let n = 14 - m. Which is greater: n or 4/3?
4/3
Suppose 5*p + 18*q - 3975 = 14*q, 0 = -2*q - 10. Let o = p + -471. Which is smaller: 329 or o?
o
Let r = 1865.71 - 1869. Is r less than -4?
False
Let m be 125/(-20) - 0 - (-5 - (-13 - -3)). Let v be 2 + 1 + (-6 - -2). Which is bigger: v or m?
v
Let x be (70 - 66) + 992/24*963/(-9950). Which is bigger: x or 1?
1
Let i(z) = z**3 - 6*z**2 + 5*z - 14. Let c be i(7). Let p be (c/(-50))/(2/(-10)). Is p < 17?
True
Let m be (-15)/6579*(4 + 14). Which is greater: m or 0?
0
Suppose 2*s - 113 = 61. Let h = -91 + s. Does h = -35/11?
False
Suppose 0 = -5*q - 72 + 377. Suppose q = 5*j + 471. Which is smaller: -83 or j?
-83
Let s = 542704364/86121015 + 32/302179. Let g = 94/15 - s. Which is bigger: g or 0?
0
Let i(d) be the first derivative of -29*d**2 - 38*d + 33. Let v be i(9). Let x = v - -33039/59. Is 1 > x?
True
Suppose 5*b - 3 - 13 = 2*f, 0 = -5*b - f + 22. Suppose 6*p = b + 2. Is -2/149 != p?
True
Suppose 11441*s = 11420*s + 168. Is 32 at least s?
True
Suppose 3*y - 5 = -3*s - 83, -y - 20 = 4*s. Let m = -25 - y. Let c(x) = -x**3 + 4*x**2 - 5*x + 6. Let f be c(m). Which is greater: f or -3/7?
f
Let d = 0.3604 + -0.2604. Which is smaller: d or 39?
d
Let v = -2577 - -2574.65. Which is bigger: v or -3?
v
Let a = 45796 + -