ich is smaller: 1 or m?
m
Suppose 4*n = 3*u + 65, 2*u + 94 = 5*n + 4. Is n smaller than 15?
False
Let g(y) = -4*y + 1. Let i be g(1). Let s = -105 - -126. Let q be 2/s*(-741)/38. Which is bigger: q or i?
q
Let h be (-58)/10 - (-5)/25. Let a(s) = 29*s - 23*s - 4*s**2 - s**2 - 5 + s**3. Let t be a(3). Which is smaller: h or t?
h
Let p be (-76 + 77)*16/(-56). Is p at most -1.2856?
False
Let g(u) = -u**2 + 56*u - 17. Let k be g(-16). Is -1170 less than or equal to k?
True
Let p = -1024 + 1052. Which is bigger: p or 6.5?
p
Suppose -41*i = -499 + 130. Which is smaller: i or 70/9?
70/9
Let h be (308/(-616))/((-4)/(-664)). Suppose -137 = -5*u - 557. Which is smaller: h or u?
u
Suppose -10 = 5*u, 0 = p - 2*u - 81 + 160. Which is smaller: 5 or p?
p
Suppose -15*i = -18 - 12. Let p be ((50/(-1172))/(-25))/(i/2). Is 0 less than p?
True
Let v = -3.03251 + 0.03251. Let o = 3 + -2.99. Which is greater: v or o?
o
Suppose -3*v - 2*f = -8*v - 18, -5*v = 2*f + 22. Let u = -5 - v. Let h be 20/(-210)*(-532)/1368. Is h at most u?
False
Let a = -1405.318 + 1405.29. Let z(v) = -v**3 + 7*v**2 - 7*v + 5. Let w be z(6). Which is greater: w or a?
a
Let z be (-12 + 13)*(-835 - (2 + -4)). Do z and -833 have the same value?
True
Let i = 983/12 - 82. Suppose -5*n - u = 121 + 197, u - 186 = 3*n. Let a = -64 - n. Do a and i have different values?
True
Suppose 0 = 55*w - 27*w - 29*w. Which is greater: w or -14076?
w
Let i be 9284/44352 - (-3)/(-27). Which is smaller: 1 or i?
i
Let y = 6/3481 + -7004/24367. Which is smaller: y or 28.32?
y
Let a(l) = -l**2 + 5*l + 4. Let q be a(5). Suppose -q*j + 104 = -5*p, 2*j - 37 + 7 = -3*p. Is j greater than or equal to 39/2?
True
Suppose 0 = -4*q + u - 2*u + 1, 4*u = 2*q + 22. Let t be (-35)/(-1162)*18/(-15). Which is smaller: q or t?
q
Let x = -27143/2 - -13267. Let f = 309 + x. Are f and 0.3 equal?
False
Suppose -5*k - 5*d - 45 = 0, -52 = 4*k - d - 3*d. Let c = -14 - k. Let x be 2/5*(c + 7/4). Does x = 0?
False
Let h = 11919 + -71513/6. Is h at most -75/11?
False
Let z = -1505 - -2048. Which is smaller: 540 or z?
540
Let w = -8887.9 + 8888. Which is smaller: -448 or w?
-448
Let q be ((4 + 3)*(-153)/15)/2. Which is greater: q or -35?
-35
Let a = -52.9 + 61. Let g = -7.9 + a. Which is bigger: -0.073 or g?
g
Suppose 3*w + 153 = 9. Suppose 95 = -3*y - 4*n, 7*n = -153 + 223. Is w at most as big as y?
True
Suppose 15*w - 21 = -6*w. Let i = 2 + -5. Let u be (-8)/6 - w/i*9. Which is smaller: u or 4?
u
Let o = -2.12 - 60.88. Let h = 63.5 + o. Is h smaller than 2/3?
True
Let f = -222.8 + 3.8. Let k = f + 213. Is 1/4 greater than k?
True
Let m be 14 + -21 + 12 + (-5 - -1). Which is smaller: 3946 or m?
m
Suppose 0 = -3*t + 2*t - 2. Let o = -1736525/3418056 + 5/13096. Let z = o - -2/261. Which is bigger: t or z?
z
Let x = -8532 - -7000. Which is smaller: -4600/3 or x?
-4600/3
Suppose 5*v = -r + 3184, v - 5*r - 152 = 464. Let c = v + -458. Is 176 smaller than c?
True
Let j = 35745061/1379 + -25921. Are j and 0 unequal?
True
Let m(c) = -23*c + 293. Suppose 3*u = r + 21, 3*u - 7 = 3*r + 20. Let z be m(u). Is z less than 156?
True
Suppose 5*w + 2*r + 393 + 285 = 0, 3*w + 3*r = -405. Which is bigger: w or -1/33?
-1/33
Let i be (-3)/(3 - 50/15). Let r be (-147)/117 - 3/(i/(-4)). Which is bigger: 6/11 or r?
6/11
Let p = 13 - -42. Let l = p - 80. Is -1 at most l?
False
Suppose 2*f + 2*f = -4*u + 40, 5*u = -3*f + 46. Let n = 10 - u. Let k(c) = 3*c + 7. Let y be k(n). Which is greater: y or 15?
15
Let j(m) = -m**3 + 672*m + 1. Let x be j(0). Which is bigger: -136/11 or x?
x
Let c = 239366 + -62474624/261. Let d = -2/29 + c. Let r = -658 - -659. Which is greater: r or d?
r
Let u be (-6 - 1362/(-228))*(-60)/15. Is u at least as big as 1/873?
True
Let q = -17208 + 21526. Is 4320 > q?
True
Let h = 4513 - 6985. Which is bigger: 0.1 or h?
0.1
Suppose 650*j - 646*j = -5*v - 415, -4*v - 332 = 6*j. Is -77 < v?
False
Let a = 0.48 + -0.12. Let v = a - 0.3. Let k be (-56)/(-252)*(-4)/8*2. Are v and k nonequal?
True
Suppose 91*h + 592 = -318. Is h less than or equal to -25?
False
Let n = -8748 - -7654. Is n bigger than 1?
False
Let m be ((-602)/(-172))/(3/15). Which is bigger: m or 18/7?
m
Let n be ((-14)/8 - 0)*174/13195. Which is bigger: -0.4 or n?
n
Let n(r) = -r**2 + 38*r + 77. Let o be n(-11). Is o > -459?
False
Let k = 11 - -99. Let o be (-33 - -53) + (0 - -87). Which is bigger: o or k?
k
Suppose 696 = -17*b + 3977. Suppose -g = 4*k - 764, -4*k - k + 2*g + 968 = 0. Is k at most as big as b?
True
Let l be -5 - 231/(-49) - (-74)/14. Let d be 332/62 + (-6 - (3 - l)). Which is greater: 0 or d?
d
Let r be (-469744)/2040 - (-1)/6*-2. Is r < -232?
False
Let c = -21253.0677 - -21253. Which is bigger: 2/7 or c?
2/7
Let q = 251 + -153. Let f = -13.7 + 97.7. Let h = f - q. Is h at most as big as -1?
True
Let m(u) = u**3 - 2*u**2 - u - 4. Let s be m(3). Let b(x) = 3*x**2 - 3*x + 2. Let l be b(s). Suppose -k - l = -2*k. Which is smaller: k or 10?
k
Let x(z) = 886*z - 2904. Let r be x(4). Is r at least as big as -1/4?
True
Let y = -42812666301/65 + 10069356956/15. Let a = y + -12632963. Let c = 1096 - a. Which is smaller: 0 or c?
c
Let l be 28/(-392) + 146/868. Let i(j) = j + 14. Let k be i(-9). Suppose 1 = k*y - 4*y. Which is bigger: l or y?
y
Let h = 0.15 + 18.95. Let a = 18 - h. Let n = a - -1.6. Which is bigger: 1/10 or n?
n
Suppose -2*t - 48 - 116 = 0. Let k be 962/39*-3 - 9. Is t <= k?
False
Let c be (18/(-4))/((-21)/1316). Let p = c - 280. Is -2 smaller than p?
True
Suppose 4*p + 28 = -5*d, 0*p + 4 = -2*p. Suppose 4*y + 2*j + 32 = 0, -41*j + 46*j + 30 = 0. Is d >= y?
True
Suppose 0 = -2*f + 3*q + 3 + 44, 4*f = q + 69. Let x = f - 16. Suppose m = 6*h - h + 55, x = 4*h - 4*m + 60. Is -17/2 smaller than h?
False
Suppose -116 - 100 = 18*t. Let q be (t/(-18) - 6/9)/(-4). Which is smaller: q or 4/117?
q
Let p(c) = -2*c**3 + 5*c + 4. Let l = -627 + 626. Let k be p(l). Which is smaller: 0 or k?
0
Let c = -4283 - -4282.96. Which is bigger: -507 or c?
c
Suppose -p = 1, -3*r - p - 21 = 2*p. Suppose -5*w = 129 - 114. Let i be 2/(-4)*-14 + (w - r). Is 12 equal to i?
False
Let c(p) = 5*p + 2. Let k(x) = 3 - 6*x + 19*x + 1 - 2*x. Let s(f) = 9*c(f) - 4*k(f). Let b be s(-2). Are b and 1/43 equal?
False
Let q be (-4)/((-745968)/(-93222)) + (-1)/(-2). Let u = q + -932506/357443. Which is bigger: -2 or u?
-2
Let y be (-2)/(-5) + 272/(-5). Let f be (-36)/y - (-2)/6. Let r(l) = -l**2 - 12*l - 1. Let x be r(-12). Is x greater than or equal to f?
False
Suppose -3*o + 19 = -5*j, -3*j + 0*j = o + 3. Let d be 0 + (-9 - (2 + j)). Let h(k) = -5*k - 35. Let l be h(d). Which is smaller: l or 9?
9
Suppose 10 = 5*g, 4*j + 7*g = 3*g + 12. Let x = 90270 + -719621/8. Let o = 317 - x. Which is smaller: o or j?
o
Let p(k) = k**2 - 19*k - 57. Let q be p(24). Suppose -14*l + 37*l - 1472 = 0. Which is bigger: q or l?
l
Let k be (3/(-6))/(3/(-6)). Let g be k/(1/(86/4)). Suppose 0 = f + 4*l - 21, -3*l = -4*f + 81 + 3. Is g less than f?
False
Let t = 43 + -29. Suppose -t*m + 156 = -8*m. Is 26 >= m?
True
Let s be (-132)/11 - (-4 - -2). Let p be ((-32)/(-360))/(4/s). Suppose 4*t - 30 = -5*b - 6, 5*b = t + 19. Which is bigger: t or p?
t
Suppose -13675*p - 11 = -13664*p. Which is greater: p or 123?
123
Let z = -565 - -593. Suppose 0 = 19*r - z*r - 864. Which is greater: -98 or r?
r
Let j = -137/3 + 46. Let u = 599 - 602. Is j smaller than u?
False
Suppose 836*i - 98764 + 18564 = 828*i. Which is smaller: 10026 or i?
i
Let v = -5904 + 6963. Is v at most as big as 0.1?
False
Let j = -1.10968 + 0.10968. Which is greater: j or 25.3?
25.3
Let f(l) = l**3 - l**2 - 6*l - 1. Let w be f(3). Let s be w*(8 + 258 - -3). Which is greater: -267 or s?
-267
Let p be 245*8/52 - 5. Let h = p + -4413/65. Which is bigger: -34 or h?
-34
Let q = -27995 + 27995. Which is bigger: 22546/7 or q?
22546/7
Let x = 69 - 65. Let u be 1*x/((-8)/14). Let w be u/(147/(-12)) - 148/14. Which is smaller: -1 or w?
w
Let g = -12033 + 3182. Which is greater: -8850 or g?
-8850
Let d(k) = -14*k**2 + 11*k**3 - 6*k - 17*k**3 - 40 + 7*k**3. Let r be d(12). Let l be (-8)/(r/(-14)) + 1/5. Which is smaller: -1 or l?
-1
Let m = -2120 + 2121. Are m and -292/3 equal?
False
Suppose 3*q + 435 = 3*m, -188 = -5*m - 5*q + 527. Let z = m + -145. Is 3/37 > z?
True
Let t = 6.5